Welkom...

prof.dr. M. Huisman (Marieke)

Hoogleraar

Over mij

For more info about Marieke Huisman on the 'Featured Scientists' page, click below:

Nevenactiviteiten

  • stichting NLNet.labs
    bestuurslid

Publicaties

Recent
Bliudze, S., Bos, P. V. D. , Huisman, M. , Rubbens, R., & Safina, L. (2023). JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. In Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. 143-150) https://doi.org/10.1007/978-3-031-30826-0_8
Huisman, M., & Seceleanu, C. (2022). Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 417-421). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS). Springer. https://doi.org/10.1007/978-3-031-19849-6_24
Ahrendt, W., Herber, P. , Huisman, M., & Ulbrich, M. (2022). SpecifyThis – Bridging Gaps Between Program Specification Paradigms. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 3-6). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS). Springer. https://doi.org/10.1007/978-3-031-19849-6_1
Monti, R. E. , Rubbens, R. , & Huisman, M. (2022). On Deductive Verification of an Industrial Concurrent Software Component with VerCors. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (pp. 517-534) https://doi.org/10.1007/978-3-031-19849-6_29
Groote, J. F. , & Huisman, M. (Accepted/In press). Formal Methods for Industrial Critical Systems. In Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (pp. V). [13487] (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13487). Springer.
Bos, P. V. D. , & Huisman, M. (2022). The Integration of Testing and Program Verification: A Position Paper. In N. Jansen, M. Stoelinga, & P. van den Bos (Eds.), A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 524–538). (Lecture Notes in Computer Science; Vol. 13560). Springer. https://doi.org/10.1007/978-3-031-15629-8_28
Huisman, M., & Monti, R. E. (2022). Teaching Design by Contract Using Snap! In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Eds.), The Logic of Software: A Tasting Menu of Formal Methods (1 ed., pp. 243–263). (Lecture Notes in Computer Science; Vol. 13360). Springer. https://doi.org/10.1007/978-3-031-08166-8_12
Lathouwers, S. , & Huisman, M. (2022). Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. In Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022 (pp. 69-79). [9796417] IEEE. https://doi.org/10.1145/3524482.3527652
Safari, M. (2022). Correct Optimized GPU Programs. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente. https://doi.org/10.3990/1.9789036553421
Şakar, Ö., Safari, M. , Huisman, M., & Wijs, A. (2022). Alpinist: An Annotation-Aware GPU Program Optimizer. In D. Fisman, & G. Rosu (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II (pp. 332–352). (Lecture Notes in Computer Science; Vol. 13244). Springer. https://doi.org/10.1007/978-3-030-99527-0_18

Pure Link

Vakken Collegejaar  2022/2023

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
 

Vakken Collegejaar  2021/2022

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3055
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3055
Postbus 217
7500 AE Enschede