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
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
(
- Contribution to journal › Article
-
Mark
Trusted Execution of Periodic Tasks for Embedded Systems
(
- Contribution to journal › Article
- 2022
-
Mark
Stability of Linear Systems under Extended Weakly-Hard Constraints
(
- Contribution to journal › Article
-
Mark
Weaklyhard. jl: Scalable analysis of weakly-hard constraints
2022)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics : Extended and Comparative Results
(
- Contribution to journal › Article