Publications

ORCid QRcode
ORCid QRcode

ORCID: 0000-0001-8802-7811

Thesis

Tehnical Reports

Online

Papers

Research journals

  • [SOFTWARE12] J. Delange, Laurent Pautet and Fabrice Kordon. Design, implementation and verification of MILS systems. In Software: Practice and Experience, Feb 2012. publisher link
  • [GENIE-LOGICIEL11] J. Delange and Maxime Perrottin. Validation des spécifications et de l’implémentation avec la plate-forme TASTE In Génie Logiciel – Ingénierie Dirigée par les Modèles, Juin 2011.
  • [COUVERTURE-AUJ10] Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, Thomas Quinot, J. Delange, J. Hugues L. Pautet, and B. Zalila. Couverture: an Innovative Open Framework for Coverage Analysis of Safety Critical Applications In Ada User Journal, December 2009 issue. PDF Version
  • [DGHP09] J. Delange, O. Gilles, J. Hugues and L. Pautet. Model-Based Engineering for the Development of Partitioned Architectures SAE Int. J. Aerosp. December 2010 3:79-86.

Commercial journals

Book chapter

Presentations

  • Managing Complexity in Software Model. October, 2015. At the SCADE User Group Conference.
  • Incremental Life-Cycle Assurance of Cyber-Physical Systems. June, 09 2015. At Safe and Secure Systems and Software Symposium (S5)
  • Architecture Analysis with AADL. SEI webinar.
  • Introduction to safe and secure design programming. For the Pittsburgh TechFest 2014. June, 7 2014. Slides in PDF
  • Be geek and get fit ! (not a research presentation … but almost …) For the Appsterdam Community. PDF Version
  • POK, an ARINC653-compliant operating system released under the BSD license. In 13th Real-Time Linux Workshop PDF Version
  • On integration of open-source tools for system validation, example with the TASTE tool-chain. In 13th Real-Time Linux Workshop PDF Version
  • Model-Based Engineering for the Development of Partitioned Architectures In AeroTech Congress and Exhibition – Avionics – Integrated Model-based System, Application and Architectures. PDF Version
  • Validating safety and security requirements for partitioned architectures. In 14th International Conference on Reliable Software Technologies – Ada Europe, June 2009.
  • Conception et implémentation de systèmes sûrs et sécurisés (french version only). For the MeFoSyLoMa group. PDF Version
  • Code Generation Strategies for Partitioned Systems In 29th IEEE Real-Time Systems Symposium (RTSS’08) Work In Progress, IEEE Computer Society, December 2008. PDF Version
  • Modeling Domains of Safety and Security using AADL. AADL meeting, 2008. PDF Version
  • Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008. PDF Version

Posters

  • Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS’08), IEEE Computer Society, December 2008. JPEG.
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s