default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarieke Huisman
Person information
- affiliation: University of Twente
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e12]Marieke Huisman, Falk Howar:
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15153, Springer 2025, ISBN 978-3-031-72043-7 [contents]- 2024
- [j29]Sophie Lathouwers
, Marieke Huisman:
Survey of annotation generators for deductive verifiers. J. Syst. Softw. 211: 111972 (2024) - [j28]Jan Friso Groote, Marieke Huisman:
Formal Methods for Industrial Critical Systems. Int. J. Softw. Tools Technol. Transf. 26(2): 127-129 (2024) - [c119]Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche:
The VerCors Verifier: A Progress Report. CAV (2) 2024: 3-18 - [c118]Dré van Oorschot, Marieke Huisman, Ömer Sakar:
First Steps towards Deductive Verification of LLVM IR. FASE 2024: 290-303 - [c117]Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand:
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS 2024: 152-169 - [c116]Robert Rubbens, Petra van den Bos, Marieke Huisman:
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. IFM 2024: 217-236 - [c115]Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich:
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. ISoLA (3) 2024: 3-7 - [c114]Marieke Huisman, Stephan Merz, Cristina Seceleanu:
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). ISoLA (3) 2024: 269-273 - [c113]Ellen Wittingen, Marieke Huisman, Ömer Sakar:
Deductive Verification of SYCL in VerCors. SEFM 2024: 182-199 - [c112]Philip Tasche, Paula Herber, Marieke Huisman:
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. SEFM 2024: 404-422 - [c111]Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand:
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) 2024: 71-89 - [c110]Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman:
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) 2024: 187-209 - [i9]Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand:
HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR abs/2401.10778 (2024) - 2023
- [b2]Marieke Huisman, Anton Wijs:
Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2. Texts in Computer Science, Springer 2023, ISBN 978-3-031-30166-7, pp. 1-234 - [j27]Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Introduction to the Special Section on FM 2021. Formal Aspects Comput. 35(2): 6:1-6:2 (2023) - [c109]Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina:
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. FASE 2023: 143-150 - [c108]Lukas Armborst, Sophie Lathouwers, Marieke Huisman:
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. iFM 2023: 153-171 - [e11]Marieke Huisman, António Ravara:
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13910, Springer 2023, ISBN 978-3-031-35354-3 [contents] - 2022
- [j26]Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods Syst. Des. 61(1): 1-2 (2022) - [j25]Mohsen Safari, Marieke Huisman:
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. Theor. Comput. Sci. 912: 81-98 (2022) - [c107]Marieke Huisman, Raúl E. Monti:
Teaching Design by Contract Using Snap! The Logic of Software. A Tasting Menu of Formal Methods 2022: 243-263 - [c106]Petra van den Bos, Marieke Huisman:
The Integration of Testing and Program Verification - A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 524-538 - [c105]Sophie Lathouwers, Marieke Huisman:
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. FormaliSE@ICSE 2022: 69-79 - [c104]Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich:
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) 2022: 3-6 - [c103]Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). ISoLA (1) 2022: 417-421 - [c102]Raúl E. Monti, Robert Rubbens, Marieke Huisman:
On Deductive Verification of an Industrial Concurrent Software Component with VerCors. ISoLA (1) 2022: 517-534 - [c101]Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs:
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) 2022: 332-352 - [e10]Jan Friso Groote, Marieke Huisman:
Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Lecture Notes in Computer Science 13487, Springer 2022, ISBN 978-3-031-15007-4 [contents] - [i8]Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström:
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12(11): 1-27 (2022) - 2021
- [j24]Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari:
Correct program parallelisations. Int. J. Softw. Tools Technol. Transf. 23(5): 741-763 (2021) - [j23]Dirk Beyer, Marieke Huisman:
TOOLympics I: Competition on software testing. Int. J. Softw. Tools Technol. Transf. 23(6): 829-832 (2021) - [j22]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23(6): 879-881 (2021) - [j21]Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller:
VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. 23(6): 883-893 (2021) - [c100]Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman:
IntelliJML: a JML plugin for IntelliJ IDEA. FTfJP@ECOOP 2021: 39-42 - [c99]Robert Rubbens, Sophie Lathouwers, Marieke Huisman:
Modular Transformation of Java Exceptions Modulo Errors. FMICS 2021: 67-84 - [c98]Lukas Armborst, Marieke Huisman:
Permission-Based Verification of Red-Black Trees and Their Merging. FormaliSE@ICSE 2021: 111-123 - [c97]Marieke Huisman, Raúl E. Monti:
Teaching Design by Contract using Snap! SEENG@ICSE 2021: 1-5 - [c96]Mohsen Safari, Wytse Oortwijn, Marieke Huisman:
Automated Verification of the Parallel Bellman-Ford Algorithm. SAS 2021: 346-358 - [e9]Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Lecture Notes in Computer Science 13047, Springer 2021, ISBN 978-3-030-90869-0 [contents] - [i7]Marieke Huisman, Raúl E. Monti:
Teaching Design by Contract using Snap! CoRR abs/2107.05679 (2021) - 2020
- [j20]Dirk Beyer, Marieke Huisman:
Selected and Extended Papers from TACAS 2018: Preface. J. Autom. Reason. 64(7): 1331-1332 (2020) - [j19]Dirk Beyer, Marieke Huisman:
Tools for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 22(6): 685-687 (2020) - [c95]Marieke Huisman, Anton Wijs:
Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP 2020: 10-14 - [c94]Sophie Lathouwers, Maarten H. Everts, Marieke Huisman:
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. ICISSP 2020: 784-795 - [c93]Mohsen Safari, Marieke Huisman:
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. ICTAC 2020: 181-199 - [c92]Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman:
Formal Methods for GPGPU Programming: Is the Demand Met? IFM 2020: 160-177 - [c91]Mohsen Safari, Marieke Huisman:
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. IFM 2020: 257-275 - [c90]Marieke Huisman, Raúl E. Monti:
On the Industrial Application of Critical Software Verification with VerCors. ISoLA (3) 2020: 273-292 - [c89]Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Systems (Track Summary). ISoLA (1) 2020: 421-425 - [c88]Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman:
Formal Verification of Parallel Prefix Sum. NFM 2020: 170-186 - [c87]Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. TACAS (1) 2020: 247-265 - [c86]Wytse Oortwijn, Dilian Gurov, Marieke Huisman:
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. VMCAI 2020: 401-425 - [p4]Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten:
Improving Performance of the VerCors Program Verifier. 20 Years of KeY 2020: 65-82 - [p3]Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl:
The VerifyThis Collaborative Long Term Challenge. 20 Years of KeY 2020: 246-260 - [i6]Marieke Huisman, Dilian Gurov, Alexander Malkis:
Formal Methods: From Academia to Industrial Practice. A Travel Guide. CoRR abs/2002.07279 (2020) - [i5]Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller:
VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR abs/2008.13610 (2020)
2010 – 2019
- 2019
- [c85]Joran J. Honig, Maarten H. Everts, Marieke Huisman:
Practical Mutation Testing for Smart Contracts. DPM/CBT@ESORICS 2019: 289-303 - [c84]Wytse Oortwijn, Marieke Huisman:
Practical Abstractions for Automated Verification of Message Passing Concurrency. IFM 2019: 399-417 - [c83]Wytse Oortwijn, Marieke Huisman:
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. IFM 2019: 418-436 - [c82]Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c81]Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich:
VerifyThis - Verification Competition with a Human Factor. TACAS (3) 2019: 176-195 - [p2]Reiner Hähnle, Marieke Huisman:
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools. Computing and Software Science 2019: 345-373 - [e8]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
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. Lecture Notes in Computer Science 11429, Springer 2019, ISBN 978-3-030-17501-6 [contents] - 2018
- [j18]Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho:
Specification and verification of synchronization with condition variables. Sci. Comput. Program. 163: 174-189 (2018) - [j17]Marieke Huisman, Julia Rubin:
Software quality tools and techniques presented in FASE'17. Int. J. Softw. Tools Technol. Transf. 20(6): 611-613 (2018) - [c80]Marieke Huisman, Sebastiaan J. C. Joosten:
Towards Reliable Concurrent Software. Principled Software Development 2018: 129-146 - [c79]Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten:
Reasoning About JML: Differences Between KeY and OpenJML. IFM 2018: 30-46 - [c78]Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier:
A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) 2018: 3-7 - [c77]Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick:
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). ISoLA (4) 2018: 77-81 - [c76]Marieke Huisman:
On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification. ISoLA (1) 2018: 111-118 - [c75]Sebastiaan J. C. Joosten, Marieke Huisman:
Static Code Verification Through Process Models. ISoLA (3) 2018: 343-354 - [c74]Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari:
Program Correctness by Transformation. ISoLA (1) 2018: 365-380 - [c73]Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman:
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops 2018: 40-45 - [c72]Afshin Amighi, Marieke Huisman, Stefan Blom:
Verification of Shared-Reading Synchronisers. MeTRiD@ETAPS 2018: 107-120 - [e7]Dirk Beyer, Marieke Huisman:
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10805, Springer 2018, ISBN 978-3-319-89959-6 [contents] - [e6]Dirk Beyer, Marieke Huisman:
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10806, Springer 2018, ISBN 978-3-319-89962-6 [contents] - 2017
- [j16]Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig:
VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. 19(6): 763-771 (2017) - [c71]Reiner Hähnle, Marieke Huisman:
24 Challenges in Deductive Software Verification. ARCADE@CADE 2017: 37-41 - [c70]Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn:
The VerCors Tool Set: Verification of Parallel and Concurrent Software. IFM 2017: 102-110 - [c69]Saeed Darabi, Stefan C. C. Blom, Marieke Huisman:
A Verification Technique for Deterministic Parallel Programs. NFM 2017: 247-264 - [c68]Marieke Huisman:
A verification technique for deterministic parallel programs. PPDP 2017: 3 - [c67]Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski:
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE 2017: 191-209 - [e5]Marieke Huisman, Julia Rubin:
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10202, Springer 2017, ISBN 978-3-662-54493-8 [contents] - [i4]Marieke Huisman, Thomas Noll, Makoto Tatsuta:
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). NII Shonan Meet. Rep. 2017 (2017) - 2016
- [j15]Marieke Huisman, Jaco van de Pol:
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. 128: 1 (2016) - [j14]Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman:
Provably correct control flow graphs from Java bytecode programs with exceptions. Int. J. Softw. Tools Technol. Transf. 18(6): 653-684 (2016) - [c66]Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman:
Specification and Verification of Synchronization with Condition Variables. FTSCS 2016: 3-19 - [c65]Lesley Wevers, Marieke Huisman, Maurice van Keulen:
Lazy Evaluation for Concurrent OLTP and Bulk Transactions. IDEAS 2016: 115-124 - [c64]Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan:
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) 2016: 397-401 - [c63]Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser:
Software that Meets Its Intent. ISoLA (2) 2016: 609-625 - [c62]Afshin Amighi, Stefan Blom, Marieke Huisman:
VerCors: A Layered Approach to Practical Verification of Concurrent Software. PDP 2016: 495-503 - [c61]Wytse Oortwijn, Stefan Blom, Marieke Huisman:
Future-based Static Analysis of Message Passing Programs. PLACES 2016: 65-72 - [p1]Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel:
Formal Specification with the Java Modeling Language. Deductive Software Verification 2016: 193-241 - [e4]Erika Ábrahám, Marieke Huisman:
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681, Springer 2016, ISBN 978-3-319-33692-3 [contents] - 2015
- [j13]Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin:
Permission-Based Separation Logic for Multithreaded Java Programs. Log. Methods Comput. Sci. 11(1) (2015) - [j12]Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
Procedure-modular specification and verification of temporal safety properties. Softw. Syst. Model. 14(1): 83-100 (2015) - [j11]Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
VerifyThis 2012 - A Program Verification Competition. Int. J. Softw. Tools Technol. Transf. 17(6): 647-657 (2015) - [j10]Stefan Blom, Marieke Huisman:
Witnessing the elimination of magic wands. Int. J. Softw. Tools Technol. Transf. 17(6): 757-781 (2015) - [c60]Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen:
Analysis of the Blocking Behaviour of Schema Transformations in Relational Database Systems. ADBIS 2015: 169-183 - [c59]Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen:
A Benchmark for Online Non-blocking Schema Transformations. DATA 2015: 288-298 - [c58]Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski:
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. FTfJP@ECOOP 2015: 8:1-8:6 - [c57]Stefan Blom, Saeed Darabi, Marieke Huisman:
Verification of Loop Parallelisations. FASE 2015: 202-217 - [c56]Marieke Huisman, Wojciech Mostowski:
A Symbolic Approach to Permission Accounting for Concurrent Reasoning. ISPDC 2015: 165-174 - [c55]Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman:
Specification and Verification of Atomic Operations in GPGPU Programs. SEFM 2015: 69-83 - [c54]Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski:
History-Based Verification of Functional Behaviour of Concurrent Programs. SEFM 2015: 84-98 - 2014
- [j9]Marieke Huisman, Jaco van de Pol:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j8]Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman:
Effective verification of confidentiality for multi-threaded programs. J. Comput. Secur. 22(2): 269-300 (2014) - [j7]Marieke Huisman:
SCP special issue on Bytecode 2012 - Preface. Sci. Comput. Program. 92: 1 (2014) - [j6]Stefan Blom, Marieke Huisman, Matej Mihelcic:
Specification and verification of GPGPU programs. Sci. Comput. Program. 95: 376-388 (2014) - [c53]Afshin Amighi, Stefan Blom, Marieke Huisman:
Resource Protection Using Atomics - Patterns and Verification. APLAS 2014: 255-274 - [c52]Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom:
Verifying Functional Behaviour of Concurrent Programs. FTfJP@ECOOP 2014: 4:1-4:6 - [c51]Tri Minh Ngo, Marieke Huisman:
Quantitative Security Analysis for Programs with Low Input and Noisy Output. ESSoS 2014: 77-94 - [c50]Marina Zaharieva-Stojanovski, Marieke Huisman:
Verifying Class Invariants in Concurrent Programs. FASE 2014: 230-245 - [c49]Stefan Blom, Marieke Huisman:
The VerCors Tool for Verification of Concurrent Programs. FM 2014: 127-131 - [c48]Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski:
Formal Specifications for Java's Synchronisation Classes. PDP 2014: 725-733 - [c47]Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski:
Verification of Concurrent Systems with VerCors. SFM 2014: 172-216 - [c46]Stefan Blom, Saeed Darabi, Marieke Huisman:
Verifying Parallel Loops with Separation Logic. PLACES 2014: 47-53 - [i3]Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports 4(4): 1-19 (2014) - 2013
- [j5]Dilian Gurov, Marieke Huisman:
Reducing behavioural to structural properties of programs with procedures. Theor. Comput. Sci. 480: 69-103 (2013) - [c45]Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman:
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification. ESSoS 2013: 107-122 - [c44]Stefan Blom, Joseph Kiniry, Marieke Huisman:
How Do Developers Use APIs? A Case Study in Concurrency. ICECCS 2013: 212-221 - [c43]Tri Minh Ngo, Marieke Huisman:
Quantitative Security Analysis for Multi-threaded Programs. QAPL 2013: 34-48 - [i2]Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen:
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports 3(4): 17-33 (2013) - 2012
- [c42]Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
On the Organisation of Program Verification Competitions. COMPARE 2012: 50-59 - [c41]Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski:
The VerCors project: setting up basecamp. PLPV 2012: 71-82 - [c40]Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman:
Sound Control-Flow Graph Extraction for Java Programs with Exceptions. SEFM 2012: 33-47 - [c39]Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom:
A History of BlockingQueues. FLACOS 2012: 31-35 - [i1]Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga:
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports 2(12): 64-88 (2012) - 2011
- [c38]Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor:
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. FTfJP@ECOOP 2011: 7:1-7:6 - [c37]Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich:
The COST IC0701 Verification Competition 2011. FoVeOOS 2011: 3-21 - [c36]Marieke Huisman, Tri Minh Ngo:
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification. FoVeOOS 2011: 178-195 - [c35]Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
ProMoVer: Modular Verification of Temporal Safety Properties. SEFM 2011: 366-381 - [c34]Marieke Huisman, Henri-Charles Blondeel:
Model-Checking Secure Information Flow for Multi-threaded Programs. TOSCA 2011: 148-165 - 2010
- [c33]Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
Procedure-modular verification of control flow safety properties. FTfJP@ECOOP 2010: 5:1-5:7 - [c32]Marieke Huisman, Dilian Gurov:
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. FoVeOOS 2010: 107-121
2000 – 2009
- 2009
- [c31]Marieke Huisman:
On the interplay between the semantics of Java's finally clauses and the JML run-time checker. FTfJP@ECOOP 2009: 8:1-8:6 - [c30]Marieke Huisman, Alejandro Tamalet:
A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354 - [c29]Dilian Gurov, Marieke Huisman:
Reducing Behavioural to Structural Properties of Programs with Procedures. VMCAI 2009: 136-150 - 2008
- [j4]Dilian Gurov, Marieke Huisman, Christoph Sprenger:
Compositional verification of sequential programs with procedures. Inf. Comput. 206(7): 840-868 (2008) - [c28]Christian Haack, Marieke Huisman, Clément Hurlin:
Reasoning about Java's Reentrant Locks. APLAS 2008: 171-187 - [c27]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76 - [c26]Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert:
BML and Related Tools. FMCO 2008: 278-297 - [c25]Marieke Huisman, Irem Aktug, Dilian Gurov:
Program Models for Compositional Verification. ICFEM 2008: 147-166 - 2007
- [c24]Lilian Burdy, Marieke Huisman, Mariela Pavlova:
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE 2007: 215-229 - [c23]Marieke Huisman, Fausto Spoto:
Preface. Bytecode@ETAPS 2007: 1 - [c22]Marieke Huisman, Dilian Gurov:
Composing Modal Properties of Programs with Procedures. FESCA@ETAPS 2007: 87-101 - [e3]Marieke Huisman, Fausto Spoto:
Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 190(1), Elsevier 2007 [contents] - 2006
- [c21]Marieke Huisman, Pratik Worah, Kim Sunesen:
A Temporal Logic Characterisation of Observational Determinism. CSFW 2006: 3 - [c20]Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet:
JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174 - [e2]Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet:
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3956, Springer 2006, ISBN 3-540-33689-3 [contents] - 2005
- [j3]Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs:
Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005) - [c19]Marieke Huisman, Kerry Trentelman:
Factorising Temporal Specifications. CATS 2005: 87-96 - [c18]Dilian Gurov, Marieke Huisman:
Interface Abstraction for Compositional Verificatio. SEFM 2005: 414-424 - [e1]Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean:
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3362, Springer 2005, ISBN 3-540-24287-2 [contents] - 2004
- [j2]Marieke Huisman, Thomas P. Jensen:
Guest editors' introduction: Special issue on Formal Methods for Smart Cards. J. Log. Algebraic Methods Program. 58(1-2): 1-2 (2004) - [c17]Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet:
Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16 - [c16]Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll:
Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83 - [c15]Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov:
Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98 - [c14]Christoph Sprenger, Dilian Gurov, Marieke Huisman:
Compositional verification for secure loading of smart card applets. MEMOCODE 2004: 211-222 - 2003
- [c13]Néstor Cataño, Marieke Huisman:
CHASE: A Static Checker for JML's Assignable Clause. VMCAI 2003: 26-40 - 2002
- [c12]Kerry Trentelman, Marieke Huisman:
Extending JML Specifications with Temporal Logic. AMAST 2002: 334-348 - [c11]Gilles Barthe, Dilian Gurov, Marieke Huisman:
Compositional Verification of Secure Applet Interactions. FASE 2002: 15-32 - [c10]Néstor Cataño, Marieke Huisman:
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. FME 2002: 272-289 - [c9]Marieke Huisman:
Verification of Java's AbstractCollection Class: A Case Study. MPC 2002: 175-194 - 2001
- [b1]Marieke Huisman:
Reasoning about Java programs in higher order logic using PVS and Isabelle. IPA dissertation series 03, IPA 2001, ISBN 978-90-9014440-5, pp. I-X, 1-240 - [j1]Marieke Huisman, Bart Jacobs, Joachim van den Berg:
A case study in class library verification: Java's vector class. Int. J. Softw. Tools Technol. Transf. 3(3): 332-352 (2001) - [c8]Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa:
Jakarta: A Toolset for Reasoning about JavaCard. E-smart 2001: 2-18 - 2000
- [c7]Marieke Huisman, Bart Jacobs:
Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303 - [c6]Marieke Huisman, Bart Jacobs:
Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319
1990 – 1999
- 1999
- [c5]Marieke Huisman, Bart Jacobs, Joachim van den Berg:
A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110 - [c4]Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll:
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT 1999: 1-21 - 1998
- [c3]Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews:
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 - [c2]Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum:
Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340 - [c1]W. O. David Griffioen, Marieke Huisman:
A Comparison of PVS and Isabelle/HOL. TPHOLs 1998: 123-142
Coauthor Index
Stefan Blom
aka: Stefan C. C. Blom
aka: Stefan C. C. Blom
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
