The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frédéric Lang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gordon J. Pace, Frédéric Lang, Radu Mateescu
    Calculating-Confluence Compositionally. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:446-459 [Conf]
  2. Hubert Garavel, Frédéric Lang, Radu Mateescu
    Compiler Construction Using LOTOS NT. [Citation Graph (0, 0)][DBLP]
    CC, 2002, pp:9-13 [Conf]
  3. Frédéric Lang, Pierre Lescanne, Luigi Liquori
    A Framework for Defining Object-Calculi. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:963-982 [Conf]
  4. Frederic Tronel, Frédéric Lang, Hubert Garavel
    Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:244-260 [Conf]
  5. Hubert Garavel, Frédéric Lang
    SVL: A Scripting Language for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:377-394 [Conf]
  6. Hubert Garavel, Frédéric Lang
    NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:276-291 [Conf]
  7. Frédéric Lang
    Refined Interfaces for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:159-174 [Conf]
  8. Frédéric Lang
    Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:70-88 [Conf]
  9. Frédéric Lang
    Compositional Verification Using SVL Scripts. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:465-469 [Conf]
  10. Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
    Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:57-82 [Journal]
  11. Frédéric Lang, Pierre Lescanne
    On Strong Normalization of Explicit Substitution Calculi (Short Note). [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2000, v:2000, n:7, pp:- [Journal]
  12. Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
    CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:158-163 [Conf]
  13. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
    Translating FSP into LOTOS and Networks of Automata. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:558-578 [Conf]

  14. Partial Order Reductions Using Compositional Confluence Detection. [Citation Graph (, )][DBLP]


  15. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002