Specification of Real-Time and Hybrid Systems in Rewriting Logic (1999)

Cached

Download Links

by Peter Csaba Olveczky , Peter Csaba , José Meseguer
Citations:28 - 16 self

Active Bibliography

10 Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Ölveczky - 2000
4 Specifying Real-Time Systems in Rewriting Logic – Peter Csaba Olveczky, José Meseguer, Peter Csaba, Menlo Park - 1996
1 Specifying and Analyzing Real-Time Object Systems in Real-time Maude – Peter C. Ölveczky - 2001
11 Verification of Clocked and Hybrid Systems – Yonit Kesten, Zohar Manna, Amir Pnueli
Analyse Algorithmique de Systèmes Hybrides Polygonaux – Docteur De L'universite Grenoble I, Gerardo Schneider, Analyse Algorithmique, Systemes Hybrides, Sergio Yovine, Eugene Asarin, Jacques Voiron President, Sergio Yovine Directeur De These, Eugene Asarin Directeur De These, Vincent Blondel Examinateur, Patrick Saint-pierre Examinateur, Alfredo Zitarrosa - 2002
6 Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools – K. G. Larsen, B. Steffen, C. Weise - 1997
6 Lecture notes on hybrid systems – John Lygeros - 2004
APPROXIMATION BASED SAFETY AND STABILITY VERIFICATION OF HYBRID SYSTEMS – Pavithra Prabhakar - 2011
305 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
378 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
21 Deductive Verification of Hybrid Systems Using STeP – Zohar Manna, Henny B. Sipma - 1998
18 Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems – Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka - 1999
5 Cottbus Timed Automata: Formal Definition and Semantics – Dirk Beyer, Heinrich Rust - 2001
INFINITY 2004 Preliminary Version – Inference Of Timed, Olga Grinchtein, Bengt Jonsson, Martin Leucker
Learning of Event-Recording Automata – Olga Grinchtein Bengt, Bengt Jonsson, Martin Leucker - 2004
Knowledge, State, Event and Time in System Modeling - Spectrums of Modeling Languages and Transformations – Jin Song, Roger Duke, Jun Sun, Dong Roger, Duke Jun Sun, Ping Hao, Yuanfang Li, Brendan Mahony, Shengchao Qin, Jing Sun, Hai Wang - 2006
7 Modular Verification of Timed Circuits using Automatic Abstraction – Hao Zheng, Eric Mercer, Chris Myers - 2003
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
1 A Real-Time Animator for Hybrid Systems – Tobias Amnell, Alexandre David, Re David, Wang Yi - 1985