1 – 100 of 132
- show: 100
- |
- 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
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
-
Mark
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
(
- 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
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
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
- 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
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
- 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
How control-friendly is a computing system? And how control-friendly could it be?
(
- 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
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
- 2019
-
Mark
Model Checking a Self-Adaptive Camera Network with Physical Disturbances
(
- Chapter in Book/Report/Conference proceeding › Paper in 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
SimCA∗ : A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees
(
- Contribution to journal › Article
-
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
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
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
Towards testing self-adaptive software for cyber-physical systems
2019)(
- Contribution to conference › Paper, not in proceeding
- 2018
-
Mark
H.264 Video Frame Size Estimation
2018) In Technical Reports TFRT-7654(
- Book/Report › Report
-
Mark
BrownoutCC: Cascaded Control for Bounding the Response Times of Cloud Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
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
Power-aware cloud brownout : Response time and power consumption control
(
- 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
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
Camera networks dimensioning and scheduling with quasi worst-case transmission time
(
- 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
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
rt-muse : measuring real-time characteristics of execution platforms
(
- Contribution to journal › Article
-
Mark
Game-Theoretic Network Bandwidth Distribution for Self-Adaptive Cameras
2017) The 15th International Workshop on Real-Time Networks(
- 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
KPI-agnostic Control for Fine-Grained Vertical Elasticity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Real-Time Implementation of Control Systems
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Self-Adaptive Video Encoder : Comparison of Multiple Adaptation Strategies Made Simple
2017) 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017 p.123-128(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA
2017) The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems p.12-23(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Control strategies for self-adaptive software systems
(
- Contribution to journal › Scientific review
- 2016
-
Mark
Design and Implementation of Distributed Resource Management for Time Sensitive Applications
(
- Contribution to journal › Article
-
Mark
Control theory for software engineering : Technical briefing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Control-Based Load-Balancing Techniques: Analysis and Performance Evaluation via a Randomized Optimization Approach
(
- Contribution to journal › Article
-
Mark
Reverse Flooding: exploiting radio interference for efficient propagation delay compensation in WSN clock synchronization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Tool for Measuring Supply Functions of Execution Platforms
2016) 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Portable Multicore Resource Management for Applications with Performance Constraints
2016) 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip 2016 p.305-312(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A control theoretical approach to non-intrusive geo-replication for cloud services
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control
(
- Contribution to journal › Article
-
Mark
Virtual Machine Migration in Cloud Infrastructures: Problem Formalization and Policies Proposal
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2015
-
Mark
A Dynamic Modelling Framework for Control-based Computing System Design
(
- Contribution to journal › Article
-
Mark
Hard real-time guarantees in feedback-based resource reservations
(
- Contribution to journal › Article
-
Mark
A control-theoretical approach to thread scheduling for multicore processors
2015) IEEE Conference on Control Applications, 2015(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software Engineering Meets Control Theory
2015) 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems p.71-82(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automated Multi-Objective Control for Self-Adaptive Software Design
2015) 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering p.13-24(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
POET: A Portable Approach to Minimizing Energy Under Soft Real-time Constraints
2015) 21st IEEE Real-Time and Embedded Technology and Applications Symposium In IEEE Xplore Digital Library p.75-86(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
2015) Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P-239. p.112-113(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
FLOPSYNC-2: efficient monotonic clock synchronisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coordination of Independent Loops in Self-Adaptive Systems
(
- Contribution to journal › Article
-
Mark
Task scheduling: a control-theoretical viewpoint for a general and flexible solution
(
- Contribution to journal › Article
-
Mark
Control-theoretical load-balancing for cloud applications with brownout
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improving Cloud Service Resilience using Brownout-Aware Load-Balancing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
2014) 36th International Conference on Software Engineering (ICSE)(
- Contribution to conference › Paper, not in proceeding
-
Mark
PCP: A Generalized Approach to Optimizing Performance Under Power Constraints through Resource Management
2014) 11th International Conference on Autonomic Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
Brownout: Building More Robust Cloud Applications
2014) 36th International Conference on Software Engineering (ICSE)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Control strategies for predictable brownouts in cloud computing
2014) 19th IFAC World Congress, 2014(
- Contribution to conference › Paper, not in proceeding
- 2013
-
Mark
Power Optimization in Embedded Systems via Feedback Control of Resource Allocation
(
- Contribution to journal › Article
-
Mark
ThermOS: System Support for Dynamic Thermal Management of Chip Multi-Processors
2013) 22nd International Conference on Parallel Architectures and Compilation Techniques (PACT) p.41-50(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Introducing Service-level Awareness in the Cloud
2013) In Technical Reports TFRT-7641(
- Book/Report › Report
-
Mark
A Game-Theoretic Resource Manager for RT Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Distributed Management of CPU Resources for Time-Sensitive Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
morphone.OS: context-awareness in everyday life
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Control-Based Operating System Design
(
- Book/Report › Book
-
Mark
On Self-adaptive Resource Allocation through Reinforcement Learning
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Autonomic Operating System Research Project - Achievements and Future Directions
2013) Design and Automation Conference (DAC 2013)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Introducing Service-level Awareness in the Cloud
2013) 2013 ACM Symposium on Cloud Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
A Generalized Software System for Accurate and Efficient Management of Application Performance Goals
2013) International Conference on Embedded Software (EMSOFT 2013)(
- Contribution to conference › Paper, not in proceeding
-
Mark
A general control-theoretical methodology for runtime resource allocation in computing systems
2013) 52nd IEEE Conference on Decision and Control, CDC 2013 In Proceedings of the IEEE Conference on Decision and Control p.3487-3492(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards a performance-as-a-service Cloud
2013) 4th Annual Symposium on Cloud Computing, SoCC 2013 In Proceedings of the 4th Annual Symposium on Cloud Computing, SoCC 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A generalized software framework for accurate and efficient management of performance goals
2013) 13th International Conference on Embedded Software, EMSOFT 2013 In 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ARPE : A tool to build equation models of computing systems
2013) 8th International Workshop on Feedback Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
On the use of feedback control in the design of computing system components
(
- Contribution to journal › Article
- 2012
-
Mark
Autotuning control structures for reliability-driven dynamic binding
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Distributed Management of CPU Resources for Time-Sensitive Applications
2012) In Technical Reports TFRT-7625(
- Book/Report › Report