137 citations · 525 across the 67 of their papers we have counts for
8 papers · 1 filter
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
Alessandro Tundo, Marco Mobilio, Shashikant Ilager +3
The advent of edge devices dedicated to machine learning tasks enabled the execution of AI-based applications that efficiently process and classify the data acquired by the resourc…
Introducing Asynchronicity to Probabilistic Hyperproperties
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám +2
Probabilistic hyperproperties express probabilistic relations between different executions of systems with uncertain behavior. HyperPCTL allows to formalize such properties, where…
Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, Milan Ceska +2
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different initial sets of states. This class…
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič +2
Many stochastic continuous-state dynamical systems can be modeled as probabilistic programs with nonlinear non-polynomial updates in non-nested loops. We present two methods, one a…
(Un)Solvable Loop Analysis
Daneshvar Amrollahi, Ezio Bartocci, George Kenison +3
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem. Whilst the…
Hypernode Automata
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1
We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formula…