The SCEAS System
Navigation Menu

Search the dblp DataBase


Marc Aiguier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marc Aiguier, Diane Bahrami, Catherine Dubois
    On a Generalised Logicality Theorem. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:51-63 [Conf]
  2. Marc Aiguier, Christophe Gaston, Pascale Le Gall
    Feature Logics and Refinement. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:385-0 [Conf]
  3. 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]
  4. Roxane Adle, Marc Aiguier, Franck Delaplace
    Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:340-348 [Conf]
  5. Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
    Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:203-217 [Conf]
  6. Marc Aiguier, Karim Berkani, Pascale Le Gall
    Feature Specification and Static Analysis for Interaction Resolution. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:364-379 [Conf]
  7. Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
    An Algebraic Approach for Codesign. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:415-430 [Conf]
  8. Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet
    Automatic Generation of Functional Programs from CASL Specifications. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:34- [Conf]
  9. Marc Aiguier, Fabrice Barbier, Pascal Poizat
    A Logic with Temporal Glue for Mixed Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:155-174 [Journal]
  10. 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]
  11. Marc Aiguier, Razvan Diaconescu
    Stratified institutions and elementary homomorphisms. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:103, n:1, pp:5-13 [Journal]
  12. Roxane Adle, Marc Aiguier, Franck Delaplace
    Toward an automatic parallelization of sparse matrix computations. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2005, v:65, n:3, pp:313-330 [Journal]
  13. Marc Aiguier
    ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:145-178 [Journal]
  14. Gilles Bernot, Pascale Le Gall, Marc Aiguier
    Label Algebras and Exception Handling. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:2-3, pp:227-286 [Journal]
  15. Marc Aiguier, Diane Bahrami
    Une approche générique de la réécriture. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:4, pp:401-433 [Journal]
  16. Delphine Longuet, Marc Aiguier
    Specification-Based Testing for CoCasl's Modal Specifications. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:356-371 [Conf]
  17. Marc Aiguier, Delphine Longuet
    Test Selection Criteria for Modal Specifications of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:159-170 [Conf]
  18. 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]
  19. Marc Aiguier, Diane Bahrami
    Structures for Abstract Rewriting. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:38, n:4, pp:303-351 [Journal]

  20. Emergent Properties in Reactive Systems. [Citation Graph (, )][DBLP]

  21. Integration Testing from Structured First-Order Specifications via Deduction Modulo. [Citation Graph (, )][DBLP]

  22. Testing of Abstract Components. [Citation Graph (, )][DBLP]

  23. Symbolic Execution Techniques Extended to Systems. [Citation Graph (, )][DBLP]

  24. A Formal Definition of Complex Software. [Citation Graph (, )][DBLP]

  25. Property Preservation along Embedding of Biological Regulatory Networks. [Citation Graph (, )][DBLP]

  26. Spatial Information and Boolean Genetic Regulatory Networks. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002