Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Algebraic theory of processes
Communication and concurrency
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Communicating sequential processes
Communications of the ACM
Foundations of Real-Time Computing: Formal Specifications and Methods
Foundations of Real-Time Computing: Formal Specifications and Methods
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing real-time systems using UPPAAL
Formal methods and testing
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Safety-critical medical device development using the UPP2SF model translation tool
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |