Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
  • 1A. Benveniste, T. Bourke, B. Caillaud, J.-L. Colaço, C. Pasteur, M. Pouzet.
    Building a Hybrid Systems Modeler on Synchronous Languages Principles, in: Proceedings of the IEEE, September 2018, vol. 106, no 9, pp. 1568–1592. [ DOI : 10.1109/JPROC.2018.2858016 ]
    https://hal.inria.fr/hal-01879026
  • 2A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
    Non-standard semantics of hybrid systems modelers, in: Journal of Computer and System Sciences, 2012, vol. 78, no 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
  • 3A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. G. Larsen.
    Contracts for System Design, in: Foundations and Trends in Electronic Design Automation, 2018, vol. 12, no 2-3, pp. 124-400. [ DOI : 10.1561/1000000053 ]
    https://hal.inria.fr/hal-01971429
  • 4J.-B. Jeannin, K. Ghorbal, Y. Kouskoulas, A. Schmidt, R. Gardner, S. Mitsch, A. Platzer.
    A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System, in: International Journal on Software Tools for Technology Transfer, November 2017, vol. 19, no 6, pp. 717-741. [ DOI : 10.1007/s10009-016-0434-1 ]
    https://hal.archives-ouvertes.fr/hal-01232365
  • 5A. Sogokon, K. Ghorbal, T. T. Johnson.
    Operational Models for Piecewise-Smooth Systems, in: ACM Transactions on Embedded Computing Systems (TECS), October 2017, vol. 16, no 5s, pp. 185:1–185:19. [ DOI : 10.1145/3126506 ]
    https://hal.inria.fr/hal-01658196
Publications of the year

Articles in International Peer-Reviewed Journals

  • 6M.-S. Bracq, E. Michinov, B. Arnaldi, B. Caillaud, B. Gibaud, V. Gouranton, P. Jannin.
    Learning procedural skills with a virtual reality simulator An acceptability study, in: Nurse Education Today, August 2019, vol. 79, pp. 153-160. [ DOI : 10.1016/j.nedt.2019.05.026 ]
    https://hal-univ-rennes1.archives-ouvertes.fr/hal-02150192

Scientific Books (or Scientific Book chapters)

  • 7A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter, M. Pouzet.
    Multi-Mode DAE Models - Challenges, Theory and Implementation, in: Computing and Software Science: State of the Art and Perspectives, Lecture Notes in Computer Science, Springer, October 2019, vol. 10000, pp. 283-310. [ DOI : 10.1007/978-3-319-91908-9_16 ]
    https://hal.inria.fr/hal-02333603

Internal Reports

  • 8J. Thibault, K. Ghorbal.
    Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams, Inria Rennes - Bretagne Atlantique and University of Rennes 1, France, November 2019, no RR-9306.
    https://hal.inria.fr/hal-02369112

Other Publications

  • 9M.-S. Bracq, E. Michinov, B. Arnaldi, A. Audinot, B. Caillaud, B. Gibaud, V. Gouranton, P.-L. Henaux, A. Lamercerie, B. Nogues, P. Jannin.
    Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery, January 2019, vol. 36, 1 p, 19th International Meeting on Simulation in Healthcare (IMSH), Poster.
    https://hal.archives-ouvertes.fr/hal-02123682
  • 10A. Lamercerie.
    Une algèbre des automates d'acceptation propositionnelle déterministes comme théorie d'interface pour la conception de systèmes cyberphysiques, November 2019, 1 p, MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Poster.
    https://hal.archives-ouvertes.fr/hal-02432696
