2009 | ||
---|---|---|
55 | EE | Samy Abbes, Albert Benveniste: Concurrency, sigma-Algebras, and Probabilistic Fairness. FOSSACS 2009: 380-394 |
54 | EE | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60 |
2008 | ||
53 | EE | Albert Benveniste: Composing Web Services in an Open World: Issues of Quality of Service. FORMATS 2008: 14 |
52 | EE | Albert Benveniste: Composing Web Services in an Open World: QoS Issues. QEST 2008: 121 |
51 | EE | 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) |
50 | EE | Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar: Monotony in Service Orchestrations CoRR abs/0804.4896: (2008) |
49 | EE | 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) |
48 | 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 | ||
47 | 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 |
46 | EE | Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225 |
45 | EE | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard: Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133 |
44 | EE | Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168 |
43 | EE | Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007) |
42 | 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 | ||
41 | 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 |
40 | EE | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste: Concurrency in Synchronous Systems. Formal Methods in System Design 28(2): 111-130 (2006) |
39 | 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 | ||
38 | EE | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263 |
37 | EE | Samy Abbes, Albert Benveniste: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109 |
36 | 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) |
35 | EE | 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 | EE | 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 | 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 |