Accéder directement au contenu

Marc Aiguier

46
Documents
Identifiants chercheurs

Publications

Image document

Morpho-Logic from a Topos Perspective – Application to Symbolic AI

Marc Aiguier , Isabelle Bloch , Salim Nibouche , Ramón Pino Pérez
International Journal of Approximate Reasoning, 2023, 161, pp.109011. ⟨10.1016/J.IJAR.2023.109011⟩
Article dans une revue hal-04453306v1

Abstract Categorical Logic

Marc Aiguier , Isabelle Bloch
Logica Universalis, 2023, 17 (1), pp.23-67. ⟨10.1007/s11787-022-00320-w⟩
Article dans une revue hal-04491095v1

Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions

Marc Aiguier , Isabelle Bloch
Journal of Applied Non-Classifcal Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩
Article dans une revue hal-02288074v1

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

Marc Aiguier , Jamal Atif , Isabelle Bloch , Ramon Pino Perez
International Journal of Approximate Reasoning, 2018, 102, pp.1 - 20. ⟨10.1016/j.ijar.2018.07.014⟩
Article dans une revue hal-01858106v1
Image document

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics

Marc Aiguier , Jamal Atif , Isabelle Bloch , Céline Hudelot
Artificial Intelligence, 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩
Article dans une revue hal-01823450v1

Exhaustive test sets for algebraic specification correctness

Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue hal-01318362v1
Image document

A logic for complex computing systems: Properties preservation along integration and abstraction

Marc Aiguier , Bilal Kanso
Scientific Annals of Computer Science, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩
Article dans une revue hal-01056530v1
Image document

Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems

Marc Aiguier , Boris Golden , Daniel Krob
Applied Mathematics and Computation, 2012, 218 (16), pp.8039-8055
Article dans une revue hal-00782859v1
Image document

A formal abstract framework for modelling and testing complex software systems

Marc Aiguier , Frédéric Boulanger , Bilal Kanso
Theoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
Article dans une revue hal-00782372v1
Image document

Embedding of biological regulatory networks and property preservation

Mbarka Mabrouki , Marc Aiguier , Jean-Paul Comet , Pascale Le Gall , Adrien Richard
Mathematics in Computer Science, 2011, 5 (1), pp.263-288
Article dans une revue hal-00782867v1
Image document

Some General Results About Proof Normalization

Marc Aiguier , Longuet Delphine
Logica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩
Article dans une revue hal-00782857v1
Image document

Proof-Guided Test Selection from First-Order Specifications with Equality

Delphine Longuet , Marc Aiguier , Pascale Le Gall
Journal of Automated Reasoning, 2010, 45 (4), pp.437-473
Article dans une revue hal-00782871v1
Image document

Complex software systems : Formalization and Applications

Marc Aiguier , Pascale Le Gall , Mbarka Mabrouki
International Journal On Advances in Software, 2009, 2 (1), pp.47-62
Article dans une revue hal-00782879v1
Image document

Structures for abstract rewriting

Marc Aiguier , Diane Bahrami
Journal of Automated Reasoning, 2007, 38, pp.303--351. ⟨10.1007/s10817-006-9065-7⟩
Article dans une revue hal-00341965v1

Stratified institutions and elementary homomorphisms

Marc Aiguier , Rǎzvan Diaconescu
Information Processing Letters, 2007, 103 (1), pp.5--13. ⟨10.1016/j.ipl.2007.02.005⟩
Article dans une revue hal-00341974v1
Image document

An Institution-Independent Proof of the Beth Definability Theorem

Marc Aiguier , Fabrice Barbier
Studia Logica, 2007, 85 (3), pp.333--359
Article dans une revue hal-00341973v1
Image document

Towards an Automatic Parallelisation of Sparse Matrix Computations

Roxanne Adle , Marc Aiguier , Franck Delaplace
Journal of Parallel and Distributed Computing, 2005, 65 (3), pp.313--330
Article dans une revue hal-00341971v1

An Institution-Independent Proof of the Beth Definability Theorem

Marc Aiguier , Fabrice Barbier
Studia Logica, 2005, pp.n.a
Article dans une revue hal-00341967v1
Image document

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces

