Cécile Braunstein

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Equivalence Class

Computationally Expensive

Refinement Process

Top Venues

FDL (Selected Papers)

Publications

Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM (2014)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
An efficient refinement strategy exploiting component properties in a cegar process. FDL (2012)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process. FDL (Selected Papers) (2012)
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 Syst. Des. 39 (2) (2011)
André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Increasing the Accuracy of SAT-based Debugging. MBMV (2009)
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)
André Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Increasing the accuracy of SAT-based debugging. DATE (2009)
Cécile Braunstein, Emmanuelle Encrenaz
Using CTL formulae as component abstraction in a design and verification flow. ACSD (2007)
Cécile Braunstein, Emmanuelle Encrenaz
CTL-property Transformations along an Incremental Design Process. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
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)
Cécile Braunstein, Emmanuelle Encrenaz
CTL-Property Transformations Along an Incremental Design Process. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)