BibTeX records: Arjan J. C. van Gemund

download as .bib file

@article{DBLP:journals/aim/FeldmanKKNPGKG14,
  author       = {Alexander Feldman and
                  Johan de Kleer and
                  Tolga Kurtoglu and
                  Sriram Narasimhan and
                  Scott Poll and
                  David Garc{\'{\i}}a and
                  Lukas D. Kuhn and
                  Arjan J. C. van Gemund},
  title        = {The Diagnostic Competitions},
  journal      = {{AI} Mag.},
  volume       = {35},
  number       = {2},
  pages        = {49--54},
  year         = {2014},
  url          = {https://doi.org/10.1609/aimag.v35i2.2532},
  doi          = {10.1609/AIMAG.V35I2.2532},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aim/FeldmanKKNPGKG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LandiGZ14,
  author       = {Claudio Landi and
                  Arjan J. C. van Gemund and
                  Marina Zanella},
  editor       = {Torsten Schaub and
                  Gerhard Friedrich and
                  Barry O'Sullivan},
  title        = {Heuristics to Increase Observability in Spectrum-based Fault Localization},
  booktitle    = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
                  18-22 August 2014, Prague, Czech Republic - Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2014)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {263},
  pages        = {1053--1054},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-419-0-1053},
  doi          = {10.3233/978-1-61499-419-0-1053},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/LandiGZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FeldmanPG14,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  title        = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
  journal      = {CoRR},
  volume       = {abs/1401.3848},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.3848},
  eprinttype    = {arXiv},
  eprint       = {1401.3848},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FeldmanPG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FeldmanPG14a,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  title        = {A Model-Based Active Testing Approach to Sequential Diagnosis},
  journal      = {CoRR},
  volume       = {abs/1401.3850},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.3850},
  eprinttype    = {arXiv},
  eprint       = {1401.3850},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FeldmanPG14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/awareness/PielGGG13,
  author       = {{\'{E}}ric Piel and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  editor       = {Pi{\"{e}}rre van de Laar and
                  Jan Tretmans and
                  Michael Borth},
  title        = {Online Fault Localization and Health Monitoring for Software Systems},
  booktitle    = {Situation Awareness with Systems of Systems},
  pages        = {229--245},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-1-4614-6230-9\_14},
  doi          = {10.1007/978-1-4614-6230-9\_14},
  timestamp    = {Sat, 30 Sep 2023 09:32:43 +0200},
  biburl       = {https://dblp.org/rec/books/sp/awareness/PielGGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/awareness/Gonzalez-SanchezPAGG13,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Rui Abreu and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  editor       = {Pi{\"{e}}rre van de Laar and
                  Jan Tretmans and
                  Michael Borth},
  title        = {Prioritizing Tests for Fault Localization},
  booktitle    = {Situation Awareness with Systems of Systems},
  pages        = {247--257},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-1-4614-6230-9\_15},
  doi          = {10.1007/978-1-4614-6230-9\_15},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/awareness/Gonzalez-SanchezPAGG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/GemundR12,
  author       = {Arjan J. C. van Gemund and
                  Gerard L. Reijns},
  title        = {Reliability Analysis of {\textdollar}k{\textdollar}-out-of- {\textdollar}n{\textdollar}
                  Systems With Single Cold Standby Using Pearson Distributions},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {61},
  number       = {2},
  pages        = {526--532},
  year         = {2012},
  url          = {https://doi.org/10.1109/TR.2012.2192587},
  doi          = {10.1109/TR.2012.2192587},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/GemundR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/GemundR12a,
  author       = {Arjan J. C. van Gemund and
                  Gerard L. Reijns},
  title        = {Errata to "Reliability Analysis of k -out-of- n Systems With
                  Single Cold Standby Using Pearson Distributions" [Jun 12 526-532]},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {61},
  number       = {3},
  pages        = {832},
  year         = {2012},
  url          = {https://doi.org/10.1109/TR.2012.2210669},
  doi          = {10.1109/TR.2012.2210669},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/GemundR12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AbreuZG11,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Simultaneous debugging of software faults},
  journal      = {J. Syst. Softw.},
  volume       = {84},
  number       = {4},
  pages        = {573--586},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jss.2010.11.915},
  doi          = {10.1016/J.JSS.2010.11.915},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/AbreuZG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Gonzalez-SanchezPAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Rui Abreu and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  title        = {Prioritizing tests for software fault diagnosis},
  journal      = {Softw. Pract. Exp.},
  volume       = {41},
  number       = {10},
  pages        = {1105--1129},
  year         = {2011},
  url          = {https://doi.org/10.1002/spe.1065},
  doi          = {10.1002/SPE.1065},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spe/Gonzalez-SanchezPAGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gonzalez-SanchezAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Rui Abreu and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  editor       = {Wolfram Burgard and
                  Dan Roth},
  title        = {Spectrum-Based Sequential Diagnosis},
  booktitle    = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  pages        = {189--196},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/aaai.v25i1.7844},
  doi          = {10.1609/AAAI.V25I1.7844},
  timestamp    = {Mon, 04 Sep 2023 16:05:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Gonzalez-SanchezAGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GuptaGA11,
  author       = {Shekhar Gupta and
                  Arjan J. C. van Gemund and
                  Rui Abreu},
  title        = {Probabilistic Error Propagation Modeling in Logic Circuits},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {617--623},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.40},
  doi          = {10.1109/ICSTW.2011.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GuptaGA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Gonzalez-SanchezGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  title        = {Modeling the Diagnostic Efficiency of Regression Test Suites},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {634--643},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.22},
  doi          = {10.1109/ICSTW.2011.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Gonzalez-SanchezGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Gonzalez-SanchezPGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  title        = {A Diagnostic Point of View for the Optimization of Preparation Costs
                  in Runtime Testing},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {654--660},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.21},
  doi          = {10.1109/ICSTW.2011.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Gonzalez-SanchezPGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/AbreuGG11,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Arjan J. C. van Gemund},
  editor       = {Kishan G. Mehrotra and
                  Chilukuri K. Mohan and
                  Jae C. Oh and
                  Pramod K. Varshney and
                  Moonis Ali},
  title        = {A Diagnostic Reasoning Approach to Defect Prediction},
  booktitle    = {Modern Approaches in Applied Intelligence - 24th International Conference
                  on Industrial Engineering and Other Applications of Applied Intelligent
                  Systems, {IEA/AIE} 2011, Syracuse, NY, USA, June 28 - July 1, 2011,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6704},
  pages        = {416--425},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21827-9\_43},
  doi          = {10.1007/978-3-642-21827-9\_43},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ieaaie/AbreuGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Gonzalez-SanchezAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Rui Abreu and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  editor       = {Perry Alexander and
                  Corina S. Pasareanu and
                  John G. Hosking},
  title        = {Prioritizing tests for fault localization through ambiguity group
                  reduction},
  booktitle    = {26th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages        = {83--92},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ASE.2011.6100153},
  doi          = {10.1109/ASE.2011.6100153},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Gonzalez-SanchezAGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Gonzalez-SanchezAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Rui Abreu and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {An empirical study on the usage of testability information to fault
                  localization in software},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {1398--1403},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982489},
  doi          = {10.1145/1982185.1982489},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/Gonzalez-SanchezAGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/PielGGG11,
  author       = {{\'{E}}ric Piel and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  title        = {Spectrum-Based Health Monitoring for Self-Adaptive Systems},
  booktitle    = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011},
  pages        = {99--108},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SASO.2011.21},
  doi          = {10.1109/SASO.2011.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/PielGGG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AbreuG10,
  author       = {Rui Abreu and
                  Arjan J. C. van Gemund},
  title        = {Diagnosing multiple intermittent failures using maximum likelihood
                  estimation},
  journal      = {Artif. Intell.},
  volume       = {174},
  number       = {18},
  pages        = {1481--1497},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.artint.2010.09.003},
  doi          = {10.1016/J.ARTINT.2010.09.003},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AbreuG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FeldmanPG10,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  title        = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
  journal      = {J. Artif. Intell. Res.},
  volume       = {38},
  pages        = {371--413},
  year         = {2010},
  url          = {https://doi.org/10.1613/jair.3025},
  doi          = {10.1613/JAIR.3025},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/FeldmanPG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FeldmanPG10a,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  title        = {A Model-Based Active Testing Approach to Sequential Diagnosis},
  journal      = {J. Artif. Intell. Res.},
  volume       = {39},
  pages        = {301--334},
  year         = {2010},
  url          = {https://doi.org/10.1613/jair.3031},
  doi          = {10.1613/JAIR.3031},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/FeldmanPG10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Gonzalez-SanchezPGG10,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  editor       = {Sheikh Iqbal Ahamed and
                  Doo{-}Hwan Bae and
                  Sung Deok Cha and
                  Carl K. Chang and
                  Rajesh Subramanyan and
                  W. Eric Wong and
                  Hen{-}I Yang},
  title        = {Minimising the Preparation Cost of Runtime Testing Based on Testability
                  Metrics},
  booktitle    = {Proceedings of the 34th Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
                  2010},
  pages        = {419--424},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/COMPSAC.2010.49},
  doi          = {10.1109/COMPSAC.2010.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Gonzalez-SanchezPGG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promise/AbreuGG10,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Arjan J. C. van Gemund},
  editor       = {Tim Menzies and
                  G{\"{u}}nes Koru},
  title        = {Exploiting count spectra for Bayesian fault localization},
  booktitle    = {Proceedings of the 6th International Conference on Predictive Models
                  in Software Engineering, {PROMISE} 2010, Timisoara, Romania, September
                  12-13, 2010},
  pages        = {12},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1868328.1868347},
  doi          = {10.1145/1868328.1868347},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/promise/AbreuGG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/Gonzalez-SanchezPGG10,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  editor       = {Ji Wang and
                  W. K. Chan and
                  Fei{-}Ching Kuo},
  title        = {Prioritizing Tests for Software Fault Localization},
  booktitle    = {Proceedings of the 10th International Conference on Quality Software,
                  {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  pages        = {42--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QSIC.2010.28},
  doi          = {10.1109/QSIC.2010.28},
  timestamp    = {Mon, 19 Aug 2024 08:29:06 +0200},
  biburl       = {https://dblp.org/rec/conf/qsic/Gonzalez-SanchezPGG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/SozerAAG10,
  author       = {Hasan S{\"{o}}zer and
                  Rui Abreu and
                  Mehmet Aksit and
                  Arjan J. C. van Gemund},
  editor       = {Ji Wang and
                  W. K. Chan and
                  Fei{-}Ching Kuo},
  title        = {Increasing System Availability with Local Recovery Based on Fault
                  Localization},
  booktitle    = {Proceedings of the 10th International Conference on Quality Software,
                  {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  pages        = {276--281},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QSIC.2010.29},
  doi          = {10.1109/QSIC.2010.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/SozerAAG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AbreuZGG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Rob Golsteijn and
                  Arjan J. C. van Gemund},
  title        = {A practical evaluation of spectrum-based fault localization},
  journal      = {J. Syst. Softw.},
  volume       = {82},
  number       = {11},
  pages        = {1780--1792},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jss.2009.06.035},
  doi          = {10.1016/J.JSS.2009.06.035},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/AbreuZGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/Gonzalez-EscribanoGC09,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Arjan J. C. van Gemund and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo},
  title        = {Performance implications of synchronization structure in parallel
                  programming},
  journal      = {Parallel Comput.},
  volume       = {35},
  number       = {8-9},
  pages        = {455--474},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.parco.2009.07.002},
  doi          = {10.1016/J.PARCO.2009.07.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/Gonzalez-EscribanoGC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AbreuZG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  editor       = {Craig Boutilier},
  title        = {A New Bayesian Approach to Multiple Intermittent Fault Diagnosis},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {653--658},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/114.pdf},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AbreuZG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FeldmanPG09,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  editor       = {Craig Boutilier},
  title        = {{FRACTAL:} Efficient Fault Isolation Using Active Testing},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {778--784},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/134.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FeldmanPG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FeldmanPG09a,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  editor       = {Craig Boutilier},
  title        = {Solving Strong-Fault Diagnostic Models by Model Relaxation},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {785--790},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/135.pdf},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FeldmanPG09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AbreuZG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Spectrum-Based Multiple Fault Localization},
  booktitle    = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages        = {88--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ASE.2009.25},
  doi          = {10.1109/ASE.2009.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/AbreuZG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JanssenAG09,
  author       = {Tom Janssen and
                  Rui Abreu and
                  Arjan J. C. van Gemund},
  title        = {Zoltar: {A} Toolset for Automatic Fault Localization},
  booktitle    = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages        = {662--664},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ASE.2009.27},
  doi          = {10.1109/ASE.2009.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/JanssenAG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AbreuZG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  editor       = {Byoungju Choi},
  title        = {Localizing Software Faults Simultaneously},
  booktitle    = {Proceedings of the Ninth International Conference on Quality Software,
                  {QSIC} 2009, Jeju, Korea, August 24-25, 2009},
  pages        = {367--376},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/QSIC.2009.55},
  doi          = {10.1109/QSIC.2009.55},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/AbreuZG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbreuMSG09,
  author       = {Rui Abreu and
                  Wolfgang Mayer and
                  Markus Stumptner and
                  Arjan J. C. van Gemund},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Refining spectrum-based fault localization rankings},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {409--414},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529374},
  doi          = {10.1145/1529282.1529374},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/AbreuMSG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AbreuG09,
  author       = {Rui Abreu and
                  Arjan J. C. van Gemund},
  editor       = {Vadim Bulitko and
                  J. Christopher Beck},
  title        = {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application
                  to Model-Based Diagnosis},
  booktitle    = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
                  {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/834},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/AbreuG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPKKG09,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Johan de Kleer and
                  Lukas D. Kuhn and
                  Arjan J. C. van Gemund},
  editor       = {Vadim Bulitko and
                  J. Christopher Beck},
  title        = {Automated Redesign with the General Redesign Engine},
  booktitle    = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
                  {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/836},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/FeldmanPKKG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanPG08,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Computing Minimal Diagnoses by Greedy Stochastic Search},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {911--918},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-145.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FeldmanPG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanPG08a,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {919--924},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-146.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FeldmanPG08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/Abreu0ZG08,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  editor       = {Leszek A. Maciaszek and
                  C{\'{e}}sar Gonz{\'{a}}lez{-}P{\'{e}}rez and
                  Stefan Jablonski},
  title        = {Using Fault Screeners for Software Error Detection},
  booktitle    = {Evaluation of Novel Approaches to Software Engineering - 3rd and 4th
                  International Conferences, {ENASE} 2008/2009, Funchal, Madeira, Portugal,
                  May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {69},
  pages        = {60--74},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-14819-4\_5},
  doi          = {10.1007/978-3-642-14819-4\_5},
  timestamp    = {Mon, 12 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/enase/Abreu0ZG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/AbreuGZG08,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  editor       = {Cesar Gonzalez{-}Perez and
                  Stefan Jablonski},
  title        = {On the Performance of Fault Screeners in Software Development and
                  Deployment},
  booktitle    = {{ENASE} 2008 - Proceedings of the 3rd International Conference on
                  Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira,
                  Portugal, May 4-7, 2008},
  pages        = {123--130},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/enase/AbreuGZG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AbreuZG08,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  editor       = {Ben Liblit and
                  Atanas Rountev},
  title        = {An observation-based model for fault localization},
  booktitle    = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
                  held in conjunction with the {ACM} {SIGSOFT} International Symposium
                  on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
                  Washington, USA, July 21, 2008},
  pages        = {64--70},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1401827.1401841},
  doi          = {10.1145/1401827.1401841},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/AbreuZG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AbreuGZG08,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {Automatic software fault localization using generic program invariants},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {712--717},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363855},
  doi          = {10.1145/1363686.1363855},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/AbreuGZG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZoeteweijPAFG08,
  author       = {Peter Zoeteweij and
                  Jurryt Pietersma and
                  Rui Abreu and
                  Alexander Feldman and
                  Arjan J. C. van Gemund},
  title        = {Automated Fault Diagnosis in Embedded Systems},
  booktitle    = {Second International Conference on Secure System Integration and Reliability
                  Improvement, {SSIRI} 2008, July 14-17, 2008, Yokohama, Japan},
  pages        = {103--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SSIRI.2008.48},
  doi          = {10.1109/SSIRI.2008.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/ZoeteweijPAFG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/GrossG07,
  author       = {Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  title        = {The delft {MS} curriculum on embedded systems},
  journal      = {{SIGBED} Rev.},
  volume       = {4},
  number       = {1},
  pages        = {1--10},
  year         = {2007},
  url          = {https://doi.org/10.1145/1217809.1217811},
  doi          = {10.1145/1217809.1217811},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/GrossG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/ReijnsG07,
  author       = {Gerard L. Reijns and
                  Arjan J. C. van Gemund},
  title        = {Reliability Analysis of Hierarchical Systems Using Statistical Moments},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {56},
  number       = {3},
  pages        = {525--533},
  year         = {2007},
  url          = {https://doi.org/10.1109/TR.2007.903132},
  doi          = {10.1109/TR.2007.903132},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/ReijnsG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/ZoeteweijAGG07,
  author       = {Peter Zoeteweij and
                  Rui Abreu and
                  Rob Golsteijn and
                  Arjan J. C. van Gemund},
  title        = {Diagnosis of Embedded Software Using Program Spectra},
  booktitle    = {14th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
                  Arizona, {USA}},
  pages        = {213--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECBS.2007.31},
  doi          = {10.1109/ECBS.2007.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/ZoeteweijAGG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPG07,
  author       = {Alexander Feldman and
                  Gregory M. Provan and
                  Arjan J. C. van Gemund},
  editor       = {Ian Miguel and
                  Wheeler Ruml},
  title        = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
  booktitle    = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
                  {SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4612},
  pages        = {139--154},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73580-9\_13},
  doi          = {10.1007/978-3-540-73580-9\_13},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/sara/FeldmanPG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/GautamaG06,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  title        = {Low-Cost Static Performance Prediction of Parallel Stochastic Task
                  Compositions},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {17},
  number       = {1},
  pages        = {78--91},
  year         = {2006},
  url          = {https://doi.org/10.1109/TPDS.2006.13},
  doi          = {10.1109/TPDS.2006.13},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/GautamaG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanG06,
  author       = {Alexander Feldman and
                  Arjan J. C. van Gemund},
  title        = {A Two-Step Hierarchical Algorithm for Model-Based Diagnosis},
  booktitle    = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
                  and the Eighteenth Innovative Applications of Artificial Intelligence
                  Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  pages        = {827--833},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/AAAI/2006/aaai06-131.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FeldmanG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/VarbanescuSG06,
  author       = {Ana Lucia Varbanescu and
                  Henk J. Sips and
                  Arjan J. C. van Gemund},
  editor       = {Wolfgang E. Nagel and
                  Wolfgang V. Walter and
                  Wolfgang Lehner},
  title        = {PAM-SoC: {A} Toolchain for Predicting MPSoC Performance},
  booktitle    = {Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference,
                  Dresden, Germany, August 28 - September 1, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4128},
  pages        = {111--123},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11823285\_12},
  doi          = {10.1007/11823285\_12},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/VarbanescuSG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/AbreuZG06,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {An Evaluation of Similarity Coefficients for Software Fault Localization},
  booktitle    = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
                  {USA}},
  pages        = {39--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/PRDC.2006.18},
  doi          = {10.1109/PRDC.2006.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/AbreuZG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/PietersmaG06,
  author       = {Jurryt Pietersma and
                  Arjan J. C. van Gemund},
  title        = {Temporal versus Spatial Observability in Model-Based Diagnosis},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Taipei, Taiwan, October 8-11, 2006},
  pages        = {5325--5331},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICSMC.2006.385155},
  doi          = {10.1109/ICSMC.2006.385155},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/PietersmaG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0607116,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Program Spectra Analysis in Embedded Software: {A} Case Study},
  journal      = {CoRR},
  volume       = {abs/cs/0607116},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0607116},
  eprinttype    = {arXiv},
  eprint       = {cs/0607116},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0607116.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/ReijnsG05,
  author       = {Gerard L. Reijns and
                  Arjan J. C. van Gemund},
  title        = {Predicting the execution times of parallel-independent programs using
                  Pearson distributions},
  journal      = {Parallel Comput.},
  volume       = {31},
  number       = {8-9},
  pages        = {877--899},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.parco.2005.06.003},
  doi          = {10.1016/J.PARCO.2005.06.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/ReijnsG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Gonzalez-EscribanoGC05,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Arjan J. C. van Gemund and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo},
  editor       = {Jos{\'{e}} C. Cunha and
                  Pedro D. Medeiros},
  title        = {{SPC-XML:} {A} Structured Representation for Nested-Parallel Programming
                  Languages},
  booktitle    = {Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference,
                  Lisbon, Portugal, August 30 - September 2, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3648},
  pages        = {782--792},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549468\_85},
  doi          = {10.1007/11549468\_85},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/Gonzalez-EscribanoGC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/Gonzalez-EscribanoGCPC04,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Arjan J. C. van Gemund and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo and
                  Ra{\'{u}}l Portales{-}Fern{\'{a}}ndez and
                  Jose A. Caminero{-}Granja},
  editor       = {Michel J. Dayd{\'{e}} and
                  Jack J. Dongarra and
                  Vicente Hern{\'{a}}ndez and
                  Jos{\'{e}} M. Laginha M. Palma},
  title        = {A Preliminary Nested-Parallel Framework to Efficiently Implement Scientific
                  Applications},
  booktitle    = {High Performance Computing for Computational Science - {VECPAR} 2004,
                  6th International Conference, Valencia, Spain, June 28-30, 2004, Revised
                  Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3402},
  pages        = {541--555},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11403937\_41},
  doi          = {10.1007/11403937\_41},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/vecpar/Gonzalez-EscribanoGCPC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/GautamaG03,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  title        = {Symbolic Performance Estimation Of Speculative Parallel Programs},
  journal      = {Parallel Process. Lett.},
  volume       = {13},
  number       = {4},
  pages        = {513--524},
  year         = {2003},
  url          = {https://doi.org/10.1142/S0129626403001471},
  doi          = {10.1142/S0129626403001471},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/GautamaG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/Gemund03,
  author       = {Arjan J. C. van Gemund},
  title        = {Symbolic Performance Modeling of Parallel Systems},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {14},
  number       = {2},
  pages        = {154--165},
  year         = {2003},
  url          = {https://doi.org/10.1109/TPDS.2003.1178879},
  doi          = {10.1109/TPDS.2003.1178879},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/Gemund03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/GautamaG03,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  editor       = {Harald Kosch and
                  L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
                  Hermann Hellwagner},
  title        = {Symbolic Performance Prediction of Speculative Parallel Programs},
  booktitle    = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
                  Klagenfurt, Austria, August 26-29, 2003. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2790},
  pages        = {88--97},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45209-6\_16},
  doi          = {10.1007/978-3-540-45209-6\_16},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/GautamaG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RobertCGK03,
  author       = {Yves Robert and
                  Henri Casanova and
                  Arjan J. C. van Gemund and
                  Dieter Kranzlm{\"{u}}ller},
  editor       = {Harald Kosch and
                  L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
                  Hermann Hellwagner},
  title        = {Topic Introduction},
  booktitle    = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
                  Klagenfurt, Austria, August 26-29, 2003. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2790},
  pages        = {147},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45209-6\_23},
  doi          = {10.1007/978-3-540-45209-6\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/RobertCGK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GautamaG03,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  title        = {A Statistical Approach to Branch Modeling in Static Program Performance
                  Prediction},
  booktitle    = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  pages        = {280},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IPDPS.2003.1213503},
  doi          = {10.1109/IPDPS.2003.1213503},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/GautamaG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/RadulescuG02,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  title        = {Low-Cost Task Scheduling for Distributed-Memory Machines},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {13},
  number       = {6},
  pages        = {648--658},
  year         = {2002},
  url          = {https://doi.org/10.1109/TPDS.2002.1011417},
  doi          = {10.1109/TPDS.2002.1011417},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/RadulescuG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpe/GautamaG02,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  editor       = {Tony Field and
                  Peter G. Harrison and
                  Jeremy T. Bradley and
                  Uli Harder},
  title        = {Symbolic Performance Prediction of Data-Dependent Parallel Programs},
  booktitle    = {Computer Performance Evaluation, Modelling Techniques and Tools 12th
                  International Conference, {TOOLS} 2002, London, UK, April 14-17, 2002,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2324},
  pages        = {259--278},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46029-2\_20},
  doi          = {10.1007/3-540-46029-2\_20},
  timestamp    = {Sun, 25 Oct 2020 23:14:48 +0100},
  biburl       = {https://dblp.org/rec/conf/cpe/GautamaG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Gemund02,
  author       = {Arjan J. C. van Gemund},
  editor       = {Burkhard Monien and
                  Rainer Feldmann},
  title        = {Symbolic Cost Estimation of Parallel Applications},
  booktitle    = {Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference
                  Paderborn, Germany, August 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2400},
  pages        = {147--156},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45706-2\_18},
  doi          = {10.1007/3-540-45706-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/Gemund02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/Gonzalez-EscribanoGC02,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Arjan J. C. van Gemund and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo},
  editor       = {Jos{\'{e}} M. Laginha M. Palma and
                  Jack J. Dongarra and
                  Vicente Hern{\'{a}}ndez and
                  Ant{\'{o}}nio Augusto de Sousa},
  title        = {Mapping Unstructured Applications into Nested Parallelism},
  booktitle    = {High Performance Computing for Computational Science - {VECPAR} 2002,
                  5th International Conference, Porto, Portugal, June 26-28, 2002, Selected
                  Papers and Invited Talks},
  series       = {Lecture Notes in Computer Science},
  volume       = {2565},
  pages        = {407--420},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36569-9\_27},
  doi          = {10.1007/3-540-36569-9\_27},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/vecpar/Gonzalez-EscribanoGC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/ReijnsGG01,
  author       = {Gerard L. Reijns and
                  Arjan J. C. van Gemund and
                  Hasyim Gautama},
  title        = {Performance Analysis of Multi-Stage Interconnection Networks with
                  Deterministic Service Times},
  journal      = {Parallel Process. Lett.},
  volume       = {11},
  number       = {1},
  pages        = {109--123},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0129626401000464},
  doi          = {10.1142/S0129626401000464},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/ReijnsGG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/GautamaG01,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  editor       = {Rizos Sakellariou and
                  John A. Keane and
                  John R. Gurd and
                  Len Freeman},
  title        = {Performance Prediction of Data-Dependent Task Parallel Programs},
  booktitle    = {Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference
                  Manchester, {UK} August 28-31, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2150},
  pages        = {106--116},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44681-8\_17},
  doi          = {10.1007/3-540-44681-8\_17},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/GautamaG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/RadulescuG01,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  editor       = {Lionel M. Ni and
                  Mateo Valero},
  title        = {A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling},
  booktitle    = {Proceedings of the 2001 International Conference on Parallel Processing,
                  {ICPP} 2002, 3-7 September 2001, Valencia, Spain},
  pages        = {69--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICPP.2001.952048},
  doi          = {10.1109/ICPP.2001.952048},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/RadulescuG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RadulescuNGJ01,
  author       = {Andrei Radulescu and
                  Cristina Nicolescu and
                  Arjan J. C. van Gemund and
                  Pieter Jonker},
  title        = {{CPR:} Mixed Task and Data Parallel Scheduling for Distributed Systems},
  booktitle    = {Proceedings of the 15th International Parallel {\&} Distributed
                  Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27,
                  2001},
  pages        = {39},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/IPDPS.2001.924977},
  doi          = {10.1109/IPDPS.2001.924977},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/RadulescuNGJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/GautamaG01,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  title        = {Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs},
  booktitle    = {9th International Workshop on Modeling, Analysis, and Simulation of
                  Computer and Telecommunication Systems {(MASCOTS} 2001), 15-18 August
                  2001, Cincinnati, OH, {USA}},
  pages        = {173--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/MASCOT.2001.948867},
  doi          = {10.1109/MASCOT.2001.948867},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/GautamaG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/BalBH00,
  author       = {Henri E. Bal and
                  Raoul Bhoedjang and
                  Rutger F. H. Hofman and
                  Ceriel J. H. Jacobs and
                  Thilo Kielmann and
                  Jason Maassen and
                  Rob van Nieuwpoort and
                  John Romain and
                  Luc Renambot and
                  Tim R{\"{u}}hl and
                  Ronald Veldema and
                  Kees Verstoep and
                  Aline Baggio and
                  Gerco Ballintijn and
                  Ihor Kuz and
                  Guillaume Pierre and
                  Maarten van Steen and
                  Andrew S. Tanenbaum and
                  Gerben Doornbos and
                  Desmond Germans and
                  Hans J. W. Spoelder and
                  Evert Jan Baerends and
                  Stan J. A. van Gisbergen and
                  Hamid Afsermanseh and
                  G. Dick van Albada and
                  Adam Belloum and
                  David Dubbeldam and
                  Zeger W. Hendrikse and
                  Louis O. Hertzberger and
                  Alfons G. Hoekstra and
                  Kamil Iskra and
                  Drona Kandhai and
                  Dennis C. Koelma and
                  Frank van der Linden and
                  Benno J. Overeinder and
                  Peter M. A. Sloot and
                  Piero Spinnato and
                  Dick H. J. Epema and
                  Arjan J. C. van Gemund and
                  Pieter P. Jonker and
                  Andrei Radulescu and
                  Kees van Reeuwijk and
                  Henk J. Sips and
                  Peter M. W. Knijnenburg and
                  Michael S. Lew and
                  Floris Sluiter and
                  Lex Wolters and
                  Hans Blom and
                  Cees de Laat},
  title        = {The Distributed {ASCI} Supercomputer Project},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {34},
  number       = {4},
  pages        = {76--96},
  year         = {2000},
  url          = {https://doi.org/10.1145/506106.506115},
  doi          = {10.1145/506106.506115},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigops/BalBH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RadulescuG00,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  editor       = {Arndt Bode and
                  Thomas Ludwig and
                  Wolfgang Karl and
                  Roland Wism{\"{u}}ller},
  title        = {Preemptive Task Scheduling for Distributed Systems (Research Note)},
  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        = {272--276},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44520-X\_36},
  doi          = {10.1007/3-540-44520-X\_36},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/RadulescuG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcw/RadulescuG00,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  title        = {Fast and Effective Task Scheduling in Heterogeneous Systems},
  booktitle    = {9th Heterogeneous Computing Workshop, {HCW} 2000, Cancun, Mexico,
                  May 1, 2000},
  pages        = {229--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/HCW.2000.843747},
  doi          = {10.1109/HCW.2000.843747},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hcw/RadulescuG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/Gonzalez-EscribanoGCAMP00,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Arjan J. C. van Gemund and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo and
                  Judith Alonso{-}L{\'{o}}pez and
                  David Mart{\'{\i}}n{-}Garc{\'{\i}}a and
                  Alberto Pedrosa{-}Calvo},
  editor       = {Jos{\'{e}} M. Laginha M. Palma and
                  Jack J. Dongarra and
                  Vicente Hern{\'{a}}ndez},
  title        = {Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory
                  Machines},
  booktitle    = {Vector and Parallel Processing - {VECPAR} 2000, 4th International
                  Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and
                  Invited Talks},
  series       = {Lecture Notes in Computer Science},
  volume       = {1981},
  pages        = {128--141},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44942-6\_10},
  doi          = {10.1007/3-540-44942-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/vecpar/Gonzalez-EscribanoGCAMP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/GautamaG00,
  author       = {Hasyim Gautama and
                  Arjan J. C. van Gemund},
  title        = {Static performance prediction of data-dependent programs},
  booktitle    = {Second International Workshop on Software and Performance, {WOSP}
                  2000, Ottawa, Canada, September 17-20, 2000},
  pages        = {216--226},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/350391.350435},
  doi          = {10.1145/350391.350435},
  timestamp    = {Sat, 03 Aug 2019 21:51:56 +0200},
  biburl       = {https://dblp.org/rec/conf/wosp/GautamaG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ReijnsG99,
  author       = {Gerard L. Reijns and
                  Arjan J. C. van Gemund},
  title        = {Analysis of a shared-memory multiprocessor via a novel queuing model},
  journal      = {J. Syst. Archit.},
  volume       = {45},
  number       = {14},
  pages        = {1189--1193},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1383-7621(98)00028-9},
  doi          = {10.1016/S1383-7621(98)00028-9},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/ReijnsG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/ReijnsGSS99,
  author       = {Gerard L. Reijns and
                  Arjan J. C. van Gemund and
                  Jan Schier and
                  Peter J. F. Swart},
  editor       = {Peter M. A. Sloot and
                  Marian Bubak and
                  Alfons G. Hoekstra and
                  Louis O. Hertzberger},
  title        = {Real-Time Signal Processing in a Collision Avoidance Radar System
                  using Parallel Computing},
  booktitle    = {High-Performance Computing and Networking, 7th International Conference,
                  {HPCN} Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1593},
  pages        = {23--32},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/BFb0100562},
  doi          = {10.1007/BFB0100562},
  timestamp    = {Sun, 12 Nov 2023 02:09:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpcn/ReijnsGSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/RadulescuG99,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  title        = {{FLB:} Fast Load Balancing for Distributed-Memory Machines},
  booktitle    = {Proceedings of the International Conference on Parallel Processing
                  1999, {ICPP} 1999, Wakamatsu, Japan, September 21-24, 1999},
  pages        = {534--541},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICPP.1999.797442},
  doi          = {10.1109/ICPP.1999.797442},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/RadulescuG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/RadulescuG99,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  editor       = {Theodore S. Papatheodorou and
                  Mateo Valero and
                  Constantine D. Polychronopoulos and
                  Yoichi Muraoka and
                  Jes{\'{u}}s Labarta},
  title        = {On the complexity of list scheduling algorithms for distributed-memory
                  systems},
  booktitle    = {Proceedings of the 13th international conference on Supercomputing,
                  {ICS} 1999, Rhodes, Greece, June 20-25, 1999},
  pages        = {68--75},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/305138.305162},
  doi          = {10.1145/305138.305162},
  timestamp    = {Tue, 06 Nov 2018 11:07:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/RadulescuG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RadulescuGL99,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund and
                  Hai{-}Xiang Lin},
  title        = {{LLB:} {A} Fast and Effective Scheduling Algorithm for Distributed-Memory
                  Systems},
  booktitle    = {13th International Parallel Processing Symposium / 10th Symposium
                  on Parallel and Distributed Processing {(IPPS} / {SPDP} '99), 12-16
                  April 1999, San Juan, Puerto Rico, Proceedings},
  pages        = {525--530},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/IPPS.1999.760527},
  doi          = {10.1109/IPPS.1999.760527},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/RadulescuGL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/Gonzalez-EscribanoCVGL99,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo and
                  Angel Vaca{-}Diez and
                  Arjan J. C. van Gemund and
                  Hai{-}Xiang Lin},
  editor       = {Erik H. D'Hollander and
                  Gerhard R. Joubert and
                  Frans J. Peters and
                  Henk J. Sips},
  title        = {Expressiveness versus optimizability in coordinating parallelism},
  booktitle    = {Parallel Computing: Fundamentals {\&} Applications, Proceedings
                  of the Conference ParCo'99, 17-20 August 1999, Delft, The Netherlands},
  pages        = {526--533},
  publisher    = {Imperial College Press},
  year         = {1999},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/parco/Gonzalez-EscribanoCVGL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Gemund98,
  author       = {Arjan J. C. van Gemund},
  title        = {Using High-Level Performance Prediction in Compiling for Distributed
                  Systems},
  booktitle    = {Thirty-First Annual Hawaii International Conference on System Sciences,
                  Kohala Coast, Hawaii, USA, January 6-9, 1998},
  pages        = {554--563},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HICSS.1998.649253},
  doi          = {10.1109/HICSS.1998.649253},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/Gemund98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/RadulescuG98,
  author       = {Andrei Radulescu and
                  Arjan J. C. van Gemund},
  title        = {{GLB:} a low-cost scheduling algorithm for distributed-memory architectures},
  booktitle    = {5th International Conference On High Performance Computing, HiPC 1998,
                  Madras, India, 20-20 December, 1998},
  pages        = {294--301},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/HIPC.1998.738001},
  doi          = {10.1109/HIPC.1998.738001},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipc/RadulescuG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ReeuwijkGS97,
  author       = {Kees van Reeuwijk and
                  Arjan J. C. van Gemund and
                  Henk J. Sips},
  title        = {Spar: {A} Programming Language for Semi-Automatic Compilation of Parallel
                  Programs},
  journal      = {Concurr. Pract. Exp.},
  volume       = {9},
  number       = {11},
  pages        = {1193--1205},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1096-9128(199711)9:11\&\#60;1193::AID-CPE334\&\#62;3.0.CO;2-B},
  doi          = {10.1002/(SICI)1096-9128(199711)9:11\&\#60;1193::AID-CPE334\&\#62;3.0.CO;2-B},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/ReeuwijkGS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euro-pds/Gonzalez-EscribanoCG97,
  author       = {Arturo Gonz{\'{a}}lez{-}Escribano and
                  Valent{\'{\i}}n Carde{\~{n}}oso{-}Payo and
                  Arjan J. C. van Gemund},
  editor       = {Emilio Luque and
                  Ali R. Hurson and
                  Hesham El{-}Rewini},
  title        = {On the Loss of Parallelism by imposing Synchronization Structure},
  booktitle    = {Proceedings of the {IASTED} International Conference on Parallel and
                  Distributed Systems, Euro-PDS'97, June 9-11, 1997, Barcelona, Spain},
  pages        = {251--256},
  publisher    = {{IASTED/ACTA} Press},
  year         = {1997},
  timestamp    = {Fri, 30 Apr 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/euro-pds/Gonzalez-EscribanoCG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/Gemund97,
  author       = {Arjan J. C. van Gemund},
  title        = {Supporting unbounded process parallelism in the {SPC} programming
                  model},
  booktitle    = {Proceedings of the Fourth International on High-Performance Computing,
                  HiPC 1997, Bangalore, India, 18-21 December, 1997},
  pages        = {168--173},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HIPC.1997.634488},
  doi          = {10.1109/HIPC.1997.634488},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipc/Gemund97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/BalakrishnanNG97,
  author       = {Srinivasan Balakrishnan and
                  S. K. Nandy and
                  Arjan J. C. van Gemund},
  title        = {Modeling multi-threaded architectures in {PAMELA} for real-time high
                  performance applications},
  booktitle    = {Proceedings of the Fourth International on High-Performance Computing,
                  HiPC 1997, Bangalore, India, 18-21 December, 1997},
  pages        = {407--414},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HIPC.1997.634522},
  doi          = {10.1109/HIPC.1997.634522},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipc/BalakrishnanNG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/Gemund97,
  author       = {Arjan J. C. van Gemund},
  editor       = {Steven J. Wallach and
                  Hans P. Zima},
  title        = {The Importance of Synchronization Structure in Parallel Program Optimization},
  booktitle    = {Proceedings of the 11th international conference on Supercomputing,
                  {ICS} 1997, Vienna, Austria, July 7-11, 1997},
  pages        = {164--171},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/263580.263625},
  doi          = {10.1145/263580.263625},
  timestamp    = {Tue, 06 Nov 2018 11:07:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/Gemund97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Gemund96,
  author       = {Arjan J. C. van Gemund},
  editor       = {Luc Boug{\'{e}} and
                  Pierre Fraigniaud and
                  Anne Mignotte and
                  Yves Robert},
  title        = {{SPC:} {A} Model of Parallel Computation},
  booktitle    = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
                  Lyon, France, August 26-29, 1996, Proceedings, Volume {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1124},
  pages        = {397--400},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0024728},
  doi          = {10.1007/BFB0024728},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/Gemund96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/LinGM96,
  author       = {Hai{-}Xiang Lin and
                  Arjan J. C. van Gemund and
                  Johan Meijdam},
  editor       = {Len Dekker and
                  Wim Smit and
                  Jan C. Zuidervaart},
  title        = {Scalability analysis and parallel execution of unstructured problems},
  booktitle    = {EUROSIM'96, {HPCN} Challenges in Telecomp and Telecom: Parallel Simulation
                  of Complex Systems and Large-Scale Applications, Proceedings of the
                  {EUROSIM} 1996 International Conference, 10-12 June 1996, Delft, The
                  Netherlands},
  pages        = {151--160},
  publisher    = {Elsevier},
  year         = {1996},
  timestamp    = {Mon, 25 Aug 2003 12:50:48 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosim/LinGM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/LinGMN96,
  author       = {Hai{-}Xiang Lin and
                  Arjan J. C. van Gemund and
                  Johan Meijdam and
                  Pier Nauta},
  editor       = {Heather M. Liddell and
                  Adrian Colbrook and
                  Louis O. Hertzberger and
                  Peter M. A. Sloot},
  title        = {{TGEX:} a Tool for Portable Parallel and Distributed Execution of
                  Unstructured Problems},
  booktitle    = {High-Performance Computing and Networking, International Conference
                  and Exhibition, {HPCN} Europe 1996, Brussels, Belgium, April 15-19,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1067},
  pages        = {467--474},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61142-8\_585},
  doi          = {10.1007/3-540-61142-8\_585},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/hpcn/LinGMN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/GemundL95,
  author       = {Arjan J. C. van Gemund and
                  Hai{-}Xiang Lin},
  editor       = {Felix Breitenecker and
                  Irmgard Husinsky},
  title        = {Scalability Analysis of Parallel Finite Element Methods Using Performance
                  Simulation},
  booktitle    = {EUROSIM'96, Simulation Congress, Proceedings of the 1995 {EUROSIM}
                  Conference, Vienna, Austria, 11-15 September 1995},
  pages        = {261--266},
  publisher    = {Elsevier},
  year         = {1995},
  timestamp    = {Fri, 28 Mar 2003 10:59:11 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosim/GemundL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/JonkersGR95,
  author       = {Henk Jonkers and
                  Arjan J. C. van Gemund and
                  Gerard L. Reijns},
  title        = {A probabilistic approach to parallel system performance modelling},
  booktitle    = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
                  January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages        = {412--421},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HICSS.1995.375517},
  doi          = {10.1109/HICSS.1995.375517},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/JonkersGR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/GemundJR95,
  author       = {Arjan J. C. van Gemund and
                  Henk Jonkers and
                  Gerard L. Reijns},
  title        = {Performance modeling of parallel systems with flexible precision},
  booktitle    = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
                  January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages        = {444--445},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HICSS.1995.375513},
  doi          = {10.1109/HICSS.1995.375513},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/GemundJR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/Gemund95,
  author       = {Arjan J. C. van Gemund},
  editor       = {Heinz Beilner and
                  Falko Bause},
  title        = {Compile-time Performance Prediction of Parallel Systems},
  booktitle    = {Quantitative Evaluation of Computing and Communication Systems, 8th
                  International Conference on Modelling Techniques and Tools for Computer
                  Performance Evaluation, Performance Tools '95, 8th {GI/ITG} Conference
                  on Measuring, Modeling and Evaluating Computing and Communication
                  Systems, {MMB} '95, Heidelberg, Germany, September 20-22, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {977},
  pages        = {299--313},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0024323},
  doi          = {10.1007/BFB0024323},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mmb/Gemund95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/JonkersGR94,
  author       = {Henk Jonkers and
                  Arjan J. C. van Gemund and
                  Gerard L. Reijns},
  editor       = {Len Dekker and
                  Wim Smit and
                  Jan C. Zuidervaart},
  title        = {Efficient Performance Evaluation of Parallel Systems},
  booktitle    = {Massively Parallel Processing Applications and Develompent, Proceedings
                  of the 1994 {EUROSIM} Conference on Massively Parallel Processing
                  Applications and Develompent, 21-23 June 1994, Delft, The Netherlands},
  pages        = {389--396},
  publisher    = {Elsevier},
  year         = {1994},
  timestamp    = {Mon, 25 Aug 2003 12:50:42 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosim/JonkersGR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/Gemund94,
  author       = {Arjan J. C. van Gemund},
  editor       = {John R. Gurd and
                  William Jalby},
  title        = {Compiling performance models from parallel programs},
  booktitle    = {Proceedings of the 8th international conference on Supercomputing,
                  {ICS} 1994, Manchester, UK, July 11-15, 1994},
  pages        = {303--312},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/181181.181546},
  doi          = {10.1145/181181.181546},
  timestamp    = {Tue, 06 Nov 2018 11:07:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/Gemund94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/Gemund93,
  author       = {Arjan J. C. van Gemund},
  editor       = {Yoichi Muraoka},
  title        = {Performance Prediction of Parallel Processing Systems: The {PAMELA}
                  Methodology},
  booktitle    = {Proceedings of the 7th international conference on Supercomputing,
                  {ICS} 1993, Tokyo, Japan, July 20-22, 1993},
  pages        = {318--327},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165939.166002},
  doi          = {10.1145/165939.166002},
  timestamp    = {Tue, 06 Nov 2018 11:07:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/Gemund93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/Gemund93,
  author       = {Arjan J. C. van Gemund},
  editor       = {Gerhard R. Joubert and
                  Denis Trystram and
                  Frans J. Peters and
                  David J. Evans},
  title        = {The {PAMELA} Approach to Performance Modeling of Parallel and Distributed
                  Systems},
  booktitle    = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
                  France},
  pages        = {421--428},
  publisher    = {Elsevier},
  year         = {1993},
  timestamp    = {Tue, 13 Mar 2018 14:43:53 +0100},
  biburl       = {https://dblp.org/rec/conf/parco/Gemund93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/RoestGS92,
  author       = {Mark R. Roest and
                  Arjan J. C. van Gemund and
                  Henk J. Sips},
  editor       = {Franco Maceri and
                  Giuseppe Iazeolla},
  title        = {{CPE:} {A} Methodology to Construct Efficient and Structured Simulators
                  of Concurrent Computer Systems},
  booktitle    = {Eurosim 1992, Simulation Congress, Proceedings of the 1992 {EUROSIM}
                  Conference, Capri, Italy, September 28 - October 4, 1992},
  pages        = {35--40},
  publisher    = {Elsevier},
  year         = {1992},
  timestamp    = {Thu, 01 Jun 2023 13:15:48 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosim/RoestGS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/PaalvastSG91,
  author       = {Edwin M. R. M. Paalvast and
                  Henk J. Sips and
                  Arjan J. C. van Gemund},
  title        = {Automatic Parallel Program Generation and Optimization from Data Decompositions},
  booktitle    = {Proceedings of the International Conference on Parallel Processing,
                  {ICPP} '91, Austin, Texas, USA, August 1991. Volume {II:} Software},
  pages        = {124--131},
  publisher    = {{CRC} Press},
  year         = {1991},
  timestamp    = {Mon, 28 Jul 2014 17:06:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/PaalvastSG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/PaalvastGS90,
  author       = {Edwin M. R. M. Paalvast and
                  Arjan J. C. van Gemund and
                  Henk J. Sips},
  editor       = {Ahmed H. Sameh and
                  Henk A. van der Vorst},
  title        = {A method for parallel program generation with an application to the
                  Booster language},
  booktitle    = {Proceedings of the 4th international conference on Supercomputing,
                  {ICS} 1990, Amsterdam, The Netherlands, June 11-15, 1990},
  pages        = {457--469},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/77726.255189},
  doi          = {10.1145/77726.255189},
  timestamp    = {Thu, 08 Jul 2021 14:29:22 +0200},
  biburl       = {https://dblp.org/rec/conf/ics/PaalvastGS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}