E-LIB Suche - Ergebnisse für: Maggio, Martina

1

Foreword: SEAMS 2022 Special Issue:

Schmerl, Bradley ; Cámara, Javier ; Maggio, Martina
ACM Transactions on Autonomous and Adaptive Systems. 19 (2024) 1 - p. 1-3 , 2024

Link: https://doi.org/10.1145/..

2

Zero-Jitter Chains of Periodic LET Tasks via Algebraic Ring:

Bini, Enrico ; Pazzaglia, Paolo ; Maggio, Martina
IEEE Transactions on Computers. 72 (2023) 11 - p. 3057-3071 , 2023

Link: https://doi.org/10.1109/..

3

Stress Testing Control Loops in Cyber-physical Systems:

Mandrioli, Claudio ; Shin, Seung Yeob ; Maggio, Martina..
ACM Transactions on Software Engineering and Methodology. 33 (2023) 2 - p. 1-58 , 2023

Link: https://doi.org/10.1145/..

4

Stochastic Analysis of Control Systems Subject to Communica..:

Vreman, Nils ; Maggio, Martina
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-25 , 2023

Link: https://doi.org/10.1145/..

5

Testing Abstractions for Cyber-Physical Control Systems:

Mandrioli, Claudio ; Nyberg Carlsson, Max ; Maggio, Martina
ACM Transactions on Software Engineering and Methodology. 33 (2023) 1 - p. 1-32 , 2023

Link: https://doi.org/10.1145/..

6

Testing Self-Adaptive Software With Probabilistic Guarantee..:

Mandrioli, Claudio ; Maggio, Martina
IEEE Transactions on Software Engineering. 48 (2022) 9 - p. 3554-3572 , 2022

Link: https://doi.org/10.1109/..

7

Characterizing the Effect of Deadline Misses on Time-Trigge..:

Pazzaglia, Paolo ; Maggio, Martina
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 11 - p. 3957-3968 , 2022

Link: https://doi.org/10.1109/..

8

Optimization-based attack against control systems with CUSU..:

, In: 2022 30th Mediterranean Conference on Control and Automation (MED),

Gualandi, Gabriele ; Maggio, Martina ; Vittorio Papadopoulos, Alessandro - p. 896-901 , 2022

Link: https://doi.org/10.1109/..

9

Proceedings of the 17th Symposium on Software Engineering f..:

Schmerl, Bradley ; Maggio, Martina ; Cámara, Javier , 2022

Link: https://dl.acm.org/doi/1..

10

WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints:

, In: 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS),

Vreman, Nils ; Pates, Richard ; Maggio, Martina - p. 228-240 , 2022

Link: https://doi.org/10.1109/..

11

Experimenting with networked control software subject to fa..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),

Josephrexon, Brindha Jeniefer ; Maggio, Martina - p. 1547-1552 , 2022

Link: https://doi.org/10.1109/..

12

Proceedings of the ACM/IEEE 12th International Conference o..:

Maggio, Martina ; Weimer, James ; Al Faruque, Mohammad. , 2021

Link: https://dl.acm.org/doi/1..

13

Control-based event-driven bandwidth allocation scheme for ..:

Nayak Seetanadi, Gautham ; Årzen, Karl-Erik ; Maggio, Martina
Cyber-Physical Systems. 8 (2021) 2 - p. 111-137 , 2021

Link: https://doi.org/10.1080/..

14

Modeling of Request Cloning in Cloud Server Systems using P..:

, In: Proceedings of the ACM/SPEC International Conference on Performance Engineering,

Nylander, Tommi ; Ruuskanen, Johan ; Årzén, Karl-Erik. - p. 24-35 , 2020

Link: https://dl.acm.org/doi/1..

15

Towards Performance Modeling of Speculative Execution for C..:

, In: Companion of the ACM/SPEC International Conference on Performance Engineering,

Nylander, Tommi ; Ruuskanen, Johan ; Årzén, Karl-Erik. - p. 17-19 , 2020

Link: https://dl.acm.org/doi/1..