Welkom...

prof.dr. M. Huisman (Marieke)

Hoogleraar

Expertises

Specifications
Synchronization
Technical Presentations
Model Checking
Flow Graphs
Data Structures
Chemical Analysis
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: 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

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