Search the dblp DataBase

Publications of Author

1. Alexandre Genon, Thierry Massart, Cédric Meuter
   Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:557-572 [Conf]
   
2. Michael Leuschel, Thierry Massart, Andrew Currie
   How to Make FDR Spin LTL Model Checking of CSP by Refinement. [Citation Graph (0, 0)][DBLP]
   FME, 2001, pp:99-118 [Conf]
   
3. Thierry Massart
   A Calculus to Define Correct Tranformations of LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
   FORTE, 1991, pp:281-296 [Conf]
   
4. A. Cohen, Thierry Massart, Bernard Sales, Paul van Binst
   The HELIOS project: OSI conformant, high speed data communication by satellite in Europe. [Citation Graph (0, 0)][DBLP]
   ICCC, 1988, pp:94-98 [Conf]
   
5. Michael Leuschel, Thierry Massart
   Infinite State Model Checking by Abstract Interpretation and Program Specialisation. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1999, pp:62-81 [Conf]
   
6. Bram De Wachter, Thierry Massart, Cédric Meuter
   dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. [Citation Graph (0, 0)][DBLP]
   OPODIS, 2003, pp:132-145 [Conf]
   
7. Bram De Wachter, Alexandre Genon, Thierry Massart
   From Static Code Distribution to More Shrinkage for the Multiterminal Cut. [Citation Graph (0, 0)][DBLP]
   WEA, 2005, pp:177-188 [Conf]
   
8. Thierry Massart
   A Collision Problem in OSI Standard Formal Specifications. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1993, v:26, n:2, pp:233-238 [Journal]
   
9. Thierry Massart, Raymond R. Devillers
   Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1993, v:5, n:1, pp:79-88 [Journal]
   
10. Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter
    The formal design of distributed controllers with _dSL and Spin. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:2, pp:177-200 [Journal]
    
11. Thierry Massart
    An Agent Calculus with Simple Actions Where the Enabling and Disabling are Derived Operators. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:40, n:4, pp:213-218 [Journal]
    
12. Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
    Efficient Approximate Verification of Promela Models Via Symmetry Markers. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:300-315 [Conf]
    
13. Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
    Testing Distributed Systems Through Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:263-279 [Conf]