1. Recherche
90 résultats  enregistrer la recherche
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-00862488v1  Chapitre d'ouvrage
Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01936730v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
hal-01780556v1  Communication dans un congrès
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-00569028v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy, Bruno Aizier. Automating Context Description for Software Formal Verification
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
hal-00540746v1  Communication dans un congrès
Armelle Prigent, Philippe Dhaussy, Roux Olivier. Systèmes Informatiques de Confince, Objectifs Zéro-Défaut
Systèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
hal-00912857v1  Communication dans un congrès
Nadia Menad, Philippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30
hal-00517223v1  Communication dans un congrès
Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger. AADL model transformation for formal verification
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
hal-00517285v1  Communication dans un congrès
Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. Points de vue et sémantiques ad hoc
Atelier SéMo'07, 2007, France. pp.Non renseigne
hal-00517289v1  Communication dans un congrès
Philippe Dhaussy, Jean-Charles Roger. Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles
Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
hal-00517290v1  Communication dans un congrès
Jean-Charles Roger, Philippe Dhaussy. Implementation of testing automata for timed model validation
Movep'04, 2004, Brussel, Belgium
hal-00517291v1  Communication dans un congrès
Philippe Dhaussy, Jean-Charles Roger. An Experimentation of Real-Time Software Validation Technique With Timed Observers
2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
hal-00517267v1  Communication dans un congrès
Philippe Dhaussy. Réflexion pour un processus de validation de modèles logiciels
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
hal-00517268v1  Communication dans un congrès
Bastien Amar, Hervé Le Blanc, Philippe Dhaussy, Bernard Coulette. Trace Transformation Reuse to Guide Co-evolution of Models
5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
hal-00517272v1  Communication dans un congrès
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Context Constraints Method for Software Formal Verification
ESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands
hal-00517292v1  Communication dans un congrès
Theurer Wolfgang, François Mekerke, Joël Champeau, Philippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
hal-00517224v1  Communication dans un congrès
Philippe Dhaussy, Pierre-Yves Pillain, Dominique Kerjean, Stephane de Belloy, Arnaud Du Sorbier et al.  Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques
Journée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
...
hal-00470523v1  Communication dans un congrès
Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
hal-00517222v1  Communication dans un congrès
Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon et al.  Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
...
hal-01406604v1  Communication dans un congrès
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-00517269v1  Communication dans un congrès
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Partial Order Application for Software Formal Verification
Conférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne
hal-00517270v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. Automatic Formal Model Derivation from Use Cases
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne

Contact

Informations

CCSD