1 – 10 of 132
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Foreword : SEAMS 2022 Special Issue
(
- Contribution to journal › Debate/Note/Editorial
- 2023
-
Mark
Stress Testing Control Loops in Cyber-physical Systems
(
- Contribution to journal › Article
-
Mark
Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings
(
- Contribution to journal › Article
-
Mark
Testing Abstractions for Cyber-Physical Control Systems
2023) In ACM Transactions on Software Engineering and Methodology(
- Contribution to journal › Article
-
Mark
Stress Testing of Design Assumptions in Cyber-Physical Systems: A Control Theory-Based Approach
2023) In ACM Transactions on Software Engineering and Methodology(
- Contribution to journal › Article
-
Mark
Trusted Execution of Periodic Tasks for Embedded Systems
(
- Contribution to journal › Article
-
Mark
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
(
- Contribution to journal › Article
- 2022
-
Mark
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics : Extended and Comparative Results
(
- Contribution to journal › Article
-
Mark
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
2022) In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(11). p.3957-3968(
- Contribution to journal › Article
-
Mark
Optimization-based attack against control systems with CUSUM-based anomaly detection
2022) 30th Mediterranean Conference on Control and Automation, MED 2022 In 2022 30th Mediterranean Conference on Control and Automation, MED 2022 p.896-901(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding