1 – 50 of 130
- 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
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
- 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
Weaklyhard. jl: Scalable analysis of weakly-hard constraints
2022)(
- 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
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
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
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
- 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-Based Resource Management for Storage of Video Streams
(
- Contribution to journal › Article
-
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
-
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
SimCA∗ : A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees
(
- Contribution to journal › Article
-
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
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
-
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
Multilayer distributed control over 5G networks : Challenges and security threats
(
- Chapter in Book/Report/Conference proceeding › Paper in conference 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
Model Checking a Self-Adaptive Camera Network with Physical Disturbances
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Power-aware cloud brownout : Response time and power consumption control
(
- 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
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
BrownoutCC: Cascaded Control for Bounding the Response Times of Cloud Applications
(
- 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
H.264 Video Frame Size Estimation
2018) In Technical Reports TFRT-7654(
- Book/Report › Report
-
Mark
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Control-Theoretical Software Adaptation: A Systematic Literature Review
(
- Contribution to journal › Article
-
Mark
Game-theoretic network bandwidth distribution for self-adaptive cameras
(
- Contribution to journal › Article
-
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
- 2017
-
Mark
rt-muse : measuring real-time characteristics of execution platforms
(
- Contribution to journal › Article
-
Mark
Automated Control of Multiple Software Goals using Multiple Actuators
2017) 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering p.373-384(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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