Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings von Ravn, Anders P, Rischel, Hans

Volltext

Conformance test development with the Java modeling language von Søndergaard, Hans, Korsholm, Stephan E., Ravn, Anders P.

Volltext

Hybrid Systems von Grossman, Robert L, Nerode, Anil, Ravn, Anders P, Rischel, Hans

Volltext

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings von Liu, Zhiming, Ravn, Anders P

Volltext

Safety‐critical Java for embedded systems von Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof, Korsholm, Stephan E., Ravn, Anders P., Rios Rivas, Juan Ricardo, Strøm, Tórur Biskopstø, Søndergaard, Hans, Wellings, Andy, Zhao, Shuai

Volltext

A real-time Java tool chain for resource constrained platforms von Korsholm, Stephan E., Søndergaard, Hans, Ravn, Anders P.

Volltext

A Hardware Abstraction Layer in Java von Schoeberl, Martin, Korsholm, Stephan, Kalibera, Tomas, Ravn, Anders P.

Volltext

Compositional verification of real-time systems using Ecdar von David, Alexandre, Larsen, Kim. G., Legay, Axel, Møller, Mikael H., Nyman, Ulrik, Ravn, Anders P., Skou, Arne, Wąsowski, Andrzej

Volltext

Model-checking web services business activity protocols von Marques, Abinoam P., Ravn, Anders P., Srba, Jiří, Vighio, Saleem

Volltext

Hybrid action systems von Rönkkö, Mauno, Ravn, Anders P., Sere, Kaisa

Volltext

From safety analysis to software requirements von Hansen, K.M., Ravn, A.P., Stavridou, V.

Volltext

A calculus of durations von Chaochen, Zhou, Hoare, C.A.R., Ravn, Anders P.

Volltext

Solving Parity Games in Practice von Friedmann, Oliver, Lange, Martin

Volltext

Safety-critical Java with cyclic executives on chip-multiprocessors von Ravn, Anders P., Schoeberl, Martin

Volltext

Specifying and verifying requirements of real-time systems von Ravn, A.P., Rischel, H., Hansen, K.M.

Volltext

Editorial: Hybrid Systems von Olderog, Ernst-Rüdiger, Ravn, Anders P.

Volltext

On-the-fly Emptiness Check of Transition-Based Streett Automata von Duret-Lutz, Alexandre, Poitrenaud, Denis, Couvreur, Jean-Michel

Volltext

Refinement and verification in component-based model-driven design von Chen, Zhenbang, Liu, Zhiming, Ravn, Anders P., Stolz, Volker, Zhan, Naijun

Volltext

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres von Hilscher, Martin, Linker, Sven, Olderog, Ernst-Rüdiger, Ravn, Anders P.

Volltext

Unifying proof methodologies of duration calculus and timed linear temporal logic von ZHIMING LIU, RAVN, Anders P, XIAOSHAN LI

Volltext