Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Compositional Checking of Communication among Observers
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Predictable real-time software synthesis
Real-Time Systems
Model checking mobile stochastic logic
Theoretical Computer Science
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
A Model Checking Language for Concurrent Value-Passing Systems
FM '08 Proceedings of the 15th international symposium on Formal Methods
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
Using α-ctl to Specify Complex Planning Goals
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Web Applications by the Multiple Levels of Integrity Policy
Electronic Notes in Theoretical Computer Science (ENTCS)
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A CTL-based logic for program abstractions
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Probabilistic aspects: checking security in an imperfect world
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
A study of shared-memory mutual exclusion protocols using CADP
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Confluence reduction for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Property-dependent reductions for the modal Mu-calculus
Proceedings of the 18th international SPIN conference on Model checking software
Performability measure specification: combining CSRL and MSL
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
An abstract, on the fly framework for the verification of service-oriented systems
Rigorous software engineering for service-oriented systems
SoSL: a service-oriented stochastic logic
Rigorous software engineering for service-oriented systems
The SENSORIA approach applied to the finance case study
Rigorous software engineering for service-oriented systems
Performance model checking scenario-aware dataflow
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
Model checking Is static analysis of modal logic
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
An introduction to pervasive interface automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Rewriting approximations for properties verification over CCS specifications
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Model checking as static analysis: revisited
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
| Hi-index | 0.00 |