Albert Benveniste

	2012
90		Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3): 877-910 (2012)
	2011
89		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
88		Ajay Kattepur, Albert Benveniste, Claude Jard: Optimizing Decisions in Web Services Orchestrations. ICSOC 2011: 77-91
87		Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70
86		Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard: Pairwise testing of dynamic composite services. SEAMS 2011: 138-147
85		Benoît Masson, Loïc Hélouët, Albert Benveniste: Compatibility of Data-Centric Web Services. WS-FM 2011: 32-47
84		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)
	2010
83		Albert Benveniste, Benoît Caillaud, Marc Pouzet: The fundamentals of hybrid systems modelers. CDC 2010: 4180-4185
82		Albert Benveniste: Loosely Time-Triggered Architectures for Cyber-Physical Systems. DATE 2010: 3-8
81		Albert Benveniste, Anne Bouillard, Paul Caspi: A unifying view of loosely time-triggered architectures. EMSOFT 2010: 189-198
80		Loïc Hélouët, Albert Benveniste: Document Based Modeling of Web Services Choreographies Using Active XML. ICWS 2010: 291-298
79		Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard: Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS 2010: 99-106
78		Sidney Rosario, Albert Benveniste, Claude Jard: Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Service Res. 7(2): 21-42 (2010)
	2009
77		Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone: Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127
76		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
75		Samy Abbes, Albert Benveniste: Concurrency, sigma-Algebras, and Probabilistic Fairness. FOSSACS 2009: 380-394
74		Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
73		Sidney Rosario, Albert Benveniste, Claude Jard: Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS 2009: 107-114
72		Sidney Rosario, Albert Benveniste, Claude Jard: Monitoring probabilistic SLAs in Web service orchestrations. Integrated Network Management 2009: 474-481
71		Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282
70		Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli: Metamodels in Europe: Languages, Tools, and Applications. IEEE Design & Test of Computers 26(3): 38-53 (2009)
	2008
69		Paul Caspi, Albert Benveniste: Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC 2008: 3595-3600
68		Albert Benveniste: Composing Web Services in an Open World: Issues of Quality of Service. FORMATS 2008: 14
67		Albert Benveniste: Composing Web Services in an Open World: QoS Issues. QEST 2008: 121
66		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008)
65		Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations CoRR abs/0804.4896: (2008)
64		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE T. Services Computing 1(4): 187-200 (2008)
63		Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale: Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008)
62		Samy Abbes, Albert Benveniste: True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390(2-3): 129-170 (2008)
	2007
61		Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239
60		Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
59		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
58		Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
57		Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
56		Eric Fabre, Albert Benveniste: Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. Discrete Event Dynamic Systems 17(3): 355-403 (2007)
55		Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel: Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion. EURASIP J. Adv. Sig. Proc. 2007: (2007)
	2006
54		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160
53		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316
52		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
51		Samy Abbes, Albert Benveniste: True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204(2): 231-274 (2006)
	2005
50		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
49		Samy Abbes, Albert Benveniste: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109
48		Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
47		Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dynamic Systems 15(1): 33-84 (2005)
	2004
46		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
45		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229
44		Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825
	2003
43		Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26
42		Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
41		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16
40		Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone: The synchronous languages 12 years later. Proceedings of the IEEE 91(1): 64-83 (2003)
	2002
39		Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
38		Paul Caspi, Albert Benveniste: Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304
37		Albert Benveniste: Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par 2002: 29-48
36		Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat: Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors. IEEE Transactions on Signal Processing 50(1): 41-48 (2002)
	2001
35		Albert Benveniste: Some Synchronization Issues When Designing Embedded Systems from Components. EMSOFT 2001: 32-49
34		Albert Benveniste, Axel Poigné: Foreword. Formal Methods in System Design 19(1): 5-6 (2001)
	2000
33		Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic: A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC 2000: 96-103
32		Michèle Basseville, Maher Abdelghani, Albert Benveniste: Subspace-based fault detection algorithms for vibration monitoring. Automatica 36(1): 101-109 (2000)
31		Albert Benveniste, Benoît Caillaud, Paul Le Guernic: Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inf. Comput. 163(1): 125-171 (2000)
	1999
30		Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
	1998
29		Albert Benveniste, Claude Jard, Stephane Gaubert: Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388
28		Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon: BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205
27		Qinghua Zhang, Michèle Basseville, Albert Benveniste: Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach. Automatica 34(11): 1359-1373 (1998)
26		Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard: Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. Discrete Event Dynamic Systems 8(2): 203-231 (1998)
	1997
25		Albert Benveniste, Paul Le Guernic, Pascal Aubry: Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. COMPOS 1997: 61-80
	1995
24		Albert Benveniste: Compositional and Uniform Modelling of Hybrid Systems. Hybrid Systems 1995: 41-51
23		Jonas Sjöberg, Qinghua Zhang, Lennart Ljung, Albert Benveniste, Bernard Delyon, Pierre-Yves Glorennec, Håkan Hjalmarsson, Anatoli Juditsky: Nonlinear black-box modeling in system identification: a unified overview. Automatica 31(12): 1691-1724 (1995)
22		Anatoli Juditsky, Håkan Hjalmarsson, Albert Benveniste, Bernard Delyon, Lennart Ljung, Jonas Sjöberg, Qinghua Zhang: Nonlinear black-box models in system identification: Mathematical foundations. Automatica 31(12): 1725-1750 (1995)
21		Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic: A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. Theor. Comput. Sci. 152(2): 171-217 (1995)
	1994
20		Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic: A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. FTRTFT 1994: 149-169
19		Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic: A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. Hybrid Systems 1994: 21-44
18		Qinghua Zhang, Michèle Basseville, Albert Benveniste: Early warning of slight changes in systems. Automatica 30(1): 95-113 (1994)
	1993
17		Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs: Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
16		Albert Benveniste, Karl J. Åström: Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue, . Automatica 29(5): 1169-1175 (1993)
	1992
15		Albert Benveniste, Michel Le Borgne, Paul Le Guernic: SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP 1992: 20-38
14		Albert Benveniste, Michel Le Borgne, Paul Le Guernic: Hybrid Systems: The SIGNAL Approach. Hybrid Systems 1992: 230-254
13		Michèle Basseville, Albert Benveniste, Kenneth C. Chou, Stuart A. Golden, Ramine Nikoukhah, Alan S. Willsky: Modeling and estimation of multiresolution stochastic processes. IEEE Transactions on Information Theory 38(2): 766-784 (1992)
12		Michèle Basseville, Albert Benveniste, Alan S. Willsky: Multiscale autoregressive processes. I. Schur-Levinson parametrizations. IEEE Transactions on Signal Processing 40(8): 1915-1934 (1992)
11		Michèle Basseville, Albert Benveniste, Alan S. Willsky: Multiscale autoregressive processes. II. Lattice structures for whitening and modeling. IEEE Transactions on Signal Processing 40(8): 1935-1954 (1992)
10		Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine: A Denotational Theory of Synchronous Reactive Systems Inf. Comput. 99(2): 192-230 (1992)
	1991
9		Albert Benveniste, Paul Le Guernic, Christian Jacquemot: Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. Sci. Comput. Program. 16(2): 103-149 (1991)
	1987
8		Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée: Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems. Automatica 23(4): 479-489 (1987)
7		Albert Benveniste: Commande adaptative aspects pratiques et théoriques: Editors I. D. Landau and L. Dugard. Automatica 23(5): 681-682 (1987)
	1986
6		Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai: Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474
5		Michèle Basseville, Albert Benveniste, George V. Moustakides: Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals. IEEE Transactions on Information Theory 32(3): 412-417 (1986)
	1984
4		Patrick Bouthemy, Albert Benveniste: Modeling of Atmospheric Disturbances in Meteorological Pictures. IEEE Trans. Pattern Anal. Mach. Intell. 6(5): 587-600 (1984)
	1983
3		Michèle Basseville, Albert Benveniste: Sequential detection of abrupt changes in spectral characteristics of digital signals. IEEE Transactions on Information Theory 29(5): 709-723 (1983)
2		Michèle Basseville, Albert Benveniste: Sequential segmentation of nonstationary digital signals using spectral analysis. Inf. Sci. 29(1): 57-73 (1983)
	1974
1		Albert Benveniste, P. Bernhard, J. Chatelon, G. Cohen: A New Algorithm for Gauss Markov Identification. Optimization Techniques 1974: 22-27

Coauthor Index

1	Samy Abbes	[49] [51] [62] [75]
2	Maher Abdelghani	[32]
3	Armen Aghasaryan	[26] [44]
4	Luís Almeida	[48]
5	Karl J. Åström	[16]
6	Pascal Aubry	[25]
7	Eric Badouel	[76] [77] [84]
8	Michèle Basseville	[2] [3] [5] [8] [11] [12] [13] [18] [27] [32] [36] [55]
9	Benoit Baudry	[79] [86]
10	P. Bernhard	[1]
11	Michel Le Borgne	[14] [15]
12	Renée Boubour	[26]
13	Anne Bouillard	[65] [71] [81]
14	Timothy Bourke	[87] [89] [90]
15	Patricia Bournai	[6]
16	Patrick Bouthemy	[4]
17	Bruno Bouyssounouse	[48]
18	Zakaria Bouziane	[28]
19	Giorgio C. Buttazzo	[48]
20	Benoît Caillaud	[28] [30] [31] [41] [45] [46] [50] [52] [54] [57] [60] [66] [76] [77] [83] [84] [87] [89] [90]
21	Daniela Cancila	[70]
22	Hubert Canon	[28]
23	Luca P. Carloni	[41] [42] [45] [50] [54] [66]
24	Paul Caspi	[17] [38] [39] [40] [41] [42] [45] [48] [54] [61] [63] [66] [69] [74] [81]
25	J. Chatelon	[1]
26	Kenneth C. Chou	[13]
27	G. Cohen	[1]
28	William R. Cook	[58]
29	Ivica Crnkovic	[48]
30	Arnaud Cuccuru	[70]
31	Werner Damm	[48] [70]
32	Bernard Delyon	[22] [23]
33	Stephen A. Edwards	[40]
34	Jakob Engblom	[48]
35	Eric Fabre	[19] [20] [21] [26] [43] [44] [47] [56]
36	Alberto Ferrari	[60] [70]
37	Gerhard Fohler	[48]
38	Marisol García-Valls	[48]
39	Stéphane Gaubert (Stephane Gaubert)	[29]
40	Thierry Gautier	[6]
41	Sébastien Gérard (Sebastien Gerard)	[70]
42	Pierre-Yves Glorennec	[23]
43	Stuart A. Golden	[13]
44	Maurice Goursat	[36] [55]
45	Susanne Graf	[70]
46	Paul Le Guernic	[6] [9] [10] [14] [15] [17] [19] [20] [21] [25] [30] [31] [33] [39] [40]
47	Stefan Haar	[43] [44] [47] [53] [58] [59] [64] [65] [71]
48	Imene Ben Hafaiedh	[70]
49	Nicolas Halbwachs	[17] [40]
50	Loïc Hélouët	[80] [85]
51	Håkan Hjalmarsson	[22] [23]
52	Christian Jacquemot	[9]
53	Claude Jard	[26] [28] [29] [43] [44] [47] [53] [58] [59] [64] [72] [73] [78] [79] [86] [88]
54	Bernhard Josko	[70]
55	Anatoli Juditsky	[22] [23]
56	Ajay Kattepur	[79] [86] [88]
57	David Kitchin	[58]
58	Hermann Kopetz	[48]
59	Yassine Lakhnech	[48]
60	François Laroussinie	[48]
61	Luciano Lavagno	[48]
62	Axel Legay	[76] [84]
63	Bernard C. Levy	[19] [20] [21]
64	Giuseppe Lipari	[48]
65	Lennart Ljung	[22] [23]
66	Roberto Lublinerman	[74]
67	Leonardo Mangeruca	[60] [70]
68	Florence Maraninchi	[48]
69	Hervé Marchand	[39]
70	Benoît Masson	[85]
71	Laurent Mevel	[36] [55]
72	George V. Moustakides	[5] [8]
73	Marco Di Natale	[61] [63]
74	Ramine Nikoukhah	[13]
75	Roberto Passerone	[57] [60] [70] [76] [77] [84]
76	Thomas Peikenkamp	[70]
77	Philipp Peti	[48]
78	Claudio Pinello	[61] [63]
79	Axel Poigné	[34]
80	Dumitru Potop-Butucaru	[46] [52]
81	Marc Pouzet	[83] [87] [89] [90]
82	Juan Antonio de la Puente	[48]
83	Jean-Baptiste Raclet	[76] [77] [84]
84	Sidney Rosario	[53] [58] [59] [64] [65] [71] [72] [73] [78]
85	Anne Rougée	[8]
86	Alberto L. Sangiovanni-Vincentelli	[41] [42] [45] [48] [50] [54] [61] [63] [66] [70]
87	Norman Scaife	[48]
88	Sagar Sen	[79] [86]
89	Joseph Sifakis	[48]
90	Robert de Simone	[40] [48]
91	Jonas Sjöberg	[22] [23]
92	Christos Sofronis	[60]
93	Yves Sorel	[10]
94	Michel Sorine	[10]
95	Jean-Pierre Talpin	[28] [33] [39]
96	François Terrier	[70]
97	Martin Törngren	[48]
98	Stavros Tripakis	[39] [54] [61] [63] [74]
99	Paulo Veríssimo	[48]
100	Yunming Wang	[33]
101	Andy J. Wellings	[48]
102	Reinhard Wilhelm	[48]
103	Tim A. C. Willemse	[48]
104	Alan S. Willsky	[11] [12] [13]
105	Wang Yi	[48]
106	Qinghua Zhang	[18] [22] [23] [27]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page