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.
- By topic: multimode DAEs, structural analysis, hybrid modeling language design, formal verification, probabilistic programming, contract-based design, process mining
- By author: Albert Benveniste, Benoît Caillaud, Khalil Ghorbal, Aurélien Lamercerie, Mathias Malandain, Joan Thibault
- By software: IsamDAE, Demodocos, MICA, LookinLabs
- By project: IPL Modeliscale, FUI ModeliScale, S3PM/Sunset, LookinLabs
- By year: 2023, 2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013-2010, 2009-2000, before 2000
Search Results –> Url version détaillée , Url version formatée
Criteria : Structure name contains or id is : “hycomes”
Number of occurrences founded : 73.
Criteria : Structure name contains or id is : “hycomes”
Number of occurrences founded : 73.
- titre
- On Covering Euclidean Spaces with Q-arrangements of Cones
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2024
- titre
- Fault Diagnosability Analysis of Multi-Mode Systems
- auteur
- Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain
- article
- 2023
- titre
- Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Modelica 2023 – 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
- titre
- Mixed Nondeterministic-Probabilistic Automata
- auteur
- Albert Benveniste, Jean-Baptiste Raclet
- article
- Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩
- titre
- From Hybrid Automata to DAE-Based Modeling
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Principles of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩
- titre
- Characterizing Positively Invariant Sets: Inductive and Topological Methods
- auteur
- Khalil Ghorbal, Andrew Sogokon
- article
- Journal of Symbolic Computation, 2022
- titre
- Algorithms for the Structural Analysis of Multimode Modelica Models
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
- titre
- Constraint System Decomposition
- auteur
- Joan Thibault
- article
- [Research Report] RR-9478, Inria Rennes. 2022, pp.1-68
- titre
- Hypercontracts
- auteur
- Inigo Incer, Albert Benveniste, Sanjit Seshia, Alberto Sangiovanni-Vincentelli
- article
- NASA Formal Methods, 13260, Springer International Publishing, pp.674-692, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-06773-0_36⟩
- titre
- Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9459, Inria Rennes – Bretagne Atlantique. 2022, pp.1-46
- titre
- Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
- auteur
- Albert Benveniste, Jean-Baptiste Raclet
- article
- [Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52
- titre
- On Covering Smooth Manifolds with a Q-arrangement of Simplicies: An inductive Characterization of Q-matrices
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2022
- titre
- Handling Multimode Models and Mode Changes in Modelica
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Modelica 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
- titre
- Compile-Time Impulse Analysis in Modelica
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
- titre
- A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
- auteur
- Benoît Caillaud, Mathias Malandain, Albert Benveniste
- article
- MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
- titre
- Semantic transducer for interface theories
- auteur
- Aurélien Lamercerie
- article
- Intelligence artificielle [cs.AI]. Université de Rennes; Rennes 1, 2021. Français. ⟨NNT : 2021REN1S029⟩
- 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 G 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, 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
- The Visual Computer, 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, LNCS-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, 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, 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 T 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
- Formal analysis of natural language requirements for the design of cyber-physical systems
- 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 G. Larsen
- article
- Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨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, 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, 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 T Johnson
- article
- ACM Transactions on Embedded Computing Systems (TECS), 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. ⟨NNT : ⟩
- 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, {HSCC} 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, 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, 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 T Sogokon, Khalil Ghorbal, Taylor T 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), 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 B 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, 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: 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
- 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
- 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
- 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
- International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
- titre
- Application of branching cells to QoS aware service orchestrations
- auteur
- Albert Benveniste, Claude Jard, Samy Abbes
- article
- Theoretical Computer Science, 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