Alexandre Goy , Daniela Petrişan , Marc Aiguier
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩
Communication dans un congrès hal-04491472v1

From Structuring Elements to Structuring Neighborhood Systems

Alexandre Goy , Marc Aiguier , Isabelle Bloch
14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
Communication dans un congrès hal-02288568v1

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning

Marc Aiguier , Isabelle Bloch
World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France
Communication dans un congrès hal-02287722v1
Image document

An adequate logic for heterogeneous systems

Marc Aiguier , Boris Golden , Daniel Krob
18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩
Communication dans un congrès hal-00812339v1

Results for Compositional Timed Testing

Boutheïna Bannour , Boutheina Bannour , Christophe Gaston , Marc Aiguier , Arnault Lapitre
2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. ⟨10.1109/APSEC.2013.81⟩
Communication dans un congrès hal-01812126v1
Image document

Testing of component-based systems

Marc Aiguier , Bilal Kanso , Frédéric Boulanger , Christophe Gaston
19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Communication dans un congrès hal-00782889v1
Image document

Testing of Abstract Components

Bilal Kanso , Marc Aiguier , Frédéric Boulanger , Assia Touil
ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Communication dans un congrès hal-00782893v1
Image document

Integration Testing from Structured First-Order Specifications via Deduction Modulo.

Delphine Longuet , Marc Aiguier
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
Communication dans un congrès hal-00812193v1
Image document

Symbolic Execution Techniques Extended to Systems.

Christophe Gaston , Marc Aiguier , Diane Bahrami , Arnaud Lapitre
International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩
Communication dans un congrès hal-00812189v1
Image document

Spatial Information and Boolean Genetic Regulatory Networks.

Matthieu Manceny , Marc Aiguier , Pascale Le Gall , Joan Hérisson , Ivan Junier
Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
Communication dans un congrès hal-00812184v1

Specification-Based Testing for CoCasl's Modal Specifications

Delphine Longuet , Marc Aiguier
International Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway
Communication dans un congrès hal-01760572v1

Test selection criteria for quantifier-free first-order specifications

Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès hal-00353787v1

Test Selection Criteria for Modal Specifications of Reactive Systems

Marc Aiguier , Delphine Longuet
IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
Communication dans un congrès hal-01760574v1
Image document

Automatic generation of functional programs from CASL specifications

Agnès Arnould , Marc Aiguier , Laurent Fuchs , Thibaud Brunet
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩
Communication dans un congrès hal-00341983v1
Image document

Feature specification and static analysis for interaction resolution

Marc Aiguier , Karim Berkani , Pascale Le Gall
14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩
Communication dans un congrès hal-00341977v1
Image document

Testing from algebraic specifications: test data set selection by unfolding axioms

Marc Aiguier , Agnès Arnould , Clément Boin , Pascale Le Gall , Bruno Marre
5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩
Communication dans un congrès hal-00341964v1
Image document

A Temporal Logic for Input Output Symbolic Transition Systems

Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil
12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Communication dans un congrès hal-00341980v1

An abstract way to define rewriting logic

Marc Aiguier , Diane Bahrami , Delphine Longuet
Proceedings of the first IPM International Workshop on Foundations of Software Engineering (FSEN), 2005, Iran. pp.205--226, ⟨10.1016/j.entcs.2005.09.033⟩
Communication dans un congrès hal-00341966v1

Axioms for Rewriting Theory

M. Aiguier , D. Bahrami , Catherine Dubois
PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, Jan 2000, X, France
Communication dans un congrès hal-01124623v1

MMCS, Mathematical Modelling of Complex Systems

Frédéric Abergel , Marc Aiguier , Damien Challet , Paul-Henry P.-H. Cournède , Gilles Fay
47, 2014, ESAIM: Proceedings and Surveys
Proceedings/Recueil des communications hal-02539582v1

Complex Systems Design and Management

Marc Aiguier , Yves Caseau , Daniel Krob , A Rausy
Third International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩
Proceedings/Recueil des communications hal-02750181v1

Complex Systems Design & Management

Marc Aiguier , Frédéric Boulanger , Daniel Krob , Clotilde Marchal
Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
Ouvrages hal-02750247v1