Flux publications Open Science ISAE-SUPAERO

Mis à jour le

Ducoffe Mélanie, Gabreau Christophe, Ober Ileana, Ober Iulian, Vidot Guillaume, Certification of avionic software based on machine learning : the case for formal monotony analysis. 2024, International Journal on Software Tools for Technology Transfer. 26. 189–205. ISSN 1433-2779

Certification of avionic software based on machine learning: the case for formal monotony analysis

Vidot Guillaume, Gabreau Christophe, Ober Ileana, Ober Iulian, Qualification of Avionic Software based on Machine Learning : Challenges and Key Enabling Domains. 2024, Journal of Aerospace Information Systems. ISSN 2327-3097

Qualification of Avionic Software based on Machine Learning : Challenges and Key Enabling Domains

Dragomir Iulia Dragomir, Redondo Carlos, Jorge Tiago, Gouveia Laura, Ober Iulian, Kolesnikov Ivan, Bozga Marius, Perrotin Maxime, Model-Checking of Space Systems Designed with TASTE/SDL. 2022, 14th System Analysis and Modelling Conference, 2022-10-24 - 2022-10-25 (2022-10-25, Montreal)

Model-Checking of Space Systems Designed with TASTE/SDL

Vidot Guillaume, Ducoffe Mélanie, Gabreau Christophe, Ober Ileana, Ober Iulian, Formal Monotony Analysis of Neural Networks with Mixed Inputs : An asset for certification. 2022, 27th International Conference on Formal Methods for Industrial Critical Systems, 2022-09-14 - 2022-09-15 (2022-09-15, Warsaw)

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An asset for certification

Dragomir Iulia Dragomir, Redondo Carlos, Jorge Tiago, Gouveia Laura, Bozga Marius, Ober Iulian, Perrotin Maxime, Model-checking for TASTE designed space software systems : results and lessons learned. 2022, Model Based Space Systems and Software Engineering (MBSE2022), 2022-11-22 - 2022-11-24 (2022-11-24, Toulouse)

Model-checking for TASTE designed space software systems: results and lessons learned

Boumaza Kamal, Tolba Cherif, Ober Iulian, Formal Verification of Emergent Properties. 2021, Informatica. 45 (3). 463-475. ISSN 0350-5596

Formal Verification of Emergent Properties

Dragomir Iulia Dragomir, Bozga Marius, Ober Iulian, Silveira Daniel, Jorge Tiago, Alana Elena, Perrotin Maxime, Formal verification of space systems designed with TASTE. 2021, ESA’s Second Virtual Workshop on Model Based Space Systems and Software Engineering (MBSE2021), 2021-09-30 - 2021-09-29 (2021-09-29, Nordwijk)

Formal verification of space systems designed with TASTE

Baduel Ronan, Ober Iulian, Bruel Jean-Michel, Modeling and verification method for an early evaluation of Systems of Systems interactions : SAC ’20 : Proceedings of the 35th Annual ACM Symposium on Applied Computing. 2020, 35th Annual ACM Symposium on Applied Computing (SAC 2020), 2020-04-03 - 2020-03-30 (2020-03-30, Brno)

Modeling and verification method for an early evaluation of Systems of Systems interactions : SAC '20: Proceedings of the 35th Annual ACM Symposium on

Baduel Ronan, Chami Mohammad, Bruel Jean-Michel, Ober Iulian, SysML Models Verification and Validation in an Industrial Context : Challenges and Experimentation : ECMFA 2018 : Modelling Foundations and Applications. 2018, European Conference on Modelling Foundations and Applications (ECMFA 2018), 2018-06-28 - 2018-06-26 (2018-06-26, Toulouse)

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation : ECMFA 2018: Modelling Foundations and Applications

Baduel Ronan, Bruel Jean-Michel, Ober Iulian, Doba Eddy, Definition of states and modes as general concepts for system design and validation : Proceedings MOSIM 2018. 2018, 12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), 2018-06-29 - 2018-06-27 (2018-06-27, Toulouse)

Definition of states and modes as general concepts for system design and validation : Proceedings MOSIM 2018

Ober Iulian, Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP : FMICS 2018 : Formal Methods for Industrial Critical Systems. 2018, 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2018), 2018-09-05 - 2018-09-03 (2018-09-03, Maynoooth)

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP : FMICS 2018: Formal Methods for Industrial Critical Systems

Ober Ileana, Ober Iulian, On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns : Procedia Computer Science. 2017, 17th International Conference on Computational Science (ICCS 2017), 2017-06-14 - 2017-06-12 (2017-06-12, Zürich)

On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns : Procedia Computer Science

Dragomir Iulia Dragomir, Ober Iulian, Percebois Christian, Contract-based modeling and verification of timed safety requirements within SysML. 2015, Software and Systems Modeling. 16 (2). 587-624. ISSN 1619-1366

Contract-based modeling and verification of timed safety requirements within SysML

Dragomir Iulia Dragomir, Ober Iulian, Percebois Christian, Safety contracts for timed reactive components : SOFSEM 2014 : Theory and Practice of Computer Science. 2014, International Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM 2014, 2014-01-30 - 2014-01-25 (2014-01-25, Nový Smokovec)

Safety contracts for timed reactive components : SOFSEM 2014: Theory and Practice of Computer Science

Dragomir Iulia Dragomir, Ober Iulian, Lesens David, A Case Study in Formal System Engineering with SysML : Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on. 2013, IEEE International Conference on Engineering Complex Computer Systems - ICECCS 2012, 2012-07-20 - 2012-07-18 (2012-07-18, Paris)

A Case Study in Formal System Engineering with SysML : Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on

Ahmad Manzoor, Dragomir Iulia Dragomir, Bruel Jean-Michel, Ober Iulian, Belloir Nicolas, Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx : Proceedings of SIMULTECH 2013. 2013, 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 2013-07-31 - 2013-07-29 (2013-07-29, Reykjavik)

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx : Proceedings of SIMULTECH 2013

Dragomir Iulia Dragomir, Ober Iulian, Percebois Christian, Integrating verifiable Assume/Guarantee contracts in UML/SysML : Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems. 2013, International Workshop on Model Based Architecting and Construction of Embedded Systems - ACESMB 2013, 2013-09-29 - 2013-09-26 (2013-09-26, Miami)

Integrating verifiable Assume/Guarantee contracts in UML/SysML : Proceedings of the 6th International Workshop on Model Based Architecting and Constru

Aboussoror El Arbi, Ober Ileana, Ober Iulian, Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback : SDL 2013 : Model-Driven Dependability Engineering. 2013, 16th International System Design Languages Forum (SDL 2013), 2013-06-28 - 2013-06-26 (2013-06-26, Montreal)

Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback : SDL 2013 : Model-Driven Dependability Engineering