Standout Papers
Citation Impact
Citing Papers
Schedulability analysis of AADL models
2006
Processor Pipelines and Static Worst-Case Execution Time Analysis
2002
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Genome sequence-based species delimitation with confidence intervals and improved distance functions
2013 Standout
A Survey of Healthcare Internet of Things (HIoT): A Clinical Perspective
2019
Artificial intelligence in healthcare
2018 Standout
Autonomous vehicle control systems — a review of decision making
2011
Model Checking Programs
2003 Standout
Networked control systems: a survey of trends and techniques
2019 Standout
Wearable Sensors for Remote Health Monitoring
2017
SaveCCM: An Analysable Component Model for Real-Time Systems
2006
The Rising Impacts of the COVID-19 Pandemic and the Russia–Ukraine War: Energy Transition, Climate Justice, Global Inequality, and Supply Chain Disruption
2022 Standout
The Impact of the Coronavirus Pandemic on Supply Chains and Their Sustainability: A Text Mining Approach
2021
An introduction to event-triggered and self-triggered control
2012 Standout
The worst-case execution-time problem—overview of methods and survey of tools
2008 Standout
6G Internet of Things: A Comprehensive Survey
2021 Standout
Automatic verification of real-time systems with discrete probability distributions
2002
Survey on the virtual commissioning of manufacturing systems
2014
Virtual Engineering Factory: Creating Experience Base for Industry 4.0
2016 Standout
The SAVE approach to component-based development of vehicular systems
2006
Security, privacy and trust in Internet of Things: The road ahead
2014 Standout
Design for Timing Predictability
2004
Artificial intelligence, machine learning and deep learning in advanced robotics, a review
2023 Standout
Distributed Event-Triggered Control for Multi-Agent Systems
2011 Standout
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
2007 Standout
Why Cyber-physical Production Systems Need a Descriptive Engineering Approach – A Case Study in Plug & Produce
2014
Internet of Things for Smart Healthcare: Technologies, Challenges, and Opportunities
2017
Survey on Recent Advances in Networked Control Systems
2015 Standout
Input-to-State Stabilizing Control Under Denial-of-Service
2015 Standout
Cyber-physical systems and their security issues
2018 Standout
A Modular Tool Architecture for Worst-Case ExecutionTime Analysis
2008
Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments
2019
Cyber-physical systems in manufacturing
2016 Standout
Toward a Modern Last-Mile Delivery: Consequences and Obstacles of Intelligent Technology
2022
A Delay System Method for Designing Event-Triggered Controllers of Networked Control Systems
2012 Standout
Past, present, and future of smart learning: a topic-based bibliometric analysis
2021 Standout
Reachability Checking of Finite Precision Timed Automata
2006
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
The future of employment: How susceptible are jobs to computerisation?
2016 Standout
Digital twin paradigm: A systematic literature review
2021 Standout
The FSAP/NuSMV-SA Safety Analysis Platform
2006
Blockchain for 5G-enabled IoT for industrial automation: A systematic review, solutions, and challenges
2019 Standout
A Survey on Internet of Things and Cloud Computing for Healthcare
2019 Standout
Survey on Scenario-Based Safety Assessment of Automated Vehicles
2020 Standout
Cyber–Physical Systems: A Perspective at the Centennial
2012
Periodic Event-Triggered Control for Linear Systems
2012 Standout
Computational techniques for the verification of hybrid systems
2003
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
Output-Based Event-Triggered Control With Guaranteed ${\cal L}_{\infty}$-Gain and Improved and Decentralized Event-Triggering
2011 Standout
A brief history of process algebra
2005
Virtual Engineering Object / Virtual Engineering Process: A specialized form of Cyber Physical System for Industrie 4.0
2015 Standout
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
2007 Standout
Model-checking algorithms for continuous-time markov chains
2003 Standout
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
2010 Standout
Discrete abstractions of hybrid systems
2000
Test Case Generation for Mutation-based Testing of Timeliness
2006
Ambient Intelligence: Concepts and applications
2007
Event-Triggering in Distributed Networked Control Systems
2010 Standout
Blockchain-based Lamport Merkle Digital Signature: Authentication tool in IoT healthcare
2021 Standout
Works of Wang Yi being referenced
A generic approach to schedulability analysis of real-time tasks
2004
Code synthesis for timed automata
2002
Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks
2015
Schedulability analysis of fixed-priority systems using timed automata
2005
Efficient drone hijacking detection using two-step GA-XGBoost
2019
Uppaal in a nutshell
1997 Standout
UPPAAL - present and future
2003
Formal design and analysis of a gear controller
2001
Oil market risk factor identification based on text mining technology
2019