Statecharts: A visual formalism for complex systems
Science of Computer Programming
A graphical representation of interval logic
International Conference on Concurrency on Concurrency 88
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Core algorithms for autonomous monitoring of distributed systems
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
The next 700 programming languages
Communications of the ACM
Specification and Verification of Concurrent Programs by forall-Automata
Temporal Logic in Specification
On the Relation of Programs and Computations to Models of Temporal Logic
Temporal Logic in Specification
Extending Interval Logic to Real Time Systems
Temporal Logic in Specification
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Eliciting expectations for monitoring social interactions
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Axiomatizations Of Interval Logics
Fundamenta Informaticae
| Hi-index | 0.00 |