Publications
(since
2003)
2011
Awais Rashid and Jean-Claude Royer and
Andreas Rummler
Aspect-Oriented,
Model-Driven Software Product Lines, The AMPLE way
Cambridge University Press, 2001, ISBN 978-0-521-76722-4
Hugo Arboleda, and Jean-Claude Royer
Component Types Qualification in Java Legacy Code Driven by
Communication Integrity Rules
ISEC'11: Proceedings of the 4th conference on India Software
Engineering Conference
ACM, pages 155--164, http://doi.acm.org/10.1145/1953355.1953377
2010
Hugo Arboleda, Juan F. Diaz, Victor Vargas, and Jean-Claude Royer
Automated Reasoning for Derivation of Model-Driven SPLs
Proceedings of the 14th International Software Product Line Conference
(SPLC 2010), Volume 2, 2nd International Workshop on Model-driven
Approaches in Software Product Line Engineering (MAPLE 2010)
ISBN 9781862202740, pages 181--188.
Hugo Arboleda, Andrès Romero, Rubby Casallas and Jean-Claude
Royer
Fiesta Toolkit: Model-Driven Software Product Lines in Practice
Proceedings of the Brazilian Conference on Software: Theory and
Practice, XVII Tools Session
ISSN 2178--6097, pages 61--66.
Hugo Arboleda, and Jean-Claude Royer
Java Component Refactoring Based on Communication Integrity Violations
BENEVOL
2010
presentation
slides
2009
Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude
Royer, Petr Hnetynka, Tomas Poch, Dragos Petrascu and Vladiela Petrascu
Component types and communication channels recovery from Java source
code
Tool demo at WCRE
2009, see the JavaCompExt
section below and the presentation slides.
Hugo Arboleda, Rubby Casallas and Jean-Claude Royer
Dealing with Fine-Grained Configurations in Model-Driven SPLs
SPLC 2009
SPLC,
San
Francisco
Hugo Arboleda, Andres Romero, Rubby Casallas and Jean-Claude Royer
Product Derivation in a Model-Driven Software Product Line using
Decision Models
IDEAS proceedings
IDEAS
2009
Medellin, Colombia
Nicolas Anquetil, Uira Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude
Royer, Andreas Rummler and Andre Sousa
A Model-Driven Traceability Framework for Software Product Lines
Sosym
journal, Spr
Fabricio Fernandes and Robin Passama and Jean-Claude Royer
Event Strictness for Components with Complex Bindings
ISEC'09: Proceedings of the 2nd conference on India Software
Engineering Conference
ISEC
2009 Pune, India the
slides
2008
Awais Rashid, Ana Moreira, Joao Araujo, Mira Mezini, Lidia Fuentes,
Jean-Claude Royer, Andreas Rummler, Christoph Pohl, Christa Schwanninger
AMPLE : Supporting Product Line Engineering through Synthesis of
Aspect-Oriented and Model-Driven Development
MODELS Research Projects Symposium
MODELS
2008 Toulouse, France
Fabricio Fernandes and Jean-Claude Royer
The STSLib Project: Towards a Formal Component Model Based on STS
Electronic Notes in Theoretical Computer Science, pages 131-149, number
215
ENTCS
Link
Joost Noppen and Jean-Claude Royer
The Ample Project, Traceability of Software Product Line Development:
Models and Uncertainty,
Neptune conférence, Revue du Génie Logiciel,
pages 43-48, number 85.
Neptune
2008 Paris, France.
Nicolas Anquetil, Hugo Arboleda, Fabricio De Alexandria Fernandes,
Angel Nunez, Jean-Claude Royer
Lignes de produits logiciels et usines logicielles
RSTI - L'objet, Usines logicielles et lignes de produits logiciels,
pages 15-31, volume 14, number 3
L'objet
Link
Hugo Arboleda, Rubby Casallas, Jean-Clade 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), pages 46-56
ADI
Program Link
2007
Fabricio
Fernandes and
Jean-Claude Royer
The STSLib Project: Towards a Formal Component Model Based on STS
presented at the 4th Formal Aspects of Component Software Workshop
(FACS 2007, Sophia Antipolis)
an
initial draft version
and the
talk.
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
Accepted at the Nordic Workshop on Model Driven Engineering (NW-MoDE
2007) initial
version.
Fabricio
Fernandes,
Frédéric Lepage, and Jean-Claude Royer
The STSLIB Tutorial: Draft
the
draft.
Fabricio
Fernandes, Robin
Passama and Jean-Claude Royer
Components with Symbolic Transition Systems: a Java Implementation of
Rendezvous
Communicating Process Architecture 2007, CPA.
2006
Pascal
Poizat and
Jean-Claude Royer
A Formal Architectural Description Language based on Symbolic
Transition Systems and Modal Logic
Journal of Universal Computer Science, Volume 12, Number 12, pages
1741-1782, Springer 2006.
See this
link.
Pascal
Poizat and
Jean-Claude Royer
Formal Specification in Korrigan of the Cash Point Case Study
the report.
Pascal
Poizat,
Jean-Claude Royer and Gwen Salaün
Bounded Analysis and Bounded Decomposition for Behavioural Descriptions
of Components
Presentation at the FMOODS 2006 conference: the slides.
2005
Pascal
Poizat,
Jean-Claude Royer and Gwen Salaün
Symbolic Bounded Analysis for Component Behavioural Protocols
the full report is here.
Jean-Claude Royer
Notes About Automatic Generation for Argument Retrieval in Asynchronous
Communicating STS
The draft is here.
Sebastian Pavel, Jacques Noyé, Pascal Poizat and Jean-Claude
Royer
A Formal Component Model with Explicit Symbolic Protocols and its
Implementation In Java
The current report is here.
2004
Jean-Claude Royer
Checking Class Schema Usefulness
in Journal of Object Technology, vol. 3, no. 1, January-February 2004,
pages 157-176
The paper is here.
Sebastian Pavel, Jacques Noyé and Jean-Claude Royer
Dynamic Configuration of Software Product Lines in ArchJava
in proceedings of the SPLC Conference 2004, LNCS 3154,
90--109.
Jacques Noyé, Sebastian Pavel, and Jean-Claude Royer
A PVS Experiment with Asynchronous Communicating Components
WADT 2004, Barcelona, Spain
See the report
and the slides.
Jean-Claude Royer
A Framework for the GAT Temporal Logic
IASSE 2004, Nice, France
See the slides.
Pascal Poizat and Jean-Claude Royer and Gwen Salaün
Formal Methods for Component Description, Coordination and Adaptation
WCAT'2004 - Int. Workshop on Coordination and Adaptation Techniques for
Software Entities
look
at here
Olivier Maréchal and Pascal Poizat and Jean-Claude Royer
Checking Asynchronously Communicating Components Using Symbolic
Transition Systems
On The Move to Meaningful Internet Systems 2004: Coopis, DOA, and
ODBASE Proceedings,
LNCS
3291, R. Meersman, Z. Tari, D.
C. Schmidt and al. (Eds.),
Here will be a preliminary
version with the full proof and
the slides.
2003
Liang Peng, Annya Romanczuk, and Jean-Claude Royer
A Translation of UML Components into Formal Specifications
In Technology of Object-Oriented Languages, Systems and Architectures,
Theo D'Hondt Ed., Kluwer Academic Publishers, 2003, pages 60-75
Jean-Claude Royer
The GAT Approach to Specifying Mixed Systems
Informatica Journal, Volume 27, Number 1, pages 89-103, 2003
Jean-Claude Royer
Temporal Logic Verifications for UML, The Vending Machine Example
RSTI-L'objet Journal, selected papers of the ROOM'4 workshop, Vol9 N3,
2003
The ROOM'4
paper is here.
Jean-Claude Royer and Michael Xu
Analysing Mailboxes of Asynchronous Communicating Components
On The Move to Meaningful Internet Systems 2003: Coopis, DOA, and
ODBASE Proceedings,
LNCS 2888,
R. Meersman, Z. Tari, D. C. Schmidt and al. (Eds.), pages 1421-1438
Here is a preliminary
version
and the slides.