Carnegie Mellon University

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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Advancing Software for National Security
Sponsored by the Department of Defense, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

SEI

About Our Work Publications News and Events Education and Outreach Careers

Helpful links

Digital library Blog Podcasts

Connect

Facebook LinkedIn X YouTube

2025 Carnegie Mellon University

Contact Us
Office Locations
Privacy Notice
Legal
www.cmu.edu
2025 Carnegie Mellon University