Sites Inria

English version

Equipe de recherche HYCOMES

Publications de l'équipe HYCOMES

2019

Poster

titre
Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery
auteur
Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Alexandre Audinot, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre-Louis Henaux, Aurélien Lamercerie, Béatrice Nogues, Pierre Jannin
article
19th International Meeting on Simulation in Healthcare (IMSH), Jan 2019, San Antonio, TX, United States. 36, pp.203 - 223, 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02123682/file/Conf%20IMSH-2019%20V6.pdf BibTex

2018

Article dans une revue

titre
Building a Hybrid Systems Modeler on Synchronous Languages Principles
auteur
Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
article
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨https://ieeexplore.ieee.org/document/8466987/⟩. ⟨10.1109/JPROC.2018.2858016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01879026/file/hybridsyncieee.pdf BibTex
titre
Contracts for System Design
auteur
Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim Larsen
article
Foundations and Trends in Electronic Design Automation, Now Publishers, 2018, 12 (2-3), pp.124-400. ⟨10.1561/1000000053⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Vector Barrier Certificates and Comparison Systems
auteur
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
article
FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩
Accès au bibtex
BibTex
titre
Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques
auteur
Aurélien Lamercerie
article
TALN 2018 - Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01970134/file/TALN%202018%20-%20Analyse%20exigences%20LN%20pour%20conception%20SCP.pdf BibTex

Cours

titre
The Signal synchronous language: the principles beyond the language and how to exploit and extend them
auteur
Albert Benveniste, Thierry Gautier
article
École thématique. France. 2018, pp.1-68
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01929567/file/SignalAndBeyond_2018_pdf.pdf BibTex

Rapport

titre
Competencies mining with LookinLabs
auteur
William Dedzoe, Jean Hany, Albert Benveniste
article
[Research Report] RR-9158, Inria Rennes Bretagne Atlantique. 2018, pp.1-27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01739845/file/RR-9158.pdf BibTex

2017

Article dans une revue

titre
A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
article
Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01549183/file/paper.pdf BibTex
titre
A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System
auteur
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora Schmidt, Ryan Gardner, Stefan Mitsch, André Platzer
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01232365/file/safe_zones.pdf BibTex
titre
Operational Models for Piecewise-Smooth Systems
auteur
Andrew Sogokon, Khalil Ghorbal, Taylor Johnson
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 16 (5s), pp.185:1--185:19. ⟨10.1145/3126506⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658196/file/op-semantics_emsoft17.pdf BibTex
titre
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
auteur
Khalil Ghorbal, Andrew Sogokon, André Platzer
article
Computer Languages, Systems and Structures, Elsevier, 2017, Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), 47 (1), pp.19-43. ⟨10.1016/j.cl.2015.11.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01232288/file/root.pdf BibTex
titre
Formal verification of obstacle avoidance and navigation of ground robots
auteur
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
article
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (12), pp.1312--1340. ⟨10.1177/0278364917733549⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658197/file/morerobix.pdf BibTex

Communication dans un congrès

titre
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
auteur
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
article
FVAV 2017 - 1st Formal Verification of Autonomous Vehicles Workshop, Sep 2017, Turin, Italy. pp.91--104, ⟨10.4204/EPTCS.257.9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01657848/file/stationkeeping.pdf BibTex
titre
Structural Analysis of Multi-Mode DAE Systems
auteur
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
article
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01521918/file/paper-author-version.pdf BibTex

Chapitre d'ouvrage

titre
Synchronous Interfaces and Assume/Guarantee Contracts
auteur
Albert Benveniste, Benoît Caillaud
article
Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. ⟨10.1007/978-3-319-63121-9_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01616369/file/Kim.pdf BibTex

Rapport

titre
Structural Analysis of Multi-Mode DAE Systems
auteur
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
article
[Research Report] RR-8933, Inria. 2017, pp.1-23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01343967/file/techreport.pdf BibTex

Thèse

titre
Accelerated Simulation of Hybrid Systems : Method combining static analysis and run-time execution analysis.
auteur
Ayman Aljarbouh
article
Computer Science [cs]. Université de Rennes 1, France, 2017. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01614081/file/The%CC%80se.pdf BibTex

2016

Article dans une revue

