Carnegie Mellon University

Search

Mobile Menu

Home
Publications and Media
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 War, 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 Research and Development Publications and Media Education Careers

Helpful links

Digital Library Blog Podcasts

Connect

Facebook LinkedIn X YouTube

2026 Carnegie Mellon University

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