dblp.uni-trier.dewww.uni-trier.de

Albert Benveniste Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
59EEJean-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
58EESamy Abbes, Albert Benveniste: Concurrency, sigma-Algebras, and Probabilistic Fairness. FOSSACS 2009: 380-394
57EEPaul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
56EEAnne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282
2008
55EEPaul Caspi, Albert Benveniste: Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC 2008: 3595-3600
54EEAlbert Benveniste: Composing Web Services in an Open World: Issues of Quality of Service. FORMATS 2008: 14
53EEAlbert Benveniste: Composing Web Services in an Open World: QoS Issues. QEST 2008: 121
52EEAlbert 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)
51EEAnne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations CoRR abs/0804.4896: (2008)
50EEStavros 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)
49EESamy 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
48EEAlbert 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
47EEAlbert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
46EESidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133
45EESidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
44EEAlbert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
43EEEric 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
42EEAlbert 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
41EESidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316
40EEDumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006)
39EESamy Abbes, Albert Benveniste: True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204(2): 231-274 (2006)
2005
38EEAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
37EESamy Abbes, Albert Benveniste: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109
36EEPaul 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)
35EEShigemasa 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)
34EEEric Fabre, Albert Benveniste, Stefan Haar, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dynamic Systems 15(1): 33-84 (2005)
2004
33EEDumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. ACSD 2004: 67-78
32EEAlbert 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
31EEEric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan: Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825
2003
30EEAlbert Benveniste, Stefan Haar, Eric Fabre, Claude Jard: Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26
29EEAlbert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
28EEAlbert 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
26EEAlbert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
25EEPaul Caspi, Albert Benveniste: Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304
24EEAlbert Benveniste: Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par 2002: 29-48
2001
23EEAlbert 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
21EEYunming 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
19EEAlbert Benveniste, Benoît Caillaud, Paul Le Guernic: From Synchrony to Asynchrony. CONCUR 1999: 162-177
1998
18EEAlbert Benveniste, Claude Jard, Stephane Gaubert: Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388
17EEJean-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
16EEAlbert 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
14EEAlbert 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
11EEAlbert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs: Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
1992
10EEAlbert 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)
2EEMichè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

1Samy Abbes [37] [39] [49] [58]
2Armen Aghasaryan [31]
3Luís Almeida [36]
4Pascal Aubry [16]
5Eric Badouel [59]
6Michèle Basseville [2] [3] [4] [8]
7P. Bernhard [1]
8Michel Le Borgne [9] [10]
9Anne Bouillard [51] [56]
10Patricia Bournai [5]
11Bruno Bouyssounouse [36]
12Zakaria Bouziane [17]
13Giorgio C. Buttazzo [36]
14Benoît Caillaud [17] [19] [20] [28] [32] [33] [38] [40] [42] [44] [47] [52] [59]
15Hubert Canon [17]
16Luca P. Carloni [28] [29] [32] [38] [42] [52]
17Paul Caspi [11] [25] [26] [27] [28] [29] [32] [36] [42] [48] [50] [52] [55] [57]
18J. Chatelon [1]
19Kenneth C. Chou [8]
20G. Cohen [1]
21William R. Cook [45]
22Daniele Corona [35]
23Ivica Crnkovic [36]
24Werner Damm [36]
25Stephen A. Edwards [27]
26Jakob Engblom [36]
27Eric Fabre [12] [13] [14] [30] [31] [34] [35] [43]
28Alberto Ferrari [47]
29Gerhard Fohler [36]
30Marisol García-Valls [36]
31Stephane Gaubert [18]
32Thierry Gautier [5]
33Alessandro Giua [35]
34Stuart A. Golden [8]
35Paul Le Guernic [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [19] [20] [21] [26] [27]
36Stefan Haar [30] [31] [34] [35] [41] [45] [46] [51] [56]
37Nicolas Halbwachs [11] [27]
38Christian Jacquemot [6]
39Claude Jard [17] [18] [30] [31] [34] [35] [41] [45] [46]
40David Kitchin [45]
41Hermann Kopetz [36]
42Yassine Lakhnech [36]
43François Laroussinie [36]
44Luciano Lavagno [36]
45Axel Legay [59]
46Bernard C. Levy [12] [13] [14]
47Giuseppe Lipari [36]
48Roberto Lublinerman [57]
49Leonardo Mangeruca [47]
50Florence Maraninchi [36]
51Hervé Marchand [26]
52George V. Moustakides [4]
53Marco Di Natale [48] [50]
54Ramine Nikoukhah [8]
55Roberto Passerone [44] [47] [59]
56Philipp Peti [36]
57Claudio Pinello [48] [50]
58Axel Poigné [22]
59Dumitru Potop-Butucaru [33] [40]
60Juan Antonio de la Puente [36]
61Jean-Baptiste Raclet [59]
62Sidney Rosario [41] [45] [46] [51] [56]
63Alberto L. Sangiovanni-Vincentelli [28] [29] [32] [36] [38] [42] [48] [50] [52]
64Norman Scaife [36]
65Carla Seatzu [35]
66Joseph Sifakis [36]
67Robert de Simone [27] [36]
68Christos Sofronis [47]
69Yves Sorel [7]
70Michel Sorine [7]
71Shigemasa Takai [35]
72Jean-Pierre Talpin [17] [21] [26]
73Martin Törngren [36]
74Stavros Tripakis [26] [42] [48] [50] [57]
75Toshimitsu Ushio [35]
76Paulo Veríssimo [36]
77Yunming Wang [21]
78Andy J. Wellings [36]
79Reinhard Wilhelm [36]
80Tim A. C. Willemse [36]
81Alan S. Willsky [8]
82Wang Yi [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)