Local Planning Semantics: A Semantics for Distributed Real-Time Systems
暂无分享,去创建一个
Marius Bozga | Saddek Bensalem | Jacques Combaz | Mahieddine Dellabani | M. Bozga | S. Bensalem | Mahieddine Dellabani | Jacques Combaz
[1] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[2] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[3] Stavros Tripakis,et al. Implementation of Timed Automata: An Issue of Semantics or Modeling? , 2005, FORMATS.
[4] Borzoo Bonakdarpour,et al. Model-based implementation of distributed systems with priorities , 2013, Des. Autom. Embed. Syst..
[5] Joseph Sifakis,et al. Model-based implementation of real-time applications , 2010, EMSOFT '10.
[6] Joseph Sifakis,et al. Scheduler Modeling Based on the Controller Synthesis Paradigm , 2002, Real-Time Systems.
[7] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[8] Kim G. Larsen,et al. UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.
[9] Nicolas Halbwachs,et al. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE , 1992, IEEE Trans. Software Eng..
[10] Conrado Daws,et al. Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM , 2002, International Journal on Software Tools for Technology Transfer.
[11] Carlo Rossi,et al. Giotto a time-triggered language for embedded programming , 2011 .
[12] Vincent David,et al. OASIS formal approach for distributed safety-critical real-time system design , 2007, ISoLA.