Follow
Jean-Claude Royer
Jean-Claude Royer
Professor IMT Atlantique, France
Verified email at imt-atlantique.fr - Homepage
Title
Cited by
Cited by
Year
A model-driven traceability framework for software product lines
N Anquetil, U Kulesza, R Mitschke, A Moreira, JC Royer, A Rummler, ...
Software & Systems Modeling 9, 427-451, 2010
1942010
Optimizing method search with lookup caches and incremental coloring
P André, JC Royer
Conference proceedings on Object-oriented programming systems, languages …, 1992
851992
Model-driven and software product line engineering
JC Royer, H Arboleda
John Wiley & Sons, 2013
592013
Aspect-oriented, model-driven software product lines: The AMPLE way
A Rashid, JC Royer, A Rummler
Cambridge University Press, 2011
482011
Checking the consistency of UML class diagrams using Larch Prover
P André, A Romanczuk, JC Royer, A Vasconcelos
Rigorous Object-Oriented Methods 2000, 2000
462000
A java implementation of a component model with explicit symbolic protocols
S Pavel, J Noyé, P Poizat, JC Royer
Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK …, 2005
432005
A formal architectural description language based on symbolic transition systems and modal logic
P Poizat, JC Royer
Journal of Universal Computer Science 12 (12), 1741-1782, 2006
422006
A global semantics for views
C Choppy, P Poizat, JC Royer
Algebraic Methodology and Software Technology: 8th International Conference …, 2000
392000
Towards a model of accountability for cloud computing services
D Catteddu, M Felici, G Hogben, A Holcroft, E Kosta, R Leenes, C Millard, ...
Pre-Proceedings of International Workshop on Trustworthiness, Accountability …, 2013
352013
From informal requirements to COOP: a Concurrent Automata Approach
P Poizat, C Choppy, JC Royer
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
321999
Concurrency and data types: A specification method an example with LOTOS
P Poizat, C Choppy, JC Royer
Recent Trends in Algebraic Development Techniques: 13th International …, 1999
291999
CyprIoT: framework for modelling and controlling network-based IoT applications
I Berrouyne, M Adda, JM Mottu, JC Royer, M Tisi
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 832-841, 2019
282019
Checking asynchronously communicating components using symbolic transition systems
O Maréchal, P Poizat, JC Royer
OTM Confederated International Conferences" On the Move to Meaningful …, 2004
282004
The Korrigan Environment
C Choppy, P Poizat, JC Royer
Journal of Universal Computer Science 7 (1), 19-36, 2001
282001
Dealing with fine-grained configurations in model-driven SPLs
H Arboleda, R Casallas, JC Royer
Proceedings of the 13th International Software Product Line Conference, 1-10, 2009
272009
The STSLib project: Towards a formal component model based on STS
F Fernandes, JC Royer
Electronic Notes in Theoretical Computer Science 215, 131-149, 2008
272008
Formal methods for component description, coordination and adaptation
P Poizat, JC Royer, G Salaün
Issues on Coordination and Adaptation Techniques, 89, 2004
262004
A conceptual model for evaluating the impact of spatial management measures on the dynamics of a mixed fishery
D Pelletier, S Mahévas, B Poussin, J Bayon, P André, JC Royer
Spatial Processes and Management of Marine Populations 17, 53-66, 2001
242001
A Cloud Accountability Policy Representation Framework.
W Benghabrit, H Grall, JC Royer, M Sellami, M Azraoui, K Elkhiyaoui, ...
Closer, 489-498, 2014
232014
Bounded analysis and decomposition for behavioural descriptions of components
P Poizat, JC Royer, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
232006
The system can't perform the operation now. Try again later.
Articles 1–20