Supervision of Infinite Behavior of Discrete-Event Systems
SIAM Journal on Control and Optimization
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
``Production Cell'': A Comparative Study in Formal Specification and Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
IEEE Transactions on Software Engineering
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Decomposing controllers into non-conflicting distributed controllers
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Model checking timed automata with priorities using DBM subtraction
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |