1. Recherche
1168 résultats  enregistrer la recherche
...
inria-00400272v1  Rapport
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson et al.  Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
[Research Report] RR-6976, INRIA. 2009, pp.16
...
tel-00650682v1  Thèse
Mariano Belaunde. Le Développement Agile de Services de Télécommunication Intégrés via des techniques d'ingénierie des modèles.
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
...
hal-00700444v1  Communication dans un congrès
Alexandre Bartel, Benoit Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi et al.  Model Driven Mutation Applied to Adaptative Systems Testing
IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6, 2011
...
hal-00700334v1  Rapport
Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information
[Research Report] PI-1992, 2012, pp.6
...
inria-00156468v1  Rapport
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli et al.  Loosely Time-Triggered Architectures based on Communication-by-Sampling
[Research Report] PI 1854, 2007, pp.41
...
inria-00555042v1  Communication dans un congrès
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Marc Jézéquel, Henda Hajjami Ben Ghézala. A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
ICSOC International Conference on Service Oriented Computing, 2010, San Francisco, California, United States. Springer, 2010
...
inria-00001058v1  Communication dans un congrès
Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, 3188, pp.1-16, 2004, Lecture Notes in Computer Science; Formal Methods for Components and Objects: Second International Symposium, FMCO 2003. <10.1007/b100112>
...
inria-00455764v1  Communication dans un congrès
Franck Chauvel, Isabelle Borne, Jean-Marc Jézéquel, Olivier Barais. A Model-Driven Process for Self-Adaptive Software
4th European Congress ERTS Embedded Real-Time Software, Jan 2008, Toulouse, France, France. pp.CD-ROM, 2008
...
hal-00555169v1  Communication dans un congrès
Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic. LTSs for Translation Validation of (multi-clocked) Signal specifications
8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2010, Grenoble, France. IEEE Computer Society, pp.199-208, 2010, <10.1109/MEMCOD.2010.5558632>
...
tel-00923305v1  Thèse
Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
hal-00722472v1  Communication dans un congrès
Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil, Guéhéneuc Yann-Gael et al.  Specification and Detection of SOA Antipatterns
Chengfei Liu, Heiko Ludwig, Farouk Toumani. International Conference on Service Oriented Computing, Nov 2012, Shanghai, China. 2012
...
inria-00175793v2  Rapport
Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms
[Research Report] RR-6313, INRIA. 2007, pp.17
...
hal-00872188v1  Communication dans un congrès
Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel. Integrating Software Process Reuse and Automation
Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand. 2013
...
inria-00424857v1  Communication dans un congrès
Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems
3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. 2006
...
hal-00923789v1  Communication dans un congrès
Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale. Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. Springer, pp.187-202, 2013, Lecture Notes in Computer Science; 8107
...
tel-00923811v1  Thèse
Tam Le Nhan. Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
inria-00424283v1  Communication dans un congrès
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications.
3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. <10.1007/978-3-642-00982-2_13>
...
inria-00525397v1  Communication dans un congrès
Christophe Morvan, Sophie Pinchinat. Diagnosability of pushdown systems
Kedar Namjoshi and Andreas Zeller. Haifa Verification Conference, Oct 2009, Haifa, Israel. Springer, 6405, 2009, LNCS; Hardware and Software: Verification and Testing
hal-01102950v1  Communication dans un congrès
Goulven Guillou, Eric Badouel, Jules Chenou. Petri Algebras
ICALP 2005 : 32nd International Colloquium, Automata, Languages and Programming, Jul 2005, Lisboa, Portugal. Springer, 3580, pp.742-754, LNCS. <10.1007/11523468_60>
...
inria-00070648v1  Rapport
Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras
[Research Report] RR-5355, INRIA. 2004, pp.28
...
inria-00375098v1  Rapport
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?
[Research Report] RR-6899, INRIA. 2009
...
inria-00175810v2  Rapport
Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation
[Research Report] RR-6315, INRIA. 2007
...
hal-00824653v1  Rapport
Guillaume Aucher, Thomas Bolander. Undecidability in Epistemic Planning
[Research Report] RR-8310, INRIA. 2013
...
hal-00670652v2  Rapport
Juan Cadavid, Benoit Combemale, Benoit Baudry. Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices
[Research Report] RR-7882, INRIA. 2012
inria-00526261v1  Communication dans un congrès
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin et al.  A Protocol for Loosely Time-Triggered Architectures
Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp.252-265, 2002, Lecture notes in computer science. <10.1007/3-540-45828-X_19>
...
inria-00477570v1  Communication dans un congrès
Franck Chauvel, Olivier Barais. Modelling Adaptation Policies for Self-Adaptive Component Architectures
Gordon Blair and Nelly Bencomo and Robert France. 1st Workshop on Model-driven Software Adaptation M-ADAPT'07 at ECOOP 2007, 2007, Berlin, Germany, Germany. pp.61--68, 2007
...
inria-00477571v1  Autre publication
Cyril Faucher, Jean-Yves Lafaye. Model Driven Engineering for implementing the ISO 19100 series of international standards
http://www.coastgis07.com. 2007
...
inria-00477529v1  Article dans une revue
Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Franck Fleurey, Arnor Solberg. Models at Runtime to Support Dynamic Adaptation
IEEE COMPUTER, IEEE, 2009, pp.46-53
...
inria-00477530v1  Communication dans un congrès
Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon. A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
ICST '09: Proceedings of the 2$^nd$ International Conference on Software Testing, Verification, and Validation, 2009, Denver, Colorado, USA, United States. 2009
...
inria-00477569v1  Communication dans un congrès
Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas. Producing a Global Requirement Model from Multiple Requirement Specifications
EDOC'07 (Entreprise Distributed Object Computing Conference), 2007, Annapolis, MD, USA, United States. 2007

Contact


archive-ouverte@inria.fr