| Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking | 0 | 0.34 | 2022 |
| Modeling and verification of the Multi-connection Tactile Internet Protocol | 0 | 0.34 | 2021 |
| Introduction to the Special Issue devoted to SPIN 2018 | 0 | 0.34 | 2020 |
| Performance Analysis of Spotify® for Android with Model-Based Testing. | 0 | 0.34 | 2017 |
| Extending model checkers for hybrid system verification: the case study of SPIN | 4 | 0.51 | 2014 |
| Using SPIN for automated debugging of infinite executions of Java programs | 6 | 0.40 | 2014 |
| Verification of complex dynamic data tree with mu-calculus | 0 | 0.34 | 2013 |
| An extension of Java PathFinder for hybrid systems | 2 | 0.37 | 2012 |
| Verification support for ARINC-653-based avionics software | 8 | 0.74 | 2011 |
| Verification of Dynamic Data Tree with mu-calculus Extended with Separation | 2 | 0.36 | 2010 |
| Checking the reliability of socket based communication software | 2 | 0.37 | 2009 |
| Model Checking Dynamic Memory Allocation in Operating Systems | 12 | 0.63 | 2009 |
| Model Checking C Programs with Dynamic Memory Allocation | 1 | 0.36 | 2008 |
| On-the-Fly Data Flow Analysis Based on Verification Technology | 6 | 0.42 | 2007 |
| On-the-fly model checking for C programs with extended CADP in FMICS-jETI | 4 | 0.41 | 2007 |
| Model extraction for ARINC 653 based avionics software | 10 | 0.60 | 2007 |
| Implementing Influence Analysis Using Parameterised Boolean Equation Systems | 9 | 0.52 | 2006 |
| Abstract matching for software model checking | 11 | 0.61 | 2006 |
| PiXL: Applying xml standards to support the integration of analysis tools for protocols | 6 | 0.43 | 2006 |
| On The Evolution Of Reliability Methods For Critical Software | 1 | 0.34 | 2006 |
| A semantic framework for the abstract model checking of tccp programs | 11 | 0.71 | 2005 |
| Model checking active networks with SPIN | 3 | 0.40 | 2005 |
| Abstract Model Checking of tccp programs | 4 | 0.46 | 2005 |
| A generalized semantics of PROMELA for abstract model checking | 13 | 0.72 | 2004 |
| Abstract Model Checking and Refinement of Temporal Logic in aSPIN | 0 | 0.34 | 2003 |
| Using XML to implement abstraction for Model Checking | 8 | 0.71 | 2002 |
| A Tool for Abstraction in Model Checking | 13 | 0.61 | 2002 |
| Comparing Under and Over-Approximations of LTL Properties for Model Checking | 5 | 0.47 | 2002 |
