1 – 10 of 130
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Trusted Execution of Periodic Tasks for Embedded Systems
2023) In IFAC Proceedings Volumes (IFAC-PapersOnline)(
- 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
- 2022
-
Mark
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics : Extended and Comparative Results
(
- Contribution to journal › Article
-
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
-
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