1 – 10 of 10
- 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
(
- Contribution to journal › Article
-
Mark
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
(
- 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
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems
2022)(
- 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
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
-
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
- 2020
-
Mark
Testing self-adaptive software with probabilistic guarantees on performance metrics
2020) 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020 In ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering p.1002-1014(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Control System Stability under Consecutive Deadline Misses Constraints
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding