BibTeX records: Marc Aiguier

download as .bib file

@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 = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/AiguierABH18},
  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. Reasoning},
  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 = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/AiguierABP18},
  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},
  archivePrefix = {arXiv},
  eprint    = {1803.01571},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-01571},
  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},
  archivePrefix = {arXiv},
  eprint    = {1710.05661},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-05661},
  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., Verif. Reliab.},
  volume    = {26},
  number    = {4},
  pages     = {294--317},
  year      = {2016},
  url       = {https://doi.org/10.1002/stvr.1598},
  doi       = {10.1002/stvr.1598},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/AiguierAGL16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1502.02298},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AiguierABH15},
  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},
  archivePrefix = {arXiv},
  eprint    = {1502.07628},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AiguierABH15a},
  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},
  archivePrefix = {arXiv},
  eprint    = {1502.07634},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AiguierABH15b},
  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. Comp. 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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cuza/AiguierK14},
  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/bib/conf/csdm/2013},
  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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/apsec/2013-1},
  url       = {https://doi.org/10.1109/APSEC.2013.81},
  doi       = {10.1109/APSEC.2013.81},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/BannourGAL13},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/iceccs/2013},
  url       = {https://doi.org/10.1109/ICECCS.2013.19},
  doi       = {10.1109/ICECCS.2013.19},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/AiguierGK13},
  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/bib/conf/csdm/2012},
  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       = {http://ceur-ws.org/Vol-1085},
  urn       = {urn:nbn:de:0074-1085-5},
  timestamp = {Mon, 30 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csdm/2013p},
  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   = {Applied Mathematics and Computation},
  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, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amc/GoldenAK12},
  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   = {Concurrent Engineering: R{\&}A},
  volume    = {20},
  number    = {2},
  pages     = {83},
  year      = {2012},
  url       = {https://doi.org/10.1177/1063293X12446691},
  doi       = {10.1177/1063293X12446691},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cera/Aiguier12},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AiguierBK12},
  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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/apsec/2012},
  url       = {https://doi.org/10.1109/APSEC.2012.40},
  doi       = {10.1109/APSEC.2012.40},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/KansoABG12},
  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   = {Mathematics in Computer Science},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mics/MabroukiACGR11},
  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. Reasoning},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/LonguetAG10},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lu/AiguierL10},
  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},
  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},
  pages     = {184--198},
  year      = {2010},
  crossref  = {DBLP:conf/ictac/2010},
  url       = {https://doi.org/10.1007/978-3-642-14808-8\_13},
  doi       = {10.1007/978-3-642-14808-8\_13},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/KansoABT10},
  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/bib/conf/csdm/2010},
  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},
  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},
  pages     = {270--281},
  year      = {2009},
  crossref  = {DBLP:conf/bicob/2009},
  url       = {https://doi.org/10.1007/978-3-642-00727-9\_26},
  doi       = {10.1007/978-3-642-00727-9\_26},
  timestamp = {Tue, 23 May 2017 01:12:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bicob/MancenyAGHJK09},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/icsea/2009},
  url       = {https://doi.org/10.1109/ICSEA.2009.21},
  doi       = {10.1109/ICSEA.2009.21},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsea/GastonABL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LonguetA09,
  author    = {Delphine Longuet and
               Marc Aiguier},
  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},
  pages     = {261--276},
  year      = {2009},
  crossref  = {DBLP:conf/ictac/2009},
  url       = {https://doi.org/10.1007/978-3-642-03466-4\_17},
  doi       = {10.1007/978-3-642-03466-4\_17},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/LonguetA09},
  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},
  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},
  pages     = {125--138},
  year      = {2008},
  crossref  = {DBLP:conf/ab/2008},
  url       = {https://doi.org/10.1007/978-3-540-85101-1\_10},
  doi       = {10.1007/978-3-540-85101-1\_10},
  timestamp = {Wed, 28 Jun 2017 19:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ab/MabroukiACG08},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/apsec/2008},
  url       = {https://doi.org/10.1109/APSEC.2008.28},
  doi       = {10.1109/APSEC.2008.28},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/AiguierGM08},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/icsea/2008},
  url       = {https://doi.org/10.1109/ICSEA.2008.59},
  doi       = {10.1109/ICSEA.2008.59},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsea/AiguierGM08},
  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/bib/journals/ipl/AiguierD07},
  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. Reasoning},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jar/AiguierB07},
  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   = {Studia 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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/AiguierB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/LonguetA07,
  author    = {Delphine Longuet and
               Marc Aiguier},
  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},
  pages     = {356--371},
  year      = {2007},
  crossref  = {DBLP:conf/calco/2007},
  url       = {https://doi.org/10.1007/978-3-540-73859-6\_24},
  doi       = {10.1007/978-3-540-73859-6\_24},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/LonguetA07},
  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},
  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},
  pages     = {144--159},
  year      = {2007},
  crossref  = {DBLP:conf/fsen/2007},
  url       = {https://doi.org/10.1007/978-3-540-75698-9\_10},
  doi       = {10.1007/978-3-540-75698-9\_10},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/AiguierAGL07},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/tase/2007},
  url       = {https://doi.org/10.1109/TASE.2007.52},
  doi       = {10.1109/TASE.2007.52},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/AiguierL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AiguierBL06,
  author    = {Marc Aiguier and
               Diane Bahrami and
               Delphine Longuet},
  title     = {An Abstract Way to Define Rewriting Logic},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {159},
  pages     = {205--226},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.09.033},
  doi       = {10.1016/j.entcs.2005.09.033},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AiguierBL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AiguierBG06,
  author    = {Marc Aiguier and
               Karim Berkani and
               Pascale Le Gall},
  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},
  pages     = {364--379},
  year      = {2006},
  crossref  = {DBLP:conf/fm/2006},
  url       = {https://doi.org/10.1007/11813040\_25},
  doi       = {10.1007/11813040\_25},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/AiguierBG06},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/icsea/2006},
  url       = {https://doi.org/10.1109/ICSEA.2006.261290},
  doi       = {10.1109/ICSEA.2006.261290},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsea/ArnouldFAB06},
  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 Distrib. 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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jpdc/AdleAD05},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/apsec/2005},
  url       = {https://doi.org/10.1109/APSEC.2005.19},
  doi       = {10.1109/APSEC.2005.19},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/AiguierGLT05},
  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},
  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},
  pages     = {203--217},
  year      = {2005},
  crossref  = {DBLP:conf/fates/2005},
  url       = {https://doi.org/10.1007/11759744\_14},
  doi       = {10.1007/11759744\_14},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fates/AiguierABGM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/AiguieBP04,
  author    = {Marc Aiguier and
               Fabrice Barbier and
               Pascal Poizat},
  title     = {A Logic with Temporal Glue for Mixed Specifications},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {97},
  pages     = {155--174},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.04.035},
  doi       = {10.1016/j.entcs.2004.04.035},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/AiguieBP04},
  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/bib/journals/logcom/Aiguier04},
  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},
  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},
  pages     = {415--430},
  year      = {2004},
  crossref  = {DBLP:conf/ictac/2004},
  url       = {https://doi.org/10.1007/978-3-540-31862-0\_30},
  doi       = {10.1007/978-3-540-31862-0\_30},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/AiguierBS04},
  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   = {Technique et Science 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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsi/AiguierB03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AiguierBD02,
  author    = {Marc Aiguier and
               Diane Bahrami and
               Catherine Dubois},
  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},
  pages     = {51--63},
  year      = {2002},
  crossref  = {DBLP:conf/aisc/2002},
  url       = {https://doi.org/10.1007/3-540-45470-5\_8},
  doi       = {10.1007/3-540-45470-5\_8},
  timestamp = {Thu, 01 Jun 2017 18:57:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/AiguierBD02},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/apsec/2002},
  url       = {https://doi.org/10.1109/APSEC.2002.1183008},
  doi       = {10.1109/APSEC.2002.1183008},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/AiguierGG02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/AdleAD00,
  author    = {Roxane Adle and
               Marc Aiguier and
               Franck Delaplace},
  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.},
  pages     = {340--348},
  year      = {2000},
  crossref  = {DBLP:conf/europar/2000},
  url       = {https://doi.org/10.1007/3-540-44520-X\_45},
  doi       = {10.1007/3-540-44520-X\_45},
  timestamp = {Wed, 14 Nov 2018 10:58:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/europar/AdleAD00},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/BernotGA94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2013-1,
  editor    = {Pornsiri Muenchaisri and
               Gregg Rothermel},
  title     = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
               Bangkok, Thailand, December 2-5, 2013 - Volume 1},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6805370},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2013-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2013,
  title     = {2013 18th International Conference on Engineering of Complex Computer
               Systems, Singapore, July 17-19, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6599337},
  isbn      = {978-0-7695-5007-7},
  timestamp = {Thu, 23 Apr 2015 17:57:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2012,
  editor    = {Karl R. P. H. Leung and
               Pornsiri Muenchaisri},
  title     = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6462577},
  isbn      = {978-0-7695-4922-4},
  timestamp = {Tue, 12 Mar 2013 11:04:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2010,
  editor    = {Ana Cavalcanti and
               David D{\'{e}}harbe and
               Marie{-}Claude Gaudel and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14808-8},
  doi       = {10.1007/978-3-642-14808-8},
  isbn      = {978-3-642-14807-1},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bicob/2009,
  editor    = {Sanguthevar Rajasekaran},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00727-9},
  doi       = {10.1007/978-3-642-00727-9},
  isbn      = {978-3-642-00726-2},
  timestamp = {Tue, 23 May 2017 01:12:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bicob/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsea/2009,
  editor    = {Kenneth Boness and
               Jo{\~{a}}o M. Fernandes and
               Jon G. Hall and
               Ricardo Jorge Machado and
               Roy Oberhauser},
  title     = {The Fourth International Conference on Software Engineering Advances,
               {ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5298192},
  isbn      = {978-0-7695-3777-1},
  timestamp = {Fri, 05 Dec 2014 14:22:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsea/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2009,
  editor    = {Martin Leucker and
               Carroll Morgan},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03466-4},
  doi       = {10.1007/978-3-642-03466-4},
  isbn      = {978-3-642-03465-7},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ab/2008,
  editor    = {Katsuhisa Horimoto and
               Georg Regensburger and
               Markus Rosenkranz and
               Hiroshi Yoshida},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85101-1},
  doi       = {10.1007/978-3-540-85101-1},
  isbn      = {978-3-540-85100-4},
  timestamp = {Wed, 28 Jun 2017 19:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ab/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2008,
  title     = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
               3-5 December 2008, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4724512},
  isbn      = {978-0-7695-3446-6},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsea/2008,
  title     = {Proceedings of the Third International Conference on Software Engineering
               Advances, {ICSEA} 2008, October 26-31, 2008, Sliema, Malta},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4668070},
  isbn      = {978-0-7695-3372-8},
  timestamp = {Fri, 05 Dec 2014 14:22:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsea/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2007,
  editor    = {Till Mossakowski and
               Ugo Montanari and
               Magne Haveraaen},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73859-6},
  doi       = {10.1007/978-3-540-73859-6},
  isbn      = {978-3-540-73857-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2007,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75698-9},
  doi       = {10.1007/978-3-540-75698-9},
  isbn      = {978-3-540-75697-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2007,
  title     = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
               Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4239934},
  isbn      = {0-7695-2856-2},
  timestamp = {Mon, 01 Dec 2014 19:24:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tase/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2006,
  editor    = {Jayadev Misra and
               Tobias Nipkow and
               Emil Sekerinski},
  title     = {{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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11813040},
  doi       = {10.1007/11813040},
  isbn      = {3-540-37215-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsea/2006,
  title     = {Proceedings of the International Conference on Software Engineering
               Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
               French Polynesia},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4031778},
  isbn      = {0-7695-2703-5},
  timestamp = {Fri, 05 Dec 2014 14:22:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsea/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2005,
  title     = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
               15-17 December 2005, Taipei, Taiwan},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10689},
  isbn      = {0-7695-2465-6},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2005,
  editor    = {Wolfgang Grieskamp and
               Carsten Weise},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11759744},
  doi       = {10.1007/11759744},
  isbn      = {3-540-34454-3},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fates/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2004,
  editor    = {Zhiming Liu and
               Keijiro Araki},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107116},
  doi       = {10.1007/b107116},
  isbn      = {3-540-25304-1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
  editor    = {Jacques Calmet and
               Belaid Benhamou and
               Olga Caprotti and
               Laurent Henocque and
               Volker Sorge},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45470-5},
  doi       = {10.1007/3-540-45470-5},
  isbn      = {3-540-43865-3},
  timestamp = {Thu, 01 Jun 2017 18:57:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2002,
  title     = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
               December 2002, Gold Coast, Queensland, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8424},
  isbn      = {0-7695-1850-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/2000,
  editor    = {Arndt Bode and
               Thomas Ludwig and
               Wolfgang Karl and
               Roland Wism{\"{u}}ller},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44520-X},
  doi       = {10.1007/3-540-44520-X},
  isbn      = {3-540-67956-1},
  timestamp = {Wed, 14 Nov 2018 10:58:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/europar/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier