| 2015 | EMSOFT | Loosely time-triggered architectures: improvements and comparisons. | Guillaume Baudart, Albert Benveniste, Timothy Bourke |
| 2012 | EMSOFT | An overview of the career of Paul Caspi. | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
| 2012 | ICWS | Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. | Ajay Kattepur, Albert Benveniste, Claude Jard |
| 2011 | EMSOFT | A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. | Albert Benveniste, Timothy Bourke, Benot Caillaud, Marc Pouzet |
| 2011 | ICSE | Pairwise testing of dynamic composite services. | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
| 2011 | ICSOC | Optimizing Decisions in Web Services Orchestrations. | Ajay Kattepur, Albert Benveniste, Claude Jard |
| 2010 | DATE | Loosely Time-Triggered Architectures for Cyber-Physical Systems. | Albert Benveniste |
| 2010 | EMSOFT | A unifying view of loosely time-triggered architectures. | Albert Benveniste, Anne Bouillard, Paul Caspi |
| 2010 | ICWS | Document Based Modeling of Web Services Choreographies Using Active XML. | Loc Hlout, Albert Benveniste |
| 2010 | ICWS | Variability Modeling and QoS Analysis of Web Services Orchestrations. | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
| 2009 | EMSOFT | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2009 | FOSSACS | Concurrency, sigma-Algebras, and Probabilistic Fairness. | Samy Abbes, Albert Benveniste |
| 2009 | IM | Monitoring probabilistic SLAs in Web service orchestrations. | Sidney Rosario, Albert Benveniste, Claude Jard |
| 2009 | ICWS | Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. | Sidney Rosario, Albert Benveniste, Claude Jard |
| 2007 | EMSOFT | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | ICWS | Probabilistic QoS and soft contracts for transaction based Web services. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2006 | EMSOFT | Communication by sampling in time-sensitive distributed systems. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2006 | ISoLA | Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2005 | EMSOFT | Tag machines. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2005 | FOSSACS | Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. | Samy Abbes, Albert Benveniste |
| 2004 | EMSOFT | Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2003 | CONCUR | Distributed Monitoring of Concurrent and Asynchronous Systems. | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard |
| 2003 | EMSOFT | Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2002 | EMSOFT | A Protocol for Loosely Time-Triggered Architectures. | Albert Benveniste, Paul Caspi, Paul Le Guernic, Herv Marchand, Jean-Pierre Talpin, Stavros Tripakis |
| 2002 | EMSOFT | Toward an Approximation Theory for Computerised Control. | Paul Caspi, Albert Benveniste |
| 2002 | EuroPar | Non-massive, Non-high Performance, Distributed Computing: Selected Issues. | Albert Benveniste |
| 2001 | EMSOFT | Some Synchronization Issues When Designing Embedded Systems from Components. | Albert Benveniste |
| 2000 | ISORC | A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
| 1999 | CONCUR | From Synchrony to Asynchrony. | Albert Benveniste, Benot Caillaud, Paul Le Guernic |
| 1998 | CONCUR | Algebraic Techniques for Timed Systems. | Albert Benveniste, Claude Jard, Stephane Gaubert |
| 1998 | ISORC | BDL, A Language of Distributed Reactive Objects. | Jean-Pierre Talpin, Albert Benveniste, Benot Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon |
| 1992 | ESOP | SIGNAL as a Model for Real-Time and Hybrid Systems. | Albert Benveniste, Michel Le Borgne, Paul Le Guernic |
| 1991 | ICASSP | Approximation by nonlinear wavelet networks. | Qinghua Zhang, Albert Benveniste |
| 1989 | ICASSP | Multiscale statistical signal processing. | Michle Basseville, Albert Benveniste |
| 1982 | ICASSP | Motion of edges and motion estimation in a sequence of T.V. pictures. | Claude Labit, Albert Benveniste |
| 1982 | ICASSP | Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem. | Marc Prevosto, Albert Benveniste, Bruno Barnouin |