Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marc Aiguier
@article{DBLP:journals/ijar/AiguierBNP23,
author = {Marc Aiguier and
Isabelle Bloch and
Salim Nibouche and
Ram{\'{o}}n Pino P{\'{e}}rez},
title = {Morpho-logic from a topos perspective - application to symbolic {AI}},
journal = {Int. J. Approx. Reason.},
volume = {161},
pages = {109011},
year = {2023},
url = {https://doi.org/10.1016/j.ijar.2023.109011},
doi = {10.1016/J.IJAR.2023.109011},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/AiguierBNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/AiguierB23,
author = {Marc Aiguier and
Isabelle Bloch},
title = {Abstract Categorical Logic},
journal = {Logica Universalis},
volume = {17},
number = {1},
pages = {23--67},
year = {2023},
url = {https://doi.org/10.1007/s11787-022-00320-w},
doi = {10.1007/S11787-022-00320-W},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/AiguierB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jiaf/AiguierBNP23,
author = {Marc Aiguier and
Isabelle Bloch and
Salim Nibouche and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Zied Bouraoui and
Fran{\c{c}}ois Schwarzentruber and
Ana{\"{e}}lle Wilczynski},
title = {Morpho-logique d'un point de vue de la th{\'{e}}orie des topos
: application {\`{a}} l'IA symbolique},
booktitle = {17{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2023, Strasbourg, France, July 6-7, 2023},
pages = {80--90},
year = {2023},
url = {https://hal.science/hal-04209856v1/document},
timestamp = {Thu, 02 Nov 2023 12:27:35 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/AiguierBNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04895,
author = {Marc Aiguier and
Isabelle Bloch and
Salim Nibouche and
Ram{\'{o}}n Pino P{\'{e}}rez},
title = {Morpho-logic from a Topos Perspective: Application to symbolic {AI}},
journal = {CoRR},
volume = {abs/2303.04895},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04895},
doi = {10.48550/ARXIV.2303.04895},
eprinttype = {arXiv},
eprint = {2303.04895},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/0002PA21,
author = {Alexandre Goy and
Daniela Petrisan and
Marc Aiguier},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Powerset-Like Monads Weakly Distribute over Themselves in Toposes
and Compact Hausdorff Spaces},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {132:1--132:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.132},
doi = {10.4230/LIPICS.ICALP.2021.132},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/icalp/0002PA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01715,
author = {Marc Aiguier and
Isabelle Bloch and
Ram{\'{o}}n Pino P{\'{e}}rez},
title = {Abstract Mathematical morphology based on structuring element: Application
to morpho-logic},
journal = {CoRR},
volume = {abs/2005.01715},
year = {2020},
url = {https://arxiv.org/abs/2005.01715},
eprinttype = {arXiv},
eprint = {2005.01715},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AiguierB19,
author = {Marc Aiguier and
Isabelle Bloch},
title = {Logical dual concepts based on mathematical morphology in stratified
institutions: applications to spatial reasoning},
journal = {J. Appl. Non Class. Logics},
volume = {29},
number = {4},
pages = {392--429},
year = {2019},
url = {https://doi.org/10.1080/11663081.2019.1668678},
doi = {10.1080/11663081.2019.1668678},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/AiguierB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismm/GoyAB19,
author = {Alexandre Goy and
Marc Aiguier and
Isabelle Bloch},
editor = {Bernhard Burgeth and
Andreas Kleefeld and
Beno{\^{\i}}t Naegel and
Nicolas Passat and
Benjamin Perret},
title = {From Structuring Elements to Structuring Neighborhood Systems},
booktitle = {Mathematical Morphology and Its Applications to Signal and Image Processing
- 14th International Symposium, {ISMM} 2019, Saarbr{\"{u}}cken,
Germany, July 8-10, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11564},
pages = {16--28},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20867-7\_2},
doi = {10.1007/978-3-030-20867-7\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismm/GoyAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AiguierABH18,
author = {Marc Aiguier and
Jamal Atif and
Isabelle Bloch and
C{\'{e}}line Hudelot},
title = {Belief revision, minimal change and relaxation: {A} general framework
based on satisfaction systems, and applications to description logics},
journal = {Artif. Intell.},
volume = {256},
pages = {160--180},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2017.12.002},
doi = {10.1016/J.ARTINT.2017.12.002},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AiguierABH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/AiguierABP18,
author = {Marc Aiguier and
Jamal Atif and
Isabelle Bloch and
Ram{\'{o}}n Pino P{\'{e}}rez},
title = {Explanatory relations in arbitrary logics based on satisfaction systems,
cutting and retraction},
journal = {Int. J. Approx. Reason.},
volume = {102},
pages = {1--20},
year = {2018},
url = {https://doi.org/10.1016/j.ijar.2018.07.014},
doi = {10.1016/J.IJAR.2018.07.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/AiguierABP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01571,
author = {Marc Aiguier and
Jamal Atif and
Isabelle Bloch and
Ram{\'{o}}n Pino P{\'{e}}rez},
title = {Explanatory relations in arbitrary logics based on satisfaction systems,
cutting and retraction},
journal = {CoRR},
volume = {abs/1803.01571},
year = {2018},
url = {http://arxiv.org/abs/1803.01571},
eprinttype = {arXiv},
eprint = {1803.01571},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-05661,
author = {Marc Aiguier and
Isabelle Bloch},
title = {Dual Logic Concepts based on Mathematical Morphology in Stratified
Institutions: Applications to Spatial Reasoning},
journal = {CoRR},
volume = {abs/1710.05661},
year = {2017},
url = {http://arxiv.org/abs/1710.05661},
eprinttype = {arXiv},
eprint = {1710.05661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-05661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AiguierAGL16,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Delphine Longuet},
title = {Exhaustive test sets for algebraic specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {4},
pages = {294--317},
year = {2016},
url = {https://doi.org/10.1002/stvr.1598},
doi = {10.1002/STVR.1598},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AiguierAGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AiguierABH15,
author = {Marc Aiguier and
Jamal Atif and
Isabelle Bloch and
C{\'{e}}line Hudelot},
title = {Belief revision in Institutions : {A} relaxation based approach},
journal = {CoRR},
volume = {abs/1502.02298},
year = {2015},
url = {http://arxiv.org/abs/1502.02298},
eprinttype = {arXiv},
eprint = {1502.02298},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AiguierABH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AiguierABH15a,
author = {Marc Aiguier and
Jamal Atif and
Isabelle Bloch and
C{\'{e}}line Hudelot},
title = {Relaxation-based revision operators in description logics},
journal = {CoRR},
volume = {abs/1502.07628},
year = {2015},
url = {http://arxiv.org/abs/1502.07628},
eprinttype = {arXiv},
eprint = {1502.07628},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AiguierABH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AiguierABH15b,
author = {Marc Aiguier and
Jamal Atif and
Isabelle Bloch and
C{\'{e}}line Hudelot},
title = {Some algebraic results in Description logics : Free model and inclusions,
finite basis theorem, and completion of knowledge bases},
journal = {CoRR},
volume = {abs/1502.07634},
year = {2015},
url = {http://arxiv.org/abs/1502.07634},
eprinttype = {arXiv},
eprint = {1502.07634},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AiguierABH15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AiguierK14,
author = {Marc Aiguier and
Bilal Kanso},
title = {A Logic for Complex Computing Systems: Properties Preservation Along
Integration and Abstraction},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {1},
pages = {1--46},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.1.1},
doi = {10.7561/SACS.2014.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/AiguierK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csdm/2013,
editor = {Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Daniel Krob and
Clotilde Marchal},
title = {Complex Systems Design {\&} Management, Proceedings of the Fourth
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2013, Paris, France, December 4-6, 2013},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-02812-5},
doi = {10.1007/978-3-319-02812-5},
isbn = {978-3-319-02811-8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BannourGAL13,
author = {Boutheina Bannour and
Christophe Gaston and
Marc Aiguier and
Arnault Lapitre},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Results for Compositional Timed Testing},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {559--564},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.81},
doi = {10.1109/APSEC.2013.81},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BannourGAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AiguierGK13,
author = {Marc Aiguier and
Boris Golden and
Daniel Krob},
title = {An Adequate Logic for Heterogeneous Systems},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.19},
doi = {10.1109/ICECCS.2013.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AiguierGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csdm/2012,
editor = {Marc Aiguier and
Yves Caseau and
Daniel Krob and
Antoine Rauzy},
title = {Complex Systems Design {\&} Management, Proceedings of the Third
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2012, Paris, France, December 12-14, 2012},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-34404-6},
doi = {10.1007/978-3-642-34404-6},
isbn = {978-3-642-34403-9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csdm/2013p,
editor = {Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Daniel Krob and
Clotilde Marchal},
title = {Proceedings of the Poster Workshop at the 2013 Complex Systems Design
and Management Conference {(CSDM} 2013), Paris, France, - December
4th, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1085},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1085},
urn = {urn:nbn:de:0074-1085-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csdm/2013p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/GoldenAK12,
author = {Boris Golden and
Marc Aiguier and
Daniel Krob},
title = {Modeling of complex systems {II:} {A} minimalist and unified semantics
for heterogeneous integrated systems},
journal = {Appl. Math. Comput.},
volume = {218},
number = {16},
pages = {8039--8055},
year = {2012},
url = {https://doi.org/10.1016/j.amc.2012.01.048},
doi = {10.1016/J.AMC.2012.01.048},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/GoldenAK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cera/Aiguier12,
author = {Marc Aiguier},
title = {Special issue on complex systems design and management},
journal = {Concurr. Eng. Res. Appl.},
volume = {20},
number = {2},
pages = {83},
year = {2012},
url = {https://doi.org/10.1177/1063293X12446691},
doi = {10.1177/1063293X12446691},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cera/Aiguier12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AiguierBK12,
author = {Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Bilal Kanso},
title = {A formal abstract framework for modelling and testing complex software
systems},
journal = {Theor. Comput. Sci.},
volume = {455},
pages = {66--97},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.072},
doi = {10.1016/J.TCS.2011.12.072},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AiguierBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KansoABG12,
author = {Bilal Kanso and
Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Christophe Gaston},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Testing of Component-Based Systems},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {300--305},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.40},
doi = {10.1109/APSEC.2012.40},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KansoABG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MabroukiACGR11,
author = {Mbarka Mabrouki and
Marc Aiguier and
Jean{-}Paul Comet and
Pascale Le Gall and
Adrien Richard},
title = {Embedding of Biological Regulatory Networks and Property Preservation},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {263--288},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0092-3},
doi = {10.1007/S11786-011-0092-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/MabroukiACGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LonguetAG10,
author = {Delphine Longuet and
Marc Aiguier and
Pascale Le Gall},
title = {Proof-Guided Test Selection from First-Order Specifications with Equality},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {437--473},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9128-7},
doi = {10.1007/S10817-009-9128-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LonguetAG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/AiguierL10,
author = {Marc Aiguier and
Delphine Longuet},
title = {Some General Results About Proof Normalization},
journal = {Logica Universalis},
volume = {4},
number = {1},
pages = {1--29},
year = {2010},
url = {https://doi.org/10.1007/s11787-010-0011-4},
doi = {10.1007/S11787-010-0011-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/AiguierL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KansoABT10,
author = {Bilal Kanso and
Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Assia Touil},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Testing of Abstract Components},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {184--198},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_13},
doi = {10.1007/978-3-642-14808-8\_13},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KansoABT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csdm/2010,
editor = {Marc Aiguier and
Francis Bretaudeau and
Daniel Krob},
title = {Complex Systems Design {\&} Management - Proceedings of the First
International Conference on Complex System Design {\&} Management,
{CSDM} 2010, Paris, France, October 27-29, 2010},
publisher = {Springer},
year = {2010},
isbn = {978-3-642-15653-3},
timestamp = {Tue, 17 Jan 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csdm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bicob/MancenyAGHJK09,
author = {Matthieu Manceny and
Marc Aiguier and
Pascale Le Gall and
Joan H{\'{e}}risson and
Ivan Junier and
Fran{\c{c}}ois K{\'{e}}p{\`{e}}s},
editor = {Sanguthevar Rajasekaran},
title = {Spatial Information and Boolean Genetic Regulatory Networks},
booktitle = {Bioinformatics and Computational Biology, First International Conference,
BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5462},
pages = {270--281},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00727-9\_26},
doi = {10.1007/978-3-642-00727-9\_26},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bicob/MancenyAGHJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/GastonABL09,
author = {Christophe Gaston and
Marc Aiguier and
Diane Bahrami and
Arnault Lapitre},
editor = {Kenneth Boness and
Jo{\~{a}}o M. Fernandes and
Jon G. Hall and
Ricardo Jorge Machado and
Roy Oberhauser},
title = {Symbolic Execution Techniques Extended to Systems},
booktitle = {The Fourth International Conference on Software Engineering Advances,
{ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSEA.2009.21},
doi = {10.1109/ICSEA.2009.21},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/icsea/GastonABL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LonguetA09,
author = {Delphine Longuet and
Marc Aiguier},
editor = {Martin Leucker and
Carroll Morgan},
title = {Integration Testing from Structured First-Order Specifications via
Deduction Modulo},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {261--276},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_17},
doi = {10.1007/978-3-642-03466-4\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/LonguetA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/MabroukiACG08,
author = {Mbarka Mabrouki and
Marc Aiguier and
Jean{-}Paul Comet and
Pascale Le Gall},
editor = {Katsuhisa Horimoto and
Georg Regensburger and
Markus Rosenkranz and
Hiroshi Yoshida},
title = {Property Preservation along Embedding of Biological Regulatory Networks},
booktitle = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5147},
pages = {125--138},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85101-1\_10},
doi = {10.1007/978-3-540-85101-1\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/MabroukiACG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AiguierGM08,
author = {Marc Aiguier and
Pascale Le Gall and
Mbarka Mabrouki},
title = {Emergent Properties in Reactive Systems},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {273--280},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.28},
doi = {10.1109/APSEC.2008.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AiguierGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/AiguierGM08,
author = {Marc Aiguier and
Pascale Le Gall and
Mbarka Mabrouki},
title = {A Formal Definition of Complex Software},
booktitle = {Proceedings of the Third International Conference on Software Engineering
Advances, {ICSEA} 2008, October 26-31, 2008, Sliema, Malta},
pages = {415--420},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSEA.2008.59},
doi = {10.1109/ICSEA.2008.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/AiguierGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AiguierD07,
author = {Marc Aiguier and
Razvan Diaconescu},
title = {Stratified institutions and elementary homomorphisms},
journal = {Inf. Process. Lett.},
volume = {103},
number = {1},
pages = {5--13},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.02.005},
doi = {10.1016/J.IPL.2007.02.005},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AiguierD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AiguierB07,
author = {Marc Aiguier and
Diane Bahrami},
title = {Structures for Abstract Rewriting},
journal = {J. Autom. Reason.},
volume = {38},
number = {4},
pages = {303--351},
year = {2007},
url = {https://doi.org/10.1007/s10817-006-9065-7},
doi = {10.1007/S10817-006-9065-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AiguierB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AiguierB07,
author = {Marc Aiguier and
Fabrice Barbier},
title = {An Institution-independent Proof of the Beth Definability Theorem},
journal = {Stud Logica},
volume = {85},
number = {3},
pages = {333--359},
year = {2007},
url = {https://doi.org/10.1007/s11225-007-9043-z},
doi = {10.1007/S11225-007-9043-Z},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AiguierB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/LonguetA07,
author = {Delphine Longuet and
Marc Aiguier},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Specification-Based Testing for CoCasl's Modal Specifications},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {356--371},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_24},
doi = {10.1007/978-3-540-73859-6\_24},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/LonguetA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AiguierAGL07,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Delphine Longuet},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Test Selection Criteria for Quantifier-Free First-Order Specifications},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {144--159},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_10},
doi = {10.1007/978-3-540-75698-9\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AiguierAGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AiguierL07,
author = {Marc Aiguier and
Delphine Longuet},
title = {Test Selection Criteria for Modal Specifications of Reactive Systems},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {159--170},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.52},
doi = {10.1109/TASE.2007.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/AiguierL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AiguierBG06,
author = {Marc Aiguier and
Karim Berkani and
Pascale Le Gall},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Feature Specification and Static Analysis for Interaction Resolution},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {364--379},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_25},
doi = {10.1007/11813040\_25},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AiguierBG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/ArnouldFAB06,
author = {Agn{\`{e}}s Arnould and
Laurent Fuchs and
Marc Aiguier and
Thibaud Brunet},
title = {Automatic Generation of Functional Programs from {CASL} Specifications},
booktitle = {Proceedings of the International Conference on Software Engineering
Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
French Polynesia},
pages = {34},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICSEA.2006.261290},
doi = {10.1109/ICSEA.2006.261290},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/ArnouldFAB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AdleAD05,
author = {Roxane Adle and
Marc Aiguier and
Franck Delaplace},
title = {Toward an automatic parallelization of sparse matrix computations},
journal = {J. Parallel Distributed Comput.},
volume = {65},
number = {3},
pages = {313--330},
year = {2005},
url = {https://doi.org/10.1016/j.jpdc.2004.09.017},
doi = {10.1016/J.JPDC.2004.09.017},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/AdleAD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AiguierGLT05,
author = {Marc Aiguier and
Pascale Le Gall and
Delphine Longuet and
Assia Touil},
title = {A Temporal Logic for Input Output Symbolic Transition Systems},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {43--50},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.19},
doi = {10.1109/APSEC.2005.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AiguierGLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/AiguierABGM05,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Cl{\'{e}}ment Boin and
Pascale Le Gall and
Bruno Marre},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Testing from Algebraic Specifications: Test Data Set Selection by
Unfolding Axioms},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {203--217},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_14},
doi = {10.1007/11759744\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fates/AiguierABGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AiguierBL06,
author = {Marc Aiguier and
Diane Bahrami and
Delphine Longuet},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {An Abstract Way to Define Rewriting Logic},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {205--226},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.033},
doi = {10.1016/J.ENTCS.2005.09.033},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AiguierBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Aiguier04,
author = {Marc Aiguier},
title = {{\'{E}}TOILE-specifications: An Object-oriented Algebraic Formalism
with Refinement},
journal = {J. Log. Comput.},
volume = {14},
number = {2},
pages = {145--178},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.2.145},
doi = {10.1093/LOGCOM/14.2.145},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Aiguier04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AiguierBS04,
author = {Marc Aiguier and
Stefan B{\'{e}}roff and
Pierre{-}Yves Schobbens},
editor = {Zhiming Liu and
Keijiro Araki},
title = {An Algebraic Approach for Codesign},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {415--430},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_30},
doi = {10.1007/978-3-540-31862-0\_30},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AiguierBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/AiguierB03,
author = {Marc Aiguier and
Diane Bahrami},
title = {Une approche g{\'{e}}n{\'{e}}rique de la r{\'{e}}{\'{e}}criture},
journal = {Tech. Sci. Informatiques},
volume = {22},
number = {4},
pages = {401--433},
year = {2003},
url = {https://doi.org/10.3166/tsi.22.401-433},
doi = {10.3166/TSI.22.401-433},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/AiguierB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AiguieBP04,
author = {Marc Aiguier and
Fabrice Barbier and
Pascal Poizat},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {A Logic with Temporal Glue for Mixed Specifications},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {155--174},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.035},
doi = {10.1016/J.ENTCS.2004.04.035},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AiguieBP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AiguierBD02,
author = {Marc Aiguier and
Diane Bahrami and
Catherine Dubois},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {On a Generalised Logicality Theorem},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {51--63},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_8},
doi = {10.1007/3-540-45470-5\_8},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AiguierBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AiguierGG02,
author = {Marc Aiguier and
Christophe Gaston and
Pascale Le Gall},
title = {Feature Logics and Refinement},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {385},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1183008},
doi = {10.1109/APSEC.2002.1183008},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AiguierGG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AdleAD00,
author = {Roxane Adle and
Marc Aiguier and
Franck Delaplace},
editor = {Arndt Bode and
Thomas Ludwig and
Wolfgang Karl and
Roland Wism{\"{u}}ller},
title = {Automatic Parallelization of Sparse Matrix Computations: {A} Static
Analysis},
booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
Munich, Germany, August 29 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1900},
pages = {340--348},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44520-X\_45},
doi = {10.1007/3-540-44520-X\_45},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/AdleAD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fireworks/GastonAG00,
author = {Christophe Gaston and
Marc Aiguier and
Pascale Le Gall},
editor = {Stephen Gilmore and
Mark Ryan},
title = {Algebraic Treatment of Feature-oriented Systems},
booktitle = {Language Constructs for Describing Features, Proceedings of the FIREworks
Workshop, Glasgow, UK, May 2000},
pages = {105--124},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0287-8\_7},
doi = {10.1007/978-1-4471-0287-8\_7},
timestamp = {Tue, 12 May 2020 14:48:07 +0200},
biburl = {https://dblp.org/rec/conf/fireworks/GastonAG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BernotGA94,
author = {Gilles Bernot and
Pascale Le Gall and
Marc Aiguier},
title = {Label Algebras and Exception Handling},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {227--286},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00021-2},
doi = {10.1016/0167-6423(94)00021-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BernotGA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
