Cécile Braunstein
According to our database1,
Cécile Braunstein
authored at least 9 papers
between 2004 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the Formal Methods and Software Engineering, 2014
2012
Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
2011
Formal Methods Syst. Des., 2011
2009
Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
2007
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
2006
Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter.
Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006
2004
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004