Co-auteurs

Nombre de documents

80

CV HAL Jean-Claude Royer


Article dans une revue14 documents

  • Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, et al.. A model-driven traceability framework for software product lines. Software and Systems Modeling, Springer Verlag, 2010, 9 (4), pp.427--451. 〈10.1007/s10270-009-0120-9〉. 〈hal-00668175〉
  • 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-00416457〉
  • Fabricio Fernandes, Jean-Claude Royer. The STSLib Project: Towards a Formal Component Model Based on STS. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, pp.131-149. 〈hal-00416461〉
  • 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-00412398〉
  • Pascal Poizat, Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2006, 12 (12), pp.1741-1782. 〈10.3217/jucs-012-12-1741〉. 〈hal-00342156〉
  • Jean-Claude Royer. Checking Class Schema Usefulness. Journal of Object Technology (JOT), JOT, 2004, 3 (1), pp.157-176. 〈hal-00443975〉
  • Jean-Claude Royer. The GAT Approach to Specify Mixed Systems. Informatica, Slovene Society Informatika, Ljubljana, 2003, 27 (1), pp.89--103. 〈hal-00444013〉
  • Jean-Claude Royer. Temporal Logic Verifications for UML: the Vending Machine Example. 2003, 9 (4), pp.73--92. 〈hal-00443974〉
  • Jean-Claude Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software, MAIK Nauka/Interperiodica, 2002, 27 (3), pp.127-147. 〈hal-00444014〉
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science, Springer, 2001, 7 (1), pp.19-36. 〈10.3217/jucs-007-01-0019〉. 〈hal-00444026〉
  • Jean-Claude Royer. Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. Journal of Object Oriented Programming, Journal of Object-Oriented Programming, 1998, 11 (6), pp.58-66. 〈hal-01135570〉
  • Pascal André, Jean-Claude Royer. Un point de vue sur les méthodes formelles à Objets. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 1996, 2 (4), pp.5-12. 〈hal-00444069〉
  • Pascal André, Franck Barbier, Jean-Claude Royer. Une expérimentation de développement formel à objets. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1995, 14 (8), pp.973-1005. 〈hal-00444074〉
  • Jean-Claude Royer. A New Set Interpretation for the Inheritance Relation and its Checking. ACM SIGPLAN OOPS Messenger, Association for Computing Machinery (ACM), 1992, 3 (3), pp.22-40. 〈10.1145/140959.140966〉. 〈hal-01134101〉

Communication dans un congrès50 documents

  • 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-01396376〉
  • 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-01214365〉
  • 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-01214360〉
  • 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-00987165〉
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, et al.. Abstract Accountability Language. IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. 430, pp.229--236, 2014, Trust Management - 8th 11.11 International Conference. 〈hal-00973399〉
  • Mohamed Sellami, Jean-Claude Royer, Anderson Santana De Oliveira. PASCS 2014: Privacy and Accountability for Software and Cloud Services. Reddy, SM. 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332, 2014. 〈hal-01206892〉
  • Mohamed Sellami, Jean-Claude Royer, Walid Benghabrit. Accountability for Data Protection. International Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France. 〈hal-01084890〉
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, et al.. A Cloud Accountability Policy Representation Framework. CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain. 2014. 〈hal-00941872〉
  • 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. 〈hal-00834149〉
  • 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-00800153〉
  • Diana Allam, Hervé Grall, Jean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. Gabriele Kotsis. The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Dec 2013, Vienna, Austria. 2013. 〈hal-00908552〉
  • 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-00846810〉
  • Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. A Message-Passing Model for Service Oriented Computing. Karl-Heinz Krempels and José Cordeiro. WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. SciTePress Digital Library, pp.136-142, 2012, WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18 - 21 April, 2012. 〈hal-00668975〉
  • 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-00621001〉
  • 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-00700737〉
  • 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-00700750〉
  • 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-00536847〉
  • 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-00536845〉
  • Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, et al.. JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE, Oct 2009, Lille, France. IEEE, pp.317-318, 2009, 〈10.1109/WCRE.2009.53〉. 〈hal-00457219〉
  • Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer. Product Derivation in a Model-Driven Software Product Line using Decision Models. IDEAS, Apr 2009, Colombia. pp.59--72, 2009. 〈hal-00418555〉
  • Fabricio Fernandes, Jean-Claude Royer, Robin Passama. Event Strictness for Components with Complex Bindings. ISEC, Feb 2009, India. pp.47--56, 2009. 〈hal-00418556〉
  • Hugo Arboleda, Rubby Casallas, Jean-Claude Royer. Dealing with Fine-Grained Configurations in Model-Driven SPLs. SPLC, Aug 2009, United States. pp.1-10, 2009. 〈hal-00418552〉
  • 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-00412366〉
  • Awais Rashid, Ana Moreira, Joao Araujo, Mira Mezini, Lidia Fuentes, et al.. AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven Development. MODELS Research Projects Symposium, Oct 2008, France. pp.34-40, 2008. 〈hal-00418561〉
  • 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-00425384〉
  • 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-00425386〉
  • 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-00425387〉
  • 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-00342158〉
  • 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-00342152〉
  • Sébastien Pavel, Jacques Noyé, Jean-Claude Royer. Dynamic Configuration of Software Product Lines in ArchJava. Robert L. Nord. Software Product Lines: Third International Conference, 2004, Boston, MA, USA, United States. pub.springer Heidelberg, 3154, pp.90-109, 2004, lncs. 〈hal-00457194〉
  • Jean-Claude Royer. A Framework for the GAT Temporal Logic. ISCA. The 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), 2004, Nice, France, France. pp.275-280, 2004. 〈hal-00457198〉
  • Olivier Maréchal, Pascal Poizat, Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems. R. Meersman, Z. Tari, D. C. Schmidt and al. OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pub.springer, 3291, pp.1502-1519, 2004, lncs. 〈hal-00457192〉
  • Liang Peng, Annya Réquilé Romanczuk, Jean-Claude Royer. A Translation of UML Components into Formal Specifications. Theo D'Hondt. TOOLS East Europe 2002, 2003, Sofia, Bulgaria. pub.kluwer, pp.60-75, 2003. 〈hal-00457195〉
  • Jean-Claude Royer, Michael Xu. Analysing Mailboxes of Asynchronous Communicating Components. R. Meersman, Z. Tari, D. C. Schmidt and al. On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003, Catania, Sicily (Italy), Italy. pub.springer, 2888, pp.1421-1438, 2003, lncs. 〈hal-00457199〉
  • Pascal Poizat, Jean-Claude Royer. Une proposition de composants formels. M. Dao et M. Huchard. Langages et Modèles à Objets, 2002, Montpellier, France. pp.231-245. 〈hal-01135659〉
  • Jean-Claude Royer. Formal Specification and Temporal Proof Techniques for Mixed Systems. Workshop FMPPTA at IPDPS 2001 Symposium, 2001, San Fransisco, United States. 〈hal-01135657〉
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. Formal specification of mixed components with Korrigan. 8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. IEEE Computer Society, pp.169--176. 〈hal-01135653〉
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. A global semantics for views. Rus, T. International conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. Springer-Verlag, 1816, pp.165--180. 〈hal-01135611〉
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. Integration and composition of static and dynamic "views": Unifying approach to complex system specification. H. Ehrig, M. Grosse-Rhode, F. Orejas. Workshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20. 〈hal-01135631〉
  • Pascal André, Annya Réquilé Romanczuk, Jean-Claude Royer, Vasconcelos Aline. An Algebraic View of UML Class Diagrams. C. Dony, H. Sahraoui. Langages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276. 〈hal-01135647〉
  • Pascal André, Annya Réquilé Romanczuk, Jean-Claude Royer, Vasconcelos Aline. Checking the Consistency of UML Class Diagrams Using Larch Prover. T. Clark". Third Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom. BCS eWics. 〈hal-01135641〉
  • Christine Choppy, Pascal Poizat, Jean-Claude Royer. From informal requirements to COOP: a concurrent automata approach. Formal Methods, 1999, Toulouse, France. Springer-Verlag, 1709, pp.939-962, LNCS. 〈hal-01135580〉
  • Pascal André, Jean-Claude Royer. The Invoicing System: Using GAT. Michel Allemand, Christian Attiogbé, and Henri Habrias. Comparing Systems Specification Techniques, 1998, Nantes, France. pp.381-395, Comparing Systems Specification Techniques: "What questions are prompted by ones particular method of specification?". 〈hal-01135557〉
  • Pascal André, Dan Chiorean, Jean-Claude Royer. The Formal Class Model. Joint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78, ISBN 3-89559-220-X. 〈hal-01135547〉
  • Pascal Andre, Jean-Claude Royer. La modélisation des listes en programmation par objet. Pierre Cointe, Christian Queinnec, Bernard Serpette. Journées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. 11, pp.259-285, INRIA, Collection Didactique. 〈hal-01135544〉
  • Pascal André, Jean-Claude Royer. Optimizing Method Search with Lookup Caches and Incremental Coloring. 110-126, Oct 1992, Vancouver, Canada. ACM Press, 27 (10), pp.110-126, OOPSLA'92 Proceedings. 〈10.1145/141937.141947〉. 〈hal-01135528〉
  • Jean-Claude Royer. A propos des concepts de CLOS. Journées Francophones des Langages Applicatifs, Jan 1991, Gresse-en-Vercors, France. BIGRE, 72, pp.150-158. 〈hal-01135537〉
  • Jean-Claude Royer. Un modèle pour l'héritage multiple. Journées du GDR de Programmation, Oct 1990, Nice, France. BIGRE, 70, pp.75-84, Les avancées en programmation. 〈hal-01135535〉
  • Jean-Claude Royer. Extensions Orientées Objets de Scheme. Journées francophone des langages applicatifs, Jan 1990, La Rochelle, France. BIGRE, pp.145-159. 〈hal-01135548〉
  • Jean-Claude Royer. Techniques de programmation en ObjScheme - application à la syntèse d'images en 2D. Langages et algorithmes du graphisme, 1989, Toulouse, France. 61-62, pp.72-80, BIGRE + GLOBULE. 〈hal-01134106〉

