Albert Benveniste

Nice picture

last update: April 2020 --- You can return to IRISA or Inria


address	Albert Benveniste IRISA / INRIA, Campus de Beaulieu 35042 RENNES Cédex, France
phone	+33 (0) 2 99 84 72 35 (direct) +33 (0) 2 99 84 71 00 (switchboard)
Fax	+33 (0) 2 99 84 71 71
e-mail	albert.benveniste@inria.fr
home page	http://people.rennes.inria.fr/Albert.Benveniste/
former member of groups	Signals, systems, and algorithms (acronym: Sigma2)
	Synthèse et supervision de systèmes, scénarios (acronym: S4) Statistical Inference for Structural Health Monitoring (acronym: I4S) Algorithmes itératifs et distribués pour la gestion de systèmes de télécommunications (acronym: Distribcom)
member of the group	Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (acronym: Hycomes)

Research areas with pointers to selected publications
Projects
Selected publications
Publication data bases, access to my link: HAL , DBLP , IEEE Explore
curriculum vitae and detailed list of publications before 1999 (gzipped PostScript file, 1999)

    Foreword: this web page is kept vintage style on purpose. It's not designed for being flashy. It won't get any ``like'' on Facebook. Its only purpose is to bring information in a concise way. Information does not need to flow quickly and massively. It only needs to flow at the right amount and speed for our brains to digest it. When I worked on my thesis with my advisor Paul-André Meyer, I used low volume, slow speed information: I worked in Paris and my advisor worked in Strasbourg; we never met before the defense; every six month, I mailed him (I mean postal mail) the status of my work and waited for a few months for the feedback. That feedback was slow and low volume information. But it proved to be infinitely valuable.

    Albert Benveniste was born in 1949. He graduated in 1971 from Ecole des Mines de Paris. He performed his These d'Etat in Mathematics, probability theory, in 1975, under the supervision of Paul-André Meyer and Jacques Neveu. From 1976 to 1979 he was associate professor in mathematics at Universite de Rennes I. From 1979 to 2014 he has been Directeur de Recherche at INRIA, where he is now an emeritus.

    In 1980 Albert Benveniste was co-winner of the IEEE Trans. on Automatic Control Best Transaction Paper Award for his paper on blind deconvolution in data communications. In 1990 he received the CNRS silver medal, in 1991 he has been elected IEEE fellow, and in 2013 he has been elected IFAC Fellow. In 2008 he was winner of the Grand Prix France Telecom of the french Academy of Sciences. From 1986 to 1990 he was vice-chairman of the IFAC committee on Theory and was chairman of this committee for 1991-1993. He has been or is Associate Editor (at Large) for IEEE Transactions on Automatic Control, Associate Editor for Int. J. of Adaptive Control and Signal Processing, and Int. J. of Discrete Event Dynamical Systems. From 1992 to 2009, he has been member of the Editorial Board of the Proceedings of the IEEE. From 1994 to 1996 he has been Directeur Scientifique (Senior Chief Scientist) at Inria. From 1997 to 2001, he has been chairman of the "software department" of the RNRT funding programme of the french ministeries for research and telecommunications, for telecommunications (Reseau National de la Recherche en Telecommunications). From 1997 to 2007, he has been responsible for INRIA of the joint Alcatel-INRIA research programme and from 2008 to 2011, Inria chief scientist of the joint Bell Labs-INRIA research lab. He has been member of the advisory board of T-Source, a venture capitalist specialist in seed capital for the telecommunications sector. From June 2011 to March 2014, he was co-heading the Center of Excellence (Labex) CominLabs in the area of telecommunications and Information systems. From 2012 to February 2020 he was member of the Scientific Council of Orange Labs, and chairman for the last three years. He is a member of the Scientific Council of Safran Group since 2011. He was elected to the Académie des Technologies in december 2011.

    His competences include:

System Identification and Change Detection and Diagnosis in signal processing and control (until 1995). He coauthored in 1990 with M. Metivier and P. Priouret the book "Adaptive Algorithms and Stochastic Approximations", and has been an editor, jointly with Michèle Basseville of the collective monograph "Detection of abrupt changes in signals and systems" in 1982. He co-invented, jointly with Michèle Basseville, the asymptotic normal approach to change detection and failure diagnosis.
Vibration mechanics (until 2010). He developed techniques for operational modal analysis and monitoring of systems subject to natural excitation.
Reactive, real-time, and embedded systems design in computer science. He has been co-inventor, jointly with Paul Le Guernic, of the synchronous language Signal for reactive systems design in computer science. He is a recognized contributor to the topic of formal methods for heterogeneous distributed reactive systems in computer engineering and for the broader area of systems design. His current interests are: contracts and interface theories for system design with applications to requirement engineering, and the design of hybrid systems modelers of the Modelica class, based on non-standard analysis semantics.
Network and service management in telecommunications and the management of Web services and service orchestrations, with emphazis on distributed systems aspects. From 1996 to 2009, he has been active in distributed algorithms for network and service management in telecommunications, where he has contributed to distributed fault diagnosis.

Research Areas

Control science and signal processing

Vibration mechanics

Computer science, embedded systems

Distributed Systems, applications to Telecom Networks and Web services

Control science and signal processing

System identification :

adaptive algorithms, convergence analysis and tracking properties [BMP90]
adaptive filtering and equalization in data communication [BGR80]
wavelet and neural networks [ZB92] [S&al95][J&al95]
subspace algorithms (brief description) [BF85] [BAB2000][MBaBeG02b] [BM2005] [BM2007]
linear estimation over graphical models [LBN96]

Detection and diagnosis of changes in signals and dynamical systems : (see M. Basseville home page for additional information)

change and fault detection in systems, and signal segmentation [BB85]
early detection and diagnosis of changes using the statistical local approach [BBM87][RBBM87][BMP90][ZBB94][BAB99][B&al93]
relationship between convergence rates for identification, and local tests [DJB97], [Be&al06_ljung] ; see slides in honor of Lennart Ljung 60th birthday (2006)
optimal sensor positioning for change detection [BBMR87b][B&al93]
subspace based detection and diagnosis of changes using the statistical local approach [BBMR87a][B&al93][BAB2000]

Multiresolution signal processing :

fractal models of signals indexed by trees [BB&al92][BBW92a][BBW92b][BNW94]

Vibration mechanics

for a complete list of journal papers of our group on this subject, click here
in-operation structural identification : output-only modal identification for structures in operation subject to vibration, the excitation is natural and not measured [P&al91][B&al93] [MeHvda99] ; output-only modal identification with moving sensors [BaBEGHMvdA2001][MGBaBe02][MBaBeG02a][MBaBeG02b] [MBB&al2006]

for an introduction to the method used see subspace algorithms (brief description)

structural health monitoring: deviations from the nominal modal behaviour can be detected and diagnosed, again in operation and by only measuring outputs [ABB97][A&al98a][A&al98b][A&al99][M&al99] [MB&al2007]
flutter detection in aeronautics: [MBaBe03] [MBB2005] [MBBG2005] [MGBB2005]

Computer science, embedded systems

Reactive systems and synchronous programming : synchronous programming and the Signal language, a cooperation with the company Geensoft (formerly TNI-Software and then Geensys) who develops the RT-Builder tool for architecture exploration. RT-Builder is built on top of the Signal language.

tutorial on Signal and the model of Polychrony (updated slides on Signal)
general addresses on embedded systems [B2002]
synchronous programming, overview [ProcIEEE_2003]
synchronous programming and the Signal language [Lg&al91]
historical and pioneering papers [LgBBG86][BLg90][BB91]
semantic aspects [BLgJ91][BLgSS92][BCLgH93]

Heterogeneous reactive systems and component based design

distributed code generation, desynchronisation, architecture generation [BCLg99b] [TBCLg99][BCLg2000][B2001] slides (pdf, 2003) ; more recent results found in [PBCB2004] [PBCB2006]
heterogeneous systems modeling and design [BCCSV2003][BCCCSV2004] [BCCSV2005] [BCCCSV2008] [CBLT2009]
hybrid systems [B98] [BBP2010] [BBCP11] [BBCP12] [BBCP11b] [BBCP13] [BBCPP2014]; see my user oriented 2012 lecture and my technical 2013 lecture ; see the Proceedings of the IEEE paper [BBCCPP2018] on Zélus
Modelica-related studies and multi-mode DAE systems [BCEGOP2017] and [BCEGOP2018] in LNCS volume 10000; see the comprehensive report [BCM2020] ; see my 2019 lecture
component based design and contracts [BCP2007] [BCP2009] [RaBBCP2009] [RaBBCLP2009] [RaBBCLP2010] [BCR2012] [BNH2014] [RBDS2015] [BC2017]; see the Monograph on Contracts, my lecture on contracts in requirement engineering 2012 and my technical tutorial on contracts 2016

Distributed architectures for real-time systems

Loosely Time-Triggered Architectures [BC&al2002] [BCCCSV2006] [BCdNPST2007] [TPBSVCdN2008] [CB2008] [Ben2010] [BBC2010] [BBB2015] [BBBB2016]
see also the slides of my plenary at HSCC 2009 and more recent slides on LTTA

Miscellaneous

a past cooperation with the company Geensoft (formerly TNI-Software and then Geensys) who developed the RT-Builder tool for architecture exploration. RT-Builder was built on top of the Signal language. RT-Builder is now marketed by Dassault-Systemes

Distributed Systems, applications to Telecom Networks and Web Services

Data transmission and adaptive filtering :

blind equalizers [BGR80][BG84] this algorithm has been used as part of a recent record by Alcatel-Lucent in transmission over long haul optical channel, see: Transmission of 81 channels at 40Gbit/s over a Transpacific-Distance Erbium-only Link, using PDM-BPSK Modulation, Coherent Detection, and a new large effective area fibre. G. Charlet, M. Salsi, H. Mardoyan, P. Tran, J. Renaudier, S. Bigo, M. Astruc, P. Sillard, L. Provost, F. Cérou. In Proc. of ECOC 2008. Eighty-one channels spaced by 50GHz and modulated at 40Gbit/s are transmitted over 11520km, thanks to RZ PDM-BPSK modulation, coherent detection, and a new large effective area fibre.

Self-management and autonomic computing

distributed fault management, self-modeling techniques (brief description) [AghaJT2004]

Distributed algorithms for concurrent systems, application to network and service management in telecommunications:

partial order and unfolding techniques for distributed algorithms [FaBe2006]
a Petri Net approach to distributed alarm handling and diagnosis [A&al98][F&al2000][B&al2001a][FBJ2001][BFHJ2003-a][Concur2003] [HaaBFJ2005]
the MAGDA joint project on distributed alarm diagnosis in telecommunication network

Web services:

Web services and their orchestration and QoS; see the PhD Thesis of Sidney Rosario (2009) and the following papers: [RosBHJ2007] [RosKit2007] [BRBH2009] [RosBHJ2008] [RosBeJa2009] [KSBBJ10] [BJKRT13] [BJA2014]
Active XML for joint workflow&document management, document based workflows: [HeBe2009] [HeBe10] [MHB2011]

Probabilistic models for distributed and concurrent systems ; see the personal page of Samy Abbes

a compositional theory of finite hybrid nondeterministic/random systems [BLFLg95]
Probabilistic event structures and Markov nets [BFH2003] [Abbes2004] [AbbBe2005] [AbbBe2005-a] [AbbBe2005-b] [AbbBe2008] [AbbBe2007PI] [AbbBe2009]

Selected recent projects

Vibration mechanics

Eureka projects

SINOPSYS (1997-1999). In-operation modal analysis and monitoring.
FliTE (2001-2004). Automated input/output and output-only modal identification anbd monitoring with application to aeronautics including flutter onset monitoring.
FliTE2 (2005-2008). Industrial transfer of Flite results, aeroelastic flutter monitoring.

Embedded systems software design

Long term ongoing cooperation with the company Geensoft (now acquired by Dassault-Systemes) who developed the RT-Builder tool for architecture exploration. RT-Builder was built on top of the Signal language.
SACRES (IST, 1996-1999). Solutions for Safety Critical Real-Time Embedded Systems
SafeAir (IST-1999-10913, 2000-2002). Avionics Systems Development Environment
COLUMBUS (IST-2001-38314). Design of embedded controllers for safety critical systems
ARTIST (IST-2001-34820, 2002-2005), ARTIST2 (IST-004527, 2004-2008). Networks of Excellence on Advanced Real-Time Systems.
SPEEDS (IP Contract No 033471), SPEculative and Exploratory Design in Systems Engineering. Integrated Project on systems engineering for embedded systems. (2006-2009)
COMBEST (IST STREP 215543), COMponent-Based Embedded Systems design Techniques (2008-2010)
MODRIO (ITEA3 project 11004), Model Driven Physical Systems Operation (2012-2016)

Distributed Systems and Telecommunications

MAGDA RNRT project (1998-2001). Models and algorithms for distributed fault management in telecommunications networks.
MAGDA2 RNRT project (2002-2003). Models and algorithms for end-to-end distributed fault management in telecommunications networks.
SWAN RNRT project (2003-2006). Self-Aware Management in networks and Web services.
ASAX INRIA Cooperative Research Action (2005-2006). Making Active XML a distributed cooperative tool.
DocFlow ANR Masses de données (ANR-06-MDCA-05, 2007-2009). Analysis, monitoring, and optimization of Web documents and services.

Selected Publications

Books

[BMP90] A. Benveniste, M. Métivier, and P. Priouret : Adaptive algorithms and stochastic approximations. Springer Verlag, Applications of Mathematics, vol. 22, Berlin, Heidelberg, New York, 1990 (also available in French, Masson 1987).
[BB85] Detection of Abrupt Changes in Signals and Dynamical Systems, edited by Michèle Basseville and Albert Benveniste. Lecture Notes in Control and Information Sciences, vol.77, Springer-Verlag, Dec. 1985.

Articles in control

[BM2007] A. Benveniste and L. Mevel. Nonstationary consistency of subspace methods. IEEE Transactions on Automatic Control, 52(8), Aug. 2007.
[Be&al06_ljung] A. Benveniste, M. Basseville, M. Goursat and L. Mevel. The local approach to change detection, diagnosis, and model validation: application to vibration mechanics. Collection of papers in honour of Lennart Ljung for his 60th birthday. June 2006.
[BM2005] A. Benveniste and L. Mevel. "Nonstationay consistency of covariance based subspace methods." In Proc. of the 44th IEEE Conf. on Information and Decision Systems (CDC2005), Sevilla, 12-15 Dec. 2005.
[MBaBeG02b] L. Mevel, A. Benveniste, M. Basseville, M. Goursat: `Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors'. IEEE Trans. on Signal Processing, vol.SP-50, no 1, Jan. 2002, pp.41-48.
[BAB2000]M. Basseville, M. Abdelghani, A. Benveniste: `Subspace-based fault detection algorithms for vibration monitoring'. Automatica, vol.36, no 1, Jan. 2000, pp.101-109.

[DJB97]B. Delyon, A. Juditsky, A. Benveniste. ``On the relationship between identification and local tests.'' Irisa Res. Rep. 1104, May 1997.
[LBN96]B.C. Levy, A. Benveniste, and R. Nikoukhah. ``High-level primitives for recursive maximum likelihood estimation.'' IEEE Trans. on Automatic Control, vol. AC-41(8): 1125-1145, 1996.
[S&al95]J. Sjöberg, Q. Zhang, L. Ljung, A. Benveniste, B. Delyon, P-Y. Glorennec, H. Hjalmärsson, and A. Juditsky. ``Nonlinear black-box modelling in system identification: a unified overview''. Automatica, 31, 1995.
[J&al95]A. Juditsky, H. Hjalmärsson, A. Benveniste, B. Delyon, L. Ljung, J. Sjöberg, and Q. Zhang. ``Nonlinear black-box modelling in system identification: mathematical foundations''. Automatica,31, 1995.
[ZBB94] Q. Zhang, M. Basseville, and A. Benveniste: ``Early warning of slight changes in systems and plants with application to condition based maintenance''. Automatica, Special Issue on Statistical Methods in Signal Processing and Control, vol.30, no 1, Jan. 1994, pp.95-114.
[BNW94] A. Benveniste, R. Nikoukhah, and A.S. Willsky. ``Multiscale system theory.'' IEEE Trans. on Circuits and Systems, CAS-41(1): 2-15, 1994.
[ZB92]Q. Zhang, and A. Benveniste: ``Wavelet networks''. IEEE Trans. Neural Networks, NN-3(6), 889-898, 1992.
[BBW92a]M. Basseville, A. Benveniste, and A.S. Willsky. ``Multiscale autoregressive processes, part I: Schur-Levinson parametrizations.'' IEEE Trans. Acoust., Speech, Signal Proc., ASSP-40(8): 1915-1934, 1992.
[BBW92b]M. Basseville, A. Benveniste, and A.S. Willsky. ``Multiscale autoregressive processes, part II: lattice structures for whitening and modelling.'' IEEE Trans. Acoust., Speech, Signal Proc., ASSP-40(8): :1935-1954, 1992.
[BB&al92] M. Basseville, A. Benveniste, K.C. Chou, S.A. Golden, R. Nikoukhah, and A.S. Willsky. ``Modeling and estimation of multiresolution stochastic processes.'' IEEE Trans. on Information Theory, IT-38(2): 766-784, 1992.

[RBBM87] A. Rougée, M. Basseville, A. Benveniste, and G. Moustakides: ``Optimum robust detection of changes in the AR part of a multivariable ARMA process''. IEEE Trans. on Automatic Control, vol.AC 32, no 12, Dec. 1987, pp.1116-1120.
[BBMR87b] M. Basseville, A. Benveniste, G. Moustakides, and A. Rougée: ``Optimal sensor location for detecting changes in dynamical behavior''. IEEE Trans. on Automatic Control, vol.AC 32, no 12, Dec. 1987, pp.1067-1075.
[BBM87] A. Benveniste, M. Basseville, and G. Moustakides: ``The asymptotic local approach to change detection and model validation''. IEEE Trans. on Automatic Control, vol.AC-32, no 7, July 1987, pp.583-592.
[BBMR87a] M. Basseville, A. Benveniste, G. Moustakides, and A. Rougée: ``Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems''. Automatica, vol.23, no 4, July 1987, pp.479-489.
[BF85] A. Benveniste and JJ. Fuchs. ``Single sample modal identification of a nonstationary stochastic process.'' IEEE Trans. on Automatic Control, vol. AC-30: 66-74, 1985.

Articles in vibration mechanics

[MB&al2007] Laurent Mevel, Albert Benveniste, Simon Berger, Mark Spletzer, Arvind Raman, Enhanced mass sensing using subspace identification in microcantilevers, in Proceedings of the 25th International Modal Analysis Conference (IMAC-XXV), Orlando, Fl, February 2007.
[MBB&al2006] Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat, Bart Peeters, Herman Van der Auweraer, Antonio Vecchio, Input/output versus output-only data processing for structural identification - Application to in-flight data analysis, Journal of Sound and Vibration, 295(3):531-552, Août 2006.
[MGBB2005] L. Mevel, M. Goursat, A. Benveniste and M. Basseville. ``Aircraft flutter test design using identification and simulation: a Scilab toolbox''. In IEEE Conference on Control Applications, Toronto, Canada, Aug. 2005.
[MBB2005] L. Mevel, M. Basseville and A. Benveniste. ``Fast in-flight detection of flutter onset: a statistical approach''. AIAA Journal of Guidance, Control, and Dynamics, 28(3):431-438, May 2005.
[MBBG2005] L. Mevel, A. Benveniste, M. Basseville and M. Goursat, ``Using simulations to validate a flutter testing method''. In Proceedings of the 23rd International Modal Analysis Conference (IMAC-XXIII), Orlando, FL, Jan. 2005.
[MBaBe03] Laurent Mevel, Michèle Basseville, Albert Benveniste. Fast in-flight detection of flutter onset - A statistical approach. IRISA Res. Rep. 1541, Oct. 2003. Published in AIAA Journal of Guidance, Control, and Dynamics, 27(4), Aug. 2004.
[MBaBeG02a] L. Mevel, M. Basseville, A. Benveniste, M. Goursat: `Merging sensor data from multiple measurement setups for nonstationary subspace-based modal analysis'. Journal of Sound and Vibration, 249(4), Jan. 2002, pp.719-741.
[MBaBeG02b] L. Mevel, A. Benveniste, M. Basseville, M. Goursat: `Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors'. IEEE Trans. on Signal Processing, vol.SP-50, no 1, Jan. 2002, 41-48.
[MGBaBe02] L. Mevel, M. Goursat, M. Basseville, and A. Benveniste. ``Steelquake modes and modeshapes identification from multiple sensor pools''. Proceedings of IMAC-XX, International Modal Analysis Conference, Kissimmee, Feb 2002.
[BaBeGHMvdA2001] M. Basseville, A. Benveniste, M. Goursat, L. Hermans, L. Mevel, H. Van der Auweraer: ``Output-only subspace-based structural identification: from theory to industrial testing practice''. ASME Journal of Dynamic Systems Measurement and Control, Special Issue on Identification of Mechanical Systems, vol.123, no 4, Dec. 2001, 668-676.
[MeHvdA99] L. Mevel, L. Hermans, H. Van der Auweraer: ``Application of a subspace-based fault detection method to industrial structures''. Mechanical Systems and Signal Processing, Special Section on Model-based structural identification and monitoring using in-operation data, vol.13, no 6, Nov. 1999, 823-838.
[A&al99] M. Abdelghani, M. Basseville, A. Benveniste, E. Balmès, L. Hermans, and H. van der Auweraer. ``Assessment of subspace fault detection algorithms on a realistic simulator-based example.'' Proceedings of IMAC-XVII, International Modal Analysis Conference, Kissimmee, Feb 1999.
[M&al99] L. Mevel, M. Basseville, A. Benveniste, M. Abdelghani, , L. Hermans, and H. van der Auweraer. ``Application of a subspace-based fault detection method to industrial structures.'' Proceedings of IMAC-XVII, International Modal Analysis Conference, Kissimmee, Feb 1999.
[A&al98a] M. Abdelghani, M. Basseville, A. Benveniste, L. Hermans, and H.van der Auweraer. ``A subspace-based fault detection algorithm with application to in-operation monitoring and diagnostics of vibrating structures.'' Proceedings of IMAC-XVI, International Modal Analysis Conference, Santa Barbara, Feb. 1998.
[A&al98b] M. Abdelghani, M. Basseville, and A. Benveniste. ``Modal model validation for vibrating structures under non-stationary operating conditions.'' Proceedings of IMAC-XVI, International Modal Analysis Conference, Santa Barbara, Feb. 1998.
[ABB97] M. Abdelghani, M. Basseville, and A. Benveniste. ``In-operation damage monitoring and diagnostics of vibrating structures, with applications to offshore structures and rotating machinery.'' Proceedings of IMAC-XV, International Modal Analysis Conference, San Diego, Feb 1997.
[B&al93] M. Basseville, A. Benveniste, B. Gach-Devauchelle, M. Goursat, D. Bonnecase, P. Dorey, M. Prevosto, and M. Olagnon: ``Damage monitoring in vibration mechanics: issues in diagnostics and predictive maintenance''. Mechanical Systems and Signal Processing, vol.7, no 5, Sept. 1993, 401-423.
[P&al91] M. Prevosto, M. Olagnon, A. Benveniste, M. Basseville, and G. Le Vey. ``State space formulation: a solution to modal parameter estimation.'' J. of sound and vibrations, 148(2): 329-342, 1991.

Articles in Computer Science

[BCM2020] Albert Benveniste, Benoît Caillaud, Mathias Malandain. The Mathematical Foundations of Physical Systems Modeling Languages. [Research Report] 9334, Inria. 2020, pp.111, https://hal.inria.fr/hal-02521747

[BCEGOP2018] Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, and Marc Pouzet: Multi-Mode DAE Models - Challenges, Theory and Implementation. In B. Steffen and G. Woeginger (Eds.): Computing and Software Science, LNCS 10000, 2019. https://doi.org/10.1007/978-3-319-91908-9_16

[BBCCPP2018] Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, and Marc Pouzet: Building a Hybrid Systems Modeler on Synchronous languages Principles. Proceedings of the IEEE 106(9): 1568-1592 (2018)

[B et al.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. Foundations and Trends in Electronic Design Automation 12(2-3): 124-400 (2018)

[BC2017]Albert Benveniste, Benoît Caillaud: Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools 2017: 233-248

[BCEGOP2017]Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet: Structural Analysis of Multi-Mode DAE Systems. HSCC 2017: 253-263

[BBB2016] Guillaume Baudart, Albert Benveniste, Timothy Bourke. Loosely time-triggered architectures: improvements and comparisons (extended version). ACM Transactions on Embedded Computing Systems, Vol. 15, No. 4, Article 71, August 2016.

[BBB2015] Guillaume Baudart, Albert Benveniste, Timothy Bourke. Loosely time-triggered architectures: improvements and comparisons. EMSOFT 2015: 85-94

[RBDS2015] Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand. Contracts for Schedulability Analysis. FORMATS 2015: 270-287

[BBCPP2014] Albert Benveniste, Timothy Bourke, Benoit Caillaud, Bruno Pagano, and Marc Pouzet: A Type-Based Analysis of Causality Loops in Hybrid Systems Modelers. HSCC 2014: 71-82

[BNH2014] Albert Benveniste, Dejan Nickovic, Tom Henzinger. Compositional Contract Abstraction for System Design. Inria Research Report RR-8460, January 2014.

[BBCP13] Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Hybrid Systems Modeling Challenges caused by Cyber-Physical Systems. In Cyber-Physical Systems (CPS) Foundations and Challenges, John Baras and Vijay Srinivasan Eds., Lecture Notes in Control and Information Sciences, Springer Verlag, to appear.

[BCR2012] Albert Benveniste, Benoît Caillaud, and Jean-Baptiste Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs. Proceedings of the IEEE Conf. on Decision and Control. Dec. 2012.

[BBCP12] Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS) Volume 78, Issue 3, May 2012, Pages 877–910.

[BBCP11b] 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: 137-148.

[BBCP11] Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70

[BBC2010] Albert Benveniste, Anne Bouillard, Paul Caspi. A unifying view of Loosely Time-Triggered Architectures. Proc of EMSOFT 2010. Revised version co-authored with Guillaume Baudart, March 2014.

[BBP2010] Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. In Proc of the 49th IEEE Conference on Decision and Control, CDC, Atlanta. Dec. 2010.

[RaBBCLP2010] Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component Based Design. Fundam. Inform. 108(1-2): 119-149 (2011).

[Ben2010] Albert Benveniste. Loosely Time-Triggered Architectures for Cyber-Physical Systems. In Proc. of DATE 2010, Dresden, March 2010.

[RaBBCLP2009] Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96

[RaBBCP2009] J-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, and R. Passerone. Why are modalities good for interface theories? In Proc. of the International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, 1-3 july 2009.

[CBLT2009] P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis. Actors without Directors: a Kahnian View of Heterogeneous Systems. Verimag Research Report no 2008-6, September 9, 2008 and Proceedings of Hybrid Systems Computation and Control, HSCC'09, LNCS, Vol. 5469, 46-60, 2009.

[BCP2009] A. Benveniste, B. Caillaud, and R. Passerone. Multi-Viewpoint State Machines for Rich Component Models. In Model-Based Design of Heterogeneous Embedded Systems, Mosterman, Pieter and Nicolescu, Gabriela, Eds, CRC Press, 2009.

[CB2008] P. Caspi and A. Benveniste. Time-Robust discrete control over networked Loosely Time-Triggered Architectures. In Proc. of 2008 IEEE Control and Decision Conference. Cancun, Dec. 9-11, 2008.

[TPBSVCdN2008] S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni Vincentelli, P. Caspi, and M. Di Natale. Implementing Synchronous models on Loosely Time-Triggered architectures. IEEE Transactions on Computers, 57(10), 2008.

[BCCCSV2008] A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008).

[BCP2007] A. Benveniste, B. Caillaud, and R. Passerone. A Generic Model of Contracts for Embedded Systems. INRIA Res. Rep. 6214, June 2007.
[BCdNPST2007] A. Benveniste, P. Caspi, M. Di Natale, C. Pinello, A. Sangiovanni Vincentelli, and S. Tripakis. Loosely Time-Triggered Architectures based on Communication-by-Sampling. IRISA Research Report Nr 1854, June 2007, and Proc. of EMSOFT'07, Oct. 1-3, 2007.
[BCCCSV2006] A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli. Communication by Sampling in Time-Sensitive Distributed Systems. In Proceedings of the Sixth Annual ACM Conference on Embedded Software, EMSOFT'06, 2006.
[BCCSV2005] A. Benveniste, B. Caillaud, L. Carloni, A. Sangiovanni-Vincentelli. "Tag Machines." Proc. of EMSOFT'05, W. Wolf Ed., 255-263, Sept. 19-22, 2005.
[PBCB2006] D. Potop-Butucaru, B. Caillaud, A. Benveniste. Concurrency in Synchronous Systems. Formal Methods in System Design, 28(2), March 2006.
[BCCCSV2004] A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli. ``Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)''. Proc. of EMSOFT'2004, G. Buttazzo and S. Edwards, Eds., Sept. 27-29, 2004.
[PBCB2004] D. Potop-Butucaru, B. Caillaud, A. Benveniste. ``Concurrency in Synchronous Systems''. In Proceedings of the International Conference on Application of Concurrency to System Design, ACSD 2004, 2004. See also INRIA Research Report, No 5110, February 2004.
[BCCSV2003] A. Benveniste, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli. ``Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment''. Proc. of EMSOFT'03, R. Alur and I. Lee Eds., Oct. 2003. Extended version available as IRISA Res. Rep.
[ProcIEEE_2003] Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. ``The Synchronous Languages Twelve Years Later''. Proc. of the IEEE, 91(1), special issue on Embedded Systems, 64-83, Jan 2003.
[BC&al2002] A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J-P. Talpin, and S. Tripakis. ``A Protocol for Loosely Time-Triggered Architectures''. In Proc. of 2002 Conference on Embedded Software, EMSOFT'02, J. Sifakis and A. Sangiovanni-Vincentelli, Eds, LNCS vol 2491, 252--265, Springer Verlag.
[B2002] A. Benveniste. Non-massive, non-high performance, distributed computing: selected issues. Plenary address at Euro-Par'2002, Parallel Processing, 8th Int. Euro-Par Conference, Paderborn Germany, August 2002. In
Proc. of the Euro-Par'2002, Parallel Processing, B. Monien and R. Feldmann Eds., LNCS vol. 2400, 29--48, Springer Verlag, 2002.
[B2001] A. Benveniste. Some synchronization issues when designing embedded systems from components. In Proc. of 2001 Conference on Embedded Software, EMSOFT'01, T. Henzinger and C. Hirsch, Eds, LNCS vol 2211, 32--49, Springer Verlag, 2001.
[BCLg2000] A. Benveniste, B. Caillaud and P. Le Guernic. ``Compositionality in dataflow synchronous languages: specification & distributed code generation.'' Information and Computation, 163, 125-171 (2000).
[TBCLg99] J.P. Talpin, A. Benveniste, B. Caillaud and P. Le Guernic. ``Hierarchic Normal Forms for desynchronization'', Irisa Research Report No 1288, also Inria Research Report No 3822, december 1999.
[BCLg99b]A. Benveniste, B. Caillaud and P. Le Guernic. ``From synchrony to asynchrony.'' In J.C.M. Baeten and S. Mauw, editors, CONCUR'99, Concurrency Theory, 10th International Conference, vol. 1664 of Lecture Notes in Computer Science, 162-177. Springer V., 1999.
[Sacres98]A. Benveniste. ``Safety critical embedded systems: the SACRES approach.'' In Formal techniques in Real-Time and Fault Tolerant Systems, FTRTFT'98 school, Lyngby, Denmark, Sept 1998.
[B98] A. Benveniste. ``Compositional and uniform modelling of hybrid systems.'' IEEE Trans. on Automatic Control, vol. AC-43(4):579-584, April1998.
[BCLgH93] A. Benveniste, P. Caspi, P. Le Guernic, and N. Halbwachs. ``Dataflow synchronous languages.'' In ``A decade of concurrency'', de Bakker et de Roever Eds., LNCS vol. 803, 1-46. Springer Verlag, Berlin, 1993.
[BLgSS92] A. Benveniste, P. Le Guernic, Y. Sorel, and M. Sorine. ``A denotational theory of reactive synchronous systems.'' Information and Computation, 99(2): 192-230, 1992.
[BLgJ91] A. Benveniste, P. Le Guernic, and C. Jacquemot. ``Programming with events and relations: the Signal language and its semantics.'' Science of Computer Programming, 16:103-149, 1991.
[Lg&al91] P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. ``Programming real-time applications with Signal.'' Proc. of the IEEE, 79(9):1321-1336, special section ``Another look at Real-time programming'', 1991.
[BB91] A. Benveniste and G. Berry. ``The synchronous approach to reactive and real-time systems.'' Proc. of the IEEE, 79(9), special section ``Another look at Real-time programming'', 1991.
[BLg90] A. Benveniste and P. Le Guernic. ``Hybrid dynamical systems theory and the Signal language.'' IEEE Trans. on Automatic Control, AC-35(5): 535-546, 1990.
[LgBBG86] P. Le Guernic, A. Benveniste, P. Bournai, and T. Gautier. ``Signal, a data-flow oriented language for signal processing.'' IEEE Trans. Acoust., Speech, Signal Proc., ASSP-34: 362-374, 1986.

Articles in Distributed Systems and Telecommunications

[BJA2014] Albert Benveniste, Claude Jard, and Samy Abbes. Application of branching cells to QoS aware service orchestrations. Theoretical Computer Science, (2014), in press. http://dx.doi.org/10.1016/j.tcs.2014.02.049

[BJKRT13] Albert Benveniste · Claude Jard · Ajay Kattepur· Sidney Rosario · John A. Thywissen. QoS-aware management of monotonic service orchestrations. Form Methods Syst Des. DOI 10.1007/s10703-013-0191-7. 24 July 2013.

[MHB2011] Benoît Masson, Loïc Hëlouët and Albert Benveniste. Compatibility of Data-Centric Web Services. In Proceedings of 2011 International Workshop on Web Services and Formal Methods (WS-FM'11), Sept. 2011.

[HeBe10] Loïc Hëlouët and Albert Benveniste. Document based modeling of Web services choreographies using Active XML. In Proc. of IEEE Int. Conf. on Web Services (ICWS), Miami, 2010.

[KSBBJ10] Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, and Claude Jard. Variability Modeling and QoS Analysis ofWeb Services Orchestrations. In Proc. of IEEE Int. Conf. on Web Services (ICWS), Miami, 2010.

[HeBe2009] Hélouët L., Benveniste A. Distributed Active XML and Service Interfaces. INRIA Research report N° RR-7082 (2009) [inria-00429433 − version 1]

[RosBeJa2009] S. Rosario, A. Benveniste, and C. Jard. Flexible Probabilistic QoS Management of transaction based Web services orchestrations. In Proc. of IEEE Int. Conf. on Web Services (ICWS), July 6-10, Los Angeles , 2009.

[AbbBe2009] S. Abbes and A. Benveniste. Concurrency, sigma-algebras, and probabilistic fairness. INRIA Res. Rep. Nr 6724. Nov 2008 and Proc. of 2009 Conference on Foundations of Software Science and Computation Structures, FOSSACS'09, March 2009.

[BRBH2009] A. Bouillard, S. Rosario, A. Benveniste, and S. Haar. Monotonicity in Service Orchestrations. INRIA Res. Rep. Nr 6528. May 2008. Improved version in Proc. of 2009 Petri Nets Conference, Petri Nets 2009, Paris, June 22-26, 2009.

[RosBHJ2008] S. Rosario, A. Benveniste, S. Haar, and C. Jard. Probabilistic QoS and soft contracts for transaction based Web services orchestrations -- extended version. In IEEE Transactions on Service Computing,1(4), Oct-Dec 2008 .

[AbbBe2008] S. Abbes and A. Benveniste. Probabilistic true-concurrency models: Markov nets and a Law of large numbers. Theoretical Computer Science, 390(2-3), 129-170, Jan 2008.

[AbbBe2007-PI] S. Abbes and A. Benveniste. Truly Concurrent Synchronization of Markov Chains. IRISA Res. Rep. Nr 1866, Sept. 2007
[RosKit2007] S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, and C. Jard. Event Structure Semantics of Orc. IRISA Research Report Nr 1853, June 2007 and INRIA Research Report Nr 6221, June 2007, and paper in Proceedings of 4th International Workshop on Web Services and Formal Methods (WS-FM'07), Sept. 28-29, 2007
[RosBHJ2007] S. Rosario, A. Benveniste, S. Haar, and C. Jard. Probabilistic QoS and soft contracts for transaction based Web services orchestrations. In Proc. of IEEE Int. Conf. on Web Services (ICWS), July 9-13, Salt Lake City, 2007.
[FaBe2006] E. Fabre and A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. Discrete Event Dynamic Systems, 2007 (17), 355-403. See also INRIA Research report Nr 5916, Feb. 2007, extended version of a Plenary Address by A. Benveniste at WODES 2006.
[RosBHJ2006] S. Rosario, A. Benveniste, S. Haar, and C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. IRISA Research report Nr 1780, Jan 2006.
[AbbBe2006] S. Abbes and A. Benveniste. "True-concurrency Probabilistic Models: Branching cells and Distributed Probabilities for Event Structures." Information and Computation, 204 (2), 231-274 (44 pages). Feb 2006.
[AbbBe2005-b] S. Abbes and A. Benveniste. "True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers." IRISA Research report Nr 1753, 2005.
[HaaBFJ2005] A. Benveniste, S. Haar, E. Fabre, and C. Jard. ``Fault diagnosis for distributed asynchronous dynamically reconfigured discrete event systems''. In Proc. of the 16th IFAC World Congress, Prague. July 2005.
[AbbBe2005] S. Abbes and A. Benveniste. ``Branching cells as local states for event structures and nets: probabilistic applications.'' in Proc. of 2005 Conference on Foundations of Software Science and Computation Structures, FOSSACS'05, April 2005, Edinburgh. To appear in LNCS, Springer Verlag, 2005.
[Abbes2004] S. Abbes. ``Probabilistic models for distributed and concurrent systems. Limit theorems and applications to statistical parameter estimation.'' PhD Thesis. University of Rennes I, IRISA. October 2004.
[Concur2003] A. Benveniste, S. Haar, E. Fabre, and C. Jard. ``Distributed monitoring of concurrent and asynchronous systems''. Plenary address at CONCUR'2003, Proceedings of CONCUR'2003.
Informal presentation published in Proc. of IEEE Control and Decision Conference, Dec. 2003.
Final and improved version published in Discrete Event Dynamic Systems, 15(1), 33-84, Mar. 2005.
Extended version available as Irisa Research Report 1636, July 2004 and INRIA Research Report 4842 V2, July 2004.
[BFH2003] A. Benveniste, E. Fabre, and S. Haar. ``Markov nets: probabilistic models for distributed and concurrent systems''. Previous version published as Irisa Research Report 1415, Sept. 2001; replaced by Irisa Research Report 1538, may 2003. Also IEEE Tans. on Automatic Control, 48(11), 1936-1950, Nov. 2003.
[BFHJ2003-a] A. Benveniste, E. Fabre, C. Jard, and S. Haar. ``Diagnosis of asynchronous discrete event systems, a net unfolding approach''. IEEE Trans. on Automatic Control, 48(5), 714-727, May 2003.
[FBJ2001] E. Fabre, A. Benveniste, C. Jard. ``Distributed Diagnosis for Large Discrete Event Dynamic Systems''. In Proc of the IFAC world congress, July 2002.
[B&al2001-a] A. Benveniste, E. Fabre, C. Jard, and S. Haar. ``Diagnosis of asynchronous discrete event systems, a net unfolding approach''. Irisa Research Report 1456, may 2002.
[F&al2000] Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, and Mark Smith. ``Distributed State Reconstruction for Discrete Event Systems.'' Proc. of the 2000 IEEE Control and Decision Conference (CDC), Sydney, Dec. 2000.
[A&al98] A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. ``Fault detection and diagnosis in distributed systems : an approach by Partially Stochastic Petri Nets.'' Journal of Discrete Event Dynamical Systems, special issue on hybrid systems, , 8(2):203--231, June 1998.
[BLFLg95] A. Benveniste, B.C. Levy, E. Fabre, and P. Le Guernic. ``A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems.'' Theoretical Computer Science, 152:171-217, 1995.
[BG84] A. Benveniste and M. Goursat. ``Blind equalizers''. IEEE Trans. onCommunications, COM-32: 871-883, 1984.
[BGR80]A. Benveniste, M. Goursat, and G. Ruget: ``Robust identification of a nonminimum phase system: blind adjustment of a linear equalizer in data communications.'' IEEE Trans. on Automat. Control, AC-25: 385-399, 1980 (IEEE-AC Transactions 1980 best paper award).

Albert Benveniste