icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Laurent Pautet (TELECOM ParisTech)
Laurent Pautet (TELECOM ParisTech)
Telecom ParisTech
All
An Implementation of the Behavior Annex in the AADL-Toolset Osate2
April 27, 2011
•
Conference Paper
By
Gilles Lasnier (TELECOM ParisTech)
,
Laurent Pautet (TELECOM ParisTech)
,
Jerome Hugues
,
Lutz Wrage
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems
March 26, 2010
•
Conference Paper
By
Julien Delange
,
Laurent Pautet (TELECOM ParisTech)
,
Jerome Hugues
,
Dionisio de Niz
Validating Safety and Security Requirements for Partitioned Architectures
June 12, 2009
•
Conference Paper
By
Julien Delange
,
Laurent Pautet (TELECOM ParisTech)
,
Peter H. Feiler