A layered formal framework for modeling of cyber-physical systems. - George Ungureanu; Ingo Sander (DATE, 2017)

Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems. - Kathrin Rosvall; Nima Khalilzad; George Ungureanu; Ingo Sander (RAPIDO, 2017)

An algebra for modeling continuous time systems. - José Edil G. de Medeiros; George Ungureanu; Ingo Sander (DATE, 2018)

Bridging discrete and continuous time models with atoms. - George Ungureanu; José Edil G. de Medeiros; Ingo Sander (DATE, 2018)

Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors. - Kathrin Rosvall; Tage Mohammadat; George Ungureanu; Johnny Öberg; Ingo Sander (DSD, 2018)

Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. - George Ungureanu; Timmy Sundström; Anders Åhlander; Ingo Sander; Ingemar Söderquist (FDL, 2019)

Modeling and Simulation of Dynamic Applications Using Scenario-Aware Dataflow. - Ricardo Bonna; Denis Silva Loubach; George Ungureanu; Ingo Sander (ACM Trans. Design Autom. Electr. Syst., 2019)

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems. - George Ungureanu; Rodolfo Jordão; Ingo Sander (FDL, 2020)

Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems. - Denis Silva Loubach; Ricardo Bonna; George Ungureanu; Ingo Sander; Ingemar Söderquist (IEEE Access, 2021)

ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers. - George Ungureanu; José Edil Guimarães de Medeiros; Timmy Sundström; Ingemar Söderquist; Anders Åhlander; Ingo Sander (ACM Trans. Embed. Comput. Syst., 2021)

ForSyDe-Atom: Design of Heterogeneous Embedded Systems: Taming Complexity with Layers, Atoms and Patterns. - George Ungureanu (2021)

Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations. - Fahimeh Bahrami; Rodolfo Jordão; Ingo Sander; George Ungureanu (FDL, 2024)