The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Benoît Caillaud: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dumitru Potop-Butucaru, Benoît Caillaud
    Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:48-57 [Conf]
  2. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
    Concurrency in Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:67-78 [Conf]
  3. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
    Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:140-160 [Conf]
  4. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
    From Synchrony to Asynchrony. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:162-177 [Conf]
  5. 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]
  6. 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]
  7. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud
    From multi-clocked synchronous processes to latency-insensitive modules. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:282-285 [Conf]
  8. 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]
  9. 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]
  10. Benoît Caillaud
    The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:329-344 [Conf]
  11. 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]
  12. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
    HMSCs as Partial Specifications ... with PNs as Completions. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:125-152 [Conf]
  13. Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
    Correctness of Automated Distribution of Sequential Programs. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:517-528 [Conf]
  14. Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
    Measuring Concurrency of Regular Distributed Computations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:711-725 [Conf]
  15. Benoît Caillaud, Anca Muscholl
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
  16. Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alex Yakovlev
    Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:81-103 [Journal]
  17. Jacques Klein, Benoît Caillaud, Loïc Hélouët
    Merging Scenarios. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:193-215 [Journal]
  18. Eric Badouel, Benoît Caillaud, Philippe Darondeau
    Distributing Finite Automata Through Petri Net Synthesis. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:6, pp:447-470 [Journal]
  19. 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]
  20. 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]
  21. Loïc Hélouët, Claude Jard, Benoît Caillaud
    An Event Structure Based Semantics for High-Level Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:377-402 [Journal]
  22. 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]
  23. Dumitru Potop-Butucaru, Benoît Caillaud
    Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:78, n:1, pp:131-159 [Journal]

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


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


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


  27. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. [Citation Graph (, )][DBLP]


  28. A Model for Probabilistic Reasoning on Assume/Guarantee Contracts [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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