4 citations · 15 across the 7 of their papers we have counts for
7 papers
Neural Networks Reduction via Lumping
Dalila Ressi, Riccardo Romanello, Sabina Rossi +1
The increasing size of recently proposed Neural Networks makes it hard to implement them on embedded devices, where memory, battery and computational power are a non-trivial bottle…
Persistent Stochastic Non-Interference
Jane Hillston, Carla Piazza, Sabina Rossi
In this paper we present an information flow security property for stochastic, cooperating, processes expressed as terms of the Performance Evaluation Process Algebra (PEPA). We in…
Verifying Quantum Programs: From Quipper to QPMC
Linda Anticoli, Carla Piazza, Leonardo Taglialegne +1
In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embed…
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
Adriano Peron, Carla Piazza
This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Ital…
Proceedings Second International Workshop on Hybrid Systems and Biology
Thao Dang, Carla Piazza
This volume contains the proceedings of the Second International Workshop Hybrid Systems and Biology (HSB 2013) held in Taormina (Italy), on September 2th, 2013. The workshop is af…
Approximated Symbolic Computations over Hybrid Automata
Alberto Casagrande, Tommaso Dreossi, Carla Piazza
Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined…