BACK TO INDEX

Publications of Jean-Claude Royer
Books and proceedings
  1. 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.


  2. 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.


  3. 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. 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.


  2. 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.


  3. 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.


  4. 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.


  5. 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.


  6. 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.


  7. 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.


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


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


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


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


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


Conference and Workshop articles
  1. 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, February 2012. SciTePress Digital Library. Keyword(s): Service-Oriented Computing, Message-Passing Model, Type Checking, Security.


  2. 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.


  3. 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.


  4. 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.


  5. 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.


  6. 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.


  7. 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]


  8. 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.


  9. 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]


  10. 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/.


  11. 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.


  12. 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.


  13. 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.


  14. 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.


  15. 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.


  16. 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]


  17. 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.


  18. 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.


  19. 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.


  20. 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]


  21. 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.


  22. 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.


  23. 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.


  24. 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]


  25. 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.


  26. 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.


  27. 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).


  28. 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.


  29. 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.


  30. 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.


  31. 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.


  32. 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.


  33. 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 to appear 2009. ACM.


Internal reports
  1. 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.


  2. 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. 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 Apr 25 16:33:42 2012
Author: dallam10.

This document was translated from BibTEX by bibtex2html