Search the dblp DataBase
Jean-Claude Royer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Christine Choppy , Pascal Poizat , Jean-Claude Royer A Global Semantics for Views. [Citation Graph (0, 0)][DBLP ] AMAST, 2000, pp:165-180 [Conf ] 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 ] 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 ] Jean-Claude Royer , Michael Xu Analysing Mailboxes of Asynchronous Communicating Components. [Citation Graph (0, 0)][DBLP ] CoopIS/DOA/ODBASE, 2003, pp:1421-1438 [Conf ] 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 ] 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 ] 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 ] Jean-Claude Royer A Framework for the GAT Temporal Logic. [Citation Graph (0, 0)][DBLP ] IASSE, 2004, pp:275-280 [Conf ] Michel Allemand , Jean-Claude Royer Mixed Formal Specifications with PVS. [Citation Graph (0, 0)][DBLP ] IPDPS, 2002, pp:- [Conf ] Jean-Claude Royer Formal Specification and Proof Techniques for Mixed Systems. [Citation Graph (0, 0)][DBLP ] IPDPS, 2001, pp:151- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Jean-Claude Royer Editorial. [Citation Graph (0, 0)][DBLP ] L'OBJET, 1998, v:4, n:1, pp:- [Journal ] Jean-Claude Royer Editorial. [Citation Graph (0, 0)][DBLP ] L'OBJET, 1999, v:5, n:3/4, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Dealing with fine-grained configurations in model-driven SPLs. [Citation Graph (, )][DBLP ] JavaCompExt: Extracting Architectural Elements from Java Source Code. [Citation Graph (, )][DBLP ] Components with Symbolic Transition Systems: A Java Implementation of Rendezvous. [Citation Graph (, )][DBLP ] Event strictness for components with complex bindings. [Citation Graph (, )][DBLP ] Product Derivation in a Model-Driven Software Product Line using Decision Models. [Citation Graph (, )][DBLP ] Lignes de produits logiciels et usines logicielles. [Citation Graph (, )][DBLP ] Une proposition de composants formels. [Citation Graph (, )][DBLP ] The STSLib Project: Towards a Formal Component Model Based on STS. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.304secs