Martina Maggio
21 – 30 of 132
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
Model Checking a Self-Adaptive Camera Network with Physical Disturbances
(
- 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
Self-adaptation of software using automatically generated control-theoretical solutions
2019) p.35-55(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Minimizing Side-Channel Attack Vulnerability Via Schedule Randomization
2019) p.2928-2933(
- 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
SimCA∗ : A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees
(
- Contribution to journal › Article
-
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
- 2018
-
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