| 2017 | Formalising the Dezyne Modelling Language in mCRL2. | Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse |
| 2017 | Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. | Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2017 | A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. | tienne Andr |
| 2016 | Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System. | Somsak Vanit-Anunchai |
| 2016 | Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations. | Jan Peleska, Wen-ling Huang |
| 2016 | One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast. | Mahmoud Mohsen, Bart Jacobs |
| 2016 | Towards the Automated Verification of Weibull Distributions for System Failure Rates. | Yu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson |
| 2016 | Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing. | Takuro Kutsuna, Yoshinao Ishii |
| 2016 | Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. | Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola |
| 2016 | Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. | Axel Habermaier, Johannes Leupolz, Wolfgang Reif |
| 2016 | Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. | Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif |
| 2016 | Formal Verification of a Rover Anti-collision System. | Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau |
| 2016 | Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. | Alessandro Fantechi |
| 2016 | Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. | Arnaud Dieumegard, Andres Toom, Marc Pantel |
| 2016 | Abstract Interpretation of MATLAB Code with Interval Sets. | Christian Dernehl, Norman Hansen, Stefan Kowalewski |
| 2016 | A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. | Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen |
| 2016 | Workflow Nets Verification: SMT or CLP? | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron |
| 2016 | Verification of AUTOSAR Software Architectures with Timed Automata. | Steffen Beringer, Heike Wehrheim |
| 2016 | Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2015 | Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. | Valentn Valero, Hermenegilda Maci, Gregorio Daz, Mara-Emilia Cambronero |
| 2015 | On the Formal Analysis of Photonic Signal Processing Systems. | Umair Siddique, Sidi Mohamed Beillahi, Sofine Tahar |
| 2015 | Successful Use of Incremental BMC in the Automotive Industry. | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller |
| 2015 | Automated Verification of Nested DFS. | Jaco C. van de Pol |
| 2015 | Formal Verification of Industrial Critical Software. | Marielle Petit-Doche, Nicolas Breton, Romo Courbis, Yoann Fonteneau, Matthias Gdemann |
| 2015 | On the Formal Verification of Optical Quantum Gates in HOL. | Mohamed Yousri Mahmoud, Prakash Panangaden, Sofine Tahar |