Mihaela Sighireanu

	2012
24		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. VMCAI 2012: 1-22
	2011
23		Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu: Guidelines for the Verification of Population Protocols. ICDCS 2011: 215-224
22		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: On inter-procedural analysis of programs with lists and data. PLDI 2011: 578-589
	2010
21		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu: Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV 2010: 72-88
	2009
20		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: A Logic-Based Framework for Reasoning about Composite Data Structures. CONCUR 2009: 178-195
19		Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu: Rewriting Systems over Nested Data Words. MEMICS 2009
18		Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu: Simple Algorithm for Simple Timed Games. TIME 2009: 99-106
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-168
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] [18]
2	Aurore Annichini	[8]
3	Eugene Asarin	[13] [18]
4	Ahmed Bouajjani	[5] [8] [12] [14] [16] [19] [20] [21] [22] [24]
5	Marc Boyer	[10]
6	Julien Clément	[23]
7	Aurore Collomb-Annichini	[5]
8	Carole Delporte-Gallet (Carole Delporte)	[23]
9	Cezara Dragoi	[16] [19] [20] [21] [22] [24]
10	Constantin Enea	[16] [20] [21] [22] [24]
11	Hugues Fauconnier	[23]
12	Jean-Claude Fernandez	[2]
13	Matthieu Gallien	[13]
14	Hubert Garavel	[1] [2] [4]
15	Alain Girault	[6] [7] [11]
16	Peter Habermehl	[14]
17	Félix Ingrand (François Felix Ingrand)	[13]
18	Yan Jurski	[12] [14] [16] [19]
19	Hamoudi Kalla	[11]
20	Alain Kerbrat	[2]
21	Yassine Lakhnech	[5]
22	Christophe Lavarenne	[6] [7]
23	Charles Lesire	[13]
24	Radu Mateescu	[2] [3] [9]
25	Laurent Mounier	[2]
26	Gaël Patin	[15]
27	Ahmed Rezine	[21]
28	Yves Sorel	[6] [7] [11]
29	Tayssir Touili	[15] [17]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page