Search the dblp DataBase

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]