Concepedia

Marc Aiguier

MA

8

Publications

114

Citations

8

H-Index

2005

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Centrale Paris

École Polytechnique

Université d'Évry Val-d'Essonne

Marc Aiguier is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSoftware DesignComputer ScienceSemanticsComplex SystemsFormal VerificationSystems EngineeringSystem Software

Publications per year

2005–2019

8

Publications

8

Stratified institutions and elementary homomorphisms

Marc Aiguier, Răzvan Diaconescu · Information Processing Letters · 2007 · 18 citations

Elementary Homomorphisms, Abstract Algebra, Universal Algebra +1

A formal abstract framework for modelling and testing complex software systems

Marc Aiguier, Frédéric Boulanger, Bilal Kanso · Theoretical Computer Science · 2011 · 17 citations · Full text

Software Maintenance, Engineering, Computational Testing +15

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

Marc Aiguier, Boris Golden, Daniel Krob · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 16 citations · Full text

Engineering, Heterogeneous Modeling, Automated Reasoning +12

An Institution-independent Proof of the Beth Definability Theorem

Marc Aiguier, Fabrice Barbier · Studia Logica · 2007 · 15 citations

Algebraic Logic, Automated Reasoning, Model Theory +2

Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning

Marc Aiguier, Isabelle Bloch · Journal of Applied Non-Classical Logics · 2019 · 14 citations

Engineering, Classical Logic, Stratified Institutions +19

Rows per page

1–5 of 8