Verification of Real-Time Systems by Successive Over and Under Approximation

Verification of Real-Time Systems using Linear Relation Analysis

Formal Methods in System Design - Special issue on computer aided verification (CAV 93)

Verification by approximate forward and backward reachability

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design

Temporal abstract interpretation

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Refining Model Checking by Abstract Interpretation

Automated Software Engineering

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control

Efficient Timed Reachability Analysis Using Clock Difference Diagrams

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Automatic effective verification method for distributed and concurrent systems using timed language inclusion

Engineering of distributed control systems

Clock difference diagrams

Nordic Journal of Computing

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

Formal Methods in System Design

Verification of timed circuits with symbolic delays

Proceedings of the 2004 Asia and South Pacific Design Automation Conference

Sound, complete and scalable path-sensitive analysis

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation

Making the right cut in model checking data-intensive timed systems

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering

Bisimulation conversion and verification procedure for goal-based control systems

Formal Methods in System Design

Lazy abstractions for timed automata

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification