Marc Aiguier

Romain Pascual

CoRR, 2024

2023

Morpho-logic from a topos perspective - application to symbolic AI.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., October, 2023

Abstract Categorical Logic.

[BibT_eX]

[DOI]

Logica Universalis, March, 2023

Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique.

[BibT_eX]

[DOI]

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

2021

Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.

[BibT_eX]

[DOI]

Alexandre Goy

Daniela Petrisan

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Abstract Mathematical morphology based on structuring element: Application to morpho-logic.

[BibT_eX]

[DOI]

Ramón Pino Pérez

CoRR, 2020

2019

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

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2019

From Structuring Elements to Structuring Neighborhood Systems.

[BibT_eX]

[DOI]

Alexandre Goy

Proceedings of the Mathematical Morphology and Its Applications to Signal and Image Processing, 2019

2018

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2018

2017

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Exhaustive test sets for algebraic specifications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

2015

Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases.

[BibT_eX]

[DOI]

CoRR, 2015

Relaxation-based revision operators in description logics.

[BibT_eX]

[DOI]

CoRR, 2015

Belief revision in Institutions : A relaxation based approach.

[BibT_eX]

[DOI]

CoRR, 2015

2014

A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction.

[BibT_eX]

[DOI]

Bilal Kanso

Sci. Ann. Comput. Sci., 2014

2013

An Adequate Logic for Heterogeneous Systems.

[BibT_eX]

[DOI]

Boris Golden

Daniel Krob

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Results for Compositional Timed Testing.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

A formal abstract framework for modelling and testing complex software systems.

[BibT_eX]

[DOI]

Frédéric Boulanger

Bilal Kanso

Theor. Comput. Sci., 2012

Special issue on complex systems design and management.

[BibT_eX]

[DOI]

Concurr. Eng. Res. Appl., 2012

Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems.

[BibT_eX]

[DOI]

Boris Golden

Daniel Krob

Appl. Math. Comput., 2012

Testing of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Embedding of Biological Regulatory Networks and Property Preservation.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2011

2010

Some General Results About Proof Normalization.

[BibT_eX]

[DOI]

Logica Universalis, 2010

Proof-Guided Test Selection from First-Order Specifications with Equality.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Testing of Abstract Components.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Integration Testing from Structured First-Order Specifications via Deduction Modulo.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

Symbolic Execution Techniques Extended to Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Spatial Information and Boolean Genetic Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics and Computational Biology, 2009

2008

A Formal Definition of Complex Software.

[BibT_eX]

[DOI]

Mbarka Mabrouki

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Emergent Properties in Reactive Systems.

[BibT_eX]

[DOI]

Mbarka Mabrouki

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Property Preservation along Embedding of Biological Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

An Institution-independent Proof of the Beth Definability Theorem.

[BibT_eX]

[DOI]

Fabrice Barbier

Stud Logica, 2007

Structures for Abstract Rewriting.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Stratified institutions and elementary homomorphisms.

[BibT_eX]

[DOI]

Razvan Diaconescu

Inf. Process. Lett., 2007

Test Selection Criteria for Modal Specifications of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Test Selection Criteria for Quantifier-Free First-Order Specifications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Specification-Based Testing for CoCasl's Modal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Automatic Generation of Functional Programs from CASL Specifications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Feature Specification and Static Analysis for Interaction Resolution.

[BibT_eX]

[DOI]

Karim Berkani

Proceedings of the FM 2006: Formal Methods, 2006

2005

Toward an automatic parallelization of sparse matrix computations.

[BibT_eX]

[DOI]

Roxane Adle

Franck Delaplace

J. Parallel Distributed Comput., 2005

An Abstract Way to Define Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

A Temporal Logic for Input Output Symbolic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

An Algebraic Approach for Codesign.

[BibT_eX]

[DOI]

Stefan Béroff

Pierre-Yves Schobbens

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Une approche générique de la réécriture.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

A Logic with Temporal Glue for Mixed Specifications.

[BibT_eX]

[DOI]

Fabrice Barbier

Pascal Poizat

Proceedings of FOCLASA 2003, 2003

2002

Feature Logics and Refinement.

[BibT_eX]

[DOI]

Christophe Gaston

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

On a Generalised Logicality Theorem.

[BibT_eX]

[DOI]

Catherine Dubois

Proceedings of the Artificial Intelligence, 2002

2000

Algebraic Treatment of Feature-oriented Systems.

[BibT_eX]

[DOI]

Christophe Gaston

Proceedings of the Language Constructs for Describing Features, 2000

Automatic Parallelization of Sparse Matrix Computations: A Static Analysis.

[BibT_eX]

[DOI]

Roxane Adle

Franck Delaplace

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1994

Label Algebras and Exception Handling.

[BibT_eX]

[DOI]

Gilles Bernot