OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Carnegie Mellon University - CMU (USA)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 11.

Hugues, Jérôme and Delange, Julien Model-Based Design, Automated Code Generation and Safety Analysis of ARINC653 Architectures using the AADL. (2016) In: Forum Méthodes Formelles - FMF6 : Méthodes formelles et Sûreté de fonctionnement, 26 January 2016 (Toulouse, France). (Unpublished)

Hugues, Jérôme and Delange, Julien Model-Based Design and Automated Validation of ARINC653 Architectures. (2015) In: Proceedings of IEEE International Symposium on Rapid System Prototyping (RSP), 8 October 2015 - 9 October 2015 (Amsterdam, Netherlands).

Hugues, Jérôme and Delange, Julien AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. (2015) In: 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 27 September 2015 - 2 October 2015 (Ottawa, Canada). (Unpublished)

Hugues, Jérôme and Delange, Julien Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study. (2015) In: Proceedings of SAE Aerotech 2015, 22 September 2015 - 24 September 2015 (Seattle, United States).

Caselli, Tommaso and Chiari, Isabella and Gangemi, Aldo and Jezek, Elisabetta and Oltramari, Alessandro and Vetere, Guido and Vieu, Laure and Massimo Zanzotto, Fabio Senso Comune as a Knowledge Base of Italian language: The Resource and its Development. (2014) In: First Italian Conference on Computational Linguistics - CLiC-it 2014, 9 December 2014 - 10 December 2014 (Pisa, Italy).

Chiari, Isabella and Gangemi, Aldo and Jezek, Elisabetta and Oltramari, Alessandro and Vetere, Guido and Vieu, Laure An open knowledge base for Italian language in a collaborative perspective. (2013) In: 1st Collaborative Annotations in Shared Environments : metadata, vocabularies and techniques in the Digital Humanities (DH-case 2013), 10 September 2013 - 10 September 2013 (Florence, Italy).

Chatham, Alan and Mueller, Florian Floyd and Bernhaupt, Regina and Khot, Rohit and Pijnappel, Sebastiaan and Toprak, Cagdas and Deen, Menno and Schouten, Ben Game jam. (2013) In: International Conference for Human-Computer Interaction - CHI 2013, 27 April 2013 - 2 May 2013 (Paris, France).

Feiler, Peter and Hugues, Jérôme and Sokolsky, Oleg Architecture-Driven Semantic Analysis of Embedded Systems (Eds) Dagstuhl Seminar 12272. (2012) Dagstuhl Report, vol. 2 (n° 7). pp. 30-55. ISSN 2192-5283

Huang, Yongsheng and Zaas, Aimee K. and Rao, Arvind and Dobigeon, Nicolas and Woolf, Peter J. and Veldman, Timothy and Oien, N. Christine and McClain, Micah T. and Varkey, Jay B. and Nicholson, Bradley and Carin, Lawrence and Kingsmore, Stephen and Woods, Christopher W. and Ginsburg, Geoffrey S. and Hero, Alfred O. Temporal Dynamics of Host Molecular Responses Differentiate Symptomatic and Asymptomatic Influenza A Infection. (2011) PLoS Genetics, vol. 7 (n° 8). pp.1-17. ISSN 1553-7390

Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme and Wrage, Lutz An implementation of the behavior annex in the AADL-toolset Osate2. (2011) In: Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27 April 2011 - 29 April 2011 (Las Vegas, United States).

Delange, Julien and Hugues, Jérôme and Pautet, Laurent and De Niz, Diosisio A MDE-based process for the design, implementation and validation of safety critical systems. (2010) In: Proceedings of the 5th UML AADL Workshop - UML AADL 2010, 24 March 2010, Oxford, United Kingdom .

This list was generated on Sun Dec 11 00:39:29 2016 CET.