Mihaela Sighireanu

	2009
18		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: A Logic-Based Framework for Reasoning about Composite Data Structures. CONCUR 2009: 178-195
17		Mihaela Sighireanu, Tayssir Touili: Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. Electr. Notes Theor. Comput. Sci. 239: 43-56 (2009)
16		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes Logical Methods in Computer Science 5(2): (2009)
	2007
15		Gaël Patin, Mihaela Sighireanu, Tayssir Touili: Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV 2007: 254-257
14		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		Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. TACAS 2007: 690-705
	2003
11		Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel: An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN 2003: 159-
10		Marc Boyer, Mihaela Sighireanu: Synthesis and Verification of Constraints in the PGM Protocol. FME 2003: 264-281
9		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		Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu: TReX: A Tool for Reachability Analysis of Complex Systems. CAV 2001: 368-372
7		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		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		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] [18]
5	Marc Boyer	[10]
6	Aurore Collomb-Annichini	[5]
7	Cezara Dragoi	[16] [18]
8	Constantin Enea	[16] [18]
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] [17]

Colors in the list of coauthors