E-LIB Suche - Ergebnisse für: Camilli, Matteo

1

Multi-requirement Parametric Falsification:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Camilli, Matteo ; Mirandola, Raffaela - p. 348-349 , 2024

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

2

RAMSES: an Artifact Exemplar for Engineering Self-Adaptive ..:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Riccio, Vincenzo ; Sorrentino, Giancarlo ; Zamponi, Ettore... - p. 161-167 , 2024

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

3

Explanation-Driven Self-Adaptation Using Model-Agnostic Int..:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Negri, Francesco Renato ; Nicolosi, Niccolo ; Camilli, Matteo. - p. 189-199 , 2024

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

4

Explanation-driven Self-adaptation using Model-agnostic Int..:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Negri, Francesco Renato ; Nicolosi, Niccolo ; Camilli, Matteo. - p. 189-199 , 2024

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

5

Multi-requirement Parametric Falsification:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Camilli, Matteo ; Mirandola, Raffaela - p. 348-349 , 2024

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

6

RAMSES: An Artifact Exemplar for Engineering Self-Adaptive ..:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Riccio, Vincenzo ; Sorrentino, Giancarlo ; Zamponi, Ettore... - p. 161-167 , 2024

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

7

Explainable Human-Machine Teaming using Model Checking and ..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),

Bersani, Marcello M. ; Camilli, Matteo ; Lestingi, Livia.. - p. 18-28 , 2023

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

8

Actor-Driven Decomposition of Microservices through Multi-l..:

Camilli, Matteo ; Colarusso, Carmine ; Russo, Barbara.
ACM Transactions on Software Engineering and Methodology. 32 (2023) 5 - p. 1-46 , 2023

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

9

Continuous Dependability Assessment of Microservice Systems:

, In: Lecture Notes in Computer Science; Software Architecture. ECSA 2022 Tracks and Workshops,

Avritzer, Alberto ; Camilli, Matteo ; Janes, Andrea... - p. 138-147 , 2023

Link: https://doi.org/10.1007/..

10

Enforcing Resilience in Cyber-physical Systems via Equilibr..:

Camilli, Matteo ; Mirandola, Raffaela ; Scandurra, Patrizia
ACM Transactions on Autonomous and Adaptive Systems. 18 (2023) 3 - p. 1-32 , 2023

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

11

Architecting Explainable Service Robots:

, In: Software Architecture; Lecture Notes in Computer Science,

Bersani, Marcello M. ; Camilli, Matteo ; Lestingi, Livia... - p. 153-169 , 2023

Link: https://doi.org/10.1007/..

12

Special issue on Architecting Dependable Multi-paradigm Com..:

Scandurra, Patrizia ; Camilli, Matteo ; Mirandola, Raffaela.
Computing. 105 (2023) 9 - p. 1847-1847 , 2023

Link: https://doi.org/10.1007/..

13

Towards Better Trust in Human-Machine Teaming through Expla..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Bersani, Marcello M. ; Camilli, Matteo ; Lestingi, Livia... - p. 86-90 , 2023

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

14

WEPPE'23 Workshop Chairs' Welcome:

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

Avritzer, Alberto ; Camilli, Matteo - p. 337 ff. , 2023

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

15

Risk-driven Online Testing and Test Case Diversity Analysis..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),

Adigun, Jubril Gbolahan ; Philip Huck, Tom ; Camilli, Matteo. - p. 344-354 , 2023

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