Georges Morbé

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Automated Verification

Reactive Systems

Pspace Complete

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Sci. Comput. Program.

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Georges Morbé, Christoph Scholl
Fully symbolic TCTL model checking for complete and incomplete real-time systems. Sci. Comput. Program. 111 (2015)
Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Haifa Verification Conference (2014)
Georges Morbé, Christoph Scholl
Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Georges Morbé, Christoph Scholl
Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking. MTV (2012)
Georges Morbé, Christoph Scholl
Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. MBMV (2012)
Georges Morbé, Christoph Scholl
Fully Symbolic Model Checking for Timed Automata. MBMV (2011)
Georges Morbé, Florian Pigorsch, Christoph Scholl
Fully Symbolic Model Checking for Timed Automata. CAV (2011)