Fully Symbolic Model Checking for Timed Automata. - Georges Morbé; Florian Pigorsch; Christoph Scholl 001 (CAV, 2011)

Fully Symbolic Model Checking for Timed Automata. - Georges Morbé; Christoph Scholl 001 (MBMV, 2011)

Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. - Georges Morbé; Christoph Scholl 001 (MBMV, 2012)

Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking. - Georges Morbé; Christoph Scholl 001 (MTV, 2012)

Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. - Georges Morbé; Christoph Scholl 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. - Georges Morbé; Christian Miller; Christoph Scholl 001; Bernd Becker 001 (Haifa Verification Conference, 2014)

Fully symbolic TCTL model checking for complete and incomplete real-time systems. - Georges Morbé; Christoph Scholl 001 (Sci. Comput. Program., 2015)

Verifying real-time systems. - Georges Morbé (Der Andere Verlag, 2015)