Recherche - ENSTA Bretagne

	1 2 3 4 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 97 documents Exporter XML-TEI BibTeX EndNote CSV PDF HTML Export avancé... Syndication RSS ATOM
	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-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-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-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-02270437v1 Communication dans un congrès Philippe Dhaussy, J.C. Roger, H. Bonnin, E Saves, J. Honore et al. Experimentation of Timed Observers for Avionics Models Validation Conference ERTS'06, Jan 2006, Toulouse, France
	hal-01006697v1 Communication dans un congrès Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
	hal-00636875v1 Communication dans un congrès Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam
	hal-02929122v1 Communication dans un congrès Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy. Modular Deployment of UML Models for V&V Activities and Embedded Execution MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
	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-03463358v1 Article dans une revue Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Unified verification and monitoring of executable UML specifications. A transformation-free approach Software and Systems Modeling, Springer Verlag, 2021, ⟨10.1007/s10270-021-00923-9⟩
	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-01585318v1 Communication dans un congrès Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier et al. Towards one Model Interpreter for Both Design and Deployment 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
	hal-00517274v1 Communication dans un congrès Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. Vers la génération de modèles de sûreté de fonctionnement conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
	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-00738735v1 Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux. Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
	hal-01326333v1 Communication dans un congrès Djamila Baroudi, Philippe Dhaussy, Nait Bahloul Safia. Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France
	hal-01326351v1 Article dans une revue Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
	hal-01289454v1 Communication dans un congrès S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C Teodorov et al. Model Checking of SCADE Designed Systems 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
	hal-00635904v1 Communication dans un congrès Amine Raji, Philippe Dhaussy. User context models : a framework to ease software formal verifications ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
	hal-02515160v1 Communication dans un congrès Ousmane Diallo, Philippe Dhaussy, Ciprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
	hal-02515359v1 Chapitre d'ouvrage Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Proposed Algorithms to the State Explosion Problem Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
	hal-01802247v1 Communication dans un congrès Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
	hal-01373335v1 Article dans une revue Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux. Environment-driven reachability for timed systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
	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-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-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-00703785v1 Communication dans un congrès Jean-Christophe Le Lann, Philippe Dhaussy, Pierre-Laurent Lagalaye. Modélisation algorithmique et synthèse d'architectures assistées par model-checking CAL 2012-, May 2012, Montpellier, France
	hal-01206527v1 Communication dans un congrès Philippe Dhaussy. Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie
	hal-01864787v1 Communication dans un congrès Obeid Fadi, Philippe Dhaussy. Model-checking for Secured Component Implementation. 17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
	1 2 3 4 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 97 documents Exporter XML-TEI BibTeX EndNote CSV PDF HTML 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