| 2024 | FORTE | Weak Simplicial Bisimilarity for Polyhedral Models and SLCS | Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | FM | Minimisation of Spatial Models Using Branching Bisimilarity. | Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | FORTE | On Bisimilarity for Polyhedral Models and SLCS. | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2021 | CONCUR | Bisimulation by Partitioning Is Ω((m+n)log n). | Jan Friso Groote, Jan Martens, Erik P. de Vink |
| 2020 | FASE | Family-Based SPL Model Checking Using Parity Games with Variability. | Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse |
| 2019 | TACAS | The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse |
| 2018 | FM | Deadlock Detection for Actor-Based Coroutines. | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
| 2017 | FASE | Family-Based Model Checking with mCRL2. | Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse |
| 2017 | SPLC | Family-Based Model Checking of SPL based on mCRL2. | Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse |
| 2016 | ISoLA | Supervisory Controller Synthesis for Product Lines Using CIF 3. | Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink |
| 2016 | MFCS | Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. | Matias David Lee, Erik P. de Vink |
| 2014 | ICSE | Using mCRL2 for the analysis of software product lines. | Maurice H. ter Beek, Erik P. de Vink |
| 2014 | ISoLA | Towards Modular Verification of Software Product Lines with mCRL2. | Maurice H. ter Beek, Erik P. de Vink |
| 2014 | SPLC | Software product line analysis with mCRL2. | Maurice H. ter Beek, Erik P. de Vink |
| 2014 | SPLC | SPLat 2014: First International Workshop on Software Product Line Analysis Tools. | Axel Legay, Erik P. de Vink |
| 2013 | TACAS | An Overview of the mCRL2 Toolset and Its Recent Advances. | Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse |
| 2012 | SAC | Dreams: a framework for distributed synchronous coordination. | Jos Proena, Dave Clarke, Erik P. de Vink, Farhad Arbab |
| 2010 | ISoLA | Towards Dynamic Adaptation of Probabilistic Systems. | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
| 2010 | SAC | Data-aware design and verification of service compositions with Reo and mCRL2. | Natallia Kokash, Christian Krause, Erik P. de Vink |
| 2010 | SEFM | Time and Data-Aware Analysis of Graphical Service Models in Reo. | Natallia Kokash, Christian Krause, Erik P. de Vink |
| 2008 | ICSE | Architecting Security with Paradigm. | Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink |
| 2008 | SEC | An Operation-Based Metric for CPA Resistance. | Jing Pan, J. I. den Hartog, Erik P. de Vink |
| 2006 | Coordination | Evolution On-the-Fly with Paradigm. | Luuk Groenewegen, Erik P. de Vink |
| 2005 | Coordination | Delegation Modeling with Paradigm. | Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink |
| 2004 | ESORICS | A Formalization of Anonymity and Onion Routing. | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
| 2003 | SEC | PINPAS: A Tool for Power Analysis of Smartcards. | Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma |
| 2003 | TACAS | Verification and Improvement of the Sliding Window Protocol. | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
| 2002 | Coordination | Operational Semantics for Coordination in Paradigm. | Luuk Groenewegen, Erik P. de Vink |
| 2002 | STACS | Axiomatizing GSOS with Termination. | Jos C. M. Baeten, Erik P. de Vink |
| 1997 | ICALP | Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. | Erik P. de Vink, Jan J. M. M. Rutten |
| 1995 | CONCUR | Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. | Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
| 1994 | STACS | Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. | Vincent van Oostrom, Erik P. de Vink |
| 1990 | MFCS | Retractions in Comparing Prolog Semantics (Extended Abstract). | Arie de Bruin, Erik P. de Vink |
| 1989 | MFCS | Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). | John-Jules Ch. Meyer, Erik P. de Vink |