The SCEAS System
Navigation Menu

Search the dblp DataBase


Jean-Claude Royer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pascal André, Jean-Claude Royer
    Optimizing Method Search with Lookup Caches and Incremental Coloring. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1992, pp:110-126 [Conf]
  2. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    A Global Semantics for Views. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:165-180 [Conf]
  3. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    Formal Specification of Mixed Components with Korrigan. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:169-176 [Conf]
  4. Olivier Maréchal, Pascal Poizat, Jean-Claude Royer
    Checking Asynchronously Communicating Components Using Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE (2), 2004, pp:1502-1519 [Conf]
  5. Jean-Claude Royer, Michael Xu
    Analysing Mailboxes of Asynchronous Communicating Components. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2003, pp:1421-1438 [Conf]
  6. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:124-139 [Conf]
  7. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    From Informal Requirements to COOP: A Concurrent Automata Approach. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:939-962 [Conf]
  8. Pascal Poizat, Jean-Claude Royer, Gwen Salaün
    Bounded Analysis and Decomposition for Behavioural Descriptions of Components. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:33-47 [Conf]
  9. Jean-Claude Royer
    A Framework for the GAT Temporal Logic. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:275-280 [Conf]
  10. Michel Allemand, Jean-Claude Royer
    Mixed Formal Specifications with PVS. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  11. Jean-Claude Royer
    Formal Specification and Proof Techniques for Mixed Systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:151- [Conf]
  12. Pascal André, Annya Romanczuk, Jean-Claude Royer
    Checking the Consistency of UML Class Diagrams Using Larch Prover. [Citation Graph (0, 0)][DBLP]
    Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
  13. Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer
    A Java Implementation of a Component Model with Explicit Symbolic Protocols. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2005, pp:115-124 [Conf]
  14. Sebastian Pavel, Jacques Noyé, Jean-Claude Royer
    Dynamic Configuration of Software Product Lines in ArchJava. [Citation Graph (0, 0)][DBLP]
    SPLC, 2004, pp:90-109 [Conf]
  15. Pascal Poizat, Christine Choppy, Jean-Claude Royer
    Concurrency and Data Types: A Specification Method: An Example with LOTOS. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:277-292 [Conf]
  16. Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos
    An algebraic view of UML class diagrams. [Citation Graph (0, 0)][DBLP]
    LMO, 2000, pp:261-276 [Conf]
  17. Jean-Claude Royer
    Editorial. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 1998, v:4, n:1, pp:- [Journal]
  18. Jean-Claude Royer
    Editorial. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 1999, v:5, n:3/4, pp:- [Journal]
  19. Jean-Claude Royer
    The GAT Approach to Specifying Mixed Systems. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2003, v:27, n:1, pp:89-104 [Journal]
  20. Jean-Claude Royer
    Type Checking Object-Oriented Programs: Core of the Problem and Some Solutions. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:6, pp:58-66 [Journal]
  21. Jean-Claude Royer
    Checking Class Schema Usefulness. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:1, pp:157-176 [Journal]
  22. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    The Korrigan Environment. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:1, pp:19-36 [Journal]
  23. Pascal Poizat, Jean-Claude Royer
    A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:12, pp:1741-1782 [Journal]
  24. Jean Bézivin, Olivier Roux, Jean-Claude Royer
    Teaching object-oriented programming or using the object model to teach software engineering. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1993, v:4, n:2, pp:269-276 [Journal]
  25. Jean-Claude Royer
    An Operational Approach to the Semantics of Classes: Application to Type Checking. [Citation Graph (0, 0)][DBLP]
    Programming and Computer Software, 2002, v:28, n:3, pp:127-147 [Journal]

  26. Dealing with fine-grained configurations in model-driven SPLs. [Citation Graph (, )][DBLP]

  27. JavaCompExt: Extracting Architectural Elements from Java Source Code. [Citation Graph (, )][DBLP]

  28. Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. [Citation Graph (, )][DBLP]

  29. Event strictness for components with complex bindings. [Citation Graph (, )][DBLP]

  30. Product Derivation in a Model-Driven Software Product Line using Decision Models. [Citation Graph (, )][DBLP]

  31. Lignes de produits logiciels et usines logicielles. [Citation Graph (, )][DBLP]

  32. Une proposition de composants formels. [Citation Graph (, )][DBLP]

  33. The STSLib Project: Towards a Formal Component Model Based on STS. [Citation Graph (, )][DBLP]

Search in 0.022secs, Finished in 0.024secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002