Aiguier Marc
Aiguier Marc
Professeur
Dirección de correo verificada de ecp.fr
Título
Citado por
Citado por
Año
Local well-posedness of the generalized Cucker-Smale model with singular kernels
JA Carrillo, YP Choi, M Hauray
ESAIM: Proceedings and Surveys 47, 17-35, 2014
352014
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
272012
Testing from algebraic specifications: Test data set selection by unfolding axioms
M Aiguier, A Arnould, C Boin, P Le Gall, B Marre
International Workshop on Formal Approaches to Software Testing, 203-217, 2005
272005
A formal abstract framework for modelling and testing complex software systems
M Aiguier, F Boulanger, B Kanso
Theoretical Computer Science 455, 66-97, 2012
242012
Stratified institutions and elementary homomorphisms
M Aiguier, R Diaconescu
Information Processing Letters 103 (1), 5-13, 2007
242007
Algebraic semantics of object type specifications
M Aiguier, G Bernot
Information Systems—Correctness and Reusability: Selected papers from IS …, 1994
191994
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
182005
Label algebras and exception handling
G Bernot, P Le Gall, M Aiguier
Science of Computer Programming 23 (2-3), 227-286, 1994
161994
An institution-independent proof of the Beth definability theorem
M Aiguier, F Barbier
Studia Logica 85 (3), 333-359, 2007
142007
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
141997
Spécifications algébriques par objets: une proposition de formalisme et ses applications à l'implantation abstraite
M Aiguier
Paris 11, 1995
141995
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
11*2012
On a generalised logicality theorem
M Aiguier, D Bahrami, C Dubois
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 51-63, 2002
112002
Algebraic treatment of feature-oriented systems
C Gaston, M Aiguier, P Le Gall
Language Constructs for Describing Features, 105-124, 2001
112001
A formal definition of complex software
M Aiguier, P Le Gall, M Mabrouki
2008 The Third International Conference on Software Engineering Advances …, 2008
102008
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
102007
Étoile-specifications: An object-oriented algebraic formalism with refinement
M Aiguier
Journal of Logic and Computation 14 (2), 145-178, 2004
92004
A logic for mixed specifications
M Aiguier, F Barbier, P Poizat
Rapport de Recherche, 2002
82002
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
72018
Results for compositional timed testing
B Bannour, C Gaston, M Aiguier, A Lapitre
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 559-564, 2013
72013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20