Synchronous systems

Academic Journals

1. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS), 78(3):877-910, 2012.
2. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), 7(4), 2008. download
3. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundamenta Informaticae, 78(1):131-159, 2007. download
4. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Formal Methods in System Design, 28(2), March 2006.
5. Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, 91(1):64-83, 2003.
6. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Compositionality in dataflow synchronous languages: specification and distributed code generation. Information and Computation, 163:125-171, 2000.
7. Albert Benveniste. Compositional and Uniform Modelling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4), April 1998.

International Conferences

1. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. In Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011, Jan Vitek, Bjorn De Sutter (eds.), Pages 61-70, 2011. download
2. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister (eds.), Pages 137-148, 2011. download
3. Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010.
4. Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 46-60, 2009.
5. Albert Benveniste, Paul Caspi, Marco di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis. Loosely Time-Triggered Architectures based on Communication-by-Sampling. In Proc. 7th International Conference on Embedded Software (EMSOFT'07), 2007. download
6. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Communication by Sampling in Time-Sensitive Distributed Systems. In Proceedings of the Sixth Annual ACM Conference on Embedded Software, EMSOFT'06, Pages 152-160, 2006. download
7. Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alex Yakovlev. From weakly endochronous systems to delay-insensitive circuits. In Proceedings of the second international workshop on formal methods for globally asynchronous locally synchronous design (FMGALS 2005), 2005.
8. Dumitru Potop-Butucaru, Robert de Simone, Jean-Pierre Talpin. The Synchronous Hypothesis and Synchronous Languages. In Embedded Systems Handbook, R. Zurawski (ed.), 2005.
9. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications. In Proceedings of the Fifth International Conference on Application of Concurrency to System Design, ACSD 2005, 2005.
10. Albert Benveniste, Benoît Caillaud, Luca Carloni, Alberto Sangiovanni-Vincentelli. Tag Machines. In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 255-263, Jersey City, NJ, USA, September 2005. download
11. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. From multi-clocked synchronous processes to latency-insensitive modules (short paper). In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 282-285, Jersey City, NJ, USA, September 2005. download
12. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. In Proceedings of the International Conference on Application of Concurrency to System Design, ACSD 2004, 2004.
13. Dumitru Potop-Butucaru, Robert de Simone. Optimizations for Faster Execution of Esterel Programs. In Formal Methods and Models for System Design, R. Gupta, P. Le Guernic, S. Shukla, J.-P. Talpin (eds.), 2004. download
14. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA). In Proceedings of the Fourth ACM International Conference on Embedded Software, EMSOFT'04, September 2004. download
15. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. In FMCO 2003, Proceedings of the Second International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science, Volume 3188, Pages 1-16, 2003.
16. Albert Benveniste, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Embedded software, third international conference, EMSOFT 2003, R. Alur, I. Lee (eds.), Lecture notes in computer science, Volume 2855, Pages 35-50, October 2003. download
17. Dumitru Potop-Butucaru. The Kahn Principle for Networks of Synchronous Endochronous Programs. In Proceedings of the 1st International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS 2003), Pages 123-132, Pisa, Italy, September 2003.
18. Dumitru Potop-Butucaru, Robert de Simone. Optimizations for Faster Execution of Esterel Programs. In Proceedings of the 1st ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), Pages 227-236, Mont-Saint-Michel, France, June 2003.
19. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Embedded Software, Second International Workshop, EMSOFT 2002, Sangiovanni-Vincentelli, A. and Sifakis, J. A. and Sifakis, J. (ed.), Lecture Notes in Computer Science, Volume 2491, Pages 252-265, Grenoble, October 2002. download
20. Paul Caspi, Albert Benveniste. Toward an Approximation Theory for Computerised Control. In Embedded Software, Second International Workshop, EMSOFT 2002, A. Sangiovanni-Vincentelli, J. Sifakis (eds.), Lecture Notes in Computer Science, Volume 2491, Pages 294-304, Grenoble, October 2002. download
21. Albert Benveniste. Non-massive, Non-high Performance, Distributed Computing. In Euro-Par 2002, Parallel Processing, B. Monien, R. Feldmann (eds.), Lecture Notes in Computer Science, Volume 2400, Pages 29-48, Paderborn, Germany, August 2002. download
22. Albert Benveniste. Some Synchronization Issues When Designing Embedded Systems from Components. In Embedded Software, First International Workshop, EMSOFT 2001, T.A. Henzinger, C. M. Kirsch (eds.), Lecture Notes in Computer Science, Volume 2211, Pages 32-49, Tahoe City, CA, USA, October 2001. download
23. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Compilation and distribution of state machines using Spots. In 16th IFIP World Computer Congress (WCC'2000), August 2000.
24. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. A semantics of UML state-machines using synchronous pre-order transition systems. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), March 2000.
25. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From Synchrony to Asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conference, J.C.M. Baeten, S. Mauw (eds.), Lecture Notes in Computer Science, Volume 1664, Pages 162-177, August 1999.
26. Albert Benveniste, M. Siegel, L. Holenderski, Klaus Winkelmann, E. Sefton, Eric Rutten, Paul Le Guernic, Thierry Gautier. Safety Critical Embedded Systems Design: the SACRES approach. In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, September 1998.
27. Albert Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, France, June 1998.
28. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon. BDL, a Language of Distributed Reactive Objects. In ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, Kyoto, Japan, April 1998. download

Research Reports

1. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications. Research report IRISA, No 1730, June 2005. download
2. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Research Report INRIA, No 5110, February 2004. download
3. Artist. Hard Real-Time Development Environments. Roadmap report Artist, No 0, June 2003.
4. Benoît Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, Claude Jard. BDL: A Semantics Backbone for UML Dynamic Diagrams. Research report INRIA Rennes, No 4003, September 2000. download
5. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Pre-order semantics of UML state machines. Research report IRISA, No 1336, June 2000. download
6. Albert Benveniste, Paul Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. download
7. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. Research report INRIA Rennes, No 3822, December 1999. download
8. Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Asynchronous deployment of synchronous transition systems. Research report IRISA, No 1269, October 1999. download
9. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. download
10. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon. BDL, a language of distributed reactive objects. Research report Inria-Rennes, No 3353, February 1998. download

Thesis

1. Benoît Caillaud. Analysis, Control and Synthesis of Concurrent Systems. Habilitation à diriger des recherches University of Rennes 1, March 2011.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.