|
|
M. Aiguier and D. Longuet. Some General Results About Proof Normalization Logica Universalis , 4(1):1-29, 2010. |
|
|
|
|
M. Aiguier, P. Le Gall and M'Barka Mabrouki. Complex software systems : Formalization and Applications (IARIA) International Journal on Advances in Software , 2(1):47-62, 2009. Invited paper - Extended version of the conference paper ICSEA'08. |
|
|
|
|
D. Longuet, M. Aiguier and P. Le Gall. Proof-Guided Test Selection from First-Order Specifications with Equality Journal of Automated Reasoning, 2010. Available online. |
|
|
|
|
M. Aiguier and D. Bahrami. Structures for abstract rewriting Journal of Automated Reasoning, 38(4):303-351, 2007. |
|
|
|
|
M. Aiguier and F. Barbier. An institution-independent Proof of the Beth Definability Theorem Studia Logica, 85(3):333-359, 2007. |
|
|
|
|
M. Aiguier and R. Diaconescu. Stratified institutions and elementary homomorphisms Information Processing Letters, 103(1):5-13, 2007. |
|
|
|
|
R. Adle, M. Aiguier and F. Delaplace. Toward an automatic parallelization of sparse matrix computations Journal of Parallel Distributed Computing, 65(3):313-330, 2005. |
|
|
|
|
M. Aiguier. ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement Journal of Logic and Computation, 14(2):145-178, 2004. |
|
|
|
|
M. Aiguier and D. Bahrami. Une approche générique de la réécriture Technique et Science Informatiques, 22:401-433, 2003. |
|
|
|
|
C. Gaston, M. Aiguier and P. Le Gall. Algebraic treatment of feature-oriented systems in Language Constructs for Describing Features, S. Gilmore and M. Ryan (eds), Springer-Verlag, 2001. |
|
|
|
|
S. Béroff and M. Aiguier. Spécifications algébriques temps réel Technique et Science Informatiques, 17(1), 1998. |
|
|
|
|
M. Aiguier, J. Benzakki, G. Bernot, S. Béroff, D. Dupont, L. Freund, M. Israël and F. Rousseau. ECOS : Environnement générique de cospécification CODESIGN conception conjointe logiciel-matèriel, CTI COMETE, Eyrolles, 1998. | ||
|
|
M. Aiguier, J. Benzakki, G. Bernot, S. Béroff, D. Dupont, L. Freund, M. Israël and F. Rousseau. ECOS: A Generic Codesign Environment for the prototyping of Real Time Applications, From Formal Specifications to Hardware/Software Partitioning Issue in Electronic Modeling (CIEM), Hardware/Software Co-Design \& Co-verification, 8:23-57 Kluwer Academic Press, 1996. | ||
|
|
G. Bernot, P. Le Gall and M. Aiguier. Label algebras and exception handling Science of Computer and Programming, 23(2-3):227-286, 1994. |
|
|
|
|
M. Aiguier and G. Bernot. Algebraic semantics of object type specifications In Information Systems Correctness and Reusability, R.-J. Wieringa and R.-B. Feenstra (eds), World Scientific Publishing, 1994. |
|
|
|
B. Kanso, M. Aiguier, F. Boulanger and A. Touil. Testing of Abstract Components In ICTAC 2010 - International Conference on Theoretical Aspect of Computing., LNCS, 2010. To appear. |
|
|
|
|
C. Gaston, M. Aiguier, D. Bahrami and A. Lapitre. Symbolic Execution Techniques Extended to Systems. In ICSEA 2009 - International Conference on Software Engineering Advances., IEEE Computer Society Press, 2009. |
|
|
|
|
D. Longuet and M. Aiguier. Integration Testing from Structured First-Order Specifications via Deduction Modulo In ICTAC 2009 - International Conference on Theoretical Aspect of Computing., LNCS 5684, pp. 261-276, 2009. |
|
|
|
|
M. Manceny, M. Aiguier, P. Le Gall, J. Hérisson, I. Junier and F. Képès. Spatial Information to Restrict the Dynamics of Genetic Regulatory Networks In BICoB 2009 - International Conference on BioInformatics and Computational Biology., LNBI 5462, pp. 270-281, 2009. |
|
|
|
|
M. Aiguier, P. Le Gall and M. Mabrouki. Emerging properties in reactive systems In APSEC 2008 - 15th Asia-Pacific Software Engineering Conference., IEEE Computer Society Press, 2008. |
|
|
|
|
M. Aiguier, P. Le Gall and M. Mabrouki. A formal definition of complex software In ICSEA 2008 - 3rd International Conference on Software Engineering Advances., IEEE Computer Society Press, 2008. - Short version of "A formal denotation of complex systems: how to use algebraic refinement to deal with complexity of systems" available as an internal report below. | ||
|
|
M. Mabrouki, M. Aiguier, J.-P. Comet and P. Le Gall. Property preservation along embedding of biological regulatory networks. In AB 2008 - 3rd International Conference on Algebraic Biology., LNCS 5147, pp. 125-138, 2008. |
|
|
|
|
M. Aiguier and D. Longuet. Test Case Selection for Dynamic Systems by Unfolding of Modal Axioms. In TASE 2007 - 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering., IEEE Computer Society Press, 2007. |
|
|
|
|
M. Aiguier, A. Arnould, P. Le Gall and D. Longuet. Test Selection Criteria for Quantifier-Free First-order Specifications. In FSEN'2007 - Foundations of Software Engineering. , LNCS 4767, pp. 144-159, 2007. |
|
|
|
|
D. Longuet and M. Aiguier. Specification-Based Testing for COCASL's modal specifications. In CALCO'2007 - Conference on Algebra and Coalgebra in Computer Science., LNCS 4624, pp. 356-371, 2007. |
|
|
|
|
M. Aiguier, K. Berkani and P. Le Gall. Feature specification and static analysis for interaction resolution. In FM'2006 - Formal Methods ., LNCS 4085, pp. 364-379, 2006. |
|
|
|
|
A. Arnould, M. Aiguier, L. Fuchs and Th. Brunet. Automatic generation of functional programs from CASL specifications. In ICSEA 2006 - International Conference on Software Engineering Advances., IEEE Computer Society Press, 2006. |
|
|
|
|
M. Aiguier, D. Bahrami and D. Longuet. An abstract way to define rewriting logic. In FSEN'2005 - Foundations of Software Engineering., ENTCS 159:205-226, 2006. |
|
|
|
|
M. Aiguier, A. Arnould, C. Boin, P. Le Gall and B. Marre. Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. In FATES'2005 - Formal Approaches to Testing of Software., LNCS 3997, pp. 203-217, 2005. |
|
|
|
|
M. Aiguier, C. Gaston, D. Longuet and and A. Touil. A Temporal Logic for Input Output Symbolic Transition Systems. In APSEC'05 - Asia-Pacific Software Engineering Conference., IEEE Computer Society Press, 2005. |
|
|
|
|
M. Aiguier, S. Béroff, and P.-Y. Schobbens. An algebraic approach for Codesign. In ICTAC'2004 - First International Colloquium on Theoretical Aspacts of Computing., LNCS 3407, pp. 415-430, 2004. |
|
|
|
|
M. Aiguier, F. Barbier and P. Poizat. A Logic with Temporal Glue for Mixed Specifications. In FOCLASA'2003 - Foundations of Coordination Languages and Software Architectures., ENTCS 97:155-194, 2004. |
|
|
|
|
M. Aiguier, C. Gaston, and P. Le Gall. Feature Logics and refinement. In APSEC'02 - Asia-Pacific Software Engineering Conference., IEEE Computer Society Press, 2002. |
|
|
|
|
M. Aiguier, D. Bahrami and C. Dubois. On a Generalised Logicality Theorem. In AISC'2002 - Artificial Intelligence, Automated Reasoning, and Symbolic Computation(AISC)., LNAI 2387, pp. 51-63, 2002. |
|
|
|
|
M. Aiguier, C. Gaston and P. Le Gall. A properties-oriented formalism to deal with quality of services in telecommunication systems. In IST'01 - International Symposium on Telecommunications(IST)., 2001. |
|
|
|
|
R. Adle, M. Aiguier, and F. Delaplace. Automatic Parallelization of Sparse Matrix Computations: A static analysis. In EUROPAR'00 - Parallel Processing., LNCS 1900, pp. 340-348, 2000. |
|
|
|
|
A. Oswald, S. Azadegan, M. Aiguier, D. Smarkusky, S. Huang and J. Spiess. An International Common Project Model. In FIE - Frontiers in Education Conference(FIE), IEEE Computer Society Press, 1999. | ||
|
|
M. Aiguier, S. Béroff, L. Freund, G. Bernot and M. Israël. Axiomatic Specifications for Hardware System Design. In CEDDA - International Conference on Concurrent Engineering & Electronic Design Automation, Epic EM Publication, 1996. |
|
|
|
M. Aiguier and D. Longuet. Notes on generalization of proof normalization. |
|
|
|
|
M. Aiguier, A. Arnould and P. Le Gall. Exhaustive test sets for algebraic specification correctness. |
|
|
|
|
M. Aiguier, D. Bahrami and D. Longuet. Abstract rewriting logic parameterized by a formal system. |
|
|
|
|
M. Aiguier, P. Le Gall and M. Mabrouki. A formal denotation of complex systems: how to use algebraic refinement to deal with complexity of systems |
|
|
|
|
C. Gaston, M. Aiguier and A. Lapitre. Symbolic Execution and Heterogeneous Modelling |
|
|
|
|
C. Gaston, M. Aiguier, A. Lapitre, A. Cuccuru, and C. Mraidha. LEM: a Language for Expressing execution and interaction semantics |
|