Publications

Publications

This page displays the list of publications by the Hycomes team.

You may also be interested in the following selection tools; note that the results include publications written before July 2013, when the authors were members of previous teams.


Publications HAL du labo/EPI hycomes

Search Results –> Url version détaillée , Url version formatée
Criteria : Structure name contains or id is : “hycomes”
Number of occurrences founded : 57.

titre
Structural Analysis of Multimode DAE Systems: summary of results
auteur
Albert Benveniste, Benoît Caillaud, Mathias Malandain
article
[Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
titre
Mixed Nondeterministic-Probabilistic Interfaces
auteur
Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet
article
[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
titre
An Algebra of Deterministic Propositional Acceptance Automata (DPAA)
auteur
Aurélien Lamercerie, Benoît Caillaud
article
FDL 2020 – Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
titre
Transduction sémantique pour la modélisation de système
auteur
Aurélien Lamercerie
article
PFIA 2020 – Plate-Forme de l’Intelligence Artificielle (PFIA), rencontres RJCIA, Jun 2020, Angers, France. pp.1-6
titre
Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
auteur
Benoit Caillaud, Mathias Malandain, Joan Thibault
article
HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
titre
Implicit structural analysis of multimode DAE systems
auteur
Benoît Caillaud, Mathias Malandain, Joan Thibault
article
HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
titre
The Mathematical Foundations of Physical Systems Modeling Languages
auteur
Albert Benveniste, Benoît Caillaud, Mathias Malandain
article
[Research Report] RR-9334, Inria. 2020, pp.112
titre
Implicit Structural Analysis of Multimode DAE Systems
auteur
Benoît Caillaud, Mathias Malandain, Joan Thibault
article
[Research Report] RR-9322, Inria Rennes – Bretagne Atlantique; IRISA, Université de Rennes. 2020
titre
ARES : un extracteur d’exigences pour la modélisation de systèmes
auteur
Aurélien Lamercerie
article
EGC 2020 – Extraction et Gestion des Connaissances (Atelier – Fouille de Textes – Text Mine), Jan 2020, Bruxelles, Belgique. pp.1-4
titre
The mathematical foundations of physical systems modeling languages
auteur
Albert Benveniste, Benoît Caillaud, Mathias Malandain
article
Annual Reviews in Control, Elsevier, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
titre
Unveiling the implicit knowledge, one scenario at a time
auteur
Flavien Lécuyer, Valérie Gouranton, Aurélien Lamercerie, Adrien Reuzeau, Bruno Arnaldi, Benoît Caillaud
article
Visual Computer, Springer Verlag, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
titre
Ordered Functional Decision Diagrams
auteur
Joan Thibault, Khalil Ghorbal
article
[Research Report] RR-9333, Inria. 2020
titre
Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams
auteur
Joan Thibault, Khalil Ghorbal
article
[Research Report] RR-9306, INRIA Rennes – Bretagne Atlantique and University of Rennes 1, France. 2019
titre
Une algèbre des automates d’acceptation propositionnelle déterministes comme théorie d’interface pour la conception de systèmes cyberphysiques
auteur
Aurélien Lamercerie
article
MSR 2019 – 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. pp.1
titre
Multi-Mode DAE Models – Challenges, Theory and Implementation
auteur
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
article
Computing and Software Science: State of the Art and Perspectives, 10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
titre
Learning procedural skills with a virtual reality simulator An acceptability study
auteur
Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre Jannin
article
Nurse Education Today, Elsevier, 2019, 79, pp.153-160. ⟨10.1016/j.nedt.2019.05.026⟩
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.1, 2019
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. ⟨10.1109/JPROC.2018.2858016⟩
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⟩
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
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
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
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⟩
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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⟩
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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
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⟩
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⟩
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⟩
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⟩
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
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
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
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
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⟩
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
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⟩
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⟩
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⟩
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
titre
Compositional Contract Abstraction for System Design
auteur
Albert Benveniste, Dejan Nickovic, Thomas Henzinger
article
[Research Report] RR-8460, INRIA. 2014
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
titre
Semantics of multi-mode DAE systems
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
article
2013
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

Comments are closed.