Claudio Mandrioli (Former)
11 – 13 of 13
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- « previous
- 1
- 2
- next »
- 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
- 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
- « previous
- 1
- 2
- next »
