Marc Lettrari

According to our database, Marc Lettrari authored at least 4 papers between 2001 and 2005.

Collaborative distances:

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

2005

Efficient state space exploration of reactive object-oriented programs.

Marc Lettrari

PhD thesis, 2005

2003

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems.

Marc Lettrari

Proceedings of the FME 2003: Formal Methods, 2003

2002

Constructing Test Automata from Graphical Real-Time Requirements.

Henning Dierks, Marc Lettrari

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Scenario-Based Monitoring and Testing of Real-Time UML Models.

Marc Lettrari, Jochen Klose

Proceedings of the «UML» 2001, 2001