Recherche - ENSTA Bretagne

	1 2 3 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 81 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	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-00471931v1 Communication dans un congrès Amine Raji, Philippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
	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-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-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-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
	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-00517273v1 Communication dans un congrès Philippe Dhaussy, A. Monégier Du Sorbier, Eric Bonnafous. Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
	hal-00517276v1 Communication dans un congrès Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
	hal-00517277v1 Communication dans un congrès Eric Bonnafous, Frédéric Boniol, Philippe Dhaussy, Xavier Dumas. Experience of an efficient and actual MDE process : design and verification of ATC onboard system Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan
	hal-00517280v1 Communication dans un congrès Philippe Dhaussy. Modélisation et analyse formelle d'un protocole de communication acoustique Journée CPER, Seatech Week'08, 2008, Brest, France
	hal-00517282v1 Article dans une revue Philippe Dhaussy, Frédéric Boniol. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
	hal-00517286v1 Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Hugue Bonnin, Eric Saves, Julien Honoré et al. Experimentation of Timed Observers for Validation of an Avionics Software Conference ERTS'06, 2006, Toulouse, France
	hal-00517288v1 Chapitre d'ouvrage Joël Champeau, Philippe Dhaussy, François Mekerke, Jean-Charles Roger. Model Management for Formal Validation Summer School MDD4DRES, Hermes, pp.149-174, 2006
	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-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-00517293v1 Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Olivier Habart. Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réel Neptune'04, 2004, Paris, France
	hal-00517294v1 Communication dans un congrès Armelle Prigent, Olivier Roux, Philippe Dhaussy. Testing Parametrized Real-Time Systems WRTRTES'03, 2003, Italy
	hal-00517295v1 Communication dans un congrès Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux. Extending translation from SDL to Promela Atelier SéMo'07, 2001, Grenoble, France
	hal-00517296v1 Communication dans un congrès Philippe Dhaussy, Joël Champeau. Software Design Methodology for Embedded Systems Conference of research topics, Nov 2001, Bucarest, Romania
	hal-00517297v1 Communication dans un congrès Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote. Object Framework for Mission Control 5th World Multi-conference on Systemics, Cybernetics and Informatics, Jul 2001, United States
	inria-00555044v1 Communication dans un congrès Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois et al. Trust in MDE Components: the DOMINO Experiment SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
	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-00635533v1 Communication dans un congrès Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
	hal-00635555v1 Communication dans un congrès Amine Raji, Philippe Dhaussy, Benoît Baudry. Formal Extension of Use Cases for Context-Aware Verification MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
	hal-00635653v1 Communication dans un congrès Philippe Dhaussy, Frédéric Boniol, Pierre-Yves Pillain, Xavier Dumas. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France
	hal-00635897v1 Communication dans un congrès Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
	1 2 3 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 81 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire