Albert Benveniste

ORCID

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 20

Top Venues

CoRR

HSCC

Theor. Comput. Sci.

Principles of Systems Design

Publications

Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Context-Aided Variable Elimination for Requirement Engineering. CoRR (2023)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR (2023)
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata. Discret. Event Dyn. Syst. 33 (4) (2023)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
From Interface Automata to Hypercontracts. Principles of Systems Design (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. NFM (2022)
Albert Benveniste, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. CoRR (2022)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
Structural Analysis of Multimode DAE Systems: summary of results. CoRR (2021)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. CoRR (2021)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
The Mathematical Foundations of Physical Systems Modeling Languages. CoRR (2020)
Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet
Mixed Nondeterministic-Probabilistic Interfaces. CoRR (2020)
Albert Benveniste, Benoît Caillaud, Mathias Malandain
The mathematical foundations of physical systems modeling languages. Annu. Rev. Control. 50 (2020)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE 106 (9) (2018)
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Contracts for System Design. Found. Trends Electron. Des. Autom. 12 (2-3) (2018)
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
Structural Analysis of Multi-Mode DAE Systems. HSCC (2017)
Albert Benveniste, Benoît Caillaud
Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools (2017)
Guillaume Baudart, Albert Benveniste, Timothy Bourke
Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
Contracts for Schedulability Analysis. FORMATS (2015)
Guillaume Baudart, Albert Benveniste, Timothy Bourke
Loosely time-triggered architectures: improvements and comparisons. EMSOFT (2015)
Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen
QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44 (1) (2014)
Albert Benveniste, Claude Jard, Samy Abbes
Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. 546 (2014)
Albert Benveniste, Claude Jard, Samy Abbes
Foreword in honor of Glynn Winskel. Theor. Comput. Sci. 546 (2014)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
A type-based analysis of causality loops in hybrid systems modelers. HSCC (2014)
Ajay Kattepur, Albert Benveniste, Claude Jard
Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. ICWS (2012)
Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
An overview of the career of Paul Caspi. EMSOFT (2012)
Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
Application of interface theories to the separate compilation of synchronous programs. CDC (2012)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78 (3) (2012)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT (2011)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES (2011)
Benoît Masson, Loïc Hélouët, Albert Benveniste
Compatibility of Data-Centric Web Services. WS-FM (2011)
Ajay Kattepur, Albert Benveniste, Claude Jard
Optimizing Decisions in Web Services Orchestrations. ICSOC (2011)
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
Pairwise testing of dynamic composite services. SEAMS (2011)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108 (1-2) (2011)
Albert Benveniste, Anne Bouillard, Paul Caspi
A unifying view of loosely time-triggered architectures. EMSOFT (2010)
Loïc Hélouët, Albert Benveniste
Document Based Modeling of Web Services Choreographies Using Active XML. ICWS (2010)
Albert Benveniste, Benoît Caillaud, Marc Pouzet
The fundamentals of hybrid systems modelers. CDC (2010)
Sidney Rosario, Albert Benveniste, Claude Jard
Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Serv. Res. 7 (2) (2010)
Albert Benveniste
Loosely Time-Triggered Architectures for Cyber-Physical Systems. DATE (2010)
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS (2010)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
Why Are Modalities Good for Interface Theories?. ACSD (2009)
Samy Abbes, Albert Benveniste
Concurrency, sigma-Algebras, and Probabilistic Fairness. FoSSaCS (2009)
Sidney Rosario, Albert Benveniste, Claude Jard
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS (2009)
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
Monotonicity in Service Orchestrations. Petri Nets (2009)
Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC (2009)
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 (2009)
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
Modal interfaces: unifying interface automata and modal specifications. EMSOFT (2009)
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26 (3) (2009)
Sidney Rosario, Albert Benveniste, Claude Jard
Monitoring probabilistic SLAs in Web service orchestrations. Integrated Network Management (2009)
Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57 (10) (2008)
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
Monotony in Service Orchestrations CoRR (2008)
Albert Benveniste
Composing Web Services in an Open World: Issues of Quality of Service. FORMATS (2008)
Albert Benveniste
Composing Web Services in an Open World: QoS Issues. QEST (2008)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7 (4) (2008)
Samy Abbes, Albert Benveniste
True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390 (2-3) (2008)
Paul Caspi, Albert Benveniste
Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC (2008)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Trans. Serv. Comput. 1 (4) (2008)
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Loosely time-triggered architectures based on communication-by-sampling. EMSOFT (2007)
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
Event Structure Semantics of Orc. WS-FM (2007)
Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel
Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion. EURASIP J. Adv. Signal Process. 2007 (2007)
Albert Benveniste, Benoît Caillaud, Roberto Passerone
A Generic Model of Contracts for Embedded Systems CoRR (2007)
Eric Fabre, Albert Benveniste
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. Discret. Event Dyn. Syst. 17 (3) (2007)
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
Multiple Viewpoint Contract-Based Specification and Design. FMCO (2007)
Albert Benveniste, Laurent Mevel
Nonstationary Consistency of Subspace Methods. IEEE Trans. Autom. Control. 52 (6) (2007)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Probabilistic QoS and soft contracts for transaction based Web services. ICWS (2007)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Communication by sampling in time-sensitive distributed systems. EMSOFT (2006)
Samy Abbes, Albert Benveniste
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204 (2) (2006)
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
Concurrency in Synchronous Systems. Formal Methods Syst. Des. 28 (2) (2006)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA (2006)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Tag machines. EMSOFT (2005)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard
Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. 15 (1) (2005)
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Samy Abbes, Albert Benveniste
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS (2005)
Albert Benveniste, Laurent Mevel
Nonstationary consistency of covariance based subspace methods. CDC/ECC (2005)
Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
Concurrency in Synchronous Systems. ACSD (2004)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT (2004)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
Algorithms for Distributed Fault Management in Telecommunications Networks. ICT (2004)
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
Distributed and asynchronous discrete event systems diagnosis. CDC (2003)
Albert Benveniste, Eric Fabre, Stefan Haar
Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Autom. Control. 48 (11) (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
The synchronous languages 12 years later. Proc. IEEE 91 (1) (2003)
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR (2003)
Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard
Partial order diagnosability of discrete event systems using petri net unfoldings. CDC (2003)
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. 48 (5) (2003)
Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT (2003)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO (2003)
Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat
Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors. IEEE Trans. Signal Process. 50 (1) (2002)
Paul Caspi, Albert Benveniste
Toward an Approximation Theory for Computerised Control. EMSOFT (2002)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
A Protocol for Loosely Time-Triggered Architectures. EMSOFT (2002)
Albert Benveniste
Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par (2002)
Albert Benveniste, Eric Fabre, Stefan Haar
Markov nets: probabilistic models for distributed and concurrent systems. CDC (2001)
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC (2001)
Albert Benveniste
Some Synchronization Issues When Designing Embedded Systems from Components. EMSOFT (2001)
Albert Benveniste, Axel Poigné
Foreword. Formal Methods Syst. Des. 19 (1) (2001)
Albert Benveniste, Michèle Basseville, Laurent Mevel
Convergence rates for eigenstructure identification using subspace methods. CDC (2000)
Albert Benveniste, Benoît Caillaud, Paul Le Guernic
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inf. Comput. 163 (1) (2000)
Michèle Basseville, Maher Abdelghani, Albert Benveniste
Subspace-based fault detection algorithms for vibration monitoring. Autom. 36 (1) (2000)
Albert Benveniste, Otilia M. Boaghe, Stephen A. Billings
Discussion on: 'Dynamic Wavelet and Equivalent Models'. Eur. J. Control 6 (2) (2000)
Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith
Distributed state reconstruction for discrete event systems. CDC (2000)
Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC (2000)
Albert Benveniste, Bernard Delyon
Using local tests to estimate convergence rates for identification. CDC (2000)

Albert Benveniste.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Albert Benveniste