Cécile Braunstein

11 papers A 1C 3Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2014 C conf
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.
ICFEM
Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
2012 C conf
An efficient refinement strategy exploiting component properties in a cegar process.
FDL
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
2012 — conf
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process.
FDL (Selected Papers)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
2011 J jnl
Feasibility analysis for robustness quantification by symbolic model checking.
Formal Methods Syst. Des.
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
2009 — conf
Complementary Formal Approaches for Dependability Analysis.
DFT
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
2009 — conf
Increasing the Accuracy of SAT-based Debugging.
MBMV
André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
2009 A conf
Increasing the accuracy of SAT-based debugging.
DATE
André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
2007 J jnl
CTL-property Transformations along an Incremental Design Process.
Int. J. Softw. Tools Technol. Transf.
Cécile Braunstein, Emmanuelle Encrenaz
2007 — conf
Using CTL formulae as component abstraction in a design and verification flow.
ACSD
Cécile Braunstein, Emmanuelle Encrenaz
2006 C conf
Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter.
IEEE International Workshop on Rapid System Prototyping
Cécile Braunstein, Emmanuelle Encrenaz
2004 — conf
CTL-Property Transformations Along an Incremental Design Process.
AVoCS
Cécile Braunstein, Emmanuelle Encrenaz