List of publications by Albert Benveniste, Benoît Caillaud and Khalil Ghorbal from 2010 to 2013
Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal”, Publication year >= “2010” to “2013”
Number of occurrences founded : 33.
Criteria : Author : “Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal”, Publication year >= “2010” to “2013”
Number of occurrences founded : 33.
- 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
- titre
- On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
- auteur
- Stefan Mitsch, Khalil Ghorbal, André Platzer
- article
- Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24 – June 28, 2013, 2013, Berlin, Germany
- titre
- Application of Interface Theories to the Separate Compilation of Synchronous Programs
- auteur
- Albert Benveniste, Benoit Caillaud, Jean-Baptiste Raclet
- article
- 51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
- titre
- Contracts for System Design
- auteur
- Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim Guldstrand Larsen
- article
- [Research Report] RR-8147, INRIA. 2012, pp.65
- titre
- Ensuring Reachability by Design
- auteur
- Benoît Caillaud, Jean-Baptiste Raclet
- article
- 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227
- titre
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
- auteur
- Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
- article
- RP 2012 – Reachability Problems – 6th International Workshop, Sep 2012, Bordeaux, France. pp.107–120, ⟨10.1007/978-3-642-33512-9_10⟩
- titre
- Application of Interface Theories to the Separate Compilation of Synchronous Programs
- auteur
- Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
- article
- [Research Report] RR-8030, INRIA. 2012
- titre
- Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations
- auteur
- Ajay Kattepur, Albert Benveniste, Claude Jard
- article
- 19th IEEE International Conference on Web Services, Jun 2012, Honolulu, Hawaii, United States
- titre
- Ensuring Reachability by Design
- auteur
- Benoit Caillaud, Jean-Baptiste Raclet
- article
- [Research Report] RR-7928, INRIA. 2012, pp.1-20
- titre
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
- auteur
- Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
- article
- VMCAI 2012 – Verification, Model Checking, and Abstract Interpretation – 13th International Conference, Jan 2012, Philadelphia, United States. pp.235–250, ⟨10.1007/978-3-642-27940-9_16⟩
- titre
- Non-standard semantics of hybrid systems modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- Journal of Computer and System Sciences, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
- titre
- Optimizing Decisions in Web Services Orchestrations
- auteur
- Ajay Kattepur, Albert Benveniste, Claude Jard
- article
- 9th International Conference on Service-Oriented Computing, Dec 2011, Paphos, Cyprus. ⟨10.1007/978-3-642-25535-9_6⟩
- titre
- A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet
- article
- EMSOFT 2011 – Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩
- titre
- Towards the handling of uncertaintie in statistical FDI
- auteur
- Michele Basseville, Albert Benveniste, Qinghua Zhang
- article
- 18th IFAC World Congress, Aug 2011, Milano, Italy. pp.13203-13208, ⟨10.3182/20110828-6-IT-1002.01552⟩
- titre
- Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain
- auteur
- Khalil Ghorbal
- article
- Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
- titre
- Pairwise Testing of Dynamic Composite Services
- auteur
- Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
- article
- The 6th international symposium on Software engineering for adaptive and self-managing systems, SIGSOFT ACM Special Interest Group on Software Engineering, IEEE CS, May 2011, Waikiki, Honolulu, Hawaii, United States. pp.138–147, ⟨10.1145/1988008.1988028⟩
- titre
- Constraint Markov Chains
- auteur
- Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- article
- Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩
- titre
- Divide and recycle: types and compilation for a hybrid synchronous language
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet
- article
- Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. ⟨10.1145/1967677.1967687⟩
- titre
- Compatibility between DAXML Schemas
- auteur
- Benoît Masson, Loïc Hélouët, Albert Benveniste
- article
- [Research Report] RR-7559, INRIA. 2011, pp.36
- titre
- Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects
- auteur
- Benoît Delahaye, Benoît Caillaud, Axel Legay
- article
- Formal Methods in System Design, 2011, 38 (1), pp.1-32. ⟨10.1007/s10703-010-0107-8⟩
- titre
- A Modal Interface Theory for Component-based Design
- auteur
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
- article
- Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
- titre
- Mind the gap: Expanding communication options in decentralized discrete-event control
- auteur
- Laurie S. L. Ricker, Benoit Caillaud
- article
- Automatica, 2011, 47 (11), pp.2364-2372. ⟨10.1016/j.automatica.2011.08.040⟩
- titre
- The Fundamentals of Hybrid Systems Modelers
- auteur
- Albert Benveniste, Benoît Caillaud, Marc Pouzet
- article
- 49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States
- titre
- A unifying view of loosely time-triggered architectures
- auteur
- Albert Benveniste, Anne Bouillard, Paul Caspi
- article
- EMSOFT ’10 Proceedings of the tenth ACM international conference on Embedded software , Oct 2010, Scottsdale, Arizona, United States. pp.189 – 198, ⟨10.1145/1879021.1879047⟩
- titre
- Compositional design methodology with constraint Markov chains
- auteur
- Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- article
- QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩
- titre
- Document based modeling of Web services choreographies using Active XML
- auteur
- Loic Helouet, Albert Benveniste
- article
- International conference on Web Services, Jul 2010, Miami, United States
- titre
- Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.
- auteur
- Benoît Delahaye, Benoît Caillaud, Axel Legay
- article
- 10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal
- titre
- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
- auteur
- Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
- article
- Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
- titre
- Statistical abstraction and model-checking of large heterogeneous systems
- auteur
- Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
- article
- [Research Report] RR-7238, INRIA. 2010
- titre
- A Logical Product Approach to Zonotope Intersection
- auteur
- Khalil Ghorbal, Eric Goubault, Sylvie Putot
- article
- Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, 2010, Edinburgh, United Kingdom. pp.212–226, ⟨10.1007/978-3-642-14295-6_22⟩
- titre
- Variability Modeling and QoS Analysis of Web Services Orchestrations
- auteur
- Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
- article
- International Conference on Web Services, 2010, Miami, FL, USA, United States