Publications of Albert Benveniste

Load the BibTeX file

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. details
  2. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1):119-149, 2011. details
  3. 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. details download
  4. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Formal Methods in System Design, 28(2), March 2006. details
  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. details
  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. details
  7. Albert Benveniste. Compositional and Uniform Modelling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4), April 1998. details

International Conferences

  1. Albert Benveniste, Benoît Caillaud, Raclet Jean-Baptiste. Application of Interface Theories to the Separate Compilation of Synchronous Programs. In Proc. of the 51st IEEE Conference on Decision and Control (CDC'12), Hawaii, December 2012. details download
  2. 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. details download
  3. 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. details download
  4. Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010. details
  5. Albert Benveniste, Benoît Caillaud, Roberto Passerone. Multi-Viewpoint State Machines for Rich Component Models. In Model-Based Design of Heterogeneous Embedded Systems, Pieter Mosterman, Gabriela Nicolescu (eds.), 2009. details download
  6. Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 46-60, 2009. details
  7. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09),, Pages 119-127, 2009. details download
  8. Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. 9th International Conference on Embedded Software (EMSOFT'09), October 2009. details download
  9. Paul Caspi, Albert Benveniste. Time-Robust discrete control over networked Loosely Time-Triggered Architectures. In IEEE Control and Decision Conference, December 2008. details download
  10. 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. details download
  11. Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07), Revised Lectures, Lecture Notes in Computer Science, Volume 5382, Amsterdam, The Netherlands, October 2007. details
  12. 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. details download
  13. 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. details download
  14. 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. details
  15. 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. details download
  16. 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. details
  17. 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. details download
  18. 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. details download
  19. 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. details download
  20. 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. details download
  21. 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. details download
  22. A. Turodet, S. Nadjm-Tehrani, Albert Benveniste, J. E. Strömberg. Co-simulation of Hybrid Systems: Signal-Simulink. In Proceedings of 6th international school and symposium on Formal Techniques in Real-time and Fault-tolerant Systems, 2000. details
  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. details
  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. details
  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. details
  26. Albert Benveniste, Stéphane Gaubert, Claude Jard. Monotone rational series and max-plus algebraic models of real-time systems. In Proc. of the Fourth Workshop on Discrete Event Systems (WODES98), Cagliari, Italy, 1998. details
  27. Albert Benveniste, Claude Jard, Stéphane Gaubert. Algebraic techniques for timed systems. In Proceedings of CONCUR'98, Nice, France, September 1998. details
  28. 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. details
  29. Albert Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, France, June 1998. details
  30. 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. details download

Research Reports

  1. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen. Contracts for System Design. Rapport de recherche INRIA, No 8147, November 2012. details download
  2. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. Research Report INRIA, No 6899, 2009. details download
  3. Albert Benveniste, Benoît Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems. Research report INRIA Rennes, No 6214, June 2007. details download
  4. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Research Report INRIA, No 5110, February 2004. details download
  5. 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. details download
  6. Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Pre-order semantics of UML state machines. Research report IRISA, No 1336, June 2000. details download
  7. Albert Benveniste, Paul Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. details download
  8. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. Research report INRIA Rennes, No 3822, December 1999. details download
  9. Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Asynchronous deployment of synchronous transition systems. Research report IRISA, No 1269, October 1999. details download
  10. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. details download
  11. 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. 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 part the S4 project web site.
It has been automatically generated using the bib2html program.