EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1A. 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
  • 2A. 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, no RR-8147, 65 p.

    http://hal.inria.fr/hal-00757488
  • 3J.-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.

    http://dx.doi.org/10.3233/FI-2011-416
Publications of the year

Articles in International Peer-Reviewed Journals

  • 4G. Baudart, A. Benveniste, T. Bourke.

    Loosely Time-Triggered Architectures, in: ACM Transactions on Embedded Computing Systems (TECS), August 2016, vol. 15, Article 71. [ DOI : 10.1145/2932189 ]

    https://hal.inria.fr/hal-01408224
  • 5G. Claude, V. Gouranton, B. Caillaud, B. Gibaud, B. Arnaldi, P. Jannin.

    Synthesis and Simulation of Surgical Process Models, in: Studies in Health Technology and Informatics, 2016, vol. 220, pp. 63–70. [ DOI : 10.3233/978-1-61499-625-5-63 ]

    https://hal.archives-ouvertes.fr/hal-01300990
  • 6J.-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, October 2016. [ DOI : 10.1007/s10009-016-0434-1 ]

    https://hal.archives-ouvertes.fr/hal-01232365

Invited Conferences

  • 7A. ALJARBOUH, B. Caillaud.

    Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2.0, in: The First Japanese Modelica Conferences, Tokyo, Japan, Linköping University Electronic Press, Linköpings universitet, May 2016, vol. 124, no 013, pp. 95-105. [ DOI : 10.3384/ecp1612495 ]

    https://hal.archives-ouvertes.fr/hal-01247008
  • 8A. ALJARBOUH, A. Duracz, Y. Zeng, B. Caillaud, W. Taha.

    Chattering-Free Simulation for Hybrid Dynamical Systems: Semantics and Prototype Implementation, in: 2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Paris, France, Proceedings of the 19th IEEE International Conference on Computational Science and Engineering, the 14th IEEE International Conference on Embedded and Ubiquitous Computing, the 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, IEEE Computer Society, August 2016. [ DOI : 10.1109/CSE-EUC-DCABES.2016.217 ]

    https://hal.archives-ouvertes.fr/hal-01365875

International Conferences with Proceedings

  • 9G. Claude, V. Gouranton, B. Caillaud, B. Gibaud, P. Jannin, B. Arnaldi.

    From Observations to Collaborative Simulation: Application to Surgical Training, in: ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Little Rock, Arkansas, United States, December 2016.

    https://hal.archives-ouvertes.fr/hal-01391776
  • 10A. T. Sogokon, K. Ghorbal, T. T. Johnson.

    Decoupling Abstractions of Non-linear Ordinary Differential Equations, in: Formal Methods, Limassol, Cyprus, FM 2016: Formal Methods, November 2016, vol. Lecture Notes in Computer Science, no 9995, pp. 628-644. [ DOI : 10.1007/978-3-319-48989-6_38 ]

    https://hal.archives-ouvertes.fr/hal-01374899

Internal Reports

  • 11A. Benveniste, B. Caillaud, M. Pouzet, H. Elmqvist, M. Otter.

    Structural Analysis of Multi-Mode DAE Systems, Inria, July 2016, no RR-8933, 32 p.

    https://hal.inria.fr/hal-01343967
