Cécile Braunstein

	2011
7		Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès: Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods in System Design 39(2): 165-184 (2011)
	2009
6		André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler: Increasing the accuracy of SAT-based debugging. DATE 2009: 1326-1331
5		Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud: Complementary Formal Approaches for Dependability Analysis. DFT 2009: 331-339
	2007
4		Cécile Braunstein, Emmanuelle Encrenaz: Using CTL formulae as component abstraction in a design and verification flow. ACSD 2007: 80-89
3		Cécile Braunstein, Emmanuelle Encrenaz: CTL-property Transformations along an Incremental Design Process. STTT 9(1): 77-88 (2007)
	2006
2		Cécile Braunstein, Emmanuelle Encrenaz: Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter. IEEE International Workshop on Rapid System Prototyping 2006: 103-109
	2005
1		Cécile Braunstein, Emmanuelle Encrenaz: CTL-Property Transformations Along an Incremental Design Process. Electr. Notes Theor. Comput. Sci. 128(6): 263-278 (2005)

Coauthor Index

1	Souheib Baarir	[5] [7]
2	Renaud Clavel	[5]
3	Rolf Drechsler	[6]
4	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[1] [2] [3] [4] [5] [7]
5	Görschwin Fey	[6]
6	Jean-Michel Ilié (Jean Michel Ilié)	[5] [7]
7	Ulrich Kühne	[6]
8	Régis Leveugle	[5]
9	Isabelle Mounier	[5] [7]
10	Laurence Pierre (Laurence V. Pierre)	[5]
11	Denis Poitrenaud	[5] [7]
12	André Sülflow	[6]
13	Sana Younès	[7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page