Albert Benveniste

	2009
61		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
60		Samy Abbes, Albert Benveniste: Concurrency, sigma-Algebras, and Probabilistic Fairness. FOSSACS 2009: 380-394
59		Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
58		Sidney Rosario, Albert Benveniste, Claude Jard: Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS 2009: 107-114
57		Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282
	2008
56		Paul Caspi, Albert Benveniste: Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC 2008: 3595-3600
55		Albert Benveniste: Composing Web Services in an Open World: Issues of Quality of Service. FORMATS 2008: 14
54		Albert Benveniste: Composing Web Services in an Open World: QoS Issues. QEST 2008: 121
53		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)
52		Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations CoRR abs/0804.4896: (2008)
51		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)
50		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)
49		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
48		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
47		Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
46		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
45		Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
44		Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
43		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)
	2006
42		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
41		Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316
40		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
39		Samy Abbes, Albert Benveniste: True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204(2): 231-274 (2006)
	2005
38		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
37		Samy Abbes, Albert Benveniste: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109
36		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)
35		Shigemasa Takai, Toshimitsu Ushio, Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Alessandro Giua, Daniele Corona, Carla Seatzu: Contributing Authors. Discrete Event Dynamic Systems 15(1): 109-112 (2005)
34		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
33		Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
32		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
31		Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825
	2003
30		Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26
29		Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
28		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
27		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
26		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
25		Paul Caspi, Albert Benveniste: Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304
24		Albert Benveniste: Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par 2002: 29-48
	2001
23		Albert Benveniste: Some Synchronization Issues When Designing Embedded Systems from Components. EMSOFT 2001: 32-49
22		Albert Benveniste, Axel Poigné: Foreword. Formal Methods in System Design 19(1): 5-6 (2001)
	2000
21		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
20		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
19		Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
	1998
18		Albert Benveniste, Claude Jard, Stephane Gaubert: Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388
17		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
	1997
16		Albert Benveniste, Paul Le Guernic, Pascal Aubry: Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. COMPOS 1997: 61-80
	1995
15		Albert Benveniste: Compositional and Uniform Modelling of Hybrid Systems. Hybrid Systems 1995: 41-51
14		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
13		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
12		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
	1993
11		Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs: Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
	1992
10		Albert Benveniste, Michel Le Borgne, Paul Le Guernic: SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP 1992: 20-38
9		Albert Benveniste, Michel Le Borgne, Paul Le Guernic: Hybrid Systems: The SIGNAL Approach. Hybrid Systems 1992: 230-254
8		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)
7		Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine: A Denotational Theory of Synchronous Reactive Systems Inf. Comput. 99(2): 192-230 (1992)
	1991
6		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)
	1986
5		Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai: Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474
4		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- (1986)
	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	[37] [39] [49] [60]
2	Armen Aghasaryan	[31]
3	Luís Almeida	[36]
4	Pascal Aubry	[16]
5	Eric Badouel	[61]
6	Michèle Basseville	[2] [3] [4] [8]
7	P. Bernhard	[1]
8	Michel Le Borgne	[9] [10]
9	Anne Bouillard	[52] [57]
10	Patricia Bournai	[5]
11	Bruno Bouyssounouse	[36]
12	Zakaria Bouziane	[17]
13	Giorgio C. Buttazzo	[36]
14	Benoît Caillaud	[17] [19] [20] [28] [32] [33] [38] [40] [42] [44] [47] [53] [61]
15	Hubert Canon	[17]
16	Luca P. Carloni	[28] [29] [32] [38] [42] [53]
17	Paul Caspi	[11] [25] [26] [27] [28] [29] [32] [36] [42] [48] [50] [53] [56] [59]
18	J. Chatelon	[1]
19	Kenneth C. Chou	[8]
20	G. Cohen	[1]
21	William R. Cook	[45]
22	Daniele Corona	[35]
23	Ivica Crnkovic	[36]
24	Werner Damm	[36]
25	Stephen A. Edwards	[27]
26	Jakob Engblom	[36]
27	Eric Fabre	[12] [13] [14] [30] [31] [34] [35] [43]
28	Alberto Ferrari	[47]
29	Gerhard Fohler	[36]
30	Marisol García-Valls	[36]
31	Stephane Gaubert	[18]
32	Thierry Gautier	[5]
33	Alessandro Giua	[35]
34	Stuart A. Golden	[8]
35	Paul Le Guernic	[5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [19] [20] [21] [26] [27]
36	Stefan Haar	[30] [31] [34] [35] [41] [45] [46] [51] [52] [57]
37	Nicolas Halbwachs	[11] [27]
38	Christian Jacquemot	[6]
39	Claude Jard	[17] [18] [30] [31] [34] [35] [41] [45] [46] [51] [58]
40	David Kitchin	[45]
41	Hermann Kopetz	[36]
42	Yassine Lakhnech	[36]
43	François Laroussinie	[36]
44	Luciano Lavagno	[36]
45	Axel Legay	[61]
46	Bernard C. Levy	[12] [13] [14]
47	Giuseppe Lipari	[36]
48	Roberto Lublinerman	[59]
49	Leonardo Mangeruca	[47]
50	Florence Maraninchi	[36]
51	Hervé Marchand	[26]
52	George V. Moustakides	[4]
53	Marco Di Natale	[48] [50]
54	Ramine Nikoukhah	[8]
55	Roberto Passerone	[44] [47] [61]
56	Philipp Peti	[36]
57	Claudio Pinello	[48] [50]
58	Axel Poigné	[22]
59	Dumitru Potop-Butucaru	[33] [40]
60	Juan Antonio de la Puente	[36]
61	Jean-Baptiste Raclet	[61]
62	Sidney Rosario	[41] [45] [46] [51] [52] [57] [58]
63	Alberto L. Sangiovanni-Vincentelli	[28] [29] [32] [36] [38] [42] [48] [50] [53]
64	Norman Scaife	[36]
65	Carla Seatzu	[35]
66	Joseph Sifakis	[36]
67	Robert de Simone	[27] [36]
68	Christos Sofronis	[47]
69	Yves Sorel	[7]
70	Michel Sorine	[7]
71	Shigemasa Takai	[35]
72	Jean-Pierre Talpin	[17] [21] [26]
73	Martin Törngren	[36]
74	Stavros Tripakis	[26] [42] [48] [50] [59]
75	Toshimitsu Ushio	[35]
76	Paulo Veríssimo	[36]
77	Yunming Wang	[21]
78	Andy J. Wellings	[36]
79	Reinhard Wilhelm	[36]
80	Tim A. C. Willemse	[36]
81	Alan S. Willsky	[8]
82	Wang Yi	[36]

Colors in the list of coauthors