| emsoft | participants

Luca P. Carloni

Program Committees:
2005, 2006, 2007, 2009, 2010 (chair), 2011, and 2014
.

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Flexible Filters: Load Balancing Through Backpressure for Stream Programs

Rebecca L. Collins and Luca P. Carloni

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and its Application to Building Automation and Control

Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Communication by Sampling in Time-Sensitive Distributed Systems

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Tag Machines

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli

Rialto: a Bridge between Description and Implementation of Control Algorithms for Wireless Sensor Networks

Alvise Bonivento, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2003: 3rd International Conference on Embedded Software

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

Albert Benveniste, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli