1 – 20 of 132
- show: 20
- |
- 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
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
(
- 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
- 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
-
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
Experimenting with networked control software subject to faults
2022) 61st IEEE Conference on Decision and Control, CDC 2022 In Proceedings of the IEEE Conference on Decision and Control 2022-December. p.1547-1552(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Is this all about about handling unanticipated changes or about foreseeing what needs handling?
2021) 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021 In Proceedings - 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021 p.258-259(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adaptive Design of Real-Time Control Systems subject to Sporadic Overruns
2021) 2021 Design, Automation and Test in Europe Conference and Exhibition, DATE 2021 In Proceedings -Design, Automation and Test in Europe, DATE 2021-February. p.1887-1892(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SparseJSR: A fast algorithm to compute joint spectral radius via sparse SOS decompositions
2021) 2021 American Control Conference, ACC 2021 In Proceedings of the American Control Conference 2021-May. p.2254-2259(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication
2021) In Leibniz Transactions on Embedded Systems(
- Contribution to journal › Article
- 2020
-
Mark
Modeling of Request Cloning in Cloud Server Systems using Processor Sharing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards Performance Modeling of Speculative Execution for Cloud Applications
2020) 3rd Workshop on Hot Topics in Cloud Computing Performance(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding