| emsoft | participants

Alberto L. Sangiovanni-Vincentelli

Program Committees:
2002 (chair), 2004, 2005, and 2008
.

EMSOFT 2019: 19th International Conference on Embedded Software

Coherent Extension, Composition, and Merging Operators in Contract Models for System Design

Roberto Passerone, Íñigo Íncer Romeo, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2014: 14th International Conference on Embedded Software

Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing

Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia

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

Loosely Time-Triggered Architectures Based on Communication-by-Sampling

Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

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

A Hierarchical Coordination Language for Interacting Real-Time Tasks

Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, and Daniel T. Iercan

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Tag Machines

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

A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems

Mark L., Jr. McKelvin, Gabriel Eirea, Claudio Pinello, Sri Kanajan, and Alberto L. Sangiovanni-Vincentelli

Efficient Embedded Software Design with Synchronous Models

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, 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

A Structural Approach to Quasi-Static Schedulability Analysis of Communicating Concurrent Programs

Cong Liu, Alex Kondratyev, Yosinori Watanabe, 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

Conservative Approximations for Heterogeneous Design

Roberto Passerone, Jerry R. Burch, and Alberto L. Sangiovanni-Vincentelli

Separation of Concerns: Overhead in Modeling and Efficient Simulation Techniques

Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, and Felice Balarin

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

EMSOFT 2002: 2nd International Workshop on Embedded Software

Compositional Modeling in Metropolis

Gregor Gößler and Alberto L. Sangiovanni-Vincentelli

Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems

Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, and S. Shankar Sastry

EMSOFT 2001: 1st International Workshop on Embedded Software

Using Multiple Levels of Abstractions in Embedded Software Design

Jerry R. Burch, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli