Formal methods for distributed processing
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Combining Independent Specifications
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Bisimulation on speed: worst-case efficiency
Information and Computation
Extending noninterference properties to the timed world
Proceedings of the 2006 ACM symposium on Applied computing
On Timed Models and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Theoretical Computer Science
| Hi-index | 5.23 |