References in notes
  • 11N. J. Cutland (editor)
    Nonstandard analysis and its applications, Cambridge Univ. Press, 1988.
  • 12IEEE Standard VHDL Analog and Mixed-Signal Extensions, Std 1076.1-1999, 1999.
    http://dx.doi.org/10.1109/IEEESTD.1999.90578
  • 13A. 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, no 94.
  • 14C. Baier, J.-P. Katoen.
    Principles of Model Checking, MIT Press, Cambridge, 2008.
  • 15A. Benveniste, T. Bourke, B. Caillaud, J.-L. Colaço, C. Pasteur, M. Pouzet.
    Building a Hybrid Systems Modeler on Synchronous Languages Principles, in: Proceedings of the IEEE, September 2018, vol. 106, no 9, pp. 1568–1592. [ DOI : 10.1109/JPROC.2018.2858016 ]
    https://hal.inria.fr/hal-01879026
  • 16A. 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
  • 17A. 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
  • 18A. 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.
  • 19A. 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, 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
  • 20A. Benveniste, M. Pouzet, M. Malandain.
    Bibliography report on Quantized Space Systems simulation — Proposals for QSS-based co-simulation of large DAE systems, Inria, January 2020, no M2.2.2_1.
  • 21N. 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
  • 22N. 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
  • 23N. 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
  • 24P. 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.
  • 25S. Bliudze.
    Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, Ecole Polytechnique, 2006.
  • 26S. Bliudze, D. Krob.
    Modelling of Complex Systems: Systems as Dataflow Machines, in: Fundam. Inform., 2009, vol. 91, no 2, pp. 251–274.
  • 27G. Boudol, K. G. Larsen.
    Graphical Versus Logical Specifications, in: Theor. Comput. Sci., 1992, vol. 106, no 1, pp. 3-20.
  • 28B. 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
  • 29B. 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
  • 30B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski.
    Constraint Markov Chains, in: Theoretical Computer Science, May 2011, vol. 412, no 34, pp. 4373-4404. [ DOI : 10.1016/j.tcs.2011.05.010 ]
    http://hal.inria.fr/hal-00654003/en
  • 31B. Caillaud, M. Malandain, J. Thibault.
    Implicit Structural Analysis of Multimode DAE Systems, in: 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020), Sydney, Australia, April 2020, to appear.
  • 32S. L. Campbell, C. W. Gear.
    The index of general nonlinear DAEs, in: Numerische Mathematik, dec 1995, vol. 72, no 2, pp. 173–196.
    http://dx.doi.org/10.1007/s002110050165
  • 33A. 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
  • 34A. 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.
  • 35E. 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.
  • 36K. Claessen, J. Hughes.
    QuickCheck: a lightweight tool for random testing of Haskell programs, in: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., M. Odersky, P. Wadler (editors), ACM, 2000, pp. 268–279.
    https://doi.org/10.1145/351240.351266
  • 37E. Clarke, O. Grumberg, D. Peled.
    Model Checking, MIT Press, 1999.
  • 38A. 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.
  • 39A. 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.
  • 40B. 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.
  • 41F. Diener, G. Reeb.
    Analyse non standard, Hermann, 1989.
  • 42D. L. Dill.
    Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, ACM Distinguished Dissertations, MIT Press, 1989.
  • 43J. Edmonds, R. M. Karp.
    Theoretical improvements in algorithmic efficiency for network flow problems, in: Journal of the ACM, 1972, vol. 19, no 2, pp. 248–264.
    http://dx.doi.org/10.1145/321694.321699
  • 44A. V. Goldberg, R. E. Tarjan.
    A new approach to the maximum flow problem, in: Proceedings of the eighteenth annual ACM symposium on Theory of computing (STOC'86), 1986.
    http://dx.doi.org/10.1145/12130.12144
  • 45Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, V. Gupta.
    Modeling Time in Hybrid Systems: How Fast Is “Instantaneous”?, in: IJCAI, 1995, pp. 1773–1781.
  • 46L. Lamport.
    Proving the Correctness of Multiprocess Programs, in: IEEE Trans. Software Eng., 1977, vol. 3, no 2, pp. 125-143.
  • 47K. 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.
  • 48K. 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.
  • 49T. Lindstrøm.
    An Invitation to Nonstandard Analysis, in: Nonstandard Analysis and its Applications, N. J. Cutland (editor), Cambridge Univ. Press, 1988, pp. 1–105.
  • 50N. A. Lynch.
    Input/Output Automata: Basic, Timed, Hybrid, Probabilistic and Dynamic, in: CONCUR, R. M. Amadio, D. Lugiez (editors), Lecture Notes in Computer Science, Springer, 2003, vol. 2761, pp. 187-188.
  • 51N. A. Lynch, E. W. Stark.
    A Proof of the Kahn Principle for Input/Output Automata, in: Inf. Comput., 1989, vol. 82, no 1, pp. 81-92.
  • 52Z. Manna, A. Pnueli.
    Temporal verification of reactive systems: Safety, Springer, 1995.
  • 53B. Meyer.
    Applying "Design by Contract", in: Computer, October 1992, vol. 25, no 10, pp. 40–51.
    http://dx.doi.org/10.1109/2.161279
  • 54P. 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, no 12, pp. 3329–3345.
  • 55C. Pantelides.
    The consistent initialization of differential-algebraic systems, in: SIAM J. Sci. Stat. Comput., 1988, vol. 9, no 2, pp. 213–231.
  • 56J. D. Pryce.
    A Simple Structural Analysis Method for DAEs, in: BIT Numerical Mathematics, March 2001, vol. 41, no 2, pp. 364–394.
    http://dx.doi.org/10.1023/a:1021998624799
  • 57J.-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, no 1-2, pp. 119-149. [ DOI : 10.3233/FI-2011-416 ]
    http://hal.inria.fr/inria-00554283/en
  • 58A. Robinson.
    Non-Standard Analysis, Princeton Landmarks in Mathematics, 1996, ISBN 0-691-04490-2.
  • 59E. 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
  • 60L. de Alfaro.
    Game Models for Open Systems, in: Verification: Theory and Practice, Lecture Notes in Computer Science, Springer, 2003, vol. 2772, pp. 269-289.
  • 61L. 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.
  • 62L. de Alfaro, T. A. Henzinger.
    Interface-based design, in: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer, 2004.
  • 63L. 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.