Jean-Claude Royer
Publications
Publications
|
|
A model-driven traceability framework for software product linesSoftware and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩ |
The Ample Project, Traceability of Software Product Line Development: Models and UncertaintyGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48 |
|
The STSLib Project: Towards a Formal Component Model Based on STSElectronic Notes in Theoretical Computer Science, 2008, 215, pp.131-149 |
|
Lignes de produits logiciels et usines logiciellesRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, 14 (3), pp.15-31 |
|
|
|
A Formal Architectural Description Language based on Symbolic Transition Systems and Modal LogicJournal of Universal Computer Science, 2006, 12 (12), pp.1741-1782. ⟨10.3217/jucs-012-12-1741⟩ |
Checking Class Schema UsefulnessThe Journal of Object Technology, 2004, 3 (1), pp.157-176 |
|
Temporal Logic Verifications for UML: the Vending Machine ExampleRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2003, 9 (4), pp.73--92 |
|
The GAT Approach to Specify Mixed SystemsInformatica, 2003, 27 (1), pp.89--103 |
|
An Operational Approach to the Semantics of Classes: Application to Type CheckingProgramming and Computer Software, 2002, 27 (3), pp.127-147 |
|
|
|
The Korrigan EnvironmentJournal of Universal Computer Science, 2001, 7 (1), pp.19-36. ⟨10.3217/jucs-007-01-0019⟩ |
Type Checking Object-Oriented Programs: Core of the Problem and Some SolutionsJournal of Object Oriented Programming, 1998, 11 (6), pp.58-66 |
|
Un point de vue sur les méthodes formelles à ObjetsRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 1996, 2 (4), pp.5-12 |
|
Une expérimentation de développement formel à objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1995, 14 (8), pp.973-1005 |
|
A New Set Interpretation for the Inheritance Relation and its CheckingACM SIGPLAN OOPS Messenger, 1992, 3 (3), pp.22-40. ⟨10.1145/140959.140966⟩ |
|
|
A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of ThingsAdvanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩ |
|
|
Removing Problems in Rule-Based PoliciesSEC 2019 : ICT Systems Security and Privacy Protection, Jun 2019, Lisbon, Portugal. pp.120-133, ⟨10.1007/978-3-030-22312-0_9⟩ |
|
|
CyprIoT: framework for modelling and controlling network-based IoT applicationsSAC 2019: 34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297362⟩ |
|
|
Efficiently Characterizing the Undefined Requests of a Rule-Based SystemIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩ |
|
|
Towards Model-Based Communication Control for the Internet of ThingsSTAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩ |
|
|
Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use CasePRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems CARe-MAS workshop, Oct 2017, Nice, France |
AAL and Static Conflict Detection in Policy15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. pp.362-382, ⟨10.1007/978-3-319-48965-0_22⟩ |
|
Checking Accountability with a Prover39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩ |
|
Abstract Accountability Language: Translation, Compliance and ApplicationASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India |
|
|
|
Abstract Accountability Language8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.229-236, ⟨10.1007/978-3-662-43813-8_17⟩ |
Abstract Accountability LanguageIFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236 |
|
PASCS 2014: Privacy and Accountability for Software and Cloud Services2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332 |
|
A Cloud Accountability Policy Representation FrameworkCLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain |
|
Accountability for Data ProtectionInternational Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France |
|
Accountability for Abstract Component DesignEUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩ |
|
Reference monitors for security and interoperability in OAuth 2.0SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom |
|
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to SuccessThe 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria |
|
|
|
From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving SubtypingWEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173 |
|
|
Transformations between Composite and Visitor implementations in Java39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p |
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142 |
Component types qualification in Java legacy code driven by communication integrity rulesISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩ |
|
|
|
Towards a Unified Formal Model for Service Orchestration and ChoreographyActes 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 |
The Synthesis Problem for Trusted Service-based CollaborationsActes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France |
|
Fiesta Toolkit: Model-Driven Software Product Lines in PracticeBrazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66 |
|
Automated Reasoning for Derivation of Model-Driven SPLs2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188 |
|
Event Strictness for Components with Complex BindingsISEC, Feb 2009, India. pp.47--56 |
|
Product Derivation in a Model-Driven Software Product Line using Decision ModelsIDEAS, Apr 2009, Colombia. pp.59--72 |
|
|
|
JavaCompExt: Extracting Architectural Elements from Java Source CodeWCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩ |
Dealing with Fine-Grained Configurations in Model-Driven SPLsSPLC, Aug 2009, United States. pp.1-10 |
|
|
|
Using Transformation-Aspects in Model-Driven Software Product LinesProceedings 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 |
AMPLE : Supporting Product Line Engineering through Synthesis of Aspect-Oriented and Model-Driven DevelopmentMODELS Research Projects Symposium, Oct 2008, France. pp.34-40 |
|
Dealing with Constraints during a Feature Configuration Process in a Model-Driven Software Product Line7th OOPSLA Workshop on Domain-Specific Modeling, Oct 2007, Canada. pp.178--183 |
|
Implementing an MDA Approach for Managing Variability in Product Line Construction Using the GMF and GME Frameworks5th Nordic Workshop on Model Driven Software Engineering 2007, Aug 2007, Sweden. pp.67--82 |
|
Components with Symbolic Transition Systems: A Java Implementation of Rendez-VousCommunicating Process Architecture Conference 2007, Jul 2007, United Kingdom. pp.89-107 |
|
Bounded Analysis and Decomposition for Behavioural Descriptions of ComponentsProceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. pp.33--47, ⟨10.1007/11768869_5⟩ |
|
|
|
Java Implementation of a Component Model with Explicit Symbolic ProtocolsSoftware Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩ |
A Framework for the GAT Temporal LogicThe 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE'04), 2004, Nice, France, France. pp.275-280 |
|
Dynamic Configuration of Software Product Lines in ArchJavaSoftware Product Lines: Third International Conference, 2004, Boston, MA, USA, United States. pp.90-109 |
|
Checking Asynchronously Communicating Components Using Symbolic Transition SystemsOTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519 |
|
A Translation of UML Components into Formal SpecificationsTOOLS East Europe 2002, 2003, Sofia, Bulgaria. pp.60-75 |
|
Analysing Mailboxes of Asynchronous Communicating ComponentsOn The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003, Catania, Sicily (Italy), Italy. pp.1421-1438 |
|
Une proposition de composants formelsLangages et Modèles à Objets, 2002, Montpellier, France. pp.231-245 |
|
Formal specification of mixed components with Korrigan8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176 |
|
Formal Specification and Temporal Proof Techniques for Mixed SystemsWorkshop FMPPTA at IPDPS 2001 Symposium, 2001, San Fransisco, United States |
|
Integration and composition of static and dynamic "views": Unifying approach to complex system specificationWorkshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20 |
|
Checking the Consistency of UML Class Diagrams Using Larch ProverThird Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom |
|
A global semantics for viewsInternational conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180 |
|
An Algebraic View of UML Class DiagramsLangages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276 |
|
From informal requirements to COOP: a concurrent automata approachFormal Methods, 1999, Toulouse, France. pp.939-962 |
|
The Invoicing System: Using GATComparing Systems Specification Techniques, Henri Habrias, 1998, Nantes, France. pp.381-395 |
|
The Formal Class ModelJoint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78 |
|
La modélisation des listes en programmation par objetJournées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. pp.259-285 |
|
Optimizing Method Search with Lookup Caches and Incremental Coloring110-126, Oct 1992, Vancouver, Canada. pp.110-126, ⟨10.1145/141937.141947⟩ |
|
A propos des concepts de CLOSJournées Francophones des Langages Applicatifs, Jan 1991, Gresse-en-Vercors, France. pp.150-158 |
|
Extensions Orientées Objets de SchemeJournées francophone des langages applicatifs, Jan 1990, La Rochelle, France. pp.145-159 |
|
Un modèle pour l'héritage multipleJournées du GDR de Programmation, Oct 1990, Nice, France. pp.75-84 |
|
Techniques de programmation en ObjScheme - application à la syntèse d'images en 2DLangages et algorithmes du graphisme, 1989, Toulouse, France. pp.72-80 |
Model-Driven and Software Product Line EngineeringISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9 |
|
Aspect-Oriented, Model-Driven Software Product Lines The AMPLE WayCambridge University Press, pp.470, 2011 |
|
Langages et Modèles à ObjetsUniversité de Pau et des pays de l'adour, pp.100, 2010 |
|
RSTI L'objet, Usines logicielles et lignes de produits logicielsHermès - Lavoisier, pp.120, 2008 |
From Regulatory Obligations to Enforceable Accountability Policies in the CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015 |
|
Software Architecture for Product LinesMourad Oussalah. Software Architecture 1, Wiley-ISTE, pp.171-210, 2014, 978-1-84821-600-6. ⟨10.1002/9781118930960.ch5⟩ |
|
Architectures logicielles pour les lignes de produitsArchitectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4 |
|
IntroductionAspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011 |
|
Managing Information Flow in SPL Development ProcessesAspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011 |
|
Concurrency and Data Types: a Specification Method. An Example with LOTOSFiadero, 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 |
|
Objets et spécifications formellesIngénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4 |
|
Le modèle ObjScheme : principes et applicationsBIGRE putting Scheme to work, pp.145-159, 1989, 0221-522 |
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France |
|
|
Automatically Summarizing all the Problems of a Rule-Based System[Research Report] IMT Atlantique. 2020 |
|
|
The Conflict Notion and its Static Detection: a Formal Survey[Research Report] IMT Atlantique. 2019 |
|
|
The Abstract Accountability Language: its Syntax, Semantics and Tools[Research Report] IMT Atlantique. 2018 |
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012 |
|
|
Concepts et modèles formels pour l'analyse et la conception à objetsLangage de programmation [cs.PL]. Université de Nantes - Faculté des Sciences et Techniques, 2001 |
Symbolic Bounded Analysis for Component Behavioural Protocols2005 |
|
A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java2005 |