The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marc Aiguier" ( http://dblp.L3S.de/Authors/Marc_Aiguier )

URL (Homepage):  http://perso.ecp.fr/~aiguierm/  Author page on DBLP  Author page in RDF  Community of Marc Aiguier in ASPL-2

Publication years (Num. hits)
1994-2007 (20) 2008-2012 (15) 2013-2019 (15)
Publication types (Num. hits)
article(24) inproceedings(22) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 36 occurrences of 28 keywords

Results
Found 51 publication records. Showing 50 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexandre Goy 0002, Marc Aiguier, Isabelle Bloch From Structuring Elements to Structuring Neighborhood Systems. Search on Bibsonomy ISMM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino Pérez Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marc Aiguier, Isabelle Bloch Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet Exhaustive test sets for algebraic specifications. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot Relaxation-based revision operators in description logics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot Belief revision in Institutions : A relaxation based approach. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marc Aiguier, Bilal Kanso A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.) Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013 Search on Bibsonomy CSDM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.) Proceedings of the Poster Workshop at the 2013 Complex Systems Design and Management Conference (CSDM 2013), Paris, France, - December 4th, 2013. Search on Bibsonomy CSDM (Posters) The full citation details ... 2013 DBLP  BibTeX  RDF
1Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.) Complex Systems Design & Management, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, Paris, France, December 12-14, 2012 Search on Bibsonomy CSDM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre Results for Compositional Timed Testing. Search on Bibsonomy APSEC (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Boris Golden, Daniel Krob An Adequate Logic for Heterogeneous Systems. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boris Golden, Marc Aiguier, Daniel Krob Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. Search on Bibsonomy Applied Mathematics and Computation The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Frédéric Boulanger, Bilal Kanso A formal abstract framework for modelling and testing complex software systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Aiguier Special issue on complex systems design and management. Search on Bibsonomy Concurrent Engineering: R&A The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston Testing of Component-Based Systems. Search on Bibsonomy APSEC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard Embedding of Biological Regulatory Networks and Property Preservation. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Delphine Longuet Some General Results About Proof Normalization. Search on Bibsonomy Logica Universalis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Delphine Longuet, Marc Aiguier, Pascale Le Gall Proof-Guided Test Selection from First-Order Specifications with Equality. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Francis Bretaudeau, Daniel Krob (eds.) Complex Systems Design & Management - Proceedings of the First International Conference on Complex System Design & Management, CSDM 2010, Paris, France, October 27-29, 2010 Search on Bibsonomy CSDM The full citation details ... 2010 DBLP  BibTeX  RDF
1Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil Testing of Abstract Components. Search on Bibsonomy ICTAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre Symbolic Execution Techniques Extended to Systems. Search on Bibsonomy ICSEA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Delphine Longuet, Marc Aiguier Integration Testing from Structured First-Order Specifications via Deduction Modulo. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès Spatial Information and Boolean Genetic Regulatory Networks. Search on Bibsonomy BICoB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boolean Dynamics, Discrete Mathematical Modelling, Spatial Information, Genetic Regulatory Networks
1Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki A Formal Definition of Complex Software. Search on Bibsonomy ICSEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki Emergent Properties in Reactive Systems. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall Property Preservation along Embedding of Biological Regulatory Networks. Search on Bibsonomy AB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation
1Marc Aiguier, Razvan Diaconescu Stratified institutions and elementary homomorphisms. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Fabrice Barbier An Institution-independent Proof of the Beth Definability Theorem. Search on Bibsonomy Studia Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Beth definability, morphisms and comorphisms, inclusive category, institution theory, Craig interpolation
1Marc Aiguier, Diane Bahrami Structures for Abstract Rewriting. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
1Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet Test Selection Criteria for Quantifier-Free First-Order Specifications. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
1Delphine Longuet, Marc Aiguier Specification-Based Testing for CoCasl's Modal Specifications. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
1Marc Aiguier, Delphine Longuet Test Selection Criteria for Modal Specifications of Reactive Systems. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
1Marc Aiguier, Diane Bahrami, Delphine Longuet An Abstract Way to Define Rewriting Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet Automatic Generation of Functional Programs from CASL Specifications. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Karim Berkani, Pascale Le Gall Feature Specification and Static Analysis for Interaction Resolution. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
1Roxane Adle, Marc Aiguier, Franck Delaplace Toward an automatic parallelization of sparse matrix computations. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil A Temporal Logic for Input Output Symbolic Transition Systems. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
1Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
1Marc Aiguier, Fabrice Barbier, Pascal Poizat A Logic with Temporal Glue for Mixed Specifications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marc Aiguier ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. Search on Bibsonomy J. Log. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens An Algebraic Approach for Codesign. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Diane Bahrami Une approche générique de la réécriture. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marc Aiguier, Christophe Gaston, Pascale Le Gall Feature Logics and Refinement. Search on Bibsonomy APSEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF abstract logical framework, formal specification, refinement, feature, feature interaction
1Marc Aiguier, Diane Bahrami, Catherine Dubois On a Generalised Logicality Theorem. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF semi-commutation, abstract rewrite tree, abstract convertibility relation, logicality Topics: Term Rewriting, Integration of Logical Reasoning and Computer Algebra, Reasoning, Formal system
1Roxane Adle, Marc Aiguier, Franck Delaplace Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fill-in, non-standard semantics, sparse dependence analysis, Bernstein's conditions
1Gilles Bernot, Pascale Le Gall, Marc Aiguier Label Algebras and Exception Handling. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license