Marieke Huisman

1. Formal Methods: From Academia to Industrial Practice. A Travel Guide
   2020/02/17 by Marieke Huisman, Dilian Gurov, Huisman, Marieke +3 · 1 voice · 2 citations
   Computer Science · #Software Engineering Research #Advanced Software Engineering Methodologies #Software Testing and Debugging Techniques
2. Specification and verification of GPGPU programs
   2014/12/01 by Stefan Blom, Marieke Huisman, Matej Mihelčić · 1 citation
3. HaliVer: Deductive Verification and Scheduling Languages Join Forces
   2024/01/19 by Lars B. van den Haak, Anton Wijs, Haak, Lars B. van den +5 · 1 citation
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)