A quantitative approach to the formal verification of real-time systems

Formal verification and analysis of multimedia systems

MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

Formal Methods in System Design

Compositional Reasoning in Model Checking

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

ProbVerus: Probabilistic Symbolic Model Checking

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems

Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance

IEEE Transactions on Software Engineering

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering

IEEE Transactions on Software Engineering

Symbolic model checking in practice

SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design