Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops - CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers | 0 | 0.34 | 2020 |
An Analysis Tool for Models of Virtualized Systems. | 0 | 0.34 | 2018 |
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. | 1 | 0.34 | 2016 |
Memory-aware Bounded Model Checking for Linear Hybrid Systems. | 0 | 0.34 | 2006 |
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings | 20 | 1.39 | 2005 |
Closing Open SDL-Systems for Model Checking with DTSpin | 11 | 0.71 | 2002 |
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems | 6 | 0.49 | 2002 |
Verification for Java's Reentrant Multithreading Concept | 30 | 1.43 | 2002 |
Synchronous Closing of Timed SDL Systems for Model Checking | 3 | 0.45 | 2002 |
Assertion-Based Analysis of Hybrid Systems with PVS | 3 | 0.42 | 2001 |
Verifying Large SDL-Specifications Using Model Checking | 10 | 0.67 | 2001 |
Divide, Abstract, and Model-Check | 15 | 0.92 | 1999 |
Inheritance of proofs | 4 | 0.79 | 1998 |
Correct transformational design of concurrent search structures | 0 | 0.34 | 1995 |
Higher-Order Subtyping | 19 | 1.36 | 1994 |