Sledovat
George Ungureanu
Název
Citace
Citace
Rok
Modeling and simulation of dynamic applications using scenario-aware dataflow
R Bonna, DS Loubach, G Ungureanu, I Sander
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (5 …, 2019
152019
Throughput propagation in constraint-based design space exploration for mixed-criticality systems
K Rosvall, N Khalilzad, G Ungureanu, I Sander
Proceedings of the 9th Workshop on Rapid Simulation and Performance …, 2017
142017
Exploring power and throughput for dataflow applications on predictable NoC multiprocessors
K Rosvall, T Mohammadat, G Ungureanu, J Öberg, I Sander
2018 21st Euromicro Conference on Digital System Design (DSD), 719-726, 2018
112018
A layered formal framework for modeling of cyber-physical systems
G Ungureanu, I Sander
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
102017
Formal design, co-simulation and validation of a radar signal processing system
G Ungureanu, T Sundström, A Åhlander, I Sander, I Söderquist
2019 Forum for Specification and Design Languages (FDL), 1-8, 2019
62019
Automatic software synthesis from high-level ForSyDe models targeting massively parallel processors
G Ungureanu
62013
ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers
G Ungureanu, JEGD Medeiros, T Sundström, I Söderquist, A Åhlander, ...
ACM Transactions on Embedded Computing Systems (TECS) 20 (2), 1-27, 2021
42021
Bridging discrete and continuous time models with atoms
G Ungureanu, JEG de Medeiros, I Sander
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 277-280, 2018
42018
An algebra for modeling continuous time systems
JEG de Medeiros, G Ungureanu, I Sander
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 861-864, 2018
42018
Parallel software design enabling high-speed reliability testing of inkjet printheads
G Ungureanu, I Reinhold, I Sander, W Zapka
NIP & Digital Fabrication Conference 29, 60-65, 2013
32013
Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems
G Ungureanu, R Jordão, I Sander
2020 Forum for Specification and Design Languages (FDL), 1-4, 2020
22020
Forsyde-atom
G Ungureanu
12013
Applying Constraint Programming for Design Space Exploration in Avionics
R Jordão, T Mohammadat, G Ungureanu, I Soderquist, M Ekman, ...
Aerospace Technology Congress, 2019
2019
Design of Sensor Signal Processing with ForSyDe
G Ungureanu, T Sundström, A Åhlander, I Sander, I Söderquist
KTH Royal Institute of Technology, 2019
2019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–14