Sander, Ingo
259  results:
Search for persons X
?
 
?
3

Design space exploration for safe and optimal mapping of av..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
 
?
4

A multi-view and programming language agnostic framework fo..:

, In: 2022 Forum on Specification & Design Languages (FDL),
 
?
5

ForSyDe-Atom : Taming Complexity in Cyber Physical Syste..:

Ungureanu, George ; Medeiros, José Edil Guimarães De ; sundström, Timmy...
ACM Transactions on Embedded Computing Systems (TECS).  20 (2021)  2 - p. 1-27 , 2021
 
?
 
?
9

Exploiting Dataflow Models for Parallel Simulation of Discr..:

, In: 2020 Forum for Specification and Design Languages (FDL),
 
?
11

Modeling and Simulation of Dynamic Applications Using Scena..:

Bonna, Ricardo ; Loubach, Denis S. ; Ungureanu, George.
ACM Transactions on Design Automation of Electronic Systems (TODAES).  24 (2019)  5 - p. 1-29 , 2019
 
?
12

Formal Design, Co-Simulation and Validation of a Radar Sign..:

, In: 2019 Forum for Specification and Design Languages (FDL),
 
?
13

Modeling and Simulation of Dynamic Applications Using Scena..:

Bonna, Ricardo ; Loubach, Denis S. ; Ungureanu, George.
ACM Transactions on Design Automation of Electronic Systems.  24 (2019)  5 - p. 1-29 , 2019
 
?
 
1-15