Research Output per year
Fingerprint Dive into the research topics where Marieke Huisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 4 Similar Profiles
Formal Methods
Mathematics
Safety
Mathematics
Specification
Mathematics
Modularity
Mathematics
Java
Mathematics
Software System
Mathematics
Compositional Verification
Mathematics
Hardware
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2008 2020
Alice & Eve: A celebration of women in computing
van Huizen, N., Kemper, P., Stoelinga, M. (ed.), Schaafstal, A. (ed.), Huisman, M. (ed.) & Lathouwers, S. (ed.), 2020, Enschede: University of Twente. 133 p.Research output: Book/Report › Book › Professional
Open Access
File
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Hähnle, R. & Huisman, M., 2019, Computing and Software Science : State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 345-373 29 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Trajectories
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
Oortwijn, W. & Huisman, M., 22 Nov 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 418-436 19 p. (Lecture Notes in Computer Science; vol. 11918).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Practical Abstractions for Automated Verification of Message Passing Concurrency
Oortwijn, W. & Huisman, M., 22 Nov 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 399-417 19 p. (Lecture Notes in Computer Science; vol. 11918).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Practical Mutation Testing for Smart Contracts
Honig, J. J., Everts, M. H. & Huisman, M., 2019, Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings. Pérez-Solà, C., Navarro-Arribas, G., Biryukov, A. & García-Alfaro, J. (eds.). Cham: Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 11737).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Testing