OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Bodeveix, Jean-Paul"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 19.

Article

Wang, Fei and Yang, Zhibin and Huang, Zhi-Qiu and Liu, Cheng-Wei and Zhou, Yong and Bodeveix, Jean-Paul and Filali, Mamoun. An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. (2019) IEEE Transactions on Reliability, 1 (1). 1-20. ISSN 0018-9529

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun. Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. (2019) Frontiers of Computer Science, 13 (4). 715-734. ISSN 2095-2228

Fares, Elie and Bodeveix, Jean-Paul and Filali, Mamoun. Event algebra for transition systems composition Application to timed automata. (2018) Acta Informatica, 55. 363-400. ISSN 0001-5903

Zhibin, Yang and Bodeveix, Jean-Paul and Filali, Mamoun and Hu, Kai and Zhao, Yong-Wang and Ma, Dianfu. Towards a verified compiler prototype for the synchronous language SIGNAL. (2016) Frontiers of Computer Science, 10 (1). 37-53. ISSN 2095-2228

Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel and Spadotti, Régis and Yang, Zhibin. Towards a verified transformation from AADL to the formal component-based language FIACRE. (2015) Science of Computer Programming, 106. 30-53. ISSN 0167-6423

Yang, Zhibin and Hu, Kai and Zhao, Yong-Wang and Ma, Dianfu and Bodeveix, Jean-Paul. Verification of AADL Models with Timed Abstract State Machines. (2015) Journal of Software, 26 (2). 202-222. ISSN 1000-9825

Yang, Zhibin and Hu, Kai and Ma, Dianfu and Bodeveix, Jean-Paul and Pi, Lei and Talpin, Jean-Pierre. From AADL to Timed Abstract State Machines: A Verified Model Transformation. (2014) Journal of Systems and Software, 93. 42-68. ISSN 0164-1212

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun. A comparative study of two formal semantics of the SIGNAL language. (2013) Frontiers of Computer Science, 7 (5). 673-693. ISSN 2095-2228

Conference or Workshop Item

Bodeveix, Jean-Paul and Dieumegard, Arnaud and Filali, Mamoun. Event-B Formalization of a Variability-Aware Component Model Patterns Framework. (2018) In: 15th International Conference on Formal Aspects of Component Software (FACS 2018), 10 October 2018 - 12 October 2018 (Pohang, Korea, Republic Of).

Bodeveix, Jean-Paul and Filali, Mamoun and Shuanglong, Kan. A Refinement-based compiler development for synchronous languages. (2017) In: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), 29 September 2017 - 2 October 2017 (Vienna, Austria).

Siala, Badr and Bodeveix, Jean-Paul and Filali, Mamoun and Bhiri, Tahar. Automatic Refinement for Event-B through Annotated Patterns. (2017) In: 25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), 6 March 2017 - 8 March 2017 (Saint Petersburg, Russian Federation).

Siala, Badr and Bhiri, Tahar and Bodeveix, Jean-Paul and Filali, Mamoun. An Event-B Development Process for the Distributed BIP Framework. (2016) In: 18th International Conference on Formal Engineering Methods (ICFEM 2016), 14 November 2016 - 18 November 2016 (Tokyo, Japan).

Siala, Badr and Tahar Bhiri, Mohamed and Bodeveix, Jean-Paul and Filali, Mamoun. Un processus de développement Event-B pour des applications distribuées. (2016) In: 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, 7 June 2016 - 8 June 2016 (Besançon, France).

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun and Kai, Hu and Ma, Dianfu. A Verified Transformation: From Polychronous Programs to a Variant of Clocked Guarded Actions. (2014) In: 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 14), 10 June 2014 - 11 June 2014 (Sankt Goar, Germany).

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties. (2014) In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Workshop on Architecture Centric Virtual Integration - MODELS 2014, 28 September 2014 - 3 October 2014 (Valencia, Spain).

Garnacho, Manuel and Bodeveix, Jean-Paul and Filali, Mamoun. A Mechanized Semantic Framework for Real-Time Systems. (2013) In: 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), 29 August 2013 - 31 August 2013 (Buenos Aires, Argentina).

Fares, Elie and Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel. An Automatic Technique for Checking the Simulation of Timed Systems. (2013) In: 11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), 15 October 2013 - 18 October 2013 (Hanoï, Viet Nam).

Fares, Elie and Bodeveix, Jean-Paul and Filali, Mamoun. Event Algebra for Transition Systems Composition - Application to Timed Automata. (2013) In: 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), 26 September 2013 - 28 September 2013 (Penscacolq, FL, United States).

Boudjadar, Abdeldjalil and Vaandrager, Frits and Bodeveix, Jean-Paul and Filali, Mamoun. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. (2013) In: 5th International Conference on Fundamentals of Software Engineering (FSEN 2013), 24 April 2013 - 26 April 2013 (Tehran, Iran, Islamic Republic Of).

This list was generated on Sat Aug 8 17:49:16 2020 CEST.