Monitoring Temporal Properties of Continuous Signals von Maler, Oded, Nickovic, Dejan

Volltext

The algorithmic analysis of hybrid systems von Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.

Volltext

Building models of real-time systems from application software von Sifakis, J., Tripakis, S., Yovine, S.

Volltext

Symbolic Model Checking for Real-Time Systems von Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.

Volltext

Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations von Assayad, I., Yovine, S.

Volltext

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and F... von Lakhnech, Yassine, Yovine, Sergio

Volltext

Model checking timed automata von Yovine, Sergio

Volltext

Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata von Dutertre, Bruno, Sorea, Maria

Volltext

Jahuel: A Formal Framework for Software Synthesis von Assayad, I., Bertin, V., Defaut, F. -X., Gerner, Ph, Quévreux, O., Yovine, S.

Volltext

Model-Checking for Weighted Timed Automata von Brihaye, Thomas, Bruyère, Véronique, Raskin, Jean-François

Volltext

Decidable Integration Graphs von Kesten, Y, Pnueli, A, Sifakis, J, Yovine, S

Volltext

Compiling real-time specifications into extended automata von Nicollin, X., Sifakis, J., Yovine, S.

Volltext

Symbolic Model Checking for Probabilistic Timed Automata von Kwiatkowska, Marta, Norman, Gethin, Sproston, Jeremy, Wang, Fuzhi

Volltext

Learning of Event-Recording Automata von Grinchtein, Olga, Jonsson, Bengt, Leucker, Martin

Volltext

Symbolic Reachability Computation for Families of Linear Vector Fields von Lafferriere, Gerardo, Pappas, George J., Yovine, Sergio

Volltext

Kronos: A model-checking tool for real-time systems von Bozga, Marius, Daws, Conrado, Maler, Oded, Olivero, Alfredo, Tripakis, Stavros, Yovine, Sergio

Volltext

Forward Reachability Analysis of Timed Petri Nets von Abdulla, Parosh Aziz, Deneux, Johann, Mahata, Pritha, Nylén, Aletta

Volltext

Lazy Approximation for Dense Real-Time Systems von Sorea, Maria

Volltext

The tool Kronos von Daws, C., Olivero, A., Tripakis, S., Yovine, S.

Volltext

Symbolic Model Checking for Simply-Timed Systems von Markey, Nicolas, Schnoebelen, Philippe

Volltext