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