Search the dblp DataBase

Publications of Author

1. Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
   A Temporal Logic for Input Output Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:43-50 [Conf]
   
2. Marc Aiguier, Diane Bahrami, Delphine Longuet
   An Abstract Way to Define Rewriting Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:205-226 [Journal]
   
3. Delphine Longuet, Marc Aiguier
   Specification-Based Testing for CoCasl's Modal Specifications. [Citation Graph (0, 0)][DBLP]
   CALCO, 2007, pp:356-371 [Conf]
   
4. Marc Aiguier, Delphine Longuet
   Test Selection Criteria for Modal Specifications of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:159-170 [Conf]
   
5. Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
   Test Selection Criteria for Quantifier-Free First-Order Specifications. [Citation Graph (0, 0)][DBLP]
   FSEN, 2007, pp:144-159 [Conf]
   
6. 
   Integration Testing from Structured First-Order Specifications via Deduction Modulo. [Citation Graph (, )][DBLP]
   
   
7. 
   Schedulability and Compatibility of Real Time Asynchronous Objects. [Citation Graph (, )][DBLP]