|
Search the dblp DataBase
Marc Aiguier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marc Aiguier, Diane Bahrami, Catherine Dubois
On a Generalised Logicality Theorem. [Citation Graph (0, 0)][DBLP] AISC, 2002, pp:51-63 [Conf]
- Marc Aiguier, Christophe Gaston, Pascale Le Gall
Feature Logics and Refinement. [Citation Graph (0, 0)][DBLP] APSEC, 2002, pp:385-0 [Conf]
- 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]
- 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]
- 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]
- 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]
- Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
An Algebraic Approach for Codesign. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:415-430 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Delphine Longuet, Marc Aiguier
Specification-Based Testing for CoCasl's Modal Specifications. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:356-371 [Conf]
- Marc Aiguier, Delphine Longuet
Test Selection Criteria for Modal Specifications of Reactive Systems. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:159-170 [Conf]
- 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]
- 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]
Emergent Properties in Reactive Systems. [Citation Graph (, )][DBLP]
Integration Testing from Structured First-Order Specifications via Deduction Modulo. [Citation Graph (, )][DBLP]
Testing of Abstract Components. [Citation Graph (, )][DBLP]
Symbolic Execution Techniques Extended to Systems. [Citation Graph (, )][DBLP]
A Formal Definition of Complex Software. [Citation Graph (, )][DBLP]
Property Preservation along Embedding of Biological Regulatory Networks. [Citation Graph (, )][DBLP]
Spatial Information and Boolean Genetic Regulatory Networks. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.306secs
|