662 citations
- Institute for Complex SystemsIT11 papers
- University of FlorenceIT8 papers
- Boston UniversityUS6 papers
- KU LeuvenBE5 papers
- Sapienza University of RomeIT5 papers
- London Institute for Mathematical SciencesGB4 papers
- University of TrentoIT4 papers
- Yeshiva UniversityUS4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"IT3 papers
- Politecnico di TorinoIT3 papers
- University of GenoaIT3 papers
8 papers · 1 filter
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
Francesca Randone, Luca Bortolussi, Emilio Incerto +1
Computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the e…
A type language for message passing component-based systems
Zorica Savanović, Letterio Galletta, Hugo Torres Vieira
Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In o…
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese +1
We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobi…
Choreographies for Reactive Programming
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Modular programming is a cornerstone in software development, as it allows to build complex systems from the assembly of simpler components, and support reusability and substitutio…
Reliability and Fault-Tolerance by Choreographic Design
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina +1
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed…
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
Mirco Tribastone, Herbert Wiklicky
This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ET…