Stéphane Duprat

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Allocation Strategy

Static Analysis

Object Oriented Modeling

Top Venues

Tech. Sci. Informatiques

Publications

Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS (2013)
Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat
Formal Software Verification at Model and at Source Code Levels. MEDI (2012)
Anthony Fernandes Pires, Stéphane Duprat, C. Besseyre
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience. Tech. Sci. Informatiques 31 (7) (2012)