Albert Benveniste

Nice picture

 last update: July 2010   ---  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

benveniste@irisa.fr

home page

http://www.irisa.fr/distribcom/benveniste/

member of groups

formerly: Signals, systems, and algorithms (acronym: Sigma2)

 

currently: System Synthesis and Supervision, Scenarios (acronym: S4) 
currently: Statistical Inference for Structural Health Monitoring (acronym: I4S)

head of group

Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications (acronym: DistribCom) 

Research areas with pointers to selected publications
Projects
Selected publications
Link to extended list of publications (scientific commons)
curriculum vitae and detailed list of publications before 1999 (gzipped PostScript file, 1999)

    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. From 1976 to 1979 he was associate professor in mathematics at Universite de Rennes I. From 1979 to now he has been Directeur de Recherche at INRIA.

    His interests include: system identification and change detection in signal processing and control (until 1995), vibration mechanics, reactive, real-time, and embedded systems design in computer science, and network and service management in telecommunications with emphazis on distributed systems. He has coauthored 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". He has been co-inventor, jointly with Paul Le Guernic, of the synchronous language Signal for reactive systems design in computer science; he is now a recognized contributor to the topic of formal methods for heterogeneous distributed reactive systems in computer engineering. Since 1996, he has been active in distributed algorithms for network and service management in telecommunications, where he has contributed to distributed fault diagnosis. His current interests include: vibrations mechanics, component and contract based design of embedded systems, real-time architectures, network management, Quality of Service management of Web services, and distributed active XML documents.

    In 1980 Albert Benveniste was co-winner of the IEEE Trans. on Automatic Control Best Transaction Paper Award fo his paper on blind deconvolution in data communications. In 1990 he received the CNRS silver medal and in 1991 he has been elected IEEE 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. He is currently 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 chapter" of the RNRT funding programme of the french ministeries for research and telecommunications, for telecommunications (Reseau National de la Recherche en Telecommunications). Since 1997, he has been responsible for INRIA of the joint Alcatel-INRIA research programme and is now chief scientist of the joint Bell Labs-INRIA research lab. He is member of the scientific board of INRIA, in charge of embedded systems area. He is also member of the advisory board of T-Source, a venture capitalist specialist in seed capital for the telecommunications sector, and member of the scientific advisory boards of SAFRAN Group and France Telecom.

 

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

[BBC2010] Albert Benveniste, Anne Bouillard, Paul Caspi. A unifying view of Loosely Time-Triggered Architectures. Proc of EMSOFT 2010.

[BBP2010] Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. Submitted. 2010.

[RaBBCLP2010] Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component Based Design. Fundamenta Informaticae, to appear. 2010.

[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

[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