Proceedings of the 24th International Conference on Software Engineering
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Distributed LTL Model Checking Based on Negative Cycle Detection
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Modeling and verification of parallel processes
CTL* model checking on a shared-memory architecture
Formal Methods in System Design
Dealing with practical limitations of distributed timed model checking for timed automata
Formal Methods in System Design
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
Model-based system analysis using Chi and Uppaal: An industrial case study
Computers in Industry
Distributed Verification of Multi-threaded C++ Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring and Evaluating Parallel State-Space Exploration Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Checking Large Finite-State Systems and Beyond
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Real-Time Model Checking on Secondary Storage
Model Checking and Artificial Intelligence
Distributed Extended Beam Search for Quantitative Model Checking
Model Checking and Artificial Intelligence
Complexity of contextual reasoning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Semi-distributed LTL model checking for actor based modeling languages
SoftCOM'09 Proceedings of the 17th international conference on Software, Telecommunications and Computer Networks
Verification of timed and hybrid systems
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Distributed verification: exploring the power of raw computing power
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Distributed analysis with µCRL: a compendium of case studies
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Tutorial: parallel model checking
Proceedings of the 14th international SPIN conference on Model checking software
Towards informed swarm verification
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Cluster-Based LTL model checking of large systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Model checking the time to reach agreement
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Verification, performance analysis and controller synthesis for real-time systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
DiVinE: a tool for distributed verification
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Improving communication for distributed model checking
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Multi-core reachability for timed automata
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
DiVinE 3.0: an explicit-state model checker for multithreaded c & c++ programs
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |