From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “physical component” 52

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A Semantic Model for Interacting Cyber-Physical Systems
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations
A semantic model for interacting cyber-physical systems
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

3

citations
A Semantic Model for Interacting Cyber-Physical Systems
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
An orchestration framework for simulation-based development and verification of cyber-physical systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Modeling and Simulation Systems Open access

0

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
A formal framework for distributed cyber-physical systems
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

2

citations
A Formal Framework for Distributed Cyber-Physical Systems
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

1

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations
Heterogeneous Application Orchestration in Cyber-Physical Systems
2026 Lecture notes in computer science conference-paper Computer Science IoT and Edge/Fog Computing Open access

Mehmet Cihan Sakman, Valerio Schiavoni, Ronny Seiger, Olaf Zimmermann, Josef Spillner

0

citations
A Garden of Cyber Physical Systems: Requirements, Challenges, and Implementation Aspects
2020 IEEE Internet of Things Magazine article Computer Science IoT and Edge/Fog Computing

Mehmet Özgün Demir, Alí Emre Pusane, Guido Dartmann, Gerd Ascheid, Güneş Karabulut Kurt

10

citations
CompDSE: A Methodology for Design Space Exploration of Computing Subsystems Within Complex Cyber‐Physical Systems
2025 IET Cyber-Physical Systems Theory & Applications article Computer Science Embedded Systems Design Techniques Open access

Faezeh Sadat Saadatmand, Todor P. Stefanov, Ignacio González Alonso, Andy D. Pimentel, Benny Åkesson

0

citations
Characterizing Physical and Logical Errors in a Transversal CNOT Gate via Cycle Error Reconstruction
2025 Physical Review X article Computer Science Quantum Computing Algorithms and Architecture Open access

2

citations
Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions
2022 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Embedded Systems Design Techniques Open access

Marius Herget, Faezeh Sadat Saadatmand, Martin C. Bor, Ignacio González Alonso, Todor P. Stefanov, Benny Åkesson, +1 more

13

citations
Modeling and Simulation of Cyber-Physical Systems using An Extensible Co-Simulation Framework
2022 Winter Simulation Conference conference-paper Computer Science Modeling and Simulation Systems

Jan Reitz, Tobias Osterloh, Jürgen Roßmann

1

citations
Maturity Evaluation of Domain-Specific Language Ecosystems for Cyber-Physical Production Systems
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Model-Driven Software Engineering Techniques

Sandra Greiner, Bianca Wiesmayr, Kevin Feichtinger, Kristof Meixner, Marco Konersmann, Jérôme Pfeiffer, +6 more

3

citations
Characterizing Physical and Logical Errors in a Transversal CNOT Gate via Cycle Error Reconstruction
2026 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access

Nicholas Fazio, Debankan Sannamoth, Alex Steiner, Christian D. Marciniak, Manuel Rispler, Robin Harper, +2 more

0

citations
Simulation of Hybrid Reo Connectors
2020 conference-paper Computer Science Formal Methods in Verification

Ebrahim Ardeshir-Larijani, Alireza Farhadi, Farhad Arbab

3

citations
Detecting 5G Narrowband Jammers with CNN, k-nearest Neighbors, and Support Vector Machines
2024 IEEE International Workshop on Information Forensics and Security conference-paper Computer Science Wireless Signal Modulation Classification Open access

Matteo Varotto, Florian Heinrichs, Timo Schürg, Stefano Tomasin, Stefan Valentin

7

citations
Detecting 5G Narrowband Jammers with CNN, k-nearest Neighbors, and Support Vector Machines
2024 arXiv (Cornell University) preprint Computer Science Wireless Signal Modulation Classification Open access

Matteo Varotto, Florian Heinrichs, Timo Schuerg, Stefano Tomasin, Stefan Valentin

0

citations
Secure Communication between Information Technology and Operational Technology
2021 Proceedings of the Annual Conference of the IEEE Industrial Electronics Society conference-paper Computer Science Security and Verification in Computing

Mahyar Azarmipour, Ramy Hana, Tobias Kleinert

4

citations
MDE for Machine Learning-Enabled Software Systems: A Case Study and Comparison of MontiAnna & ML-Quadrat
2022 CentAUR (University of Reading) book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

Jörg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz, Bernhard Rumpe⋆, Armin Moin, Atta Badii, +2 more

3

citations
Service-Oriented Model-Based Control Dynamic Software for Dynamic Systems
2024 European Control Conference (ECC) conference-paper Computer Science Service-Oriented Architecture and Web Services

Ole Greβ, Markus Zimmer, Dominik Scheurenberg, Lorenz Dörschel, Bassam Alrifaee

1

citations
Interpolative Metric Learning for Few-Shot Specific Emitter Identification
2023 IEEE Transactions on Vehicular Technology article Computer Science Wireless Signal Modulation Classification

Cheng Wang, Xue Gang Fu, Yu Wang, Guan Gui, Haris Gacanin, Hikmet Sari, +1 more

48

citations
Acoustic source localization by deep-learning attention-based modulation of microphone array data
2024 NDT & E International article Computer Science Direction-of-Arrival Estimation Techniques Open access

Georg Karl Kocur, Denny Thaler, Bernd A. Markert

9

citations
Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 IEEE/AIAA Digital Avionics Systems Conference (DASC) conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations