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

1

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

2

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

3

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

4

Model-checking of space systems designed with TASTE/SDL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Dragomir, Iulia ; Redondo, Carlos ; Jorge, Tiago... - p. 237-246 , 2022

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

5

Summary of Workshop on Model Driven Engineering, Verificati..:

, In: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Abid, Saad Bin ; Oliveira, Raquel ; Ober, Iulian - p. 242-243 , 2021

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

6

Modeling and verification method for an early evaluation of..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,

Baduel, Ronan ; Ober, Iulian ; Bruel, Jean-Michel - p. 1798-1805 , 2020

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

7

Revisiting Bounded Reachability Analysis of Timed Automata ..:

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

Ober, Iulian - p. 269-283 , 2018

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

8

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

9

Contract-based modeling and verification of timed safety re..:

Dragomir, Iulia ; Ober, Iulian ; Percebois, Christian
Software & Systems Modeling. 16 (2015) 2 - p. 587-624 , 2015

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

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

A Case Study in Formal System Engineering with SysML:

, In: 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems,

Dragomir, Iulia ; Ober, Iulian ; Lesens, David - p. 189-198 , 2012

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

14

Proceedings of the 5th International Workshop on Model Base..:

Ober, Iulian , 2012

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

15

SDL 2011: integrating system and software modeling

15th International SDL Forum, Toulouse, France, July 5 - 7,... Lecture notes in computer science ; 7083

Ober, Iulian ; Ober, Ileana , 2011

Link: http://dx.doi.org/10.100..