BACK TO INDEX

Publications of Jean-Claude Royer
Books and proceedings
  1. Hugo Arboleda and Jean-Claude Royer. Model-Driven and Software Product Line Engineering. ISTE LTd and John Wiley & Sons, Inc., August 2012.


  2. Awais Rashid, Jean-Claude Royer, and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way. Cambridge University Press, September 2011. Note: ISBN: 9780521767224.


  3. Eric Cariou and Jean-Claude Royer. Langages et Modèles à Objets. Université de Pau et des pays de l'adour, March 2010. Note: ISSN 2105-102X.


  4. Jean-Claude Royer, editor. RSTI - L'objet, Usines logicielles et lignes de produits logiciels, volume 14 of RSTI - L'objet, June 2008. Lavoisier. Note: ISSN = 1262-1137.


Articles in journal or book chapters
  1. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed SELLAMI, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Onen, Anderson Sanatan De Oliveira, and Karin Bernsmed. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. In Cloud Computing and Services Sciences. Springer International Publishing Switzerland, 2015. Note: CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised Selected Papers.


  2. Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, and Jean-Claude Royer. Software Architecture for Product Lines. In Mourad Oussalah, editor, Software Architecture 1, pages 171-210. Wiley-ISTE, April 2014.


  3. Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, and Jean-Claude Royer. Architectures logicielles pour les lignes de produits. In Architectures logicielles : Principes, techniques et outils, pages 189-225. ISTE, November 2013.


  4. Akram Ajouli, Julien Cohen, and Jean-Claude Royer. Transformations between Composite and Visitor implementations in Java. SEAA 2013, September 2013.


  5. Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, and Andreas Rummler. Managing Information Flow in SPL Development Processes. In Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, pages 222-262. Cambridge University Press, September 2011. Note: ISBN 978-0-521-76722-4.


  6. Awais Rashid, Jean-Claude Royer, and Andreas Rummler. Introduction. In Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, pages 3-26. Cambridge University Press, September 2011. Note: ISBN 978-0-521-76722-4.


  7. Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, and André Sousa. A model-driven traceability framework for software product lines. Software and Systems Modeling, 9(4):427-451, 2010.


  8. Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, and André Sousa. A Model-Driven Traceability Framework for Software Product Lines. Software and Systems Modeling, 2009.


  9. Nicolas Anquetil, Hugo Arboleda, Fabricio Fernandes, Angel Nuñez, and Jean-Claude Royer. Lignes de produits logiciels et usines logicielles. RSTI - L'objet, Usines logicielles et lignes de produits logiciels, 14(3):15-31, November 2008.


  10. Fabricio Fernandes and Jean-Claude Royer. The STSLib Project: Towards a Formal Component Model Based on STS. Electronic Notes in Theoretical Computer Science, (215):131-149, 2008.


  11. Joost Noppen and Jean-Claude Royer. The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty. Revue du Génie Logiciel, (85):43-48, June 2008.


  12. Pascal Poizat and Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science, 12(12):1741-1782, 2006.


  13. Jean-Claude Royer. Checking Class Schema Usefulness. Journal of Object Technology (JOT), 3(1):157-176, January 2004.


  14. Jean-Claude Royer. Temporal Logic Verifications for UML: the Vending Machine Example. RSTI - L'objet, 9(4):73-92, 2003.


  15. Jean-Claude Royer. The GAT Approach to Specify Mixed Systems. Informatica, 27(1):89-103, 2003.


  16. Jean-Claude Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software, 27(3):127-147, 2002.


  17. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, 7(1):19-36, 2001.


Conference articles
  1. Jean-Claude Royer and Anderson Santana De Oliveira. AAL and Static Conflict Detection in Policy. In Sara Foresti and Giuseppe Persiano, editors, 15th International Conference on Cryptology and Network Security, number 10052 of Cryptology and Network Security, Milan, Italy, pages 362-382, November 2016. Springer. Keyword(s): conflict detection, security, privacy, policy, AAL, XACML, consistency, satisfiability.


  2. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, and Mohamed SELLAMI. Abstract Accountability Language: Translation, Compliance and Application. In ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, New Delhi, India, December 2015.


  3. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, and Mohamed SELLAMI. Checking Accountability with a Prover. In 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Taichung, Taiwan, pages 83-88, July 2015.


  4. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, and Mohamed Sellami. Accountability for Abstract Component Design. In EUROMICRO DSD/SEAA 2014, Verona, Italy, pages 213-220, August 2014.


  5. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana De Oliveira, and Karin Bernsmed. A Cloud Accountability Policy Representation Framework. In CLOSER - 4th International Conference on Cloud Computing and Services Science, Barcelone, Spain, April 2014. Keyword(s): Accountability, Data Protection, Framework, Policy Language, Policy Enforcement.


  6. Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, and Anderson Santana De Oliveira. Abstract Accountability Language. In IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, volume 430 of Trust Management VIII - 8th IFIP WG 11.11 International Conference, Singapore, Singapore, pages 229-236, July 2014.


  7. Mohamed SELLAMI, Jean-Claude Royer, and Walid Benghabrit. Accountability for Data Protection. In International Workshop on Computational Intelligence for Multimedia Understanding, Paris, France, November 2014.


  8. Mohamed SELLAMI, Jean-Claude Royer, and Anderson Santana De Oliveira. PASCS 2014: Privacy and Accountability for Software and Cloud Services. In SM Reddy, editor, 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), Parma, Italy, pages 332, 2014. Note: 23rd IEEE International Conference on Enabling Technologies, Infrastructure for Collaborative Enterprises (WETICE), Parma, ITALY, JUN 23-25, 2014.


  9. Akram Ajouli, Julien Cohen, and Jean-Claude Royer. Transformations between Composite and Visitor implementations in Java. In 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Santander, Spain, pages 8 pages, September 2013.


  10. Diana Allam, Hervé Grall, and Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping. In Karl-Heinz Krempels and Alexander Stocker, editors, WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, Aachen, Germany, pages 169-173, May 2013. SciTePress Digital Library. Note: Short paper presented as a poster. Keyword(s): Service-Oriented Architecture, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping.


  11. Diana Allam, Hervé Grall, and Jean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. In Gabriele Kotsis, editor, The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Vienna, Austria, December 2013. Gabriele Kotsis. Note: Full regular paper. Keyword(s): Service-Oriented Computing, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping, Basics of Category Theory.


  12. Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana De Oliveira, Yves Roudier, and Matteo Dell'Amico. Reference monitors for security and interoperability in OAuth 2.0. In SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Egham, United Kingdom, September 2013.


  13. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. A Message-Passing Model for Service Oriented Computing. In Karl-Heinz Krempels and José Cordeiro, editors, WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, pages 136-142, April 2012. SciTePress Digital Library. Keyword(s): Service-Oriented Computing, Message-Passing Model, Type Checking, Security.


  14. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. In Actes des troisiémes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Lille, France, June 2011.


  15. Diana Allam, Hervé Grall, and Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. In Olivier Caron Yves Ledru, Anne-Françoise Le Meur, editor, Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Lille, France, June 2011.


  16. Hugo Arboleda and Jean-Claude Royer. Component types qualification in Java legacy code driven by communication integrity rules. In ACM, editor, ISEC 2011 : India Software Engineering Conference, Thiruvananthapuram, Kerala, India, pages 155-164, February 2011. Keyword(s): architecture - assessing quality - communication integrity property - component based programming - component type - data type.


  17. Hugo Arboleda, Andres Romero, Rubby Casallas, and Jean-Claude Royer. Fiesta Toolkit: Model-Driven Software Product Lines in Practice. In Brazilian Conference on Software: Theory and Practice, Brazil, pages 61-66, September 2010.


  18. Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, and Jean-Claude Royer. Automated Reasoning for Derivation of Model-Driven SPLs. In Lancaster University, editor, 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, volume Volume 2, Korea, Republic Of, pages 181-188, September 2010.


  19. Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, Tomas Poch, Dragos Petrascu, and Vladiela Petrascu. JavaCompExt: Extracting Architectural Elements from Java Source Code. In Proceedings of the 16th Working Conference on Reverse Engineering (WCRE 2009), tool demonstration, Lille, France, pages 317-318, October 2009.


  20. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Dealing with Fine-Grained Configurations in Model-Driven SPLs. In Proceedings of the 13th International Software Product Line Conference (SPLC'09), San Francisco, CA, USA, August 2009.


  21. Hugo Arboleda, Andres Romero, Rubby Casallas, and Jean-Claude Royer. Product Derivation in a Model-Driven Software Product Line using Decision Models. In Proceedings of the 12th Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS'09), Medellin, Colombia, pages 59-72, April 2009. [Abstract]


  22. Fabricio Fernandes, Robin Passama, and Jean-Claude Royer. Event Strictness for Components with Complex Bindings. In ISEC'09: Proceedings of the 2nd conference on India Software Engineering Conference, New York, NY, USA, 2009. ACM Press.


  23. Hugo Arboleda, Ruby Casallas, and Jean-Claude Royer. Using Transformation-Aspects in Model-Driven Software Product Lines. In Proceedings of the 3th International Workshop on Aspects, Dependencies, and Interactions at 22nd European Conference on Object-Oriented Programming (ECOOP'07), Paphos, Cyprus, July 2008. Keyword(s): aod, constraints, md-spl, variability. [Abstract]


  24. Awais Rashid, Ana Moreira, Joao Araujo, Mira Mezini, Lidia Fuentes, Jean-Claude Royer, Andreas Rummler, Christoph Pohl, and Christa Schwanninger. AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development. In MODELS Research Projects Symposium, Toulouse, France, pages 34-40, October 2008. Note: Http://www.modelsconference.org/.


  25. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Comparing two Implementations of an Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks. In Proceedings of the 5th Nordic Workshop on Model Driven Engineering, pages 67 - 82, August 2007.


  26. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line (DSM'07). In J. Sprinkle, J. Gray, M. Rossi, and J. P. Tolvanen, editors, Proceedings of The 7th OOPSLA Workshop on Domain-Specific Modeling, Montreal, Canada, pages 178-183, October 2007.


  27. Hugo Arboleda, Rubby Casallas, and Jean-Claude Royer. Implementing an MDA Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks. In M. Staron # and # L. Kuzniarz, editors, Proceedings of the 5th Nordic Workshop on Model Driven Software Engineering (NW-MoDE07), Ronneby, Sweden, pages 67-82, August 2007.


  28. Fabricio Fernandes and Jean-Claude Royer. Components with Symbolic Transition Systems: A Java Implementation of Rendez-Vous. In IOS Press, editor, Proceedings of the Communicating Process Architecture Conference 2007, volume 65 of Concurrent Systems Engineering, pages 89-107, 2007.


  29. Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Description of Components. In Springer-Verlag, editor, Proceedings of FMOODS, volume 4037 of Lecture Notes in Computer Science, pages 33-47, 2006.


  30. Sebastian Pavel, Jacques Noyé, Pascal Poizat, and Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols. In Thomas Gschwind, Uwe Assman, and Oscar Nierstrasz, editors, International Workshop on Software Composition (SC), volume 3628 of Lecture Notes in Computer Science, pages 115-124, April 2005. Springer-Verlag. Note: Short paper. [Abstract]


  31. Sebastian Pavel, Jacques Noyé, and Jean-Claude Royer. Un modèle de composant avec protocole symbolique. In Journée du groupe Objets, Composants et Modèles, Bern, Suisse, March 2005.


  32. Olivier Maréchal, Pascal Poizat, and Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2004: Coopis, DOA, and ODBASE, volume 3291 of Lecture Notes in Computer Science, pages 1502-1519, 2004. Springer-Verlag.


  33. Jacques Noyé, Sebastian Pavel, and Jean-Claude Royer. A PVS Experiment with Asynchronous Communicating Components. In 17th Workshop on Algebraic Development Techniques, Barcelona, Spain, March 2004.


  34. Sebastian Pavel, Jacques Noyé, and Jean-Claude Royer. Dynamic Configuration of Software Product Lines in ArchJava. In Robert L. Nord, editor, Software Product Lines: Third International Conference, volume 3154 of Lecture Notes in Computer Science, Boston, MA, USA, pages 90-109, September 2004. Springer-Verlag Heidelberg. Keyword(s): software product line, component programming language, connector, generator, dynamic configuration. [Abstract]


  35. Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Formal Methods for Component Description, Coordination and Adaptation. In Proceedings of the ECOOP Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'04), Oslo, Norway, June 2004.


  36. Jean-Claude Royer. A Framework for the GAT Temporal Logic. In ISCA, editor, Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), Nice, France, pages 275-280, July 2004.


  37. Liang Peng, Annya Romanczuk-Réquilé, and Jean-Claude Royer. A Translation of UML Components into Formal Specifications. In Theo D'Hondt, editor, TOOLS East Europe 2002, pages 60-75, 2003. Kluwer Academic Publishers.


  38. Jean-Claude Royer and Michael Xu. Analysing Mailboxes of Asynchronous Communicating Components. In D. C. Schmidt R. Meersman, Z. Tari and al., editors, On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, volume 2888 of Lecture Notes in Computer Science, Catania, Sicily (Italy), pages 1421-1438, October 2003. Springer-Verlag. Keyword(s): Asynchronous Communication, Component, Architecture, Dynamic Behaviour, Unbound or Bound Mailbox. [Abstract]


  39. M. Allemand, C. Attiogbé, Pascal Poizat, Jean-Claude Royer, and G. Salaün. SHE'S project: a report of joint works on integration of formal specification techniques. In H. Ehrig and M. Grosse-Rhode, editors, Proceedings of the 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02), Grenoble, France, April 2002.


  40. Michel Allemand and Jean-Claude Royer. Mixed Formal Specification with PVS. In Proceedings of the 15th IPDPS 2002 Symposium, FMPPTA, 2002. IEEE Computer Society Press.


  41. Pascal Poizat and Jean-Claude Royer. Une proposition de composants formels. In M. Dao and M. Huchard, editors, Actes de LMO'2002, pages 231-245, January 2002. Note: RSTI - L'Objet 8(1-2).


  42. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan. In Proceedings of the 8th Asia-Pacific Software Engineering Conference, APSEC'2001, pages 169-176, 2001. IEEE Computer Society Press.


  43. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. In Heinrich Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001, volume 2029 of Lecture Notes in Computer Science, pages 124-139, 2001. Springer-Verlag.


  44. Jean-Claude Royer. Formal Specification and Temporal Proof Techniques for Mixed Systems. In Proceedings of the 15th IPDPS 2001 Symposium, FMPPTA, San Francisco, USA, 2001. IEEE Computer Society Press.


  45. Pascal André, Annya Romanczuk-Réquilé, Jean-Claude Royer, and Aline Vasconcelos. An Algebraic View of UML Class Diagrams. In Christophe Dony and Houari A. Sahraoui, editors, LMO'00 - Langages et modèles à objets, Mont Saint-Hilaire, Québec, Canada, pages 261-276, January 2000. Hermès.


  46. Pascal André, Annya Romanczuk-Réquilé, Jean-Claude Royer, and Aline Vasconcelos. Checking the Consistency of UML Class Diagrams Using Larch Prover. In T. Clark, editor, Proceedings of the third Rigorous Object-Oriented Methods Workshop (ROOM 3), BCS eWics, ISBN: 1-902505-38-7, January 2000.


  47. Fabricio Fernandes, Robin Passama, and Jean-Claude Royer. Event Strictness for Components with Complex Bindings. In ISEC'09: Proceedings of the 2nd conference on India Software Engineering Conference, New York, NY, USA, February. ACM.


Internal reports
  1. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. Well-Typed Services Cannot Go Wrong. Research Report RR-7899, INRIA, May 2012.


  2. Pascal Poizat and Jean-Claude Royer. Korrigan: a Formal ADL with Full Data Types and a Temporal Glue. Technical report 88-2003, LaMI, CNRS et Université d'Evry Val d'Essonne, September 2003.


  3. Jean-Claude Royer. Concepts et modèles formels pour l'analyse et la conception à objets. Technical report, IRIN, 2001. Note: Habilitation à diriger des recherches.


Miscellaneous
  1. Walid Benghabrit, Hervé Grall, and Jean-Claude Royer. Monitoring accountability policies with AccMon framework. GDR-GPL, June 2016. Note: Poster. Keyword(s): monitoring, temporal logic., Accountability, privacy, security.


  2. Fabricio Fernandes and Jean-Claude Royer. The STSLIB Project: Towards a Formal Component Model Based on STS. Note: Formal Aspects of Component Software to appear, 2007.



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Wed May 31 15:05:58 2017
Author: helene.


This document was translated from BibTEX by bibtex2html