Welkom...

prof.dr. M. Huisman (Marieke)

Hoogleraar

Expertises

Specifications
Synchronization
Technical Presentations
Model Checking
Flow Graphs
Data Structures
Particle Accelerators
Message Passing
Joining
Temporal Logic

Publicaties

Recente Artikelen
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: Centre for Telematics 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
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
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
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
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
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
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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3039
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3039
Postbus 217
7500 AE Enschede