1 – 10 of 12
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
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
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems
2022)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Control-Theoretical Perspective in Feedback-Based Systems Testing
2022)(
- Thesis › Doctoral thesis (compilation)
- 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
Evaluation of burst failure robustness of control systems in the fog
2020) 2nd Workshop on Fog Computing and the IoT, Fog-IoT 2020 In OpenAccess Series in Informatics 80.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
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