Marc Aiguier

45
Documents

Publications

3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
11
9
5
4
4
4
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
2
1
1
1
1
1
1
1
1
1
1
1
2
1
2
3
1
1
1
3
3
3
1
3
4
6
3
7
1

Publications

Deposit thumbnail

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-Classical 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
Deposit thumbnail

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 (AIJ), 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 istex hal-01318362v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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 istex hal-00341974v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Spatial Information and Boolean Genetic Regulatory Networks.

Matthieu Manceny , Marc Aiguier , Pascale Le Gall , Joan Hérisson , Ivan Junier et al.

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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 istex hal-00353787v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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 et al.

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