51 citations · 76 across the 5 of their papers we have counts for
5 papers
Programming for All: Understanding the Nature of Programs
Andrej Brodnik, Andrew Csizmadia, Gerald Futschek +4
Computer programs are part of our daily life, we use them, we provide them with data, they support our decisions, they help us remember, they control machines, etc. Programs are ma…
Distributed CTL Model Checking in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high perf…
State Space Exploration of RT Systems in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The growing availability of distributed and cloud computing frameworks make it possible to face complex computational problems in a more effective and convenient way. A notable exa…
Dynamic and Transparent Analysis of Commodity Production Systems
Aristide Fattori, Roberto Paleari, Lorenzo Martignoni +1
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vir…
A Game Theoretical Analysis of Localization Security in Wireless Sensor Networks with Adversaries
Nicola Gatti, Mattia Monga, Sabrina Sicari
Wireless Sensor Networks (WSN) support data collection and distributed data processing by means of very small sensing devices that are easy to tamper and cloning: therefore classic…