Mihaela Sighireanu

2009
16	EE	Ahmed Bouajjani, Cezara Druagoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes CoRR abs/0903.3126: (2009)
2007
15	EE	Gaël Patin, Mihaela Sighireanu, Tayssir Touili: Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV 2007: 254-257
14	EE	Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu: Rewriting Systems with Data. FCT 2007: 1-22
13		Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu: Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9
12	EE	Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. TACAS 2007: 690-705
2003
11	EE	Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel: An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN 2003: 159-
10	EE	Marc Boyer, Mihaela Sighireanu: Synthesis and Verification of Constraints in the PGM Protocol. FME 2003: 264-281
9	EE	Radu Mateescu, Mihaela Sighireanu: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46(3): 255-281 (2003)
2001
8	EE	Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu: TReX: A Tool for Reachability Analysis of Complex Systems. CAV 2001: 368-372
7	EE	Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu: Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. ICDCS 2001: 695-698
6		Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel: Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. IPDPS 2001: 125
5	EE	Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355
1999
4		Hubert Garavel, Mihaela Sighireanu: A Graphical Parallel Composition Operator for Process Algebras. FORTE 1999: 185-202
1998
3	EE	Mihaela Sighireanu, Radu Mateescu: Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. STTT 2(1): 68-88 (1998)
1996
2		Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440
1		Hubert Garavel, Mihaela Sighireanu: On the Introduction of Exceptions in E-LOTOS. FORTE 1996: 469-484

Coauthor Index

1	Yasmina Abdeddaïm	[13]
2	Aurore Annichini	[8]
3	Eugene Asarin	[13]
4	Ahmed Bouajjani	[5] [8] [12] [14] [16]
5	Marc Boyer	[10]
6	Aurore Collomb-Annichini	[5]
7	Cezara Druagoi	[16]
8	Constantin Enea	[16]
9	Jean-Claude Fernandez	[2]
10	Matthieu Gallien	[13]
11	Hubert Garavel	[1] [2] [4]
12	Alain Girault	[6] [7] [11]
13	Peter Habermehl	[14]
14	Félix Ingrand (François Felix Ingrand)	[13]
15	Yan Jurski	[12] [14] [16]
16	Hamoudi Kalla	[11]
17	Alain Kerbrat	[2]
18	Yassine Lakhnech	[5]
19	Christophe Lavarenne	[6] [7]
20	Charles Lesire	[13]
21	Radu Mateescu	[2] [3] [9]
22	Laurent Mounier	[2]
23	Gaël Patin	[15]
24	Yves Sorel	[6] [7] [11]
25	Tayssir Touili	[15]

Colors in the list of coauthors