| Comparing approaches for model-checking strategies under imperfect information and fairness constraints | 0 | 0.34 | 2019 |
| A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. | 0 | 0.34 | 2018 |
| Producing Explanations for Rich Logics. | 2 | 0.38 | 2018 |
| A Backward-Traversal-Based Approach For Symbolic Model Checking Of Uniform Strategies For Constrained Reachability | 0 | 0.34 | 2017 |
| Reasoning about memoryless strategies under partial observability and unconditional fairness constraints | 8 | 0.46 | 2015 |
| Verification Of Railway Interlocking Systems | 5 | 0.61 | 2015 |
| State Event Models for the Formal Analysis of Human-Machine Interactions | 2 | 0.39 | 2014 |
| A methodology for analyzing human-automation interactions in flight operations using formal verification techniques | 1 | 0.39 | 2014 |
| Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. | 7 | 0.46 | 2014 |
| PyNuSMV: NuSMV as a Python Library. | 8 | 0.71 | 2013 |
| Reasoning About Strategies Under Partial Observability And Fairness Constraints | 6 | 0.45 | 2013 |
| Rich Counter-Examples For Temporal-Epistemic Logic Model Checking | 4 | 0.51 | 2012 |
| Milestones: a model checker combining symbolic model checking and partial order reduction | 0 | 0.34 | 2011 |
| Combining partial-order reduction and symbolic model checking to verify LTL properties | 0 | 0.34 | 2011 |
| A formal framework for design and analysis of human-machine interaction | 13 | 0.73 | 2011 |
| ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010 | 74 | 7.90 | 2010 |
| A formal analysis of requirements-based testing | 4 | 0.40 | 2009 |
| Combining Partial Order Reduction with Bounded Model Checking | 2 | 0.38 | 2009 |
| A bisimulation-based approach to the analysis of human-computer interaction | 9 | 0.63 | 2009 |
| Efficient Symbolic Model Checking for Process Algebras | 4 | 0.51 | 2008 |
| Verification of embedded software: from mars to actions | 0 | 0.34 | 2007 |
| Automatic verification of knowledge and time with NuSMV | 18 | 0.84 | 2007 |
| Testing Planning Domains (without Model Checkers) | 0 | 0.34 | 2007 |
| Symbolic Model Checking of Logics with Actions | 28 | 1.11 | 2006 |
| Verification and Validation and Artificial Intelligence | 13 | 0.78 | 2005 |
| Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder | 4 | 0.52 | 2004 |
| Formal verification of diagnosability via symbolic model checking | 49 | 2.14 | 2003 |
| Formal Verification for a Next-Generation Space Shuttle | 0 | 0.34 | 2002 |
| Challenges Arising from Applications | 0 | 0.34 | 2002 |
| RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems | 1 | 0.42 | 2001 |
| Model Checking of Autonomy Models for an In-Situ Propellant Production System | 0 | 0.34 | 2000 |
| Towards Automatic Verification Of Autonomous Systems | 12 | 1.62 | 2000 |
| Panel Discussion: Future Directions | 0 | 0.34 | 2000 |
| Advanced Modelling and Verification Techniques Applied to a Cluster File System | 6 | 0.58 | 1999 |
| Specification and Verification of the Co4 Distributed Knowledge System using LOTOS | 0 | 0.34 | 1997 |
| VLib: Infinite Virtual Libraries for LOTOS | 1 | 0.88 | 1993 |
| Using LOTOS for specifying the CHORUS distributed operating system kernel | 3 | 0.64 | 1992 |
