The MacBeth Specification, Modeling and Programming Language | 0 | 0.34 | 2001 |
Specification-based testing of reactive software: A case study in technology transfer | 2 | 0.49 | 1998 |
Object and concurrency in Triveni: a telecommunication case study in java | 6 | 0.60 | 1998 |
The Semantics of Triveni: A process-Algebraic API for Threads + Events | 3 | 0.56 | 1998 |
An Operational Semantics and Compiler for Real-Time Specifications | 0 | 0.34 | 1998 |
Design and implementation of Triveni: a process-algebraic API for threads + events | 9 | 0.94 | 1998 |
Specification-based testing of reactive software: tools and experiments: experience report | 23 | 2.06 | 1997 |
Integrated web and telephone service creation | 9 | 3.70 | 1997 |
A formal approach to reactive systems software: a telecommunications application in ESTEREL. | 24 | 2.45 | 1996 |
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. | 20 | 3.04 | 1996 |
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software | 41 | 3.74 | 1995 |
Achieving high performance sonar-based wall-following | 1 | 0.40 | 1994 |