Ccile Braunstein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2014
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICFEM | Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. | Ccile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hbner, Jan Peleska, Uwe Schulze, Linh Vu Hong |
| 2012 | FDL | An efficient refinement strategy exploiting component properties in a cegar process. | Syed Hussein Syed Alwi, Ccile Braunstein, Emmanuelle Encrenaz |
| 2012 | FDL | Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process. | Syed Hussein Syed Alwi, Ccile Braunstein, Emmanuelle Encrenaz |
| 2009 | DATE | Increasing the accuracy of SAT-based debugging. | Andr Slflow, Grschwin Fey, Ccile Braunstein, Ulrich Khne, Rolf Drechsler |
| 2006 | RSP | Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter. | Ccile Braunstein, Emmanuelle Encrenaz |