A method for parallel program generation with an application to the Booster language. - Edwin M. R. M. Paalvast; Arjan J. C. van Gemund; Henk J. Sips (ICS, 1990)

Automatic Parallel Program Generation and Optimization from Data Decompositions. - Edwin M. R. M. Paalvast; Henk J. Sips; Arjan J. C. van Gemund (ICPP (2), 1991)

CPE: A Methodology to Construct Efficient and Structured Simulators of Concurrent Computer Systems. - Mark R. Roest; Arjan J. C. van Gemund; Henk J. Sips (EUROSIM, 1992)

Performance Prediction of Parallel Processing Systems: The PAMELA Methodology. - Arjan J. C. van Gemund (International Conference on Supercomputing, 1993)

The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems. - Arjan J. C. van Gemund (PARCO, 1993)

Efficient Performance Evaluation of Parallel Systems. - Henk Jonkers; Arjan J. C. van Gemund; Gerard L. Reijns (EUROSIM, 1994)

Compiling performance models from parallel programs. - Arjan J. C. van Gemund (International Conference on Supercomputing, 1994)

Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation. - Arjan J. C. van Gemund; Hai-Xiang Lin (EUROSIM, 1995)

Performance modeling of parallel systems with flexible precision. - Arjan J. C. van Gemund; Henk Jonkers; Gerard L. Reijns (HICSS (2), 1995)

A probabilistic approach to parallel system performance modelling. - Henk Jonkers; Arjan J. C. van Gemund; Gerard L. Reijns (HICSS (2), 1995)

Compile-time Performance Prediction of Parallel Systems. - Arjan J. C. van Gemund (MMB, 1995)

SPC: A Model of Parallel Computation. - Arjan J. C. van Gemund (Euro-Par, Vol. II, 1996)

Scalability analysis and parallel execution of unstructured problems. - Hai-Xiang Lin; Arjan J. C. van Gemund; Johan Meijdam (EUROSIM, 1996)

TGEX: a Tool for Portable Parallel and Distributed Execution of Unstructured Problems. - Hai-Xiang Lin; Arjan J. C. van Gemund; Johan Meijdam; Pier Nauta (HPCN Europe, 1996)

On the Loss of Parallelism by imposing Synchronization Structure. - Arturo González-Escribano; Valentín Cardeñoso-Payo; Arjan J. C. van Gemund (Euro-PDS, 1997)

Modeling multi-threaded architectures in PAMELA for real-time high performance applications. - Srinivasan Balakrishnan; S. K. Nandy 001; Arjan J. C. van Gemund (HiPC, 1997)

Supporting unbounded process parallelism in the SPC programming model. - Arjan J. C. van Gemund (HiPC, 1997)

The Importance of Synchronization Structure in Parallel Program Optimization. - Arjan J. C. van Gemund (International Conference on Supercomputing, 1997)

Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs. - Kees van Reeuwijk; Arjan J. C. van Gemund; Henk J. Sips (Concurr. Pract. Exp., 1997)

Using High-Level Performance Prediction in Compiling for Distributed Systems. - Arjan J. C. van Gemund (HICSS (7), 1998)

GLB: a low-cost scheduling algorithm for distributed-memory architectures. - Andrei Radulescu; Arjan J. C. van Gemund (HiPC, 1998)

Real-Time Signal Processing in a Collision Avoidance Radar System using Parallel Computing. - Gerard L. Reijns; Arjan J. C. van Gemund; Jan Schier; Peter J. F. Swart (HPCN Europe, 1999)

FLB: Fast Load Balancing for Distributed-Memory Machines. - Andrei Radulescu; Arjan J. C. van Gemund (ICPP, 1999)

On the complexity of list scheduling algorithms for distributed-memory systems. - Andrei Radulescu; Arjan J. C. van Gemund (International Conference on Supercomputing, 1999)

LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems. - Andrei Radulescu; Arjan J. C. van Gemund; Hai-Xiang Lin (IPPS/SPDP, 1999)

Expressiveness versus optimizability in coordinating parallelism. - Arturo González-Escribano; Valentín Cardeñoso-Payo; Angel Vaca-Diez; Arjan J. C. van Gemund; Hai-Xiang Lin (PARCO, 1999)

Analysis of a shared-memory multiprocessor via a novel queuing model. - Gerard L. Reijns; Arjan J. C. van Gemund (J. Syst. Archit., 1999)

Preemptive Task Scheduling for Distributed Systems (Research Note). - Andrei Radulescu; Arjan J. C. van Gemund (Euro-Par, 2000)

Fast and Effective Task Scheduling in Heterogeneous Systems. - Andrei Radulescu; Arjan J. C. van Gemund (Heterogeneous Computing Workshop, 2000)

Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines. - Arturo González-Escribano; Arjan J. C. van Gemund; Valentín Cardeñoso-Payo; Judith Alonso-López; David Martín-García; Alberto Pedrosa-Calvo (VECPAR, 2000)

Static performance prediction of data-dependent programs. - Hasyim Gautama; Arjan J. C. van Gemund (Workshop on Software and Performance, 2000)

The Distributed ASCI Supercomputer Project. - Henri E. Bal; Raoul Bhoedjang; Rutger F. H. Hofman; Ceriel J. H. Jacobs; Thilo Kielmann; Jason Maassen; Rob van Nieuwpoort; John Romain; Luc Renambot; Tim Rühl; Ronald Veldema; Kees Verstoep; et al. (ACM SIGOPS Oper. Syst. Rev., 2000)

Performance Prediction of Data-Dependent Task Parallel Programs. - Hasyim Gautama; Arjan J. C. van Gemund (Euro-Par, 2001)

A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling. - Andrei Radulescu; Arjan J. C. van Gemund (ICPP, 2001)

CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems. - Andrei Radulescu; Cristina Nicolescu; Arjan J. C. van Gemund; Pieter Jonker (IPDPS, 2001)

Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs. - Hasyim Gautama; Arjan J. C. van Gemund (MASCOTS, 2001)

Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times. - Gerard L. Reijns; Arjan J. C. van Gemund; Hasyim Gautama (Parallel Process. Lett., 2001)

Symbolic Performance Prediction of Data-Dependent Parallel Programs. - Hasyim Gautama; Arjan J. C. van Gemund (Computer Performance Evaluation / TOOLS, 2002)

Symbolic Cost Estimation of Parallel Applications. - Arjan J. C. van Gemund (Euro-Par, 2002)

Mapping Unstructured Applications into Nested Parallelism. - Arturo González-Escribano; Arjan J. C. van Gemund; Valentín Cardeñoso-Payo (VECPAR, 2002)

Low-Cost Task Scheduling for Distributed-Memory Machines. - Andrei Radulescu; Arjan J. C. van Gemund (IEEE Trans. Parallel Distributed Syst., 2002)

Symbolic Performance Prediction of Speculative Parallel Programs. - Hasyim Gautama; Arjan J. C. van Gemund (Euro-Par, 2003)

Topic Introduction. - Yves Robert; Henri Casanova; Arjan J. C. van Gemund; Dieter Kranzlmüller (Euro-Par, 2003)

A Statistical Approach to Branch Modeling in Static Program Performance Prediction. - Hasyim Gautama; Arjan J. C. van Gemund (IPDPS, 2003)

Symbolic Performance Estimation Of Speculative Parallel Programs. - Hasyim Gautama; Arjan J. C. van Gemund (Parallel Process. Lett., 2003)

Symbolic Performance Modeling of Parallel Systems. - Arjan J. C. van Gemund (IEEE Trans. Parallel Distributed Syst., 2003)

A Preliminary Nested-Parallel Framework to Efficiently Implement Scientific Applications. - Arturo González-Escribano; Arjan J. C. van Gemund; Valentín Cardeñoso-Payo; Raúl Portales-Fernández; Jose A. Caminero-Granja (VECPAR, 2004)

SPC-XML: A Structured Representation for Nested-Parallel Programming Languages. - Arturo González-Escribano; Arjan J. C. van Gemund; Valentín Cardeñoso-Payo (Euro-Par, 2005)

Predicting the execution times of parallel-independent programs using Pearson distributions. - Gerard L. Reijns; Arjan J. C. van Gemund (Parallel Comput., 2005)

