Welcome...

prof.dr. M. Huisman (Marieke)

Full Professor

Expertise

Specifications
Synchronization
Technical Presentations
Model Checking
Flow Graphs
Data Structures
Temporal Logic
Semantics

Publications

Recent Articles
Ngo, M. T., & Huisman, M. (2017). Complexity and information flow analysis for multi-threaded programs. European physical journal. Special topics, online pre-publication, 1-18. DOI: 10.1140/epjst/e2016-60402-0
Darabi, S., Blom, S., & Huisman, M. (2017). A Verification Technique for Deterministic Parallel Programs (extended version). (CTIT technical report; No. TR-CTIT-17-01). Enschede: University of Twente, Centre for Telematica and Information Technology (CTIT).
Huisman, M. (Ed.), Huisman, M. (Ed.), van de Pol, J. C. (Ed.), van de Pol, J. C. (Ed.), & Unknown, . U. (2016). Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Science of computer programming, 128, 1-1. DOI: 10.1016/j.scico.2016.04.013
Huisman, M., Klebanov, V., Monahan, R., & Tautschnig, M. (2016). VerifyThis 2015: A program verification competition. International journal on software tools for technology transfer, oneline pre-publication, 1-9. DOI: 10.1007/s10009-016-0438-x
Amighi, A., de Carvalho Gomes, P., Gurov, D., & Huisman, M. (2016). Provably correct control flow graphs from Java bytecode programs with exceptions. International journal on software tools for technology transfer, 18(6), 653-684. DOI: 10.1007/s10009-015-0375-0
Tiziana, M. (Ed.), Gurov, D., Havelund, K., Bernhard, S. (Ed.), Huisman, M., & Monahan, R. (2016). Static and runtime verification, competitors or friends? (Track summary). 397-401. Paper presented at Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium on Leveraging Applications of Formal Methods,ISoLA 2016, .DOI: 10.1007/978-3-319-47166-2_27
Huisman, M., Margaria, T. (Ed.), Steffen, B. (Ed.), Bos, H., Brinkkemper, S., van Deursen, A., ... Visser, E. (2016). Software that meets its Intent. 609-625. Paper presented at Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, .DOI: 10.1007/978-3-319-47169-3_47
Orchard, D. (Ed.), Oortwijn, W. H. M., Yoshida, N. (Ed.), Blom, S., & Huisman, M. (2016). Future-based Static Analysis of Message Passing Programs. 65-72. Paper presented at Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, .DOI: 10.4204/EPTCS.211.7
Wevers, L., Huisman, M., & van Keulen, M. (2016). Lazy Evaluation for Concurrent OLTP and Bulk Transactions. In Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016) (pp. 115-124). New York: ACM. DOI: 10.1145/2938503.2938555

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3039
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3039
P.O. Box 217
7500 AE Enschede
The Netherlands