titre
Loosely Time-Triggered Architectures
auteur
Guillaume Baudart, Albert Benveniste, Timothy Bourke
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408224/file/ltta.pdf BibTex
titre
Synthesis and Simulation of Surgical Process Models
auteur
Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Bruno Arnaldi, Pierre Jannin
article
Studies in Health Technology and Informatics, IOS Press, 2016, 220, pp.63--70. ⟨10.3233/978-1-61499-625-5-63⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
From Observations to Collaborative Simulation: Application to Surgical Training
auteur
Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Pierre Jannin, Bruno Arnaldi
article
ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Dec 2016, Little Rock, Arkansas, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01391776/file/ICAT-EGVE2016-sub.pdf BibTex
titre
Decoupling Abstractions of Non-linear Ordinary Differential Equations
auteur
Andrew Sogokon, Khalil Ghorbal, Taylor Johnson
article
FM 2016 - 21st International Symposium of Formal Methods, Nov 2016, Limassol, Cyprus. pp.628-644, ⟨10.1007/978-3-319-48989-6_38⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01374899/file/main.pdf BibTex
titre
Modeling and estimation of the pollutants emissions in the Compression Ignition diesel engine.
auteur
Dominique Nelson Gruel, Yann Chamaillard, Ayman Aljarbouh
article
CCA 2016 - IEEE Conference on Control Applications , IEEE Control Systems Society, Sep 2016, Buenos Aires, Argentina. pp.317 - 322, ⟨10.1109/CCA.2016.7587855⟩
Accès au bibtex
BibTex
titre
Chattering-Free Simulation for Hybrid Dynamical Systems
auteur
Ayman Aljarbouh, Adam Duracz, Yingfu Zeng, Benoît Caillaud, Walid Taha
article
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, Aug 2016, Paris, France. ⟨10.1109/CSE-EUC-DCABES.2016.217⟩
Accès au bibtex
BibTex
titre
Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2.0
auteur
Ayman Aljarbouh, Benoît Caillaud
article
The First Japanese Modelica Conferences, Modelon and Modelica Association May 2016, Tokyo, Japan. pp.95-105, ⟨10.3384/ecp1612495⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01247008/file/ecp16124013.pdf BibTex
titre
Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)
auteur
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
article
ARCH@CPSWeek 2016 - 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Apr 2016, Vienna, Austria. pp.42-51
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01660900/file/arch2016.pdf BibTex
titre
A Method for Invariant Generation for Polynomial Continuous Systems
auteur
Andrew Sogokon, Khalil Ghorbal, Paul Jackson, André Platzer
article
VMCAI 2016 - 17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, St. Petersburg, Florida, United States. pp.268-288, ⟨10.1007/978-3-662-49122-5_13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01374902/file/root.pdf BibTex

2015

Communication dans un congrès

titre
Robust Simulation for Hybrid Systems Chattering Path Avoidance
auteur
Ayman Aljarbouh, Benoît Caillaud
article
The 56th Conference on Simulation and Modelling (SIMS 56), Linköping University, Oct 2015, Linköping, Sweden. pp.175-185, ⟨10.3384/ecp15119175⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01247074/file/ecp15119018.pdf BibTex
titre
Loosely Time-Triggered Architectures: Improvements and Comparisons
auteur
Guillaume Baudart, Timothy Bourke, Albert Benveniste
article
Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243005/file/emsoft15.pdf BibTex
titre
Contracts for Schedulability Analysis
auteur
Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
article
13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Sriram Sankaranarayanan (University of Colorado at Boulder, USA); Enrico Vicario (University of Florence, Italy), Sep 2015, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182407/file/FORMATS_2015_camera_ready_14.pdf BibTex
titre
On the Regularization of Chattering Executions in Real Time Simulation of Hybrid Systems
auteur
Ayman Aljarbouh, Benoît Caillaud
article
Baltic Young Scientists Conference, Universität Rostock, Jul 2015, Tallinn, Estonia. pp.49
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01246853/file/Paper_BaSoTi2015.pdf BibTex

Chapitre d'ouvrage

titre
Domain Globalization: Using Languages to Support Technical and Social Coordination
auteur
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
article
Combemale, Benoit and Cheng, Betty H.C. and France, Robert B. and Jézéquel, Jean-Marc and Rumpe, Bernhard. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.70-87, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01234653/file/gemoc-dag144412_3rdgroup.pdf BibTex

Rapport

titre
Contracts for Systems Design: Methodology and Application cases
auteur
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
article
[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01178469/file/RR-8760.pdf BibTex
titre
Contracts for Systems Design: Theory
auteur
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
article
[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01178467/file/RR-8759.pdf BibTex

2014

Article dans une revue

titre
Application of branching cells to QoS aware service orchestrations
auteur
Albert Benveniste, Claude Jard, Samy Abbes
article
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01158211/file/QoS.pdf BibTex

Communication dans un congrès

titre
A Type-Based Analysis of Causality Loops in Hybrid Modelers
auteur
Albert Benveniste, Benoît Caillaud, Bruno Pagano, Marc Pouzet
article
HSCC '14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
Accès au bibtex
BibTex
titre
Efficient Monte Carlo simulation of stochastic hybrid systems
auteur
Marc Bouissou, Hilding Elmqvist, Martin Otter, Albert Benveniste
article
The 10th International Modelica Conference 2014, Hubertus Tummescheit; Karl-Erik Årzén, Mar 2014, Lund, Sweden. ⟨10.3384/ECP14096715⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182410/file/Modelica2014_BouissouElmqvistOtterBenveniste.pdf BibTex

Rapport

titre
On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
article
[Research Report] RR-8630, Inria. 2014, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01084069/file/RR-8630.pdf BibTex
titre
A Unifying View of Loosely Time-Triggered Architectures
auteur
Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi
article
[Research Report] RR-8494, INRIA. 2014, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00955496/file/RR-8494.pdf BibTex
titre
Compositional Contract Abstraction for System Design
auteur
Albert Benveniste, Dejan Nickovic, Thomas Henzinger
article
[Research Report] RR-8460, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00938854/file/RR-8460.pdf BibTex

2013

Communication dans un congrès

titre
Surgical Process Mining with Test and Flip Net Synthesis
auteur
Benoît Caillaud
article
Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00872284/file/caillaud-art13.pdf BibTex

Autre publication

titre
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00938866/file/Sys2soft_WP3.1_D3.1_1_Causality_in_Hybrid_Systems_Modelers_V_1.0.pdf BibTex
titre
Semantics of multi-mode DAE systems
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00938891/file/MODRIO_PublicReport_D411.pdf BibTex

Suivez Inria