| 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 | 182 | 2010 |
| Optimizing method search with lookup caches and incremental coloring P André, JC Royer conference proceedings on Object-oriented programming systems, languages …, 1992 | 85 | 1992 |
| Model-driven and software product line engineering JC Royer, H Arboleda John Wiley & Sons, 2013 | 56 | 2013 |
| Aspect-oriented, model-driven software product lines: The AMPLE way A Rashid, JC Royer, A Rummler Cambridge University Press, 2011 | 49 | 2011 |
| Checking the consistency of UML class diagrams using Larch Prover P André, A Romanczuk, JC Royer, A Vasconcelos Rigorous Object-Oriented Methods 2000, 1-16, 2000 | 48 | 2000 |
| 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 | 43 | 2005 |
| 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 | 39 | 2006 |
| A global semantics for views C Choppy, P Poizat, JC Royer Algebraic Methodology and Software Technology: 8th International Conference …, 2000 | 39 | 2000 |
| 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 | 34 | 2013 |
| 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 | 32 | 1999 |
| 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 | 30 | 1999 |
| The Korrigan Environment C Choppy, P Poizat, JC Royer Journal of Universal Computer Science 7 (1), 19-36, 2001 | 29 | 2001 |
| Checking asynchronously communicating components using symbolic transition systems O Maréchal, P Poizat, JC Royer LECTURE NOTES IN COMPUTER SCIENCE, 1502-1519, 2004 | 28 | 2004 |
| 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 | 27 | 2008 |
| 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 | 26 | 2009 |
| Formal methods for component description, coordination and adaptation P Poizat, JC Royer, G Salaün International Workshop on Coordination and Adaptation Techniques for …, 2004 | 26 | 2004 |
| 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 | 24 | 2001 |
| A new set interpretation of the inheritance relation and its checking JC Royer ACM SIGPLAN OOPS Messenger 3 (3), 22-40, 1992 | 24 | 1992 |
| A Cloud Accountability Policy Representation Framework. W Benghabrit, H Grall, JC Royer, M Sellami, M Azraoui, K Elkhiyaoui, ... Closer, 489-498, 2014 | 23 | 2014 |
| Javacompext: Extracting architectural elements from java source code N Anquetil, JC Royer, P Andre, G Ardourel, P Hnetynka, T Poch, ... 2009 16th Working Conference on Reverse Engineering, 317-318, 2009 | 22 | 2009 |
Pascal PoizatProfessor at Université Paris NanterreVerified email at lip6.fr
