The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre-Alain Masson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand
    Modular Verification for a Class of PLTL Properties. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:398-419 [Conf]
  2. Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir
    Modular Verification of Dynamic Properties for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:89-108 [Conf]
  3. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
    PLTL-partitioned model checking for reactive systems under fairness assumptions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:2, pp:267-301 [Journal]
  4. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
    PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  5. Generating Tests from B Specifications and Test Purposes. [Citation Graph (, )][DBLP]


  6. B Model Abstraction Combining Syntactic and Semantic Methods. [Citation Graph (, )][DBLP]


  7. Generating Security Tests in Addition to Functional Tests. [Citation Graph (, )][DBLP]


  8. Syntactic Abstraction of B Models to Generate Tests. [Citation Graph (, )][DBLP]


  9. Automatic generation of model based tests for a class of security properties. [Citation Graph (, )][DBLP]


  10. Syntactic Abstraction of B Models to Generate Tests [Citation Graph (, )][DBLP]


Search in 0.088secs, Finished in 0.089secs
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