×
Author ID: huisman.marieke Recent zbMATH articles by "Huisman, Marieke"
Published as: Huisman, Marieke; Huisman, M.

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 51 times in 31 Documents Cited by Year
ProMoVer: modular verification of temporal safety properties. Zbl 1350.68188
Soleimanifard, Siavash; Gurov, Dilian; Huisman, Marieke
5
2011
Inheritance in higher order logic: Modeling and reasoning. Zbl 0974.68033
Huisman, Marieke; Jacobs, Bart
5
2000
Deductive software verification: from pen-and-paper proofs to industrial tools. Zbl 1482.68139
Hähnle, Reiner; Huisman, Marieke
4
2019
Compositional verification of sequential programs with procedures. Zbl 1153.68036
Gurov, Dilian; Huisman, Marieke; Sprenger, Christoph
4
2008
Checking absence of illicit applet interactions: A case study. Zbl 1129.68418
Huisman, Marieke; Gurov, Dilian; Sprenger, Christoph; Chugunov, Gennady
3
2004
A type-theoretic memory model for verification of sequential Java programs. Zbl 0966.68554
van den Berg, Joachim; Huisman, Marieke; Jacobs, Bart; Poll, Erik
3
2000
CVPP: a tool set for compositional verification of control-flow safety properties. Zbl 1308.68042
Huisman, Marieke; Gurov, Dilian
3
2011
Reducing behavioural to structural properties of programs with procedures. Zbl 1206.68088
Gurov, Dilian; Huisman, Marieke
3
2009
Compositional verification of secure applet interactions. Zbl 1059.68538
Barthe, Gilles; Gurov, Dilian; Huisman, Marieke
3
2002
A case study in class library verification: Java’s vector class. Zbl 0993.68060
Huisman, Marieke; Jacobs, Bart; van den Berg, Joachim
3
2001
Automated verification of parallel nested DFS. Zbl 1517.68248
Oortwijn, Wytse; Huisman, Marieke; Joosten, Sebastiaan J. C.; van de Pol, Jaco
2
2020
Jakarta: A toolset for reasoning about JavaCard. Zbl 1002.68649
Barthe, G.; Dufay, G.; Huisman, M.; de Sousa, S. Melo
2
2001
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke
2
2014
Verification of Java’s AbstractCollection class: A case study. Zbl 1073.68550
Huisman, Marieke
2
2002
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
2
2014
Formal verification of parallel stream compaction and summed-area table algorithms. Zbl 07369989
Safari, Mohsen; Huisman, Marieke
1
2020
Formal methods for smart cards: an experience report. Zbl 1075.68567
Breunesse, C.-B.; Cataño, N.; Huisman, M.; Jacobs, B.
1
2005
CHASE: A static checker for JML’s assignable clause. Zbl 1022.68576
Cataño, Néstor; Huisman, Marieke
1
2003
An abstraction technique for describing concurrent program behaviour. Zbl 1403.68034
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina
1
2017
Formal specification and static checking of Gemplus’ electronic purse using ESC/Java. Zbl 1064.68577
Cataño, Néstor; Huisman, Marieke
1
2002
Reducing behavioural to structural properties of programs with procedures. Zbl 1291.68259
Gurov, Dilian; Huisman, Marieke
1
2013
Permission-based separation logic for multithreaded Java programs. Zbl 1448.68215
Amighi, Afshin; Haack, Christian; Huisman, Marieke; Hurlin, Clément
1
2015
Automated verification of parallel nested DFS. Zbl 1517.68248
Oortwijn, Wytse; Huisman, Marieke; Joosten, Sebastiaan J. C.; van de Pol, Jaco
2
2020
Formal verification of parallel stream compaction and summed-area table algorithms. Zbl 07369989
Safari, Mohsen; Huisman, Marieke
1
2020
Deductive software verification: from pen-and-paper proofs to industrial tools. Zbl 1482.68139
Hähnle, Reiner; Huisman, Marieke
4
2019
An abstraction technique for describing concurrent program behaviour. Zbl 1403.68034
Oortwijn, Wytse; Blom, Stefan; Gurov, Dilian; Huisman, Marieke; Zaharieva-Stojanovski, Marina
1
2017
Permission-based separation logic for multithreaded Java programs. Zbl 1448.68215
Amighi, Afshin; Haack, Christian; Huisman, Marieke; Hurlin, Clément
1
2015
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke
2
2014
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
2
2014
Reducing behavioural to structural properties of programs with procedures. Zbl 1291.68259
Gurov, Dilian; Huisman, Marieke
1
2013
ProMoVer: modular verification of temporal safety properties. Zbl 1350.68188
Soleimanifard, Siavash; Gurov, Dilian; Huisman, Marieke
5
2011
CVPP: a tool set for compositional verification of control-flow safety properties. Zbl 1308.68042
Huisman, Marieke; Gurov, Dilian
3
2011
Reducing behavioural to structural properties of programs with procedures. Zbl 1206.68088
Gurov, Dilian; Huisman, Marieke
3
2009
Compositional verification of sequential programs with procedures. Zbl 1153.68036
Gurov, Dilian; Huisman, Marieke; Sprenger, Christoph
4
2008
Formal methods for smart cards: an experience report. Zbl 1075.68567
Breunesse, C.-B.; Cataño, N.; Huisman, M.; Jacobs, B.
1
2005
Checking absence of illicit applet interactions: A case study. Zbl 1129.68418
Huisman, Marieke; Gurov, Dilian; Sprenger, Christoph; Chugunov, Gennady
3
2004
CHASE: A static checker for JML’s assignable clause. Zbl 1022.68576
Cataño, Néstor; Huisman, Marieke
1
2003
Compositional verification of secure applet interactions. Zbl 1059.68538
Barthe, Gilles; Gurov, Dilian; Huisman, Marieke
3
2002
Verification of Java’s AbstractCollection class: A case study. Zbl 1073.68550
Huisman, Marieke
2
2002
Formal specification and static checking of Gemplus’ electronic purse using ESC/Java. Zbl 1064.68577
Cataño, Néstor; Huisman, Marieke
1
2002
A case study in class library verification: Java’s vector class. Zbl 0993.68060
Huisman, Marieke; Jacobs, Bart; van den Berg, Joachim
3
2001
Jakarta: A toolset for reasoning about JavaCard. Zbl 1002.68649
Barthe, G.; Dufay, G.; Huisman, M.; de Sousa, S. Melo
2
2001
Inheritance in higher order logic: Modeling and reasoning. Zbl 0974.68033
Huisman, Marieke; Jacobs, Bart
5
2000
A type-theoretic memory model for verification of sequential Java programs. Zbl 0966.68554
van den Berg, Joachim; Huisman, Marieke; Jacobs, Bart; Poll, Erik
3
2000

Citations by Year