Expanded versions of paper presented at the 2011 and 2012 International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS).
- End-to-end latency and temporal consistency analysis in networked real-time systems
- Size analysis in multiprocessor real-time scheduling
- Controllability for discrete event systems modelled in VeriJ
- Transactional Petri nets: a semantic framework for UML2 activities
- Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction
- Functional safety of adaptive embedded control systems: new solutions
No comments:
Post a Comment