1 – 6 of 6
- show: 15
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
- Evaluation of burst failure robustness of control systems in the fog (
-
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 Mark(
- 2019
- Modeling of energy consumption in GPS receivers for power aware localization systems (
- DMAC: Deadline-Miss-Aware Control (
- Towards testing self-adaptive software for cyber-physical systems (
- 2018
- Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking (