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:


Research Areas


Control science and signal processing

Back to  top

Vibration mechanics

Back to  top

Computer science, embedded systems

Back to  top

Distributed Systems, applications to Telecom Networks and Web Services

Back to  top


Selected recent projects

Vibration mechanics

Eureka projects 

Embedded systems software design

Distributed Systems and Telecommunications

Back to  top


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] , , , , , , , , , : Contracts for System Design. Foundations and Trends in Electronic Design Automation 12(2-3): 124-400 (2018)

[BC2017], : Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools 2017: 233-248

, , , , , : Structural Analysis of Multi-Mode DAE Systems. HSCC 2017: 253-263

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

[BBB2015] , , . Loosely time-triggered architectures: improvements and comparisons. EMSOFT 2015: 85-94

[RBDS2015] , , , . 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

Back to  top