Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
An Efficient State Space Generation for the Analysis of Real-Time Systems
IEEE Transactions on Software Engineering
Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Constraint Database Models Characterizing Timed Bisimilarity
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Verification Using Tabled Logic Programming
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning
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
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Parametric real-time model checking using splitting trees
Nordic Journal of Computing
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Checking Timed Büchi Automata Emptiness Efficiently
Formal Methods in System Design
Analysis of Real-Time Systems with CTL Model Checkers
Electronic Notes in Theoretical Computer Science (ENTCS)
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Fast generic model-checking for data-based systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Test generation for interworking systems
Computer Communications
Efficient model-checking of dense-time systems with time-convexity analysis
Theoretical Computer Science
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |