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: 16.

Bourbouh, Hamza and Garoche, Pierre-Loic and Garion, Christophe and Gurfinkel, Arie and Temesghen, Kahsai and Xavier, Thirioux Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Hugues, Jérôme and Delange, Julien Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL. (2017) In: Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. Springer, pp. 33-52. ISBN 978-981-10-4436-6

Brunel, Julien and Feiler, Peter and Hugues, Jérôme and Lewis, Bruce and Prosvirnova, Tatiana and Seguin, Christel and Wrage, Lutz Performing Safety Analyses with AADL and AltaRica. (2017) In: The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 11 September 2017 - 13 September 2017 (Trento, Italy).

Chisholm, Nicholas G. and Legendre, Dominique and Lauga, Eric and Khair, Aditya S. A squirmer across Reynolds numbers. (2016) Journal of Fluid Mechanics, vol. 796. pp. 233-256. ISSN 0022-1120

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).

Jezek, Elisabetta and Vieu, Laure and Zanzotto, Fabio and Vetere, Guido and Oltramari, Alessandro and Gangemi, Aldo and Varvara, Rossella Enriching ‘Senso Comune’ with Semantic Role Sets. (2014) In: 10th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA 2014) in conjunction with LREC 2014, 26 May 2014 - 26 May 2014 (Reykjavik, Iceland).

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 Fri May 25 01:17:30 2018 CEST.