3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2020
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and…
cs.LO2017★ 3 cited
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed fo…