Georges Morbé

According to our database, Georges Morbé authored at least 8 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Verifying real-time systems.

Georges Morbé

PhD thesis, 2015

Fully symbolic TCTL model checking for complete and incomplete real-time systems.

Georges Morbé, Christoph Scholl

Sci. Comput. Program., 2015

2014

Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems.

Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Fully Symbolic TCTL Model Checking for Incomplete Timed Systems.

Georges Morbé, Christoph Scholl

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

2012

Guaranteeing Termination of Fully Symbolic Timed Forward Model Checking.

Georges Morbé, Christoph Scholl

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

Fully Symbolic Model Checking for Incomplete Systems of Timed Automata.

Georges Morbé, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011

Fully Symbolic Model Checking for Timed Automata.

Georges Morbé, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Fully Symbolic Model Checking for Timed Automata.

Georges Morbé, Florian Pigorsch, Christoph Scholl

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011