Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Benoît Caillaud" ( http://dblp.L3S.de/Authors/Benoît_Caillaud )

URL (Homepage):  http://www.irisa.fr/prive/Benoit.Caillaud/  Author page on DBLP  Author page in RDF  Community of Benoît Caillaud in ASPL-2

Publication years (Num. hits)
1991-2004 (15) 2005-2009 (15) 2010-2012 (13)
Publication types (Num. hits)
article(18) inproceedings(23) proceedings(2)
Venues (Conferences, Journals, ...)
EMSOFT(6) ACSD(5) Electr. Notes Theor. Comput. S...(3) CoRR(2) FMCO(2) Formal Methods in System Desig...(2) Fundam. Inform.(2) ACM Trans. Embedded Comput. Sy...(1) Annales des Télécommunicatio...(1) Automatica(1) CDC(1) CONCUR(1) Discrete Event Dynamic Systems(1) FIT(1) FMOODS/FORTE(1) Formal Asp. Comput.(1) More (+10 of total 28)
Authors
Benoît Caillaud(43) Albert Benveniste(19) Axel Legay(8) Benoît Delahaye(6) Dumitru Potop-Butucaru(6) Alberto L. Sangiovanni-Vincentelli(5) Claude Jard(5) Eric Badouel(5) Luca P. Carloni(5) Roberto Passerone(5) Marc Pouzet(4) Paul Caspi(4) Jean-Baptiste Raclet(3) Loïc Hélouët(3) Philippe Darondeau(3) Timothy Bourke(3) More (+10 of total 48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 21 keywords
Results
Found 43 publication records. Showing 43 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet Non-standard semantics of hybrid systems modelers. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski Constraint Markov Chains. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laurie Ricker, Benoît Caillaud Mind the gap: Expanding communication options in decentralized discrete-event control. Search on Bibsonomy Automatica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone A Modal Interface Theory for Component-based Design. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benoît Delahaye, Benoît Caillaud, Axel Legay Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi (eds.) 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  BibTeX  RDF
1Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet Divide and recycle: types and compilation for a hybrid synchronous language. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Axel Legay, Benoît Caillaud (eds.) Proceedings Foundations for Interface Technologies Search on Bibsonomy FIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benoît Delahaye, Benoît Caillaud, Axel Legay Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Marc Pouzet The fundamentals of hybrid systems modelers. Search on Bibsonomy CDC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski Compositional Design Methodology with Constraint Markov Chains. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone Modal interfaces: unifying interface automata and modal specifications. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modal specifications, compatibility, interface automata
1Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone Why Are Modalities Good for Interface Theories?. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli Composing heterogeneous reactive systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF correct-by-construction design, reactive systems, Compositionality, models of computation, GALS
1Benoît Delahaye, Benoît Caillaud A Model for Probabilistic Reasoning on Assume/Guarantee Contracts Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Dumitru Potop-Butucaru, Benoît Caillaud Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Roberto Passerone A Generic Model of Contracts for Embedded Systems Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau Concurrent Secrets. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Concurrency, Computer security, Automata, Supervisory control, Opacity
1Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis Multiple Viewpoint Contract-Based Specification and Design. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste Concurrency in Synchronous Systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis Communication by sampling in time-sensitive distributed systems. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF distributed deployment, heterogeneous reactive systems, scheduling, tagged systems
1Jacques Klein, Benoît Caillaud, Loïc Hélouët Merging Scenarios. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli Tag machines. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed deployment, heterogeneous reactive systems, GALS, tagged systems
1Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud From multi-clocked synchronous processes to latency-insensitive modules. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compositional mapping, separate compilation
1Dumitru Potop-Butucaru, Benoît Caillaud Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Albert 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). Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed deployment, heterogeneous reactive systems, GALS
1Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste Concurrency in Synchronous Systems. Search on Bibsonomy ACSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello Modular System Development with Pullbacks. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Benoît Caillaud, Philippe Darondeau Distributing Finite Automata Through Petri Net Synthesis. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF General Petri nets, Distribution, Synthesis, Finite automata, Regions
1Loïc Hélouët, Claude Jard, Benoît Caillaud An Event Structure Based Semantics for High-Level Message Sequence Charts. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Anca Muscholl Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Paul Le Guernic Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  BibTeX  RDF
1Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud Protocol engineering using UML. Search on Bibsonomy Annales des Télécommunications The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Paul Le Guernic From Synchrony to Asynchrony. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon BDL, A Language of Distributed Reactive Objects. Search on Bibsonomy ISORC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval Measuring Concurrency of Regular Distributed Computations. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval Correctness of Automated Distribution of Sequential Programs. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics
1Benoît Caillaud The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. Search on Bibsonomy FORTE The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.