1 – 50 of 131
- show: 50
- |
- 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
-
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
Stress Testing Control Loops in Cyber-physical 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
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
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
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
- 2021
-
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
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
Stability and Performance Analysis of Control Systems Subject to Bursts of Deadline Misses
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 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
-
Mark
Adaptive Routing with Guaranteed Delay Bounds using Safe Reinforcement Learning
(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Control System Stability under Consecutive Deadline Misses Constraints
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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-Based Resource Management for Storage of Video Streams
(
- Contribution to journal › Article
-
Mark
How control-friendly is a computing system? And how control-friendly could it be?
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
Mark
Model Checking a Self-Adaptive Camera Network with Physical Disturbances
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multilayer distributed control over 5G networks : Challenges and security threats
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Message from the Chairs : RTAS 2019
2019) 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019 In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019-April.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
DMAC: Deadline-Miss-Aware Control
2019) 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) In Leibniz International Proceedings in Informatics (LIPIcs) 133. p.1-24(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards testing self-adaptive software for cyber-physical systems
2019)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Modeling of energy consumption in GPS receivers for power aware localization systems
2019) 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, part of the 2019 CPS-IoT Week p.217-226(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SimCA∗ : A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees
(
- Contribution to journal › Article
-
Mark
Minimizing Side-Channel Attack Vulnerability Via Schedule Randomization
2019) p.2928-2933(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Self-adaptation of software using automatically generated control-theoretical solutions
2019) p.35-55(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2018
-
Mark
Power-aware cloud brownout : Response time and power consumption control
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in high performance big data frameworks
2018) 16th International Conference on High Performance Computing and Simulation, HPCS 2018 p.153-156(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Cloud Application Predictability through Integrated Load-Balancing and Service Time Control
2018) 15th IEEE International Conference on Autonomic Computing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Camera networks dimensioning and scheduling with quasi worst-case transmission time
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
BrownoutCC: Cascaded Control for Bounding the Response Times of Cloud Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
H.264 Video Frame Size Estimation
2018) In Technical Reports TFRT-7654(
- Book/Report › Report
-
Mark
Control-Theoretical Software Adaptation: A Systematic Literature Review
(
- Contribution to journal › Article
-
Mark
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Game-theoretic network bandwidth distribution for self-adaptive cameras
(
- Contribution to journal › Article
- 2017
-
Mark
KPI-agnostic Control for Fine-Grained Vertical Elasticity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reference Scenarios for Self-aware Computing
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Self-adaptation for Individual Self-aware Computing Systems
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Metrics and Benchmarks for Self-aware Computing Systems
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Run-Time Models for Online Performance and Resource Management in Data Centers
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Self-awareness of Cloud Applications
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Real-Time Implementation of Control Systems
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter