Publications 2008-2012

• 2012
  • J. Delange, L. Pautet, F. Kordon : “Design, implementation and verification of MILS systems”, Software: Practice and Experience, vol. 42 (7), pp. 799-816, (Wiley) (2012)
• 2011
  • J. Delange, L. Pautet, F. Kordon : “A Model-Based Approach To Configure and Reconfigure Avionics Systems”, chapter in Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, pp. 509-541, (IGI Global), (ISBN: 9781609600860) (2011)
• 2010
  • J. Delange, L. Pautet, F. Kordon : “Design, Verification and Implementation of MILS systems”, Proceedings of the 21^th International Symposium on Rapid System Prototyping, Fairfax, VA, United States, pp. 1-8, (IEEE Computer Society) (2010)
  • J. Delange, L. Pautet, F. Kordon : “Modeling and Validation of ARINC653 architectures”, Embedded Real Time Software and Systems (ERTSS'10), Toulouse, France, pp. 1-8 (2010)
• 2009
  • J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff, F. Kordon : “Validate, Simulate and Implement ARINC653 Systems using the AADL”, ACM SIGAda Ada Letters, vol. 29 (3), pp. 31-44 (2009)
• 2008
  • J. Delange, L. Pautet, F. Kordon : “Code Generation Strategies for Partitioned Systems”, 29^th IEEE Real-Time Systems Symposium (RTSS'08), Barcelona, Spain, pp. 53-56, (IEEE Computer Society) (2008)