Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Construction of an Automaton From a Formula of the Monadic First-Order Theory of Natural Numbers
Cybernetics and Systems Analysis
The Automata-Theoretic Approach to Verification of Reactive Systems
Cybernetics and Systems Analysis
Verifying an Applicative ATP Using Multiset Relations
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Adding the leads-to operator to Dijkstra's calculus
ACM SIGPLAN Notices
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Ordering of events in two-process concurrent system
ACM SIGSOFT Software Engineering Notes
A conceptual approach to teaching induction for computer science
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Tool support for understanding and diagnosing pointcut expressions
Proceedings of the 7th international conference on Aspect-oriented software development
Systematic Semantic Tableaux for PLTL
Electronic Notes in Theoretical Computer Science (ENTCS)
Planning as model checking: the performance of ProB vs NuSMV
Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology
Model checking of healthcare domain models
Computer Methods and Programs in Biomedicine
Modeling of state transition rules and its application
ACM SIGSOFT Software Engineering Notes
Weakest precondition based modelling and verification of a class of concurrent systems
International Journal of Artificial Intelligence and Soft Computing
Evolution of composition filters to event composition
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |