Albert Benveniste

2008
46	EE	Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations CoRR abs/0804.4896: (2008)
45	EE	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
44	EE	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
43	EE	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
42	EE	Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
41	EE	Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
40	EE	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
39	EE	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
38	EE	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
37	EE	Samy Abbes, Albert Benveniste: True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204(2): 231-274 (2006)
2005
36	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
35	EE	Samy Abbes, Albert Benveniste: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109
34	EE	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)
2004
33	EE	Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
32	EE	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	EE	Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825
2003
30	EE	Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26
29	EE	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	EE	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	EE	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	EE	Paul Caspi, Albert Benveniste: Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304
24	EE	Albert Benveniste: Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par 2002: 29-48
2001
23	EE	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	EE	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	EE	Albert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
1998
18	EE	Albert Benveniste, Claude Jard, Stephane Gaubert: Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388
17	EE	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	EE	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	EE	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	EE	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	[35] [37] [45]
2	Armen Aghasaryan	[31]
3	Luís Almeida	[34]
4	Pascal Aubry	[16]
5	Michèle Basseville	[2] [3] [4] [8]
6	P. Bernhard	[1]
7	Michel Le Borgne	[9] [10]
8	Anne Bouillard	[46]
9	Patricia Bournai	[5]
10	Bruno Bouyssounouse	[34]
11	Zakaria Bouziane	[17]
12	Giorgio C. Buttazzo	[34]
13	Benoît Caillaud	[17] [19] [20] [28] [32] [33] [36] [38] [39] [41]
14	Hubert Canon	[17]
15	Luca P. Carloni	[28] [29] [32] [36] [39]
16	Paul Caspi	[11] [25] [26] [27] [28] [29] [32] [34] [39] [44]
17	J. Chatelon	[1]
18	Kenneth C. Chou	[8]
19	G. Cohen	[1]
20	William Cook	[42]
21	Ivica Crnkovic	[34]
22	Werner Damm	[34]
23	Stephen A. Edwards	[27]
24	Jakob Engblom	[34]
25	Eric Fabre	[12] [13] [14] [30] [31] [40]
26	Gerhard Fohler	[34]
27	Marisol García-Valls	[34]
28	Stephane Gaubert	[18]
29	Thierry Gautier	[5]
30	Stuart A. Golden	[8]
31	Paul Le Guernic	[5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [19] [20] [21] [26] [27]
32	Stefan Haar	[30] [31] [42] [43] [46]
33	Nicolas Halbwachs	[11] [27]
34	Christian Jacquemot	[6]
35	Claude Jard	[17] [18] [30] [31] [42] [43]
36	David Kitchin	[42]
37	Hermann Kopetz	[34]
38	Yassine Lakhnech	[34]
39	François Laroussinie	[34]
40	Luciano Lavagno	[34]
41	Bernard C. Levy	[12] [13] [14]
42	Giuseppe Lipari	[34]
43	Florence Maraninchi	[34]
44	Hervé Marchand	[26]
45	George V. Moustakides	[4]
46	Marco Di Natale	[44]
47	Ramine Nikoukhah	[8]
48	Roberto Passerone	[41]
49	Philipp Peti	[34]
50	Claudio Pinello	[44]
51	Axel Poigné	[22]
52	Dumitru Potop-Butucaru	[33] [38]
53	Juan Antonio de la Puente	[34]
54	Sidney Rosario	[42] [43] [46]
55	Alberto L. Sangiovanni-Vincentelli	[28] [29] [32] [34] [36] [39] [44]
56	Norman Scaife	[34]
57	Joseph Sifakis	[34]
58	Robert de Simone	[27] [34]
59	Yves Sorel	[7]
60	Michel Sorine	[7]
61	Jean-Pierre Talpin	[17] [21] [26]
62	Martin Törngren	[34]
63	Stavros Tripakis	[26] [39] [44]
64	Paulo Veríssimo	[34]
65	Yunming Wang	[21]
66	Andy J. Wellings	[34]
67	Reinhard Wilhelm	[34]
68	Tim A. C. Willemse	[34]
69	Alan S. Willsky	[8]
70	Wang Yi	[34]

Colors in the list of coauthors