Matteo Camilli

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

Dependability Modeling in an Industrial Environment.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Multi-requirement Parametric Falsification.

[BibT_eX]

[DOI]

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

2023

Actor-Driven Decomposition of Microservices through Multi-level Scalability Assessment.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., September, 2023

Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., September, 2023

Special issue on Architecting Dependable Multi-paradigm Computing Systems.

[BibT_eX]

[DOI]

Computing, September, 2023

WEPPE'23 Workshop Chairs' Welcome.

[BibT_eX]

[DOI]

Alberto Avritzer

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

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems.

[BibT_eX]

[DOI]

Jubril Gbolahan Adigun

Tom Philip Huck

Francesca Arcelli Fontana

Michael Felderer

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Engineering Self-adaptive Microservice Applications: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 21st International Conference, 2023

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Towards Better Trust in Human-Machine Teaming through Explainable Dependability.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Software Architecture, 2023

Architecting Explainable Service Robots.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 17th European Conference, 2023

Impact of Architectural Smells on Software Performance: an Exploratory Study.

[BibT_eX]

[DOI]

Davide Rendina

Andrei Gabriel Taraboi

Catia Trubiani

Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

2022

Automated test-based learning and verification of performance models for microservices systems.

[BibT_eX]

[DOI]

Andrea Janes

J. Syst. Softw., 2022

Scalability testing automation using multivariate characterization and detection of software performance antipatterns.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Modeling Performance of Microservices Systems with Growth Theory.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2022

Collaborative Artificial Intelligence Needs Stronger Assurances Driven by Risks.

[BibT_eX]

[DOI]

Jubril Gbolahan Adigun

Computer, 2022

Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

WeakSATD: Detecting Weak Self-admitted Technical Debt.

[BibT_eX]

[DOI]

Moritz Mock

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

XSA: eXplainable Self-Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Continuous Dependability Assessment of Microservice Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Microservices Integrated Performance and Reliability Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems.

[BibT_eX]

[DOI]

Dataset, May, 2021

Formal specification and verification of decentralized self-adaptive systems using symmetric nets.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2021

Collaborative AI Needs Stronger Assurances Driven by Risks.

[BibT_eX]

[DOI]

Jubril Gbolahan Adigun

CoRR, 2021

A Multivariate Characterization and Detection of Software Performance Antipatterns.

[BibT_eX]

[DOI]

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Provenance Navigator: Towards More Usable Privacy and Data Management Strategies for Smart Apps.

[BibT_eX]

[DOI]

Sandeep Gupta

Maria Papaioannou

Proceedings of the Socio-Technical Aspects in Security - 11th International Workshop, 2021

Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

Uncertainty-aware Exploration in Model-based Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Towards Risk Modeling for Collaborative AI.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021

PPTAM<sup>λ</sup>: What, Where, and How of Cross-domain Scalability Assessment.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Runtime Equilibrium Verification for Resilient Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Model-based hypothesis testing of uncertain software systems.

[BibT_eX]

[DOI]

Angelo Gargantini

Softw. Test. Verification Reliab., 2020

Model-Based Testing Under Parametric Variability of Uncertain Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Domain Metric Driven Decomposition of Data-Intensive Applications.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Continuous Formal Verification of Microservice-Based Process Flows.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

Formalizing distributed self-adaptive systems using high-level petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2019 Summer Simulation Conference, 2019

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Emulating Self-adaptive Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems.

[BibT_eX]

[DOI]

Carlo Bellettini

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Zone-based formal specification and timing analysis of real-time self-adaptive systems.

[BibT_eX]

[DOI]

Angelo Gargantini

Sci. Comput. Program., 2018

A Symmetric Nets Emulator for Adaptive P/T Nets.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Online Model-Based Testing under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

A high-level petri net-based formal model of distributed self-adaptive systems.

[BibT_eX]

[DOI]

Carlo Bellettini

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017

Towards Inverse Uncertainty Quantification in Software Development (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

A Formal Framework for Specifying and Verifying Microservices Based Process Flows.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper).

[BibT_eX]

[DOI]

Carlo Bellettini

Proceedings of the Software Engineering and Formal Methods, 2017

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Distributed CTL model checking using MapReduce: theory and practice.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015

Specifying and verifying real-time self-adaptive systems.

[BibT_eX]

[DOI]

Angelo Gargantini

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

Constructing Coverability Graphs for Time Basic Petri Nets.

[BibT_eX]

[DOI]

CoRR, 2014

Verification of Reachability Problems for Time Basic Petri Nets.

[BibT_eX]

[DOI]

CoRR, 2014

CTL Model Checking in the Cloud Using MapReduce.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Formal verification problems in a big data world: towards a mighty synergy.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Distributed CTL Model Checking in the Cloud.

[BibT_eX]

[DOI]

CoRR, 2013

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012

State Space Exploration of RT Systems in the Cloud

[BibT_eX]

[DOI]

CoRR, 2012

Preserving Co-Location Privacy in Geo-Social Networks

[BibT_eX]

[DOI]

CoRR, 2012

Symbolic State Space Exploration of RT Systems in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Petri nets state space analysis in the cloud.

[BibT_eX]

[DOI]