Search for persons
X
?
Reversible Computation; Lecture Notes in Computer Science ,
1
Causal Debugging for Concurrent Systems:
, In:
?
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang ,
2
A Semantics of Core Erlang with Handling of Signals:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
3
Explaining Safety Violations in Real-Time Systems:
, In:
?
Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services ,
7
SAKURA a Model Based Root Cause Analysis Framework for vIMS..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
8
Building Correct Cyber-Physical Systems: Why We Need a Mult..:
, In:
?
Proceedings of the 14th International Conference on Embedded Software ,
10
Blaming in component-based real-time systems:
, In:
?
Proceedings of the 16th international conference on Hybrid systems: computation and control ,
11
CoSyMA : a tool for controller synthesis using multi-sca..:
, In:
?
Proceedings of the 14th international conference on Hybrid systems: computation and control ,
13