@article{delange09sigada,
   author = {Delange, Julien and Pautet, Laurent and Plantec, Alain and Kerboeuf, Mickael and Singhoff, Frank and Kordon, Fabrice},
   title = {Validate, simulate, and implement ARINC653 systems using the AADL},
   journal = {Ada Lett.},
   volume = {29},
   number = {3},
   year = {2009},
   issn = {1094-3641},
   pages = {31--44},
   doi = {http://doi.acm.org/10.1145/1653616.1647435},
   publisher = {ACM},
   address = {New York, NY, USA},
}

@InProceedings{raghav09gvsets,
   Author = "Gopal Raghav and Swaminathan Gopalswamy and Karthikeyan Radhakrishnan and Julien Delange and Jérôme Hugues",
   Booktitle = "Proceedings of the 2009 Ground Vehicle Systems Engineering and Technology Symposium (GVSETS)",
   Title = "Architecture Driven Generation of Distributed Embedded Software from Functional Models",
   Year = "2009"
}

@InProceedings{delange09aerotech,
   Author = "Julien Delange and Olivier Gilles and Jérôme Hugues and Laurent Pautet",
   Booktitle = "AeroTech Congress Exhibition - Avionics - Integrated Model-based System, Application and Architectures",
   Title = "Model-Based Engineering for the Development of Partitioned Architectures",
   Year = "2009"
}

@inproceedings{delange09adaeurope,
   author = {Delange, Julien and Pautet, Laurent and Feiler, Peter},
   title = {Validating Safety and Security Requirements for Partitioned Architectures},
   booktitle = {Ada-Europe '09: Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies},
   year = {2009},
   isbn = {978-3-642-01923-4},
   pages = {30--43},
   location = {Brest, France},
   doi = {http://dx.doi.org/10.1007/978-3-642-01924-1_3},
   publisher = {Springer-Verlag},
   address = {Berlin, Heidelberg},
}


@InProceedings{delange08rtsswip,
   Address = "Barcelona, Spain",
   Author = "J. Delange and L. Pautet and F. Kordon",
   Booktitle = "{29th IEEE Real-Time Systems Symposium (RTSS'08)}",
   Date-Added = "2008-10-16 17:19:25 -0400",
   Date-Modified = "2009-03-18 13:27:59 +0100",
   Keywords = "mine, arinc653, partitioned, aadl",
   Month = "December",
   Pages = "53--56",
   Publisher = "IEEE Computer Society",
   Title = "{Code Generation Strategies for Partitioned Systems}",
   Year = "2008"
}

@InProceedings{delange08erts,
   Address = "Toulouse",
   Author = "J. Delange and J. Hugues and L. Pautet and B. Zalila",
   Booktitle = "4th European Congress ERTS",
   Date-Added = "2008-04-27 18:26:19 +0200",
   Date-Modified = "2008-10-15 13:31:10 -0400",
   Keywords = "aadl, code generation, C, rtss08-wip",
   Title = "Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain",
   Year = "2008"
}