Benoît Caillaud
Orcid: 0000-0002-3234-5033Affiliations:
- IRISA Rennes
According to our database1,
Benoît Caillaud
authored at least 61 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
2
1
2
2
1
1
4
2
3
1
2
1
1
1
2
2
3
2
2
2
4
3
1
1
3
2
2
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
2022
Proceedings of the Principles of Systems Design, 2022
2021
2020
Annu. Rev. Control., 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the Forum for Specification and Design Languages, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
2018
Proc. IEEE, 2018
2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Proceedings of the Medicine Meets Virtual Reality 22 - NextMed, 2016
Proceedings of the International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, 2016
Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016
2015
2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the Globalizing Domain-Specific Languages, 2014
2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Application of interface theories to the separate compilation of synchronous programs.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects.
Formal Methods Syst. Des., 2011
Mind the gap: Expanding communication options in decentralized discrete-event control.
Autom., 2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Proceedings of the QEST 2010, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers.
Proceedings of the 10th European Control Conference, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009
2008
2007
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
Fundam. Informaticae, 2007
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
2006
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
2005
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005
Proceedings of the EMSOFT 2005, 2005
2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).
Proceedings of the EMSOFT 2004, 2004
2003
Proceedings of the Formal Methods for Components and Objects, 2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
2002
Math. Struct. Comput. Sci., 2002
Formal Aspects Comput., 2002
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002
2000
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.
Inf. Comput., 2000
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
1993
Proceedings of the PARLE '93, 1993
1991
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms.
Proceedings of the Formal Description Techniques, 1991