28 résultats  enregistrer la recherche


hal-00636875v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-00678272v1  Communication dans un congrès
Ali KoudriTeodora PetrisorJoël ChampeauVincent Leilde. Framework for Integrating ESL Tools
PMDE 2011, Jun 2011, United Kingdom. 2011
hal-00670420v1  Communication dans un congrès
Marie LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Organizational Configurations in Executable Enterprise Architecture Models
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France. 2011
...
hal-00470512v1  Communication dans un congrès
Tewfik ZiadiXavier BlancAmine Raji. From Requirements to Code Revisited
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.228 - 235, ⟨10.1109/ISORC.2009.29⟩
hal-00409855v1  Communication dans un congrès
Pascal BalletJean-Pierre MazatChristine NazaretS. PÉrÈs. Metabolism modeling
Bordeaux spring school on modeling and simulation of biological processes in the context of genomics, Jun 2006, France
...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe 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-00670414v1  Communication dans un congrès
M. LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Integrating Design and Runtime Variability Support into a System ADL
Robert France, Jochen Kuester, Behzad Bordbar and Richard Paige. 7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. Springer Berlin / Heidelberg, 6698, pp.270-281, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21470-7_19〉
hal-00569028v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBruno Aizier. Automating Context Description for Software Formal Verification
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
...
hal-00441929v1  Communication dans un congrès
Romain BénardMatthieu AubryPierre de Loor. Context: An Information Medium for Dynamic and Collaborative Situations
IEEE International Conference on Information Reuse and Integration, Sep 2006, Waikoloa, United States. pp.226-231
hal-00676704v1  Communication dans un congrès
Jean-Philippe SchneiderJoël ChampeauDominique KerjeanOussama Kassem ZeinYves Auffret et al.  Domain Specific Modelling Applied to Smart Sensors
Oceans 2011, Jun 2011, Santander, Spain. 2011
hal-00632337v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe BabauJoël ChampeauSébastien Gérard. Actes de l'école d'été MDA for Embedded System developpement
Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
hal-00635533v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric 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-00635897v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric 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
hal-00636878v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolJean-Charles Roger. Reducing State Explosion with Context Modeling for Model-Checking
HASE'11, Nov 2011, Boca Ranton, United States
hal-00635555v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBenoî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-00635594v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauVincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
...
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves 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⟩
...
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
hal-00796606v1  Communication dans un congrès
René GarelloAntoine GhalebStéphanie EvenBertrand ChapronNicolas Pinel et al.  Radar sea surface modeling and simulation
OCEANS 2011, Sep 2011, Kona, Hawaï, United States. pp.2011