Jean-Claude Royer
Orcid: 0000-0002-8182-8429
According to our database1,
Jean-Claude Royer
authored at least 55 papers
between 1992 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on emn.fr
-
on dl.acm.org
On csauthors.net:
Bibliography
2020
A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things.
Proceedings of the Advanced Information Networking and Applications, 2020
2019
Proceedings of the ICT Systems Security and Privacy Protection, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case.
Proceedings of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017
2016
Proceedings of the Cryptology and Network Security - 15th International Conference, 2016
2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2014
Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014
Proceedings of the CLOSER 2014, 2014
Proceedings of the Cloud Computing and Services Sciences, 2014
2013
From Object-oriented Programming to Service-oriented Computing - How to Improve Interoperability by Preserving Subtyping.
Proceedings of the WEBIST 2013, 2013
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013
2012
A Message-passing Model for Service Oriented Computing.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012
2011
Component types qualification in Java legacy code driven by communication integrity rules.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011
2010
Softw. Syst. Model., 2010
Proceedings of the Software Product Lines - 14th International Conference, 2010
2009
Proceedings of the 16th Working Conference on Reverse Engineering, 2009
Proceedings of the Software Product Lines, 13th International Conference, 2009
Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009
Product Derivation in a Model-Driven Software Product Line using Decision Models.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009
2008
Obj. Logiciel Base données Réseaux, 2008
2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the 30th Communicating Process Architectures Conference, 2007
2006
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic
J. Univers. Comput. Sci., 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
Proceedings of the Software Composition - 4th International Workshop, 2005
2004
Proceedings of the Software Product Lines, Third International Conference, 2004
A Framework for the GAT Temporal Logic.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004
2003
The GAT Approach to Specifying Mixed Systems.
Informatica (Slovenia), 2003
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003
2002
Program. Comput. Softw., 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
2001
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
Concepts et modèles formels pour l'analyse et la conception à objets. (Formal concepts and models to object-oriented analysis and design).
, 2001
2000
Proceedings of the Rigorous Object-Oriented Methods, 2000
An algebraic view of UML class diagrams.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions.
J. Object Oriented Program., 1998
Editorial.
Obj. Logiciel Base données Réseaux, 1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
1992
Teaching object-oriented programming or using the object model to teach software engineering.
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992