Bibliography

Major publications by the team in recent years

• 1A. 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, S. Chakraborty, A. Jerraya, S. K. Baruah, S. Fischmeister (editors), ACM, 2011, pp. 137-148.
  http://doi.acm.org/10.1145/2038642.2038664
• 2A. 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 Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES Chicago, IL, USA, April 11-14, J. Vitek, B. de Sutter (editors), ACM, 2011, pp. 61-70.
  http://doi.acm.org/10.1145/1967677.1967687
• 3A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
  Non-standard semantics of hybrid systems modelers, in: Journal of Computer and System Sciences, 2012, vol. 78, n^o 3, pp. 877-910, This work was supported by the SYNCHRONICS large scale initiative of Inria. [ DOI : 10.1016/j.jcss.2011.08.009 ]
  http://hal.inria.fr/hal-00766726
• 4A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. L. Sangiovanni-Vincentelli, W. Damm, T. A. Henzinger, K. G. Larsen.
  Contracts for System Design, Inria, November 2012, n^o RR-8147, 65 p.
  http://hal.inria.fr/hal-00757488
• 5J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone.
  A Modal Interface Theory for Component-based Design, in: Fundamenta Informaticae, 2011, vol. 108, n^o 1-2, pp. 119-149.
  http://dx.doi.org/10.3233/FI-2011-416

Publications of the year

International Conferences with Proceedings

• 6A. Benveniste, B. Caillaud, B. Pagano, M. Pouzet.
  A type-based analysis of causality loops in hybrid modelers, in: HSCC '14: International Conference on Hybrid Systems: Computation and Control, Berlin, Germany, A. Press (editor), Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC '14), ACM Press, April 2014, 13 p. [ DOI : 10.1145/2562059.2562125 ]
  https://hal.inria.fr/hal-01093388

Internal Reports

• 7G. Baudart, A. Benveniste, A. Bouillard, P. Caspi.
  A Unifying View of Loosely Time-Triggered Architectures, March 2014, n^o RR-8494, 14 p.
  https://hal.inria.fr/hal-00955496
• 8A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
  On the index of multi-mode DAE Systems (also called Hybrid DAE Systems), Inria ; ENS, November 2014, n^o RR-8630, 30 p.
  https://hal.inria.fr/hal-01084069
• 9A. Benveniste, D. Nickovic, T. Henzinger.
  Compositional Contract Abstraction for System Design, January 2014, n^o RR-8460.
  https://hal.inria.fr/hal-00938854

References in notes

• 10N. J. Cutland (editor)
  Nonstandard analysis and its applications, Cambridge Univ. Press, 1988.
• 11IEEE Standard VHDL Analog and Mixed-Signal Extensions, Std 1076.1-1999, 1999.
  http://dx.doi.org/10.1109/IEEESTD.1999.90578
• 12A. Antonik, M. Huth, K. G. Larsen, U. Nyman, A. Wasowski.
  20 Years of Modal and Mixed Specifications, in: Bulletin of European Association of Theoretical Computer Science, 2008, vol. 1, n^o 94.
• 13C. Baier, J.-P. Katoen.
  Principles of Model Checking, MIT Press, Cambridge, 2008.
• 14A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, M. Pouzet.
  A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers, December 2013, Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project ”Physics Aware Software”.
  https://hal.inria.fr/hal-00938866
• 15A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
  Semantics of multi-mode DAE systems, August 2013, Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project.
  https://hal.inria.fr/hal-00938891
• 16A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, C. Sofronis.
  Multiple Viewpoint Contract-Based Specification and Design, in: Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07), Amsterdam, The Netherlands, Revised Lectures, Lecture Notes in Computer Science, Springer, October 2008, vol. 5382.
• 17N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.
  A Compositional Approach on Modal Specifications for Timed Systems, in: 11th International Conference on Formal Engineering Methods (ICFEM'09), Rio de Janeiro, Brazil, LNCS, Springer, December 2009, vol. 5885, pp. 679-697.
  http://hal.inria.fr/inria-00424356/en
• 18N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.
  Modal event-clock specifications for timed component-based design, in: Science of Computer Programming, 2011.
  http://dx.doi.org/10.1016/j.scico.2011.01.007
• 19N. Bertrand, S. Pinchinat, J.-B. Raclet.
  Refinement and Consistency of Timed Modal Specifications, in: 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Tarragona, Spain, LNCS, Springer, April 2009, vol. 5457, pp. 152-163. [ DOI : 10.1007/978-3-642-00982-2_13 ]
  http://hal.inria.fr/inria-00424283/en
• 20P. Bhaduri, I. Stierand.
  A proposal for real-time interfaces in SPEEDS, in: Design, Automation and Test in Europe (DATE'10), IEEE, 2010, pp. 441-446.
• 21S. Bliudze.
  Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, Ecole Polytechnique, 2006.
• 22S. Bliudze, D. Krob.
  Modelling of Complex Systems: Systems as Dataflow Machines, in: Fundam. Inform., 2009, vol. 91, n^o 2, pp. 251–274.
• 23G. Boudol, K. G. Larsen.
  Graphical Versus Logical Specifications, in: Theor. Comput. Sci., 1992, vol. 106, n^o 1, pp. 3-20.
• 24B. Caillaud.
  Surgical Process Mining with Test and Flip Net Synthesis, in: Application of Region Theory (ART), Barcelona, Spain, R. Bergenthum, J. Carmona (editors), July 2013, pp. 43-54.
  http://hal.inria.fr/hal-00872284
• 25B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski.
  Compositional design methodology with constraint Markov chains, in: QEST 2010, Williamsburg, Virginia, United States, September 2010. [ DOI : 10.1109/QEST.2010.23 ]
  http://hal.inria.fr/inria-00591578/en
• 26B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski.
  Constraint Markov Chains, in: Theoretical Computer Science, May 2011, vol. 412, n^o 34, pp. 4373-4404. [ DOI : 10.1016/j.tcs.2011.05.010 ]
  http://hal.inria.fr/hal-00654003/en
• 27A. Chakrabarti.
  A Framework for Compositional Design and Analysis of Systems, EECS Department, University of California, Berkeley, Dec 2007.
  http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-174.html
• 28A. Chakrabarti, L. de Alfaro, T. A. Henzinger, M. Stoelinga.
  Resource Interfaces, in: EMSOFT, R. Alur, I. Lee (editors), Lecture Notes in Computer Science, Springer, 2003, vol. 2855, pp. 117-133.
• 29E. Y. Chang, Z. Manna, A. Pnueli.
  Characterization of Temporal Property Classes, in: ICALP, W. Kuich (editor), Lecture Notes in Computer Science, Springer, 1992, vol. 623, pp. 474-486.
• 30E. Clarke, O. Grumberg, D. Peled.
  Model Checking, MIT Press, 1999.
• 31W. Damm, E. Thaden, I. Stierand, T. Peikenkamp, H. Hungar.
  Using Contract-Based Component Specifications for Virtual Integration and Architecture Design, in: Proceedings of the 2011 Design, Automation and Test in Europe (DATE'11), March 2011.
• 32A. David, K. G. Larsen, A. Legay, U. Nyman, A. Wasowski.
  ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems, in: Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, 2010, pp. 365-370.
• 33A. David, K. G. Larsen, A. Legay, U. Nyman, A. Wasowski.
  Timed I/O automata: a complete specification theory for real-time systems, in: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, 2010, pp. 91-100.
• 34B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher, A. Wasowski.
  Abstract Probabilistic Automata, in: VMCAI, R. Jhala, D. A. Schmidt (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6538, pp. 324-339.
• 35F. Diener, G. Reeb.
  Analyse non standard, Hermann, 1989.
• 36D. L. Dill.
  Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, ACM Distinguished Dissertations, MIT Press, 1989.
• 37Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, V. Gupta.
  Modeling Time in Hybrid Systems: How Fast Is “Instantaneous”?, in: IJCAI, 1995, pp. 1773–1781.
• 38L. Lamport.
  Proving the Correctness of Multiprocess Programs, in: IEEE Trans. Software Eng., 1977, vol. 3, n^o 2, pp. 125-143.
• 39K. G. Larsen, U. Nyman, A. Wasowski.
  On Modal Refinement and Consistency, in: Proc. of the 18th International Conference on Concurrency Theory (CONCUR'07), Springer, 2007, pp. 105–119.
• 40K. G. Larsen, B. Thomsen.
  A Modal Process Logic, in: Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS'88), IEEE, 1988, pp. 203-210.
• 41T. Lindstrøm.
  An Invitation to Nonstandard Analysis, in: Nonstandard Analysis and its Applications, N. J. Cutland (editor), Cambridge Univ. Press, 1988, pp. 1–105.
• 42N. A. Lynch.
  Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ..., in: CONCUR, R. M. Amadio, D. Lugiez (editors), Lecture Notes in Computer Science, Springer, 2003, vol. 2761, pp. 187-188.
• 43N. A. Lynch, E. W. Stark.
  A Proof of the Kahn Principle for Input/Output Automata, in: Inf. Comput., 1989, vol. 82, n^o 1, pp. 81-92.
• 44Z. Manna, A. Pnueli.
  Temporal verification of reactive systems: Safety, Springer, 1995.
• 45B. Meyer.
  Applying "Design by Contract", in: Computer, October 1992, vol. 25, n^o 10, pp. 40–51.
  http://dx.doi.org/10.1109/2.161279
• 46P. Nuzzo, A. L. Sangiovanni-Vincentelli, X. Sun, A. Puggelli.
  Methodology for the Design of Analog Integrated Interfaces Using Contracts, in: IEEE Sensors Journal, Dec. 2012, vol. 12, n^o 12, pp. 3329–3345.
• 47C. Pantelides.
  The consistent initialization of differential-algebraic systems, in: SIAM J. Sci. Stat. Comput., 1988, vol. 9, n^o 2, pp. 213–231.
• 48A. Robinson.
  Non-Standard Analysis, Princeton Landmarks in Mathematics, 1996, ISBN 0-691-04490-2.
• 49E. Sikora, B. Tenbergen, K. Pohl.
  Industry needs and research directions in requirements engineering for embedded systems, in: Requirements Engineering, 2012, vol. 17, pp. 57–78.
  http://link.springer.com/article/10.1007/s00766-011-0144-x
• 50L. de Alfaro.
  Game Models for Open Systems, in: Verification: Theory and Practice, Lecture Notes in Computer Science, Springer, 2003, vol. 2772, pp. 269-289.
• 51L. de Alfaro, T. A. Henzinger.
  Interface automata, in: Proc. of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'01), ACM Press, 2001, pp. 109–120.
• 52L. de Alfaro, T. A. Henzinger.
  Interface-based design, in: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer, 2004.
• 53L. de Alfaro, T. A. Henzinger, M. Stoelinga.
  Timed Interfaces, in: Proc. of the 2nd International Workshop on Embedded Software (EMSOFT'02), Lecture Notes in Computer Science, Springer, 2002, vol. 2491, pp. 108–122.