List of 2016 publications
Search Results –> Url version détaillée , Url version formatée
Criteria : Publication year >= “2016” to “2016”, Structure name or id is : “hycomes”
Number of occurrences founded : 8.
Criteria : Publication year >= “2016” to “2016”, Structure name or id is : “hycomes”
Number of occurrences founded : 8.
- 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⟩