RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
On synchronization in hard-real-time systems
Communications of the ACM
Parallel program design: a foundation
Parallel program design: a foundation
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Compositionality, concurrency and partial correctness
Compositionality, concurrency and partial correctness
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
A theorem prover for a computational logic
CADE-10 Proceedings of the tenth international conference on Automated deduction
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
The composability of ASTRAL realtime specifications
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward a discipline of real-time programming
Communications of the ACM
A Formal Framework for ASTRAL Intralevel Proof Obligations
IEEE Transactions on Software Engineering
A Formal Framework for ASTRAL Inter-level Proof Obligations
Proceedings of the 5th European Software Engineering Conference
Proceedings of the IFIP TC8 Working Conference on Diffusion, Transfer and Implementation of Information Technology
A Graphical Interval Logic Toolset for Verifying Concurrent Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Hybrid specification of control systems
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Specification of Realtime Systems Using ASTRAL
Specification of Realtime Systems Using ASTRAL
Testing Formal Specifications to Detect Design Errors
IEEE Transactions on Software Engineering
Rteq: modeling and validating infinite-state hard-real-time systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Validating Real Time Specifications using Real Time Event Queue Modeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Proceedings of the Third Symposium on Information and Communication Technology
Hi-index | 0.00 |