synchrony

Academic Journals

  1. A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet. Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS), 78(3):877-910, 2012. details doi pdf
  2. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), 7(4), 2008. details download pdf
  3. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, Special issue on modeling and design of embedded software, 91(1):64-83, 2003. details pdf
  4. A. Benveniste, B. Caillaud, Paul Le Guernic. Compositionality in dataflow synchronous languages: specification and distributed code generation. Information and Computation, 163:125-171, 2000. details doi pdf
  5. A. Benveniste. Compositional and Uniform Modelling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4), April 1998. details

International Conferences

  1. A. Benveniste, T. Bourke, B. Caillaud, M. 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. details download pdf
  2. A. Benveniste, T. Bourke, B. Caillaud, M. 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. details download pdf
  3. A. Benveniste, B. Caillaud, M. Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010. details doi pdf
  4. P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 46-60, 2009. details doi
  5. A. Benveniste, P. Caspi, M. di Natale, C. Pinello, A.o L. Sangiovanni-Vincentelli, S. Tripakis. Loosely Time-Triggered Architectures based on Communication-by-Sampling. In Proc. 7th International Conference on Embedded Software (EMSOFT'07), 2007. details download
  6. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o 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. details download pdf
  7. A. Benveniste, B. Caillaud, L. Carloni, A.o 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. details download pdf
  8. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o 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. details download pdf
  9. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A.o 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. details doi pdf
  10. A. Benveniste, L. Carloni, P. Caspi, A.o 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. details download
  11. P. Caspi, A. 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. details download
  12. A. Benveniste. Non-massive, Non-high Performance, Distributed Computing. In Euro-Par 2002, Parallel Processing, B. Monien, R. Feldmann (eds.), Lecture Notes in Computer Science, Plenary talk, Volume 2400, Pages 29-48, Paderborn, Germany, August 2002. details download
  13. A. 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. details download
  14. A. Benveniste, B. Caillaud, P. 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. details doi pdf
  15. A. Benveniste, M. Siegel, L. Holenderski, Klaus Winkelmann, E. Sefton, E. 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. details
  16. A. Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, France, June 1998. details

Research Reports

  1. B. Caillaud, JP. Talpin, JM. Jézéquel, A. Benveniste, C. Jard. BDL: A Semantics Backbone for UML Dynamic Diagrams. Research report INRIA Rennes, No 4003, September 2000. details download
  2. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. details download
  3. A. Benveniste, B. Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. details download

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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic