 |
 |
 |
 |
|
|
|
|---|---|---|
|
hal-00700737v1
Communication dans un congrès
Diana Allam, Hervé Grall, Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France. 2011 |
||
|
hal-00800153v1
Communication dans un congrès
Diana Allam, Hervé Grall, Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping Karl-Heinz Krempels and Alexander Stocker. WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. SciTePress Digital Library, pp.169-173, 2013, WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013 |
||
|
hal-00700750v1
Communication dans un congrès
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France. 2011 |
||
|
hal-00621001v1
Communication dans un congrès
Hugo Arboleda, Jean-Claude Royer. Component types qualification in Java legacy code driven by communication integrity rules ACM. ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, 2011, <10.1145/1953355.1953377> |
||
|
hal-00620988v1
Chapitre d'ouvrage
Awais Rashid, Jean-Claude Royer, Andreas Rummler. Introduction Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011 |
||
|
hal-00620995v1
Chapitre d'ouvrage
Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira et al. Managing Information Flow in SPL Development Processes Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011 |
||
|
hal-00620981v1
Direction d'ouvrage, Proceedings
Awais Rashid, Jean-Claude Royer, Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way Cambridge University Press, pp.470, 2011 |
||
|
hal-00425386v1
Communication dans un congrès
Hugo Arboleda, Rubby Casallas, Jean-Claude Royer. Implementing an MDA Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks 5th Nordic Workshop on Model Driven Software Engineering 2007, Aug 2007, Sweden. ISBN 978-91-7295-985-9, pp.67--82, 2007 |
||
|
hal-00425387v1
Communication dans un congrès
Hugo Arboleda, Rubby Casallas, Jean-Claude Royer. Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line 7th OOPSLA Workshop on Domain-Specific Modeling, Oct 2007, Canada. ISBN 978-951-39-2915-2, pp.178--183, 2007 |
||
|
hal-00425384v1
Communication dans un congrès
Fabricio Fernandes, Jean-Claude Royer, Robin Passama. Components with Symbolic Transition Systems: A Java Implementation of Rendez-Vous Communicating Process Architecture Conference 2007, Jul 2007, United Kingdom. ISBN 978-1-58603-767-3, pp.89-107, 2007 |
||
|
hal-00486708v1
Direction d'ouvrage, Proceedings
Jean-Claude Royer. RSTI L'objet, Usines logicielles et lignes de produits logiciels Hermès - Lavoisier, pp.120, 2008 |
||
|
hal-01214360v1
Communication dans un congrès
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Checking Accountability with a Prover 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, 39th IEEE Annual Computer Software and Applications Conference (COMPSAC). <10.1109/COMPSAC.2015.8> |
||
|
hal-01214387v1
Chapitre d'ouvrage
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui et al. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015 |
||
|
hal-00416457v1
Article dans une revue
Joost Noppen, Jean-Claude Royer. The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty Revue du Génie Logiciel, NEPTUNE, 2009, pp.43-48 |
||
|
hal-00536847v1
Communication dans un congrès
Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer. Fiesta Toolkit: Model-Driven Software Product Lines in Practice Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66, 2010 |
||
|
hal-00536845v1
Communication dans un congrès
Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, Jean-Claude Royer. Automated Reasoning for Derivation of Model-Driven SPLs Lancaster University. 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. Volume 2 (ISBN 9781862202740), pp.181--188, 2010 |
||
|
hal-00734143v1
Ouvrage (y compris édition critique et traduction)
Hugo Arboleda, Jean-Claude Royer. Model-Driven and Software Product Line Engineering ISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9 |
||
|
hal-00342159v1
Autre publication
Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols Symbolic Bounded Analysis for Component Behavioural Protocols. 2005 |
||
|
hal-00342152v1
Communication dans un congrès
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols Software Composition (SC), 2005, Edinburgh, United Kingdom. 3628, pp.115--124, 2005, Lecture Notes in Computer Science |
||
|
hal-00342158v1
Communication dans un congrès
Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Descriptions of Components Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. 4037, pp.33--47, 2006, Lecture Notes in Computer Science. <10.1007/11768869_5> |
||
|
hal-00342153v1
Autre publication
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java. 2005 |
||
|
hal-01214365v1
Communication dans un congrès
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Abstract Accountability Language: Translation, Compliance and Application ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE |
||
|
hal-00700570v2
Rapport
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. Well-Typed Services Cannot Go Wrong [Research Report] RR-7899, INRIA. 2012 |
||
|
hal-00412366v1
Communication dans un congrès
Hugo Arboleda, Rubby Casallas, Jean-Claude Royer. Using Transformation-Aspects in Model-Driven Software Product Lines Proceedings of the 3th International Workshop on Aspects, Dependencies, and Interactions at 22nd European Conference on Object-Oriented Programming (ECOOP'07), Jul 2009, Paphos, Cyprus. pp.46--56, 2008 |
||
|
hal-00412398v1
Article dans une revue
Nicolas Anquetil, Hugo Arboleda, Fernandes Fabricio, Angel Nunez, Jean-Claude Royer. Lignes de produits logiciels et usines logicielles RSTI - L'objet, Usines logicielles et lignes de produits logiciels, 2008, 14 (3), pp.15-31 |
||
|
hal-01396376v1
Communication dans un congrès
Jean-Claude Royer, Anderson Santana de Oliveira. AAL and Static Conflict Detection in Policy Sara Foresti; Giuseppe Persiano. 15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. Springer, Lecture Notes in Computer Science, pp.362-382, Cryptology and Network Security. <10.1007/978-3-319-48965-0_22> |
||
|
hal-00846810v1
Communication dans un congrès
Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira et al. Reference monitors for security and interoperability in OAuth 2.0 SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom. 2013 |
||
|
hal-00536035v1
Direction d'ouvrage, Proceedings
Eric Cariou, Jean-Claude Royer. Langages et Modèles à Objets Université de Pau et des pays de l'adour, pp.100, 2010 |
||
|
hal-00987165v1
Communication dans un congrès
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Accountability for Abstract Component Design EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014) Book Series: EUROMICRO Conference Proceedings, pp.213-220, 2014, <10.1109/SEAA.2014.68> |
||
|
hal-00834149v1
Communication dans un congrès
Akram Ajouli, Julien Cohen, Jean-Claude Royer. Transformations between Composite and Visitor implementations in Java 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p., 2013 |
||
|
|
|