Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
Equipe de recherche CONVECS
Publications de l'équipe CONVECS
2012
Articles dans des revues avec comité de lecture
- Titre
- Multi-Objective Optimization of Formal Specifications
- Auteurs
- Simon Struck; Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier
- Détail
- Proceedings of the 14th High Assurance System Engineering Symposium (HASE 2012), IEEE, 2012
- Accès au bibtex
-
- Titre
- Structural Reconfiguration of Systems under Behavioral Adaptation
- Auteurs
- Carlos Canal; Javier Cámara; Gwen Salaün
- Détail
- Science of Computer Programming, 2012, 78 (1), pp. 46-64
- Accès au texte intégral et bibtex
-
- Titre
- Realizability of Choreographies using Process Algebra Encodings
- Auteurs
- Gwen Salaün; Tevfik Bultan; Nima Roohi
- Détail
- IEEE Transactions on Services Computing, 2012, 5 (3), pp. 290-304
- Accès au texte intégral et bibtex
-
- Titre
- Interactive specification and verification of behavioral adaptation contracts
- Auteurs
- Javier Cámara; Gwen Salaün; Carlos Canal; Meriem Ouederni
- Détail
- Information and Software Technology, 2012, 54 (7), pp. 701-723
- Accès au texte intégral et bibtex
-
- Titre
- A generic framework for n-protocol compatibility checking
- Auteurs
- Francisco Durán; Meriem Ouederni; Gwen Salaün
- Détail
- Science of Computer Programming, 2012, 77 (7-8), pp. 870-886
- Accès au texte intégral et bibtex
-
- Titre
- Trajectory Description Conception for Industrial Robots
- Auteurs
- Sergey Alatartsev; Matthias Güdemann; Frank Ortmeier
- Détail
- Proceedings of the 7th German Conference on Robotics (ROBOTIK 2012), VDE Verlag, 2012
- Accès au texte intégral et bibtex
-
- Titre
- CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes
- Auteurs
- Hubert Garavel; Frédéric Lang; Radu Mateescu; Wendelin Serwe
- Détail
- International Journal on Software Tools for Technology Transfer, Springer, 2012
- Accès au texte intégral et bibtex
-
- Titre
- Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
- Auteurs
- Radu Mateescu
; Pascal Poizat ; Gwen Salaün - Détail
- IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), 2012
- Accès au texte intégral et bibtex
-
Communications avec actes
- Titre
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement
- Auteurs
- Matthias Güdemann; Gwen Salaün; Meriem Ouederni
- Détail
- Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, India. Springer, 7561, pp. 238-253, LNCS
- Accès au texte intégral et bibtex
-
- Titre
- Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids
- Auteurs
- Hubert Garavel; Radu Mateescu; Wendelin Serwe
- Détail
- 11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom.
- Accès au texte intégral et bibtex
-
- Titre
- Checking the Realizability of BPMN 2.0 Choreographies
- Auteurs
- Pascal Poizat; Gwen Salaün
- Détail
- 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp. 1927-1934
- Accès au texte intégral et bibtex
-
- Titre
- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
- Auteurs
- Gwen Salaün; Xavier Etchevers; Noël De Palma; Fabienne Boyer; Thierry Coupaye
- Détail
- 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp. 1278-1283
- Accès au texte intégral et bibtex
-
- Titre
- Unifying Probabilistic and Traditional Formal Model Based Analysis
- Auteurs
- Matthias Güdemann; Michael Lipaczewski; Simon Struck; Frank Ortmeier
- Détail
- 8. Dagstuhl-Workshop MBEES 2012 - Model-Based Development of Embedded Systems, Feb 2012, Dagstuhl, Germany.
- Accès au texte intégral et bibtex
-
Chapitres d'ouvrages scientifiques
- Titre
- Modeling and learning behaviors
- Auteurs
- Dizan Vasquez; Christian Laugier
- Détail
- Azim Eskandarian. Handbook of Intelligent Vehicles, Springer, Aug. 2012
- Accès au bibtex
-
Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)
- Titre
- CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués
- Auteurs
- Hubert Garavel; Frédéric Lang; Radu Mateescu; Gwen Salaün; Wendelin Serwe
- Détail
- Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France
- Accès au texte intégral et bibtex
-
2011
Articles dans des revues avec comité de lecture
- Titre
- Sequential and distributed on-the-fly computation of weak tau-confluence
- Auteurs
- Radu Mateescu ; Anton Wijs
- Détail
- Science of Computer Programming, Elsevier, 2011, 77 (10-11), pp. 1075-1094
- Accès au texte intégral et bibtex
-
2009
Communications avec actes
- Titre
- Error-Driven Refinement of Multi-scale Gaussian Maps Application to 3-D Multi-scale map building, compression and merging
- Auteurs
- Manuel Yguel; Dizan Vasquez ; Olivier Aycard; Roland Siegwart; Christian Laugier
- Détail
- International Symposium on Robotics Research, Oct 2009, Lucerne, Switzerland.
- Accès au texte intégral et bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
