Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
The Synchronous Approach to Designing Reactive Systems
Formal Methods in System Design - Special issue: industrial critical systems
Automatic generation of assumptions for modular verification of software specifications
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Object and concurrency in Triveni: a telecommunication case study in java
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Semantics-preserving implementation of multirate mixed-criticality synchronous programs
Proceedings of the 20th International Conference on Real-Time and Network Systems
| Hi-index | 0.00 |