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) - [c114]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 - [c113]Dré van Oorschot, Marieke Huisman, Ömer Sakar:
First Steps towards Deductive Verification of LLVM IR. FASE 2024: 290-303 - [c112]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 - [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]