2026
Communication dans un congrès
-
- ref_biblio
- Thomas Traversié, Olivier Hermant, Marc Aiguier. Investigations on Higher-Order Infinitary Logic. FSCD 2026 - 11th International Conference on Formal Structures for Computation and Deduction, Jul 2026, Lisbao, Portugal. pp.33:1-33:19, ⟨10.4230/LIPIcs.FSCD.2026.33⟩. ⟨hal-05694098⟩
- titre
- Investigations on Higher-Order Infinitary Logic
- auteur
- Thomas Traversié, Olivier Hermant, Marc Aiguier
- article
- FSCD 2026 - 11th International Conference on Formal Structures for Computation and Deduction, Jul 2026, Lisbao, Portugal. pp.33:1-33:19, ⟨10.4230/LIPIcs.FSCD.2026.33⟩
- Accès au texte intégral et bibtex
-
2023
Article dans une revue
-
- ref_biblio
- Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez. Morpho-Logic from a Topos Perspective – Application to Symbolic AI. International Journal of Approximate Reasoning, 2023, 161, pp.109011. ⟨10.1016/J.IJAR.2023.109011⟩. ⟨hal-04453306⟩
- titre
- Morpho-Logic from a Topos Perspective – Application to Symbolic AI
- auteur
- Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
- article
- International Journal of Approximate Reasoning, 2023, 161, pp.109011. ⟨10.1016/J.IJAR.2023.109011⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Marc Aiguier, Isabelle Bloch. Abstract Categorical Logic. Logica Universalis, 2023, 17 (1), pp.23-67. ⟨10.1007/s11787-022-00320-w⟩. ⟨hal-04491095⟩
- titre
- Logique catégorielle abstraite
- auteur
- Marc Aiguier, Isabelle Bloch
- article
- Logica Universalis, 2023, 17 (1), pp.23-67. ⟨10.1007/s11787-022-00320-w⟩
- Accès au bibtex
-
2022
Communication dans un congrès
-
- ref_biblio
- Alexandre Goy, Daniela Petrişan, Marc Aiguier. Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩. ⟨hal-04491472⟩
- titre
- Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces
- auteur
- Alexandre Goy, Daniela Petrişan, Marc Aiguier
- article
- 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- ref_biblio
- Marc Aiguier, Isabelle Bloch. Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions. Journal of Applied Non-Classical Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩. ⟨hal-02288074⟩
- titre
- Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions
- auteur
- Marc Aiguier, Isabelle Bloch
- article
- Journal of Applied Non-Classical Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩
- Accès au bibtex
-
Communication dans un congrès
- ref_biblio
- Alexandre Goy, Marc Aiguier, Isabelle Bloch. From Structuring Elements to Structuring Neighborhood Systems. 14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩. ⟨hal-02288568⟩
- titre
- From Structuring Elements to Structuring Neighborhood Systems
- auteur
- Alexandre Goy, Marc Aiguier, Isabelle Bloch
- article
- 14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
- Accès au bibtex
-
2018
Article dans une revue
- ref_biblio
- Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramon Pino Perez. Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. International Journal of Approximate Reasoning, 2018, 102, pp.1 - 20. ⟨10.1016/j.ijar.2018.07.014⟩. ⟨hal-01858106⟩
- titre
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- auteur
- Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramon Pino Perez
- article
- International Journal of Approximate Reasoning, 2018, 102, pp.1 - 20. ⟨10.1016/j.ijar.2018.07.014⟩
- Accès au bibtex
-
-
- ref_biblio
- Marc 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. Artificial Intelligence (AIJ), 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩. ⟨hal-01823450⟩
- titre
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- auteur
- Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
- article
- Artificial Intelligence (AIJ), 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- ref_biblio
- Marc Aiguier, Isabelle Bloch. Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France. ⟨hal-02287722⟩
- titre
- Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
- auteur
- Marc Aiguier, Isabelle Bloch
- article
- World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France
- Accès au bibtex
-
2017
Rapport
- ref_biblio
- Marc Aiguier, Isabelle Bloch. Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. [Research Report] arXiv:1710.05661, arXiv CoRR. 2017. ⟨hal-02287717⟩
- titre
- Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
- auteur
- Marc Aiguier, Isabelle Bloch
- article
- [Research Report] arXiv:1710.05661, arXiv CoRR. 2017
- Accès au bibtex
-
2016
Article dans une revue
- ref_biblio
- Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specification correctness. Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩. ⟨hal-01318362⟩
- titre
- Exhaustive test sets for algebraic specification correctness
- auteur
- Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
- article
- Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
- Accès au bibtex
-
2015
Rapport
- ref_biblio
- Marc Aiguier, J. Atif, C. Hudelot, Isabelle Bloch. Belief revision in institutions: a relaxation-based approach. [Research Report] abs/1502.02298, arXiv CoRR. 2015. ⟨hal-02287097⟩
- titre
- Belief revision in institutions: a relaxation-based approach
- auteur
- Marc Aiguier, J. Atif, C. Hudelot, Isabelle Bloch
- article
- [Research Report] abs/1502.02298, arXiv CoRR. 2015
- Accès au bibtex
-
2014
Article dans une revue
-
- ref_biblio
- Marc Aiguier, Bilal Kanso. A logic for complex computing systems: Properties preservation along integration and abstraction. Scientific Annals of Computer Science, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩. ⟨hal-01056530⟩
- titre
- A logic for complex computing systems: Properties preservation along integration and abstraction
- auteur
- Marc Aiguier, Bilal Kanso
- article
- Scientific Annals of Computer Science, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩
- Accès au texte intégral et bibtex
-
Ouvrages
- ref_biblio
- Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (Dir.). Complex Systems Design & Management. Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩. ⟨hal-02750247⟩
- titre
- Complex Systems Design & Management
- auteur
- Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
- article
- Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
- Accès au bibtex
-
Proceedings/Recueil des communications
- ref_biblio
- Frédéric Abergel, Marc Aiguier, Damien Challet, Paul-Henry P.-H. Cournède, Gilles Fay, et al.. MMCS, Mathematical Modelling of Complex Systems. 47, 2014, ESAIM: Proceedings and Surveys. ⟨hal-02539582⟩
- titre
- MMCS, Mathematical Modelling of Complex Systems
- auteur
- Frédéric Abergel, Marc Aiguier, Damien Challet, Paul-Henry P.-H. Cournède, Gilles Fay, Pauline Godillon-Lafitte
- article
- 47, 2014, ESAIM: Proceedings and Surveys
- Accès au bibtex
-
2013
Communication dans un congrès
- ref_biblio
- Boutheïna Bannour, Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre. Results for Compositional Timed Testing. 2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. ⟨10.1109/APSEC.2013.81⟩. ⟨hal-01812126⟩
- titre
- Results for Compositional Timed Testing
- auteur
- Boutheïna Bannour, Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
- article
- 2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. ⟨10.1109/APSEC.2013.81⟩
- Accès au bibtex
-
-
- ref_biblio
- Marc Aiguier, Boris Golden, Daniel Krob. An adequate logic for heterogeneous systems. 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩. ⟨hal-00812339⟩
- titre
- An adequate logic for heterogeneous systems
- auteur
- Marc Aiguier, Boris Golden, Daniel Krob
- article
- 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩
- Accès au texte intégral et bibtex
-
Proceedings/Recueil des communications
- ref_biblio
- Marc Aiguier, Yves Caseau, Daniel Krob, A Rausy. Complex Systems Design and Management. Third International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩. ⟨hal-02750181⟩
- titre
- Complex Systems Design and Management
- auteur
- Marc Aiguier, Yves Caseau, Daniel Krob, A Rausy
- article
- Third International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩
- Accès au bibtex
-
2012
Article dans une revue
-
- ref_biblio
- Marc Aiguier, Frédéric Boulanger, Bilal Kanso. A formal abstract framework for modelling and testing complex software systems. Theoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩. ⟨hal-00782372⟩
- titre
- A formal abstract framework for modelling and testing complex software systems
- auteur
- Marc Aiguier, Frédéric Boulanger, Bilal Kanso
- article
- Theoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
- Accès au texte intégral et bibtex
-
-
- ref_biblio
- Marc Aiguier, Boris Golden, Daniel Krob. Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems. Applied Mathematics and Computation, 2012, 218 (16), pp.8039-8055. ⟨hal-00782859⟩
- titre
- Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems
- auteur
- Marc Aiguier, Boris Golden, Daniel Krob
- article
- Applied Mathematics and Computation, 2012, 218 (16), pp.8039-8055
- Accès au texte intégral et bibtex
-
Communication dans un congrès
-
- ref_biblio
- Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston. Testing of component-based systems. 19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6. ⟨hal-00782889⟩
- titre
- Testing of component-based systems
- auteur
- Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston
- article
- 19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
- Accès au texte intégral et bibtex
-
2011
Article dans une revue
-
- ref_biblio
- Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation. Mathematics in Computer Science, 2011, 5 (1), pp.263-288. ⟨hal-00782867⟩
- titre
- Embedding of biological regulatory networks and property preservation
- auteur
- Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
- article
- Mathematics in Computer Science, 2011, 5 (1), pp.263-288
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
-
- ref_biblio
- Delphine Longuet, Marc Aiguier, Pascale Le Gall. Proof-Guided Test Selection from First-Order Specifications with Equality. Journal of Automated Reasoning, 2010, 45 (4), pp.437-473. ⟨hal-00782871⟩
- titre
- Proof-Guided Test Selection from First-Order Specifications with Equality
- auteur
- Delphine Longuet, Marc Aiguier, Pascale Le Gall
- article
- Journal of Automated Reasoning, 2010, 45 (4), pp.437-473
- Accès au texte intégral et bibtex
-
-
- ref_biblio
- Marc Aiguier, Longuet Delphine. Some General Results About Proof Normalization. Logica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩. ⟨hal-00782857⟩
- titre
- Some General Results About Proof Normalization
- auteur
- Marc Aiguier, Longuet Delphine
- article
- Logica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
-
- ref_biblio
- Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil. Testing of Abstract Components. ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198. ⟨hal-00782893⟩
- titre
- Testing of Abstract Components
- auteur
- Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
- article
- ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
- Accès au texte intégral et bibtex
-
2009
Article dans une revue
-
- ref_biblio
- Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki. Complex software systems : Formalization and Applications. International Journal On Advances in Software, 2009, 2 (1), pp.47-62. ⟨hal-00782879⟩
- titre
- Complex software systems : Formalization and Applications
- auteur
- Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
- article
- International Journal On Advances in Software, 2009, 2 (1), pp.47-62
- Accès au texte intégral et bibtex
-
Communication dans un congrès
-
- ref_biblio
- Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre. Symbolic Execution Techniques Extended to Systems.. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩. ⟨hal-00812189⟩
- titre
- Symbolic Execution Techniques Extended to Systems.
- auteur
- Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre
- article
- International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩
- Accès au texte intégral et bibtex
-
-
- ref_biblio
- Delphine Longuet, Marc Aiguier. Integration Testing from Structured First-Order Specifications via Deduction Modulo.. Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩. ⟨hal-00812193⟩
- titre
- Integration Testing from Structured First-Order Specifications via Deduction Modulo.
- auteur
- Delphine Longuet, Marc Aiguier
- article
- Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
- Accès au texte intégral et bibtex
-
2008
Communication dans un congrès
-
- ref_biblio
- Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, et al.. Spatial Information and Boolean Genetic Regulatory Networks.. Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩. ⟨hal-00812184⟩
- titre
- Spatial Information and Boolean Genetic Regulatory Networks.
- auteur
- Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès
- article
- Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
- Accès au texte intégral et bibtex
-
2007
Article dans une revue
- ref_biblio
- Marc Aiguier, Rǎzvan Diaconescu. Stratified institutions and elementary homomorphisms. Information Processing Letters, 2007, 103 (1), pp.5--13. ⟨10.1016/j.ipl.2007.02.005⟩. ⟨hal-00341974⟩
- titre
- Stratified institutions and elementary homomorphisms
- auteur
- Marc Aiguier, Rǎzvan Diaconescu
- article
- Information Processing Letters, 2007, 103 (1), pp.5--13. ⟨10.1016/j.ipl.2007.02.005⟩
- Accès au bibtex
-
-
- ref_biblio
- Marc Aiguier, Fabrice Barbier. An Institution-Independent Proof of the Beth Definability Theorem. Studia Logica, 2007, 85 (3), pp.333--359. ⟨hal-00341973⟩
- titre
- An Institution-Independent Proof of the Beth Definability Theorem
- auteur
- Marc Aiguier, Fabrice Barbier
- article
- Studia Logica, 2007, 85 (3), pp.333--359
- Accès au texte intégral et bibtex
-
-
- ref_biblio
- Marc Aiguier, Diane Bahrami. Structures for abstract rewriting. Journal of Automated Reasoning, 2007, 38, pp.303--351. ⟨10.1007/s10817-006-9065-7⟩. ⟨hal-00341965⟩
- titre
- Structures for abstract rewriting
- auteur
- Marc Aiguier, Diane Bahrami
- article
- Journal of Automated Reasoning, 2007, 38, pp.303--351. ⟨10.1007/s10817-006-9065-7⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- ref_biblio
- Delphine Longuet, Marc Aiguier. Specification-Based Testing for CoCasl's Modal Specifications. International Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway. ⟨hal-01760572⟩
- titre
- Specification-Based Testing for CoCasl's Modal Specifications
- auteur
- Delphine Longuet, Marc Aiguier
- article
- International Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway
- Accès au bibtex
-
- ref_biblio
- Marc Aiguier, Delphine Longuet. Test Selection Criteria for Modal Specifications of Reactive Systems. IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China. ⟨hal-01760574⟩
- titre
- Test Selection Criteria for Modal Specifications of Reactive Systems
- auteur
- Marc Aiguier, Delphine Longuet
- article
- IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
- Accès au bibtex
-
- ref_biblio
- Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Test selection criteria for quantifier-free first-order specifications. 2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩. ⟨hal-00353787⟩
- titre
- Test selection criteria for quantifier-free first-order specifications
- auteur
- Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
- article
- 2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
- Accès au bibtex
-
2006
Communication dans un congrès
-
- ref_biblio
- Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet. Automatic generation of functional programs from CASL specifications. International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩. ⟨hal-00341983⟩
- titre
- Automatic generation of functional programs from CASL specifications
- auteur
- Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet
- article
- International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩
- Accès au texte intégral et bibtex
-
-
- ref_biblio
- Marc Aiguier, Karim Berkani, Pascale Le Gall. Feature specification and static analysis for interaction resolution. 14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩. ⟨hal-00341977⟩
- titre
- Feature specification and static analysis for interaction resolution
- auteur
- Marc Aiguier, Karim Berkani, Pascale Le Gall
- article
- 14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩
- Accès au texte intégral et bibtex
-
Autre publication scientifique
-
- ref_biblio
- Marc Aiguier, Pierre-Yves Schobbens. A note on Robinson consistency lemma. 2006, pp.13. ⟨hal-00341982⟩
- titre
- A note on Robinson consistency lemma
- auteur
- Marc Aiguier, Pierre-Yves Schobbens
- article
- 2006, pp.13
- Accès au texte intégral et bibtex
-
2005
Article dans une revue
-
- ref_biblio
- Roxanne Adle, Marc Aiguier, Franck Delaplace. Towards an Automatic Parallelisation of Sparse Matrix Computations. Journal of Parallel and Distributed Computing, 2005, 65 (3), pp.313--330. ⟨hal-00341971⟩
- titre
- Towards an Automatic Parallelisation of Sparse Matrix Computations
- auteur
- Roxanne Adle, Marc Aiguier, Franck Delaplace
- article
- Journal of Parallel and Distributed Computing, 2005, 65 (3), pp.313--330
- Accès au texte intégral et bibtex
-
Communication dans un congrès
-
- ref_biblio
- Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A Temporal Logic for Input Output Symbolic Transition Systems. 12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩. ⟨hal-00341980⟩
- titre
- A Temporal Logic for Input Output Symbolic Transition Systems
- auteur
- Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil
- article
- 12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Marc Aiguier, Diane Bahrami, Delphine Longuet. An abstract way to define rewriting logic. Proceedings of the first IPM International Workshop on Foundations of Software Engineering (FSEN), 2005, Iran. pp.205--226, ⟨10.1016/j.entcs.2005.09.033⟩. ⟨hal-00341966⟩
- titre
- An abstract way to define rewriting logic
- auteur
- Marc Aiguier, Diane Bahrami, Delphine Longuet
- article
- Proceedings of the first IPM International Workshop on Foundations of Software Engineering (FSEN), 2005, Iran. pp.205--226, ⟨10.1016/j.entcs.2005.09.033⟩
- Accès au bibtex
-
-
- ref_biblio
- Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms. 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩. ⟨hal-00341964⟩
- titre
- Testing from algebraic specifications: test data set selection by unfolding axioms
- auteur
- Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
- article
- 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- ref_biblio
- Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A temporal logic for input output symbolic transition systems. 2005. ⟨hal-00341981⟩
- titre
- A temporal logic for input output symbolic transition systems
- auteur
- Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil
- article
- 2005
- Accès au bibtex
-
- ref_biblio
- Marc Aiguier, Christophe Gaston, Pascale Le Gall. Feature specification: a logic-independent approach. 2005. ⟨hal-00341979⟩
- titre
- Feature specification: a logic-independent approach
- auteur
- Marc Aiguier, Christophe Gaston, Pascale Le Gall
- article
- 2005
- Accès au bibtex
-
- ref_biblio
- Marc Aiguier, Clément Boin, Delphine Longuet. On a generalized theorem for normalization of proof trees. 2005. ⟨hal-00341978⟩
- titre
- On a generalized theorem for normalization of proof trees
- auteur
- Marc Aiguier, Clément Boin, Delphine Longuet
- article
- 2005
- Accès au bibtex
-
2000
Communication dans un congrès
- ref_biblio
- M. Aiguier, D. Bahrami, Catherine Dubois. Axioms for Rewriting Theory. PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, Jan 2000, X, France. ⟨hal-01124623⟩
- titre
- Axioms for Rewriting Theory
- auteur
- M. Aiguier, D. Bahrami, Catherine Dubois
- article
- PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, Jan 2000, X, France
- Accès au bibtex
-