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

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 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, 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, 796. 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)

Garoche, Pierre-Loïc and Kahsai, Temesghen and Thirioux, Xavier Hierarchical State Machines as Modular Horn Clauses. (2016) In: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), 3 April 2016 (Eindhoven, Netherlands).

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)

Dieumegard, Arnaud and Garoche, Pierre-Loïc and Kahsai, Temesghen and Taillar, Alice and Thirioux, Xavier Compilation of synchronous observers as code contracts. (2015) In: 30th Annual ACM Symposium on Applied Computing (SAC 2015), 13 April 2015 - 17 April 2015 (Salamanca, Spain).

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

Garoche, Pierre-Loïc and Howar, Folk and Kahsai, Temesghen and Thirioux, Xavier Testing-Based Compiler Validation for Synchronous Languages. (2014) In: 6th International Symposium on NASA Formal Methods (NFM 2014), 29 April 2014 - 1 May 2014 (Houston, Texas, United States).

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, 2 (7). 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, 7 (8). 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 .