A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. - Alexander Feldman; Arjan J. C. van Gemund (AAAI, 2006)

PAM-SoC: A Toolchain for Predicting MPSoC Performance. - Ana Lucia Varbanescu; Henk J. Sips; Arjan J. C. van Gemund (Euro-Par, 2006)

An Evaluation of Similarity Coefficients for Software Fault Localization. - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (PRDC, 2006)

Temporal versus Spatial Observability in Model-Based Diagnosis. - Jurryt Pietersma; Arjan J. C. van Gemund (SMC, 2006)

Program Spectra Analysis in Embedded Software: A Case Study - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (CoRR, 2006)

Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions. - Hasyim Gautama; Arjan J. C. van Gemund (IEEE Trans. Parallel Distributed Syst., 2006)

Diagnosis of Embedded Software Using Program Spectra. - Peter Zoeteweij; Rui Abreu 001; Rob Golsteijn; Arjan J. C. van Gemund (ECBS, 2007)

The delft MS curriculum on embedded systems. - Hans-Gerhard Gross; Arjan J. C. van Gemund (SIGBED Rev., 2007)

Reliability Analysis of Hierarchical Systems Using Statistical Moments. - Gerard L. Reijns; Arjan J. C. van Gemund (IEEE Trans. Reliab., 2007)

Computing Minimal Diagnoses by Greedy Stochastic Search. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (AAAI, 2008)

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (AAAI, 2008)

Using Fault Screeners for Software Error Detection. - Rui Abreu 001; Alberto González 002; Peter Zoeteweij; Arjan J. C. van Gemund (ENASE (Selected Papers), 2008)

On the Performance of Fault Screeners in Software Development and Deployment. - Rui Abreu 001; Alberto González-Sanchez 002; Peter Zoeteweij; Arjan J. C. van Gemund (ENASE, 2008)

An observation-based model for fault localization. - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (WODA, 2008)

Automatic software fault localization using generic program invariants. - Rui Abreu 001; Alberto González 002; Peter Zoeteweij; Arjan J. C. van Gemund (SAC, 2008)

Automated Fault Diagnosis in Embedded Systems. - Peter Zoeteweij; Jurryt Pietersma; Rui Abreu 001; Alexander Feldman; Arjan J. C. van Gemund (SSIRI, 2008)

A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (IJCAI, 2009)

FRACTAL: Efficient Fault Isolation Using Active Testing. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (IJCAI, 2009)

Solving Strong-Fault Diagnostic Models by Model Relaxation. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (IJCAI, 2009)

Spectrum-Based Multiple Fault Localization. - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (ASE, 2009)

Zoltar: A Toolset for Automatic Fault Localization. - Tom Janssen; Rui Abreu 001; Arjan J. C. van Gemund (ASE, 2009)

Localizing Software Faults Simultaneously. - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (QSIC, 2009)

Refining spectrum-based fault localization rankings. - Rui Abreu 001; Wolfgang Mayer; Markus Stumptner; Arjan J. C. van Gemund (SAC, 2009)

A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. - Rui Abreu 001; Arjan J. C. van Gemund (SARA, 2009)

Automated Redesign with the General Redesign Engine. - Alexander Feldman; Gregory M. Provan; Johan de Kleer; Lukas D. Kuhn; Arjan J. C. van Gemund (SARA, 2009)

A practical evaluation of spectrum-based fault localization. - Rui Abreu 001; Peter Zoeteweij; Rob Golsteijn; Arjan J. C. van Gemund (J. Syst. Softw., 2009)

Performance implications of synchronization structure in parallel programming. - Arturo González-Escribano; Arjan J. C. van Gemund; Valentín Cardeñoso-Payo (Parallel Comput., 2009)

Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics. - Alberto González-Sanchez 002; Éric Piel; Hans-Gerhard Groß; Arjan J. C. van Gemund (COMPSAC, 2010)

Exploiting count spectra for Bayesian fault localization. - Rui Abreu 001; Alberto González-Sanchez 002; Arjan J. C. van Gemund (PROMISE, 2010)

