| 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 Artificial Intelligence 256, 160-180, 2018 | 37 | 2018 |
| Stratified institutions and elementary homomorphisms M Aiguier, R Diaconescu Information Processing Letters 103 (1), 5-13, 2007 | 37 | 2007 |
| Modeling of complex systems ii: a minimalist and unified semantics for heterogeneous integrated systems B Golden, M Aiguier, D Krob Applied Mathematics and Computation 218 (16), 8039-8055, 2012 | 30 | 2012 |
| A formal abstract framework for modelling and testing complex software systems M Aiguier, F Boulanger, B Kanso Theoretical Computer Science 455, 66-97, 2012 | 29 | 2012 |
| Testing from algebraic specifications: Test data set selection by unfolding axioms M Aiguier, A Arnould, C Boin, P Le Gall, B Marre Formal Approaches to Software Testing: 5th International Workshop, FATES …, 2006 | 28 | 2006 |
| Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning M Aiguier, I Bloch Journal of Applied Non-Classical Logics 29 (4), 392-429, 2019 | 22 | 2019 |
| An institution-independent proof of the Beth definability theorem M Aiguier, F Barbier Studia Logica 85, 333-359, 2007 | 21 | 2007 |
| A temporal logic for input output symbolic transition systems M Aiguier, C Gaston, P Le Gall, D Longuet, A Touil 12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005 | 20 | 2005 |
| Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction M Aiguier, J Atif, I Bloch, RP Pérez International Journal of Approximate Reasoning 102, 1-20, 2018 | 19 | 2018 |
| Label algebras and exception handling G Bernot, P Le Gall, M Aiguier Science of Computer Programming 23 (2-3), 227-286, 1994 | 18 | 1994 |
| Algebraic semantics of object type specifications M Aiguier, G Bernot Information Systems—Correctness and Reusability: Selected papers from IS …, 1994 | 18 | 1994 |
| Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 M Aiguier, Y Caseau, D Krob, A Rauzy Springer Verlag, 2012 | 17* | 2012 |
| 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 Beroff, D Dupont, L Freund, M Israel, ... Hardware/Software Co-Design and Co-Verification, 23-57, 1997 | 16 | 1997 |
| Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces A Goy, D Petrişan, M Aiguier 48th International Colloquium on Automata, Languages, and Programming (ICALP …, 2022 | 13 | 2022 |
| A formal definition of complex software M Aiguier, P Le Gall, M Mabrouki 2008 The Third International Conference on Software Engineering Advances …, 2008 | 13 | 2008 |
| Algebraic treatment of feature-oriented systems C Gaston, M Aiguier, P Le Gall Language Constructs for Describing Features: Proceedings of the FIREworks …, 2001 | 13 | 2001 |
| Spécifications algébriques par objets: une proposition de formalisme et ses applications à l'implantation abstraite M Aiguier Paris 11, 1995 | 12 | 1995 |
| On a generalised logicality theorem M Aiguier, D Bahrami, C Dubois International Conference on Artificial Intelligence and Symbolic Computation …, 2002 | 11 | 2002 |
| Testing of abstract components B Kanso, M Aiguier, F Boulanger, A Touil Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010 | 9 | 2010 |
| Test selection criteria for quantifier-free first-order specifications M Aiguier, A Arnould, P Le Gall, D Longuet International Conference on Fundamentals of Software Engineering, 144-159, 2007 | 9 | 2007 |
