Mihaela Sighireanu's Research Activities



Software Verification     Timed Systems     Model Checking     Fault Tolerance     Specification Languages    

My research domain is about the application of formal methods to the development of complex systems, whatever their nature (hardware, software, or telecom). More precisely, my interests are in:


Other pages describing my research activities:

BARRE

Software Verification


BARRE

Model Checking: Finite and Infinite Systems


BARRE

Timed Systems


BARRE

Fault Tolerance for Real-Time Embedded Systems

This work has been done during my Post-doctoral period in the TOLERE project.

BARRE

Specification Languages for Parallel Systems: Semantics and Compilation

During my thesis, I developed a new language, called LOTOS NT, for the description of communication protocols. This language is an improvement of the LOTOS language, a process algebra based language. I also developed a compiler for LOTOS NT, called TRAIAN, which aims to translate LOTOS NT to an automata model in order to model check the description.


Valid HTML 4.0!      Last modified: Tue Feb 11 2020      Back to Mihaela's Home Page