Citation Impact
Citing Papers
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Finding security vulnerabilities in java applications with static analysis
2005 Standout
Medical cyber-physical systems: A survey
2018
Model Checking Programs
2003 Standout
Robust Cyber–Physical Systems: Concept, models, and implementation
2015
Digital Twin: Values, Challenges and Enablers From a Modeling Perspective
2020
Requirements engineering for safety-critical systems: A systematic literature review
2016
Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems
2018 Standout
Digital Twin: Benefits, use cases, challenges, and opportunities
2023 Standout
Digital twin modeling
2022 Standout
Number of Response Options, Reliability, Validity, and Potential Bias in the Use of the Likert Scale Education and Social Science Research: A Literature Review
2022 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
Automated environment generation for software model checking
2004
Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review
2018
Cyber-physical systems and their security issues
2018 Standout
A Survey on the Edge Computing for the Internet of Things
2017 Standout
Sustainable Management of Digital Transformation in Higher Education: Global Research Trends
2020 Standout
A Survey on Metaverse: Fundamentals, Security, and Privacy
2022 Standout
A Real-Time-Linux-Based Framework for Model-Driven Engineering in Control and Automation
2009
Comparison of Embedded System Design for Industrial Applications
2011 Standout
Is the trend your friend? An analysis of technology 4.0 investment decisions in agricultural SMEs
2019 Standout
Software model checking: extracting verification models from source code†
2001
A Survey on IoT Security: Application Areas, Security Threats, and Solution Architectures
2019 Standout
Digital Twins: A Survey on Enabling Technologies, Challenges, Trends and Future Prospects
2022 Standout
On Multi-Access Edge Computing: A Survey of the Emerging 5G Network Edge Cloud Architecture and Orchestration
2017 Standout
Modeling and Analysis of Attacks and Counter Defense Mechanisms for Cyber Physical Systems
2015
Federated learning enabled digital twins for smart cities: Concepts, recent advances, and future directions
2022 Standout
Cyber-physical systems architectures for industrial internet of things applications in Industry 4.0: A literature review
2020 Standout
MedMon: Securing Medical Devices Through Wireless Monitoring and Anomaly Detection
2013
Industrial Cyberphysical Systems: A Backbone of the Fourth Industrial Revolution
2017
Cost Efficient Resource Management in Fog Computing Supported Medical Cyber-Physical System
2015
Cyber-Physical Systems Security—A Survey
2017 Standout
The Role of AI, Machine Learning, and Big Data in Digital Twinning: A Systematic Literature Review, Challenges, and Opportunities
2021 Standout
An Industry 4.0 maturity model for machine tool companies
2020 Standout
Works of John Hatcliff being referenced
Tool-supported program abstraction for finite-state verification
2001
CALM and Cadena: Metamodeling for Component-Based Product-Line Development
2006
A Software Certification Consortium and its Top 9 Hurdles
2009
Challenges and Research Directions in Medical Cyber–Physical Systems
2011
High-Confidence Medical Device Software and Systems
2006
2002
Enabling Safe Interoperation by Medical Device Virtual Integration
2015