An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Parameterized Verification of Multithreaded Software Libraries
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Parametric Verification of a Group Membership Algorithm
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
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Better is Better than Well: On Efficient Verification of Infinite-State Systems
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Constraint-Based Verification of Parameterized Cache Coherence Protocols
Formal Methods in System Design
SAT-Solving the Coverability Problem for Petri Nets
Formal Methods in System Design
Model checking linear logic specifications
Theory and Practice of Logic Programming
Automatic generation of symbolic model for parameterized synchronous systems
Journal of Computer Science and Technology
State space computation and analysis of Time Petri Nets
Theory and Practice of Logic Programming
Parametric Verification of a Group Membership Algorithm
Theory and Practice of Logic Programming
Constraint-based automatic verification of abstract models of multithreaded programs
Theory and Practice of Logic Programming
Noetherian spaces in verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
| Hi-index | 5.23 |