Julien Delange

Long story short ...

Short story long ...

My name is Julien Delange, Hello!.
I work as a researcher on Software Architectures for the Software Engineering Institute. I currently live in Pittsburgh, Pennsylvania in the United States.

Previously, I studied in Le Havre and Paris, got a Master degree at University Paris VI and a PhD in Computer Science at TELECOM ParisTech, which gave me the opportunity to design the first libre partitioned OS: POK. I also worked as a software engineer at the European Space Agency for two years and a half. Even if rocket science is great, surviving to the Netherlands is pretty hard !

I used to teach at the EPITA engineer school for the GISTR department. Lectures and lab sessions are focused on software engineering: design methods, programming best practices, architecture and software design, etc.

I like running, hiking, reading and have lot of interests such as music, cinema or finance. I travel a lot and visited several countries in North America, Europe or Asia. I often have trips in other countries for various purposes. Do not hesitate to drop me an email to have a drink, a jog session or just watch time passing ! Also, for those who wonder where the avatar from the right comes from, this was a nice present from a student in the art domain that offers portraits and other drawings in Amsterdam. Thanks to her !

Some pictures

There is a list of the latest pictures I took with my camera, during spare time or trips. You can find more pictures on my flickr account and flickr map also shows where I travelled and took some pictures.


Here is a bibtex file that contains all my publications.




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.
  • [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. PDF

Commercial journals

Book chapter


  • Be geek and get fit ! (not a research presentation ... but almost ...) For the Appsterdam Community PDF.
  • POK, an ARINC653-compliant operating system released under the BSD license. In 13th Real-Time Linux Workshop PDF.
  • On integration of open-source tools for system validation, example with the TASTE tool-chain. In 13th Real-Time Linux Workshop PDF.
  • Model-Based Engineering for the Development of Partitioned Architectures In AeroTech Congress and Exhibition - Avionics - Integrated Model-based System, Application and Architectures. PDF.
  • 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.
  • Code Generation Strategies for Partitioned Systems PDF In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. PDF.
  • Modeling Domains of Safety and Security using AADL. AADL meeting, 2008. PDF
  • Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008. PDF


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

Teaching materials

Some teaching materials I use for my teaching activities. These documents are pubished under the creative commons license. You can use them for non-commercial use only.


  • Architecture Analysis and Design Language (AADL) PDF.
  • Abstract Syntax Notation 1 (ASN.1) PDF.
  • Specification and Description Language (SDL) PDF.
  • The Assert Set of Tools for Engineering (TASTE) PDF.

Lab Session

  • Architecture Analysis and Design Language (AADL) Archive.
  • Abstract Syntax Notation 1 (ASN.1) Archive.
  • Specification and Description Language Archive.
  • SCADE Archive.
  • The ASSERT Set of Tools for Engineering (TASTE) Archive.

About this webpage

  • Contact: julien at PLIZNOSPAMTHX gunnm dot org
  • And yes, of course, this page is W3C compliant (HTML and CSS)