Ouvrage (y compris édition critique et traduction)1 document

  • 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-00734143〉

Chapitre d'ouvrage8 documents

  • 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-01214387〉
  • Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer. Software Architecture for Product Lines. Mourad Oussalah. Software Architecture 1, Wiley-ISTE, pp.171-210, 2014, 978-1-84821-600-6. 〈hal-00997673〉
  • Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer. Architectures logicielles pour les lignes de produits. Architectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4. 〈hal-00997670〉
  • 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-00620988〉
  • 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-00620995〉
  • Pascal Poizat, Christine Choppy, Jean-Claude Royer. Concurrency and Data Types: a Specification Method. An Example with LOTOS. Fiadero, J. Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, 1589, pp.276-291, 1999, LNCS, ISBN 3-540-66246-4. 〈hal-01135605〉
  • Pascal André, Jean-Claude Royer. Objets et spécifications formelles. Ingénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4. 〈hal-01135550〉
  • Jean-Claude Royer, Pierre Castéran, Achille Braquelaire, Myriam Desainte-Catherine, Jean-Guy Penaud. Le modèle ObjScheme : principes et applications. BIGRE putting Scheme to work, pp.145-159, 1989, 0221-522. 〈hal-01135567〉

Poster1 document

  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer. Monitoring accountability policies with AccMon framework. GDR-GPL, Jun 2016, Besançon, France. 〈hal-01332040〉

Direction d'ouvrage, Proceedings, Dossier3 documents

  • Awais Rashid, Jean-Claude Royer, Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way. Cambridge University Press, pp.470, 2011. 〈hal-00620981〉
  • Eric Cariou, Jean-Claude Royer. Langages et Modèles à Objets. Université de Pau et des pays de l'adour, pp.100, 2010. 〈hal-00536035〉
  • Jean-Claude Royer. RSTI L'objet, Usines logicielles et lignes de produits logiciels. Hermès - Lavoisier, pp.120, 2008. 〈hal-00486708〉

Rapport1 document

  • 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-00700570v2〉

Autre publication2 documents

  • Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols. Symbolic Bounded Analysis for Component Behavioural Protocols. 2005. 〈hal-00342159〉
  • 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-00342153〉