Citation Impact
Citing Papers
Executable cell biology
2007
A Driver’s License Test for Driverless Vehicles
2017
Supporting Heterogeneity in Cyber-Physical Systems Architectures
2014
Literature review of Industry 4.0 and related technologies
2018 Standout
Inferring extended finite state machine models from software executions
2015
Energy-aware task assignment for mobile cyber-enabled applications in heterogeneous cloud computing
2017 Standout
Design Techniques and Applications of Cyberphysical Systems: A Survey
2014
Past, present and future of Industry 4.0 - a systematic literature review and research agenda proposal
2017 Standout
Cyber-physical systems and their security issues
2018 Standout
A survey: Cyber-physical-social systems and their system-level design methodology
2016
Survey of intrusion detection systems: techniques, datasets and challenges
2019 Standout
Is the trend your friend? An analysis of technology 4.0 investment decisions in agricultural SMEs
2019 Standout
Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems
2016
Survey on Scenario-Based Safety Assessment of Automated Vehicles
2020 Standout
Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules
2017
Ensuring drivability of planned motions using formal methods
2017
Computational thinking and thinking about computing
2008 Standout
Formalising Traffic Rules for Accountability of Autonomous Vehicles
2015
An Industry 4.0 maturity model for machine tool companies
2020 Standout
Works of Werner Damm being referenced
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
2013
LSCs: Breathing Life into Message Sequence Charts
2001
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*
2012
Metamodels in Europe: Languages, Tools, and Applications
2009