


default search action
Marieke Huisman
Person information
- affiliation: University of Twente
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) - [c120]Holger Hermanns, Marieke Huisman:
Making ETAPS Gold Open Access. Principles of Verification (3) 2024: 487-500 - [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]