M. Aiguier

Most-cited papers

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
M. Aiguier, J. Atif, I. Bloch, C. Hudelot
2015Artificial Intelligence28 citations Open access
Semantic Scholar
Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems
B. Golden, M. Aiguier, D. Krob
2012Applied Mathematics and Computation28 citations Open access
Semantic Scholar
Exhaustive test sets for algebraic specification correctness
M. Aiguier, Agnès Arnould, P. Le Gall
200727 citations
Semantic Scholar
Stratified institutions and elementary homomorphisms
M. Aiguier, R. Diaconescu
2007Information Processing Letters24 citations
Semantic Scholar
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
M. Aiguier, Agnès Arnould, Clément Boin, P. Le Gall +1 more
2005International Workshop on Formal Approaches to Testing of Software18 citations
Semantic Scholar
Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013
M. Aiguier, Frédéric Boulanger, D. Krob, C. Marchal
201416 citations
Semantic Scholar
An Institution-independent Proof of the Beth Definability Theorem
M. Aiguier, Fabrice Barbier
2007Studia Logica: An International Journal for Symbolic Logic16 citations
Semantic Scholar
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
M. Aiguier, I. Bloch
2019J. Appl. Non Class. Logics14 citations
Semantic Scholar
A temporal logic for input output symbolic transition systems
M. Aiguier, Christophe Gaston, P. Le Gall, D. Longuet +1 more
2005Asia-Pacific Software Engineering Conference14 citations
Semantic Scholar
A Formal Definition of Complex Software
M. Aiguier, P. Le Gall, Mbarka Mabrouki
20082008 The Third International Conference on Software Engineering Advances12 citations
Semantic Scholar
ECOS A Generic Codesign Environment for the Prototyping of Real Time Applications “From Formal Specifications to Hardware-Software Partitioning”
M. Aiguier, J. Benzakki, G. Bernot, S. Béroff +4 more
199711 citations
Semantic Scholar
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces
Alexandre Goy, Daniela Petrisan, M. Aiguier
2021International Colloquium on Automata, Languages and Programming10 citations
Semantic Scholar
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
M. Aiguier, J. Atif, I. Bloch, R. Pérez
2018International Journal of Approximate Reasoning10 citations Open access
Semantic Scholar
On a Generalised Logicality Theorem
M. Aiguier, D. Bahrami, Catherine Dubois
2002Artificial Intelligence and Symbolic Computation10 citations
Semantic Scholar
A formal abstract framework for modeling and testing complex software systems (cid:73)
M. Aiguier, Frédéric Boulanger, B. Kanso
197710 citations
Semantic Scholar
A formal abstract framework for modelling and testing complex software systems
M. Aiguier, Frédéric Boulanger, B. Kanso
2012Theoretical Computer Science9 citations Open access
Semantic Scholar
Label Algebras and Exception Handling
G. Bernot, P. Le Gall, M. Aiguier
1994Science of Computer Programming9 citations Open access
Semantic Scholar
Test selection criteria for quantifier-free first-order specifications
M. Aiguier, Agnès Arnould, P. Le Gall, D. Longuet
2007Fundamentals of Software Engineering8 citations Open access
Semantic Scholar
A Logic with Temporal Glue for Mixed Specifications
M. Aiguier, Fabrice Barbier, P. Poizat
2004FOCLASA8 citations Open access
Semantic Scholar
Algebraic Treatment of Feature-oriented Systems
Christophe Gaston, M. Aiguier, P. Le Gall
2000FIREworks workshop8 citations
Semantic Scholar
Testing of Abstract Components
B. Kanso, M. Aiguier, Frédéric Boulanger, Assia Touil
2010International Colloquium on Theoretical Aspects of Computing7 citations Open access
Semantic Scholar
ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement
M. Aiguier
2004Journal of Logic and Computation7 citations
Semantic Scholar
Complex software systems : Formalization and Applications
M. Aiguier, P. Le Gall, Mbarka Mabrouki
20096 citations
Semantic Scholar
Embedding of Biological Regulatory Networks and Property Preservation
Mbarka Mabrouki, M. Aiguier, J. Comet, P. Le Gall +1 more
2011Mathematics and Computer Science5 citations Open access
Semantic Scholar
Feature Specification and Static Analysis for Interaction Resolution
M. Aiguier, K. Berkani, P. Le Gall
2006World Congress on Formal Methods5 citations Open access
Semantic Scholar
Testing of Component-Based Systems
B. Kanso, M. Aiguier, Frédéric Boulanger, Christophe Gaston
2012Asia-Pacific Software Engineering Conference4 citations
Semantic Scholar
A formal denotation of complex systems: how to use algebraic refinement to deal with complexity of systems
M. Aiguier, P. Le Gall, Mbarka Mabrouki
20084 citations
Semantic Scholar
Structures for Abstract Rewriting
M. Aiguier, D. Bahrami
2007Journal of automated reasoning4 citations
Semantic Scholar
Feature logics and refinement
M. Aiguier, Christophe Gaston, P. Le Gall
2002Ninth Asia-Pacific Software Engineering Conference, 2002.4 citations
Semantic Scholar
[Premature rupture of the membranes between 28 and 34 weeks of amenorrhea. Retrospective study apropos of 71 cases].
A. Mehdi, F. Collet, M. Aiguier, T. Miras +2 more
2000Journal de gynecologie, obstetrique et biologie de la reproduction4 citations
Semantic Scholar
From Structuring Elements to Structuring Neighborhood Systems
Alexandre Goy, M. Aiguier, I. Bloch
2019International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing3 citations
Semantic Scholar
Results for Compositional Timed Testing
Boutheina Bannour, Christophe Gaston, M. Aiguier, Arnault Lapitre
2013Asia-Pacific Software Engineering Conference3 citations
Semantic Scholar
An Adequate Logic for Heterogeneous Systems
M. Aiguier, B. Golden, D. Krob
2013IEEE International Conference on Engineering of Complex Computer Systems3 citations Open access
Semantic Scholar
Symbolic Execution Techniques Extended to Systems
Christophe Gaston, M. Aiguier, D. Bahrami, Arnault Lapitre
20092009 Fourth International Conference on Software Engineering Advances3 citations Open access
Semantic Scholar
Emergent Properties in Reactive Systems
M. Aiguier, P. Le Gall, Mbarka Mabrouki
2008Asia-Pacific Software Engineering Conference3 citations
Semantic Scholar
Specification-Based Testing for CoCasl's Modal Specifications
D. Longuet, M. Aiguier
2007Conference on Algebra and Coalgebra in Computer Science3 citations
Semantic Scholar
Morpho-logic from a Topos Perspective: Application to symbolic AI
M. Aiguier, Isabelle Bloch, Salim Nibouche, R. Pérez
2023arXiv.org2 citations Open access
Semantic Scholar
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
M. Aiguier, I. Bloch
2017arXiv.org2 citations
Semantic Scholar
Exhaustive test sets for algebraic specifications
M. Aiguier, Agnès Arnould, P. Le Gall, D. Longuet
2016Software testing, verification & reliability2 citations
Semantic Scholar
LaMI Laboratoire de Méthodes Informatiques On Generalized Theorems for Normalization of Proofs
M. Aiguier, Clément Boin, D. Longuet
20082 citations
Semantic Scholar
Test Selection Criteria for Modal Specifications of Reactive Systems
M. Aiguier, D. Longuet
2007Theoretical Aspects of Software Engineering2 citations Open access
Semantic Scholar
An Abstract Way to Define Rewriting Logic
M. Aiguier, D. Bahrami, D. Longuet
2006Fundamentals of Software Engineering2 citations Open access
Semantic Scholar
On a generalized theorem for normalization of proof trees
M. Aiguier, Clément Boin, D. Longuet
20052 citations
Semantic Scholar
A Logic for Mixed Specications
M. Aiguier, Fabrice Barbier, P. Poizat
20022 citations
Semantic Scholar
Morpho-logic from a topos perspective - application to symbolic AI
M. Aiguier, Isabelle Bloch, Salim Nibouche, R. Pérez
2023International Journal of Approximate Reasoning1 citations Open access
Semantic Scholar
Abstract Categorical Logic
M. Aiguier, Isabelle Bloch
2022Logica Universalis1 citations
Semantic Scholar
Abstract Mathematical morphology based on structuring element: Application to morpho-logic
M. Aiguier, I. Bloch, R. Pérez
2020arXiv.org1 citations
Semantic Scholar
Belief revision in Institutions : A relaxation based approach
M. Aiguier, J. Atif, I. Bloch, C. Hudelot
2015arXiv.org1 citations
Semantic Scholar
Conformance testing of component-based systems
B. Kanso, M. Aiguier, Frédéric Boulanger, Christophe Gaston
20121 citations
Semantic Scholar
Integration Testing from Structured First-Order Specifications via Deduction Modulo
D. Longuet, M. Aiguier
2009International Colloquium on Theoretical Aspects of Computing1 citations Open access
Semantic Scholar