E-LIB Suche - Ergebnisse für: Ober, Ileana

1

Qualification of Avionic Software Based on Machine Learning..:

Vidot, Guillaume ; Gabreau, Christophe ; Ober, Ileana.
Journal of Aerospace Information Systems. 21 (2024) 5 - p. 367-379 , 2024

Link: https://doi.org/10.2514/..

2

Certification of avionic software based on machine learning..:

Ducoffe, Mélanie ; Gabreau, Christophe ; Ober, Ileana..
International Journal on Software Tools for Technology Transfer. 26 (2024) 2 - p. 189-205 , 2024

Link: https://doi.org/10.1007/..

3

An AI-Enhanced Process Mining Framework for Software Proces..:

, In: 2023 15th International Conference on Knowledge and Systems Engineering (KSE),

Nguyen, Minh Khoi ; Tran, Hanh Nhi ; Abualsaud, Razan. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

4

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Vidot, Guillaume ; Ducoffe, Mélanie ; Gabreau, Christophe.. - p. 15-31 , 2022

Link: https://doi.org/10.1007/..

5

Simulation System Design Methodology in Extended Enterprise..:

Leroux‐Beaudout, Renan ; Bruel, Jean‐Michel ; Ober, Ileana.
INSIGHT. 24 (2021) 4 - p. 38-42 , 2021

Link: https://doi.org/10.1002/..

6

Model-Based Systems Engineering for Systems Simulation:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,

Leroux, Renan ; Pantel, Marc ; Ober, Ileana. - p. 429-448 , 2018

Link: https://doi.org/10.1007/..

7

On Patterns of Multi-domain Interaction for Scientific Soft..:

Ober, Ileana ; Ober, Iulian
Procedia Computer Science. 108 (2017) - p. 2298-2302 , 2017

Link: https://doi.org/10.1016/..

8

On the use of models for high-performance scientific comput..:

Ober, Ileana ; Palyart, Marc ; Bruel, Jean-Michel.
Software & Systems Modeling. 17 (2016) 1 - p. 319-342 , 2016

Link: https://doi.org/10.1007/..

9

MDE in Practice for Computational Science:

Bruel, Jean-Michel ; Combemale, Benoit ; Ober, Ileana.
Procedia Computer Science. 51 (2015) - p. 660-669 , 2015

Link: https://doi.org/10.1016/..

10

SDL 2011: Integrating System and Software Modeling

15th International SDL Forum Toulouse, France, July 5-7, 20... Lecture Notes in Computer Science ; 7083;SpringerLink, Bücher

Ober, Iulian ; Ober, Ileana , 2012

Link: https://doi.org/10.1007/..

11

Seeing errors : model driven simulation trace visualizat..:

, In: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems,

Aboussoror, El Arbi ; Ober, Ileana ; Ober, Iulian - p. 480-496 , 2012

Link: https://dl.acm.org/doi/1..

12

Seeing Errors: Model Driven Simulation Trace Visualization:

, In: Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science,

Aboussoror, El Arbi ; Ober, Ileana ; Ober, Iulian - p. 480-496 , 2012

Link: https://doi.org/10.1007/..

13

Modeling Wizards 2012 2nd International Master Class on Mod..:

, In: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards,

Ober, Ileana - p. 1-2 , 2012

Link: https://dl.acm.org/doi/1..

14

HPCML : a modeling language dedicated to high-performanc..:

, In: Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing,

Palyart, Marc ; Ober, Ileana ; Lugato, David. - p. 1-6 , 2012

Link: https://dl.acm.org/doi/1..

15

MDHPCL 2012 workshop summary:

, In: Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing,

Ober, Ileana ; Gokhale, Aniruddha ; Georg, Geri... - p. 1-2 , 2012

Link: https://dl.acm.org/doi/1..