Prioritizing Tests for Software Fault Localization. - Alberto González-Sanchez 002; Éric Piel; Hans-Gerhard Groß; Arjan J. C. van Gemund (QSIC, 2010)

Increasing System Availability with Local Recovery Based on Fault Localization. - Hasan Sözer; Rui Abreu 001; Mehmet Aksit; Arjan J. C. van Gemund (QSIC, 2010)

Diagnosing multiple intermittent failures using maximum likelihood estimation. - Rui Abreu 001; Arjan J. C. van Gemund (Artif. Intell., 2010)

Approximate Model-Based Diagnosis Using Greedy Stochastic Search. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (J. Artif. Intell. Res., 2010)

A Model-Based Active Testing Approach to Sequential Diagnosis. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (J. Artif. Intell. Res., 2010)

Spectrum-Based Sequential Diagnosis. - Alberto González-Sanchez 002; Rui Abreu 001; Hans-Gerhard Groß; Arjan J. C. van Gemund (AAAI, 2011)

Modeling the Diagnostic Efficiency of Regression Test Suites. - Alberto González-Sanchez 002; Hans-Gerhard Gross; Arjan J. C. van Gemund (ICST Workshops, 2011)

A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing. - Alberto González-Sanchez 002; Éric Piel; Hans-Gerhard Gross; Arjan J. C. van Gemund (ICST Workshops, 2011)

Probabilistic Error Propagation Modeling in Logic Circuits. - Shekhar Gupta; Arjan J. C. van Gemund; Rui Abreu 001 (ICST Workshops, 2011)

A Diagnostic Reasoning Approach to Defect Prediction. - Rui Abreu 001; Alberto González-Sanchez 002; Arjan J. C. van Gemund (IEA/AIE (2), 2011)

Prioritizing tests for fault localization through ambiguity group reduction. - Alberto González-Sanchez 002; Rui Abreu 001; Hans-Gerhard Gross; Arjan J. C. van Gemund (ASE, 2011)

An empirical study on the usage of testability information to fault localization in software. - Alberto González-Sanchez 002; Rui Abreu 001; Hans-Gerhard Groß; Arjan J. C. van Gemund (SAC, 2011)

Spectrum-Based Health Monitoring for Self-Adaptive Systems. - Éric Piel; Alberto González-Sanchez 002; Hans-Gerhard Groß; Arjan J. C. van Gemund (SASO, 2011)

Simultaneous debugging of software faults. - Rui Abreu 001; Peter Zoeteweij; Arjan J. C. van Gemund (J. Syst. Softw., 2011)

Prioritizing tests for software fault diagnosis. - Alberto González-Sanchez 002; Éric Piel; Rui Abreu 001; Hans-Gerhard Groß; Arjan J. C. van Gemund (Softw. Pract. Exp., 2011)

Reliability Analysis of $k$-out-of- $n$ Systems With Single Cold Standby Using Pearson Distributions. - Arjan J. C. van Gemund; Gerard L. Reijns (IEEE Trans. Reliab., 2012)

Errata to "Reliability Analysis of k -out-of- n Systems With Single Cold Standby Using Pearson Distributions" [Jun 12 526-532]. - Arjan J. C. van Gemund; Gerard L. Reijns (IEEE Trans. Reliab., 2012)

Prioritizing Tests for Fault Localization. - Alberto González-Sanchez 002; Éric Piel; Rui Abreu 001; Hans-Gerhard Gross; Arjan J. C. van Gemund (Situation Awareness with Systems of Systems, 2013)

Online Fault Localization and Health Monitoring for Software Systems. - Éric Piel; Alberto González-Sanchez 002; Hans-Gerhard Gross; Arjan J. C. van Gemund (Situation Awareness with Systems of Systems, 2013)

Heuristics to Increase Observability in Spectrum-based Fault Localization. - Claudio Landi; Arjan J. C. van Gemund; Marina Zanella (ECAI, 2014)

The Diagnostic Competitions. - Alexander Feldman; Johan de Kleer; Tolga Kurtoglu; Sriram Narasimhan; Scott Poll; David García; Lukas D. Kuhn; Arjan J. C. van Gemund (AI Mag., 2014)