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, n^o 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, 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
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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 2, pp. 251–274.
27G. Boudol, K. G. Larsen.

Graphical Versus Logical Specifications, in: Theor. Comput. Sci., 1992, vol. 106, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 12, pp. 3329–3345.
55C. Pantelides.

The consistent initialization of differential-algebraic systems, in: SIAM J. Sci. Stat. Comput., 1988, vol. 9, n^o 2, pp. 213–231.
56J. D. Pryce.

A Simple Structural Analysis Method for DAEs, in: BIT Numerical Mathematics, March 2001, vol. 41, n^o 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, n^o 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.

Previous |

Home