No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082019
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 2019

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
1 Downloads (Pure)

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
11 Downloads (Pure)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, D. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

Research output: Book/Report › Book editing › Academic

Open Access
File
10 Downloads (Pure)

TOOLympics 2019: An Overview of Competitions in Formal Methods

Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T. & Yamada, A., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics. Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Open Access
File
Formal methods
Hardware

VerifyThis2018: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

Research output: Book/Report › Report › Academic

Open Access
File
Greece
event
software