E-LIB Suche - Ergebnisse für: Radermacher, Ansgar

1

Skeptical Dynamic Dependability Management for Automated Sy..:

, In: 2022 25th Euromicro Conference on Digital System Design (DSD),

Arnez, Fabio ; Ollier, Guillaume ; Radermacher, Ansgar... - p. 118-125 , 2022

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

2

Towards Dependable Autonomous Systems Based on Bayesian Dee..:

, In: 2022 18th European Dependable Computing Conference (EDCC),

Arnez, Fabio ; Espinoza, Huascar ; Radermacher, Ansgar. - p. 65-72 , 2022

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

3

Designing Drone Systems with Papyrus for Robotics:

, In: Proceedings of the 2021 Drone Systems Engineering and Rapid Simulation and Performance Evaluation: Methods and Tools Proceedings,

Radermacher, Ansgar ; Morelli, Matteo ; Hussein, Mahmoud. - p. 29-35 , 2021

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

4

Improving Robustness of Deep Neural Networks for Aerial Nav..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops,

Arnez, Fabio ; Espinoza, Huascar ; Radermacher, Ansgar. - p. 219-225 , 2021

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

5

Design-time safety assessment of robotic systems using faul..:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,

Uriagereka, Garazi Juez ; Amparan, Estibaliz ; Martinez, Cristina Martinez... - p. 577-586 , 2019

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

6

Design-Time Safety Assessment of Robotic Systems Using Faul..:

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

Juez Uriagereka, Garazi ; Amparan, Estibaliz ; Martinez Martinez, Cristina... - p. 577-586 , 2019

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

7

An end-to-end framework for safe software development:

Hussein, Mahmoud ; Nouacer, Reda ; Radermacher, Ansgar...
Microprocessors and Microsystems. 62 (2018) - p. 41-49 , 2018

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

8

Safe adaptation of vehicle software systems:

Hussein, Mahmoud ; Nouacer, Reda ; Radermacher, Ansgar
Microprocessors and Microsystems. 52 (2017) - p. 272-286 , 2017

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

9

Process and tool support for design patterns with safety re..:

, In: Proceedings of the 18th European Conference on Pattern Languages of Program,

Radermacher, Ansgar ; Hamid, Brahim ; Fredj, Manel. - p. 1-16 , 2015

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

10

Flex‐eWare: a flexible model driven solution for designing ..:

Jan, Mathieu ; Jouvray, Christophe ; Kordon, Fabrice...
Software: Practice and Experience. 42 (2011) 12 - p. 1467-1494 , 2011

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

11

Constraining Type Parameters of UML 2 Templates with Substi..:

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

Cuccuru, Arnaud ; Radermacher, Ansgar ; Gérard, Sébastien. - p. 644-649 , 2009

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

12

Generating execution infrastructures for component-oriented..:

, In: Proceedings of the eighth international conference on Generative programming and component engineering,

Radermacher, Ansgar ; Cuccuru, Arnaud ; Gerard, Sebastien. - p. 127-136 , 2009

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

13

Constraining Type Parameters of UML 2 Templates with Substi..:

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

Cuccuru, Arnaud ; Radermacher, Ansgar ; Gérard, Sébastien. - p. 644-649 , 2009

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

14

Generating execution infrastructures for component-oriented..:

Radermacher, Ansgar ; Cuccuru, Arnaud ; Gerard, Sebastien.
ACM SIGPLAN Notices. 45 (2009) 2 - p. 127-136 , 2009

Link: https://doi.org/10.1145/..

15

The CORBA connector model:

, In: Proceedings of the 5th international workshop on Software engineering and middleware,

Robert, Sylvain ; Radermacher, Ansgar ; Seignole, Vincent... - p. 76-82 , 2005

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