Search the dblp DataBase

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]