| Presentation of the 9th Edition of the Model Checking Contest. | 0 | 0.34 | 2019 |
| MCC'2017 - The Seventh Model Checking Contest. | 1 | 0.35 | 2018 |
| Self-adaptive Model Checking, the Next Step? | 0 | 0.34 | 2018 |
| Modeling a Cache Coherence Protocol with the Guarded Action Language. | 0 | 0.34 | 2018 |
| Formal verification of mobile robot protocols. | 10 | 0.57 | 2016 |
| Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. | 0 | 0.34 | 2016 |
| Symbolic Model-Checking Using ITS-Tools. | 1 | 0.36 | 2015 |
| Controllability for discrete event systems modelled in VeriJ | 0 | 0.34 | 2014 |
| Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. | 3 | 0.38 | 2014 |
| Model Checking Contest @ Petri Nets, Report on the 2013 edition. | 5 | 0.70 | 2013 |
| Semi-automatic controller design of Java-like models | 0 | 0.34 | 2013 |
| Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. | 5 | 0.46 | 2013 |
| Towards distributed software model-checking using decision diagrams | 7 | 0.61 | 2013 |
| Report on the Model Checking Contest at Petri Nets 2011. | 16 | 0.68 | 2012 |
| State Space Analysis Using Symmetries on Decision Diagrams | 3 | 0.42 | 2012 |
| Modeling and Analyzing Wireless Sensor Networks with VeriSensor. | 6 | 0.46 | 2012 |
| Raw Report on the Model Checking Contest at Petri Nets 2012 | 6 | 0.63 | 2012 |
| Self-loop aggregation product: a new hybrid approach to on-the-fly LTL model checking | 16 | 0.56 | 2011 |
| Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking | 4 | 0.41 | 2011 |
| Automated controllability and synthesis with hierarchical set decision diagrams. | 1 | 0.36 | 2010 |
| Hierarchical Set Decision Diagrams and Regular Models | 19 | 0.77 | 2009 |
| Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation | 12 | 0.59 | 2009 |
| Hierarchical Set Decision Diagrams and Automatic Saturation | 14 | 0.83 | 2008 |
| Experiences in model driven verification of behavior with UML | 4 | 0.45 | 2008 |
| UML behavioral consistency checking using instantiable Petri nets | 16 | 0.95 | 2008 |
| IibDMC: a Library to Operate Efficient Distributed Model Checking | 2 | 0.37 | 2007 |
| dmcG: a distributed symbolic model checker based on GreatSPN | 2 | 0.36 | 2007 |
| Tutorial on formal methods for distributed and cooperative systems | 0 | 0.34 | 2006 |
| Hierarchical decision diagrams to exploit model structure | 28 | 1.17 | 2005 |
| On the Formal Verification of Middleware Behavioral Properties | 22 | 1.72 | 2005 |
| A Symbolic Symbolic State Space Representation | 10 | 0.70 | 2004 |
| Automatic symmetry detection in well-formed nets | 12 | 0.96 | 2003 |
