L’excellence passionnément
- Accueil
- Iulian Ober
- Flux publications Open Science ISAE-SUPAERO
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. 21 (5). 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)
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
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)
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)
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)
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)
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)
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)
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)
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)
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)
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
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)
Bozga, Marius, Graf, Susanne, Mounier, Laurent, Ober, Iulian, Modeling and Verification of Real-Time Systems using the IF Toolset
Modeling and Verification of Real-Time Systems using the IF Toolset
Vidot, Guillaume, Gabreau, Christophe, Ober, Ileana, Ober, Iulian, Qualification of Avionic Software based on Machine Learning : Challenges and Key Enabling Domains
Qualification of Avionic Software based on Machine Learning : Challenges and Key Enabling Domains
Ducoffe, Mélanie, Gabreau, Christophe, Ober, Ileana, Ober, Iulian, Vidot, Eric Guillaume, Certification of avionic software based on machine learning : the case for formal monotony analysis
Certification of avionic software based on machine learning: the case for formal monotony analysis
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
Model-checking for TASTE designed space software systems: results and lessons learned
Vidot, Guillaume, Gabreau, Christophe, Ober, Ileana, Ober, Iulian, Qualification of Avionic Software Based on Machine Learning : Challenges and Key Enabling Domains
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains
Dragomir, I, Bozga, M, Ober, Iulian, Silveira, D, Jorge, T, Alaña, E, Perrotin, M, Formal verification of space systems designed with TASTE
Ducoffe, Mélanie, Gabreau, Christophe, Ober, Ileana, Ober, Iulian, Vidot, Eric Guillaume, Certification of avionic software based on machine learning : the case for formal monotony analysis
Certification of avionic software based on machine learning: the case for formal monotony analysis
Dragomir, Iulia, Redondo, Carlos, Jorge, Tiago, Gouveia, Laura, Ober, Iulian, Kolesnikov, Ivan, Bozga, Marius, Perrotin, Maxime, Model-checking of space systems designed with TASTE/SDL
Vidot, Guillaume, Ducoffe, Mélanie, Gabreau, Christophe, Ober, Iulian, Ober, Ileana, Formal Monotony Analysis of Neural Networks with Mixed Inputs : An Asset for Certification
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification