The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Albert Benveniste: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
    Concurrency in Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:67-78 [Conf]
  2. Albert Benveniste, Paul Le Guernic, Pascal Aubry
    Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:61-80 [Conf]
  3. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
    From Synchrony to Asynchrony. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:162-177 [Conf]
  4. Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
    Distributed Monitoring of Concurrent and Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:1-26 [Conf]
  5. Albert Benveniste, Claude Jard, Stephane Gaubert
    Algebraic Techniques for Timed Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:373-388 [Conf]
  6. Albert Benveniste
    Some Synchronization Issues When Designing Embedded Systems from Components. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:32-49 [Conf]
  7. 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). [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:220-229 [Conf]
  8. Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
    Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:35-50 [Conf]
  9. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
    Tag machines. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:255-263 [Conf]
  10. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
    A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:252-265 [Conf]
  11. Paul Caspi, Albert Benveniste
    Toward an Approximation Theory for Computerised Control. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:294-304 [Conf]
  12. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
    Communication by sampling in time-sensitive distributed systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:152-160 [Conf]
  13. Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    SIGNAL as a Model for Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:20-38 [Conf]
  14. Albert Benveniste
    Non-massive, Non-high Performance, Distributed Computing: Selected Issues. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2002, pp:29-48 [Conf]
  15. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
    Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:1-16 [Conf]
  16. Samy Abbes, Albert Benveniste
    Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:95-109 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:149-169 [Conf]
  18. Albert Benveniste
    Compositional and Uniform Modelling of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:41-51 [Conf]
  19. Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    Hybrid Systems: The SIGNAL Approach. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:230-254 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:21-44 [Conf]
  21. Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
    Algorithms for Distributed Fault Management in Telecommunications Networks. [Citation Graph (0, 0)][DBLP]
    ICT, 2004, pp:820-825 [Conf]
  22. Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai
    Programming Real-Time with Events and Data Flow. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:469-474 [Conf]
  23. Albert Benveniste, P. Bernhard, J. Chatelon, G. Cohen
    A New Algorithm for Gauss Markov Identification. [Citation Graph (0, 0)][DBLP]
    Optimization Techniques, 1974, pp:22-27 [Conf]
  24. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
    BDL, A Language of Distributed Reactive Objects. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:196-205 [Conf]
  25. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
    A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:96-103 [Conf]
  26. Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
    Data-Flow Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:1-45 [Conf]
  27. Albert Benveniste, Axel Poigné
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:5-6 [Journal]
  28. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
    Concurrency in Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:2, pp:111-130 [Journal]
  29. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
    Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:1, pp:125-171 [Journal]
  30. Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
    A Denotational Theory of Synchronous Reactive Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:99, n:2, pp:192-230 [Journal]
  31. Samy Abbes, Albert Benveniste
    True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:2, pp:231-274 [Journal]
  32. Michèle Basseville, Albert Benveniste
    Sequential segmentation of nonstationary digital signals using spectral analysis. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1983, v:29, n:1, pp:57-73 [Journal]
  33. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
    The synchronous languages 12 years later. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal]
  34. Albert Benveniste, Paul Le Guernic, Christian Jacquemot
    Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1991, v:16, n:2, pp:103-149 [Journal]
  35. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:2, pp:171-217 [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal]
  37. Michèle Basseville, Albert Benveniste
    Sequential detection of abrupt changes in spectral characteristics of digital signals. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1983, v:29, n:5, pp:709-723 [Journal]
  38. Michèle Basseville, Albert Benveniste, Kenneth C. Chou, Stuart A. Golden, Ramine Nikoukhah, Alan S. Willsky
    Modeling and estimation of multiresolution stochastic processes. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1992, v:38, n:2, pp:766-784 [Journal]
  39. Michèle Basseville, Albert Benveniste, George V. Moustakides
    Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1986, v:32, n:3, pp:412-0 [Journal]
  40. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
    Probabilistic QoS and soft contracts for transaction based Web services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:126-133 [Conf]
  41. Albert Benveniste, Benoît Caillaud, Roberto Passerone
    A Generic Model of Contracts for Embedded Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  42. Eric Fabre, Albert Benveniste
    Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. [Citation Graph (0, 0)][DBLP]
    Discrete Event Dynamic Systems, 2007, v:17, n:3, pp:355-403 [Journal]

  43. Why Are Modalities Good for Interface Theories?. [Citation Graph (, )][DBLP]


  44. Monotonicity in Service Orchestrations. [Citation Graph (, )][DBLP]


  45. Loosely Time-Triggered Architectures for Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  46. Loosely time-triggered architectures based on communication-by-sampling. [Citation Graph (, )][DBLP]


  47. Modal interfaces: unifying interface automata and modal specifications. [Citation Graph (, )][DBLP]


  48. Multiple Viewpoint Contract-Based Specification and Design. [Citation Graph (, )][DBLP]


  49. Composing Web Services in an Open World: Issues of Quality of Service. [Citation Graph (, )][DBLP]


  50. Concurrency, sigma-Algebras, and Probabilistic Fairness. [Citation Graph (, )][DBLP]


  51. Actors without Directors: A Kahnian View of Heterogeneous Systems. [Citation Graph (, )][DBLP]


  52. Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. [Citation Graph (, )][DBLP]


  53. Document Based Modeling of Web Services Choreographies Using Active XML. [Citation Graph (, )][DBLP]


  54. Variability Modeling and QoS Analysis of Web Services Orchestrations. [Citation Graph (, )][DBLP]


  55. Monitoring probabilistic SLAs in Web service orchestrations. [Citation Graph (, )][DBLP]


  56. Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. [Citation Graph (, )][DBLP]


  57. Composing Web Services in an Open World: QoS Issues. [Citation Graph (, )][DBLP]


  58. Event Structure Semantics of Orc. [Citation Graph (, )][DBLP]


  59. Time-robust discrete control over networked Loosely Time-Triggered Architectures. [Citation Graph (, )][DBLP]


  60. Monotony in Service Orchestrations [Citation Graph (, )][DBLP]


  61. Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002