References in notes
  • 12N. J. Cutland (editor)

    Nonstandard analysis and its applications, Cambridge Univ. Press, 1988.
  • 13IEEE Standard VHDL Analog and Mixed-Signal Extensions, Std 1076.1-1999, 1999.

    http://dx.doi.org/10.1109/IEEESTD.1999.90578
  • 14A. 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.
  • 15C. Baier, J.-P. Katoen.

    Principles of Model Checking, MIT Press, Cambridge, 2008.
  • 16A. Ben Khaled, M. E. M. Ben Gaïd, N. Pernet, D. Simon.

    Fast multi-core co-simulation of Cyber-Physical Systems : application to internal combustion engines, in: Simulation Modelling Practice and Theory, September 2014, vol. 47, no September, pp. 79-91. [ DOI : 10.1016/j.simpat.2014.05.002 ]

    https://hal-ifp.archives-ouvertes.fr/hal-01018348
  • 17A. 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
  • 18A. 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
  • 19A. Benveniste, B. Caillaud, H. Elmqvist, K. Ghorbal, M. Otter, M. Pouzet.

    Structural Analysis of Multi-Mode DAE Systems, in: Proc. of the 20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'17, Pittsburgh, PA, USA, April 2017, to appear.
  • 20A. 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.
  • 21A. 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
  • 22N. 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
  • 23N. 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
  • 24N. 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
  • 25P. 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.
  • 26G. Biswas, A. Bregon, X. Koutsoukos, B. Pulido.

    Analytic Redundancy, Possible Conflicts, and TCG-based Fault Signature Diagnosis applied to Nonlinear Dynamic Systems, in: IFAC Proceedings Volumes, 2009, vol. 42, no 8, pp. 1486 - 1491. [ DOI : 10.3182/20090630-4-ES-2003.00242 ]

    http://www.sciencedirect.com/science/article/pii/S1474667016359857
  • 27S. Bliudze.

    Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, Ecole Polytechnique, 2006.
  • 28S. Bliudze, D. Krob.

    Modelling of Complex Systems: Systems as Dataflow Machines, in: Fundam. Inform., 2009, vol. 91, no 2, pp. 251–274.
  • 29G. Boudol, K. G. Larsen.

    Graphical Versus Logical Specifications, in: Theor. Comput. Sci., 1992, vol. 106, no 1, pp. 3-20.
  • 30D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, M. Wetter.

    Requirements for hybrid cosimulation standards, in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, A. Girard, S. Sankaranarayanan (editors), ACM, 2015, pp. 179–188.

    http://doi.acm.org/10.1145/2728606.2728629
  • 31B. 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
  • 32B. 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
  • 33B. 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
  • 34A. 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
  • 35A. 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.
  • 36E. 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.
  • 37E. Clarke, O. Grumberg, D. Peled.

    Model Checking, MIT Press, 1999.
  • 38W. 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.
  • 39A. 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.
  • 40A. 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.
  • 41B. 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.
  • 42F. Diener, G. Reeb.

    Analyse non standard, Hermann, 1989.
  • 43D. L. Dill.

    Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, ACM Distinguished Dissertations, MIT Press, 1989.
  • 44H. Elmqvist, S. E. Matsson, H. Olsson.

    Parallel Model Execution on Many Cores, in: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden, Linköping University Electronic Press; Linköpings universitet, 2014, pp. 363-370.
  • 45V. Galtier, S. Vialle, C. Dad, J.-P. Tavella, J.-P. Lam-Yee-Mui, G. Plessis.

    FMI-Based Distributed Multi-Simulation with DACCOSIM, in: Symposium on Theory of Modeling and Simulation - TMS'15, Alexandria, VA, United States, April 2015, pp. 804-811.

    https://hal-supelec.archives-ouvertes.fr/hal-01155707
  • 46Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, V. Gupta.

    Modeling Time in Hybrid Systems: How Fast Is “Instantaneous”?, in: IJCAI, 1995, pp. 1773–1781.
  • 47L. Lamport.

    Proving the Correctness of Multiprocess Programs, in: IEEE Trans. Software Eng., 1977, vol. 3, no 2, pp. 125-143.
  • 48K. 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.
  • 49K. 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.
  • 50T. Lindstrøm.

    An Invitation to Nonstandard Analysis, in: Nonstandard Analysis and its Applications, N. J. Cutland (editor), Cambridge Univ. Press, 1988, pp. 1–105.
  • 51N. 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.
  • 52N. 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.
  • 53Z. Manna, A. Pnueli.

    Temporal verification of reactive systems: Safety, Springer, 1995.
  • 54B. Meyer.

    Applying "Design by Contract", in: Computer, October 1992, vol. 25, no 10, pp. 40–51.

    http://dx.doi.org/10.1109/2.161279
  • 55P. 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.
  • 56A. Robinson.

    Non-Standard Analysis, Princeton Landmarks in Mathematics, 1996, ISBN 0-691-04490-2.
  • 57E. 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
  • 58L. de Alfaro.

    Game Models for Open Systems, in: Verification: Theory and Practice, Lecture Notes in Computer Science, Springer, 2003, vol. 2772, pp. 269-289.
  • 59L. 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.
  • 60L. de Alfaro, T. A. Henzinger.

    Interface-based design, in: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer, 2004.
  • 61L. 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.