Claudio Mandrioli

1 – 9 of 9

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/cl8104ma?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2022
Mark Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics : Extended and Comparative Results
Mandrioli, Claudio ^LU and Maggio, Martina ^LU (2022) In IEEE Transactions on Software Engineering 48(9). p.3554-3572
- Contribution to journal › Article
Mark Control-Theoretical Perspective in Feedback-Based Systems Testing
Mandrioli, Claudio ^LU (2022)
- Thesis › Doctoral thesis (compilation)
Mark Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems
Vreman, Nils ^LU ; Mandrioli, Claudio ^LU and Cervin, Anton ^LU (2022)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2020
Mark Evaluation of burst failure robustness of control systems in the fog
Vreman, Nils ^LU and Mandrioli, Claudio ^LU (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
Mark Testing self-adaptive software with probabilistic guarantees on performance metrics
Mandrioli, Claudio ^LU and Maggio, Martina ^LU (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 DMAC: Deadline-Miss-Aware Control
Pazzaglia, Paolo ^LU ; Mandrioli, Claudio ^LU ; Maggio, Martina ^LU and Cervin, Anton ^LU (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 Modeling of energy consumption in GPS receivers for power aware localization systems
Mandrioli, Claudio ^LU ; Leva, Alberto ; Bernhardsson, Bo ^LU and Maggio, Martina ^LU (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 Towards testing self-adaptive software for cyber-physical systems
Mandrioli, Claudio ^LU and Maggio, Martina ^LU (2019)
- Contribution to conference › Paper, not in proceeding
2018
Mark Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking
Mandrioli, Claudio ^LU ; Leva, Alberto and Maggio, Martina ^LU (2018) 2nd IEEE Conference on Control Technology and Applications, CCTA 2018 p.1466-1471
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding