research
∙
09/13/2023
Timed Actors and Their Formal Verification
In this paper we review the actor-based language, Timed Rebeca, with a f...
share
research
∙
04/30/2022
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach
Wireless sensor and actuator networks (WSAN) are real-time systems which...
research
∙
12/07/2020
Specification and Verification of Timing Properties in Interoperable Medical Systems
To support the dynamic composition of various devices/apps into a medica...
research
∙
12/16/2019
Decentralized Runtime Verification for LTL Properties Using Global Clock
Runtime verification is the process of verifying critical behavioral pro...
research
∙
12/16/2019
Decentralized Runtime Verification for LTL Properties Using Global
Runtime verification is the process of verifying critical behavioral pro...
research
∙
04/20/2019
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime
In this paper, we propose a compositional approach for verifying autonom...
research
∙
04/16/2019