Continuous Formal Verification of Microservice-Based Process Flows

von Camilli, Matteo
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

Model-Based Testing Under Parametric Variability of Uncertain Beliefs

von Camilli, Matteo
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

Emulating Self/adaptive Stochastic Petri Nets

von Capra, Lorenyo
Veröffentlicht in EPEW (16. : 2019 : Mailand) Computer performance engineering (2020)

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

von Gupta, Sandeep
Veröffentlicht in STAST (11. : 2021 : Online) Socio-technical aspects in security (2022)

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

von Camilli, Matteo
Veröffentlicht in REFSQ (27. : 2021 : Online) Requirements engineering: foundation for software quality (2021)