Marc Aiguier

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 14

Top Topics

Morphological Operations

Belief Revision

Adaptive Neighborhood

Structuring Elements

Top Venues

Int. J. Approx. Reason.

Logica Universalis

Publications

Marc Aiguier, Isabelle Bloch, Romain Pascual
Ultraproducts in abstract categorical logic. CoRR (2024)
Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique. JIAF (2023)
Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
Morpho-logic from a Topos Perspective: Application to symbolic AI. CoRR (2023)
Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
Morpho-logic from a topos perspective - application to symbolic AI. Int. J. Approx. Reason. 161 (2023)
Marc Aiguier, Isabelle Bloch
Abstract Categorical Logic. Logica Universalis 17 (1) (2023)
Alexandre Goy, Daniela Petrisan, Marc Aiguier
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ICALP (2021)
Marc Aiguier, Isabelle Bloch, Ramón Pino Pérez
Abstract Mathematical morphology based on structuring element: Application to morpho-logic. CoRR (2020)
Alexandre Goy, Marc Aiguier, Isabelle Bloch
From Structuring Elements to Structuring Neighborhood Systems. ISMM (2019)
Marc Aiguier, Isabelle Bloch
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. J. Appl. Non Class. Logics 29 (4) (2019)
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Artif. Intell. 256 (2018)
Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Int. J. Approx. Reason. 102 (2018)
Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. CoRR (2018)
Marc Aiguier, Isabelle Bloch
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. CoRR (2017)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. 26 (4) (2016)
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases. CoRR (2015)
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
Belief revision in Institutions : A relaxation based approach. CoRR (2015)
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
Relaxation-based revision operators in description logics. CoRR (2015)
Marc Aiguier, Bilal Kanso
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. Sci. Ann. Comput. Sci. 24 (1) (2014)
Marc Aiguier, Boris Golden, Daniel Krob
An Adequate Logic for Heterogeneous Systems. ICECCS (2013)
Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
Results for Compositional Timed Testing. APSEC (1) (2013)
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
Testing of Component-Based Systems. APSEC (2012)
Boris Golden, Marc Aiguier, Daniel Krob
Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. Appl. Math. Comput. 218 (16) (2012)
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. 455 (2012)
Marc Aiguier
Special issue on complex systems design and management. Concurr. Eng. Res. Appl. 20 (2) (2012)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5 (3) (2011)
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
Testing of Abstract Components. ICTAC (2010)
Delphine Longuet, Marc Aiguier, Pascale Le Gall
Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. 45 (4) (2010)
Marc Aiguier, Delphine Longuet
Some General Results About Proof Normalization. Logica Universalis 4 (1) (2010)
Delphine Longuet, Marc Aiguier
Integration Testing from Structured First-Order Specifications via Deduction Modulo. ICTAC (2009)
Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès
Spatial Information and Boolean Genetic Regulatory Networks. BICoB (2009)
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre
Symbolic Execution Techniques Extended to Systems. ICSEA (2009)
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
A Formal Definition of Complex Software. ICSEA (2008)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall
Property Preservation along Embedding of Biological Regulatory Networks. AB (2008)
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
Emergent Properties in Reactive Systems. APSEC (2008)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN (2007)
Marc Aiguier, Delphine Longuet
Test Selection Criteria for Modal Specifications of Reactive Systems. TASE (2007)
Delphine Longuet, Marc Aiguier
Specification-Based Testing for CoCasl's Modal Specifications. CALCO (2007)
Marc Aiguier, Razvan Diaconescu
Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103 (1) (2007)
Marc Aiguier, Diane Bahrami
Structures for Abstract Rewriting. J. Autom. Reason. 38 (4) (2007)
Marc Aiguier, Fabrice Barbier
An Institution-independent Proof of the Beth Definability Theorem. Stud Logica 85 (3) (2007)
Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet
Automatic Generation of Functional Programs from CASL Specifications. ICSEA (2006)
Marc Aiguier, Karim Berkani, Pascale Le Gall
Feature Specification and Static Analysis for Interaction Resolution. FM (2006)
Marc Aiguier, Diane Bahrami, Delphine Longuet
An Abstract Way to Define Rewriting Logic. Electron. Notes Theor. Comput. Sci. 159 (2006)
Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
A Temporal Logic for Input Output Symbolic Transition Systems. APSEC (2005)
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES (2005)
Roxane Adle, Marc Aiguier, Franck Delaplace
Toward an automatic parallelization of sparse matrix computations. J. Parallel Distributed Comput. 65 (3) (2005)
Marc Aiguier
ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. J. Log. Comput. 14 (2) (2004)
Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
An Algebraic Approach for Codesign. ICTAC (2004)
Marc Aiguier, Fabrice Barbier, Pascal Poizat
A Logic with Temporal Glue for Mixed Specifications. Electron. Notes Theor. Comput. Sci. 97 (2004)
Marc Aiguier, Diane Bahrami
Une approche générique de la réécriture. Tech. Sci. Informatiques 22 (4) (2003)
Marc Aiguier, Diane Bahrami, Catherine Dubois
On a Generalised Logicality Theorem. AISC (2002)
Marc Aiguier, Christophe Gaston, Pascale Le Gall
Feature Logics and Refinement. APSEC (2002)
Roxane Adle, Marc Aiguier, Franck Delaplace
Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. Euro-Par (2000)
Christophe Gaston, Marc Aiguier, Pascale Le Gall
Algebraic Treatment of Feature-oriented Systems. FIREworks (2000)
Gilles Bernot, Pascale Le Gall, Marc Aiguier
Label Algebras and Exception Handling. Sci. Comput. Program. 23 (2-3) (1994)