Arjan J. C. van Gemund

Publication Activity (10 Years)

Years Active: 1990-2014
Publications (10 Years): 0

Top Venues

CoRR

AI Mag.

ECAI

Publications

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. CoRR (2014)
Claudio Landi, Arjan J. C. van Gemund, Marina Zanella
Heuristics to Increase Observability in Spectrum-based Fault Localization. ECAI (2014)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
A Model-Based Active Testing Approach to Sequential Diagnosis. CoRR (2014)
Alexander Feldman, Johan de Kleer, Tolga Kurtoglu, Sriram Narasimhan, Scott Poll, David García, Lukas D. Kuhn, Arjan J. C. van Gemund
The Diagnostic Competitions. AI Mag. 35 (2) (2014)
Arjan J. C. van Gemund, Gerard L. Reijns
Reliability Analysis of $k$-out-of- $n$ Systems With Single Cold Standby Using Pearson Distributions. IEEE Trans. Reliab. 61 (2) (2012)
Arjan J. C. van Gemund, Gerard L. Reijns
Errata to "Reliability Analysis of k -out-of- n Systems With Single Cold Standby Using Pearson Distributions" [Jun 12 526-532]. IEEE Trans. Reliab. 61 (3) (2012)
Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund
A Diagnostic Reasoning Approach to Defect Prediction. IEA/AIE (2) (2011)
Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund
Spectrum-Based Sequential Diagnosis. AAAI (2011)
Alberto González-Sanchez, Éric Piel, Hans-Gerhard Gross, Arjan J. C. van Gemund
A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing. ICST Workshops (2011)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
Simultaneous debugging of software faults. J. Syst. Softw. 84 (4) (2011)
Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund
An empirical study on the usage of testability information to fault localization in software. SAC (2011)
Alberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund
Modeling the Diagnostic Efficiency of Regression Test Suites. ICST Workshops (2011)
Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund
Prioritizing tests for fault localization through ambiguity group reduction. ASE (2011)
Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß, Arjan J. C. van Gemund
Spectrum-Based Health Monitoring for Self-Adaptive Systems. SASO (2011)
Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund
Prioritizing tests for software fault diagnosis. Softw. Pract. Exp. 41 (10) (2011)
Shekhar Gupta, Arjan J. C. van Gemund, Rui Abreu
Probabilistic Error Propagation Modeling in Logic Circuits. ICST Workshops (2011)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell. Res. 39 (2010)
Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund
Increasing System Availability with Local Recovery Based on Fault Localization. QSIC (2010)
Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund
Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics. COMPSAC (2010)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. J. Artif. Intell. Res. 38 (2010)
Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund
Exploiting count spectra for Bayesian fault localization. PROMISE (2010)
Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund
Prioritizing Tests for Software Fault Localization. QSIC (2010)
Rui Abreu, Arjan J. C. van Gemund
Diagnosing multiple intermittent failures using maximum likelihood estimation. Artif. Intell. 174 (18) (2010)
Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J. C. van Gemund
A practical evaluation of spectrum-based fault localization. J. Syst. Softw. 82 (11) (2009)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
Spectrum-Based Multiple Fault Localization. ASE (2009)
Tom Janssen, Rui Abreu, Arjan J. C. van Gemund
Zoltar: A Toolset for Automatic Fault Localization. ASE (2009)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. IJCAI (2009)
Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund
Automated Redesign with the General Redesign Engine. SARA (2009)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI (2009)
Rui Abreu, Arjan J. C. van Gemund
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. SARA (2009)
Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund
Refining spectrum-based fault localization rankings. SAC (2009)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI (2009)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
Localizing Software Faults Simultaneously. QSIC (2009)
Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo
Performance implications of synchronization structure in parallel programming. Parallel Comput. 35 (8-9) (2009)
Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund
Using Fault Screeners for Software Error Detection. ENASE (Selected Papers) (2008)
Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund
Automatic software fault localization using generic program invariants. SAC (2008)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. AAAI (2008)
Rui Abreu, Alberto González-Sanchez, Peter Zoeteweij, Arjan J. C. van Gemund
On the Performance of Fault Screeners in Software Development and Deployment. ENASE (2008)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
An observation-based model for fault localization. WODA (2008)
Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, Arjan J. C. van Gemund
Automated Fault Diagnosis in Embedded Systems. SSIRI (2008)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Computing Minimal Diagnoses by Greedy Stochastic Search. AAAI (2008)
Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. SARA (2007)
Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund
Diagnosis of Embedded Software Using Program Spectra. ECBS (2007)
Gerard L. Reijns, Arjan J. C. van Gemund
Reliability Analysis of Hierarchical Systems Using Statistical Moments. IEEE Trans. Reliab. 56 (3) (2007)
Hans-Gerhard Gross, Arjan J. C. van Gemund
The delft MS curriculum on embedded systems. SIGBED Rev. 4 (1) (2007)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
An Evaluation of Similarity Coefficients for Software Fault Localization. PRDC (2006)
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
Program Spectra Analysis in Embedded Software: A Case Study CoRR (2006)
Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. van Gemund
PAM-SoC: A Toolchain for Predicting MPSoC Performance. Euro-Par (2006)
Jurryt Pietersma, Arjan J. C. van Gemund
Temporal versus Spatial Observability in Model-Based Diagnosis. SMC (2006)
Hasyim Gautama, Arjan J. C. van Gemund
Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions. IEEE Trans. Parallel Distributed Syst. 17 (1) (2006)
Alexander Feldman, Arjan J. C. van Gemund
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. AAAI (2006)
Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages. Euro-Par (2005)
Gerard L. Reijns, Arjan J. C. van Gemund
Predicting the execution times of parallel-independent programs using Pearson distributions. Parallel Comput. 31 (8-9) (2005)
Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo, Raúl Portales-Fernández, Jose A. Caminero-Granja
A Preliminary Nested-Parallel Framework to Efficiently Implement Scientific Applications. VECPAR (2004)
Hasyim Gautama, Arjan J. C. van Gemund
Symbolic Performance Estimation Of Speculative Parallel Programs. Parallel Process. Lett. 13 (4) (2003)
Yves Robert, Henri Casanova, Arjan J. C. van Gemund, Dieter Kranzlmüller
Topic Introduction. Euro-Par (2003)
Hasyim Gautama, Arjan J. C. van Gemund
A Statistical Approach to Branch Modeling in Static Program Performance Prediction. IPDPS (2003)
Hasyim Gautama, Arjan J. C. van Gemund
Symbolic Performance Prediction of Speculative Parallel Programs. Euro-Par (2003)
Arjan J. C. van Gemund
Symbolic Performance Modeling of Parallel Systems. IEEE Trans. Parallel Distributed Syst. 14 (2) (2003)
Hasyim Gautama, Arjan J. C. van Gemund
Symbolic Performance Prediction of Data-Dependent Parallel Programs. Computer Performance Evaluation / TOOLS (2002)
Andrei Radulescu, Arjan J. C. van Gemund
Low-Cost Task Scheduling for Distributed-Memory Machines. IEEE Trans. Parallel Distributed Syst. 13 (6) (2002)
Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo
Mapping Unstructured Applications into Nested Parallelism. VECPAR (2002)
Arjan J. C. van Gemund
Symbolic Cost Estimation of Parallel Applications. Euro-Par (2002)
Hasyim Gautama, Arjan J. C. van Gemund
Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs. MASCOTS (2001)
Andrei Radulescu, Cristina Nicolescu, Arjan J. C. van Gemund, Pieter Jonker
CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems. IPDPS (2001)
Hasyim Gautama, Arjan J. C. van Gemund
Performance Prediction of Data-Dependent Task Parallel Programs. Euro-Par (2001)
Gerard L. Reijns, Arjan J. C. van Gemund, Hasyim Gautama
Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times. Parallel Process. Lett. 11 (1) (2001)
Andrei Radulescu, Arjan J. C. van Gemund
A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling. ICPP (2001)
Hasyim Gautama, Arjan J. C. van Gemund
Static performance prediction of data-dependent programs. Workshop on Software and Performance (2000)
Andrei Radulescu, Arjan J. C. van Gemund
Preemptive Task Scheduling for Distributed Systems (Research Note). Euro-Par (2000)
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, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis C. Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat
The Distributed ASCI Supercomputer Project. ACM SIGOPS Oper. Syst. Rev. 34 (4) (2000)
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
Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines. VECPAR (2000)
Andrei Radulescu, Arjan J. C. van Gemund
Fast and Effective Task Scheduling in Heterogeneous Systems. Heterogeneous Computing Workshop (2000)
Gerard L. Reijns, Arjan J. C. van Gemund
Analysis of a shared-memory multiprocessor via a novel queuing model. J. Syst. Archit. 45 (14) (1999)
Gerard L. Reijns, Arjan J. C. van Gemund, Jan Schier, Peter J. F. Swart
Real-Time Signal Processing in a Collision Avoidance Radar System using Parallel Computing. HPCN Europe (1999)
Arturo González-Escribano, Valentín Cardeñoso-Payo, A. Vaca-Diez, Arjan J. C. van Gemund, H.-X. Lin
Expressiveness versus optimizability in coordinating parallelism. PARCO (1999)
Andrei Radulescu, Arjan J. C. van Gemund, Hai-Xiang Lin
LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems. IPPS/SPDP (1999)
Andrei Radulescu, Arjan J. C. van Gemund
FLB: Fast Load Balancing for Distributed-Memory Machines. ICPP (1999)
Andrei Radulescu, Arjan J. C. van Gemund
On the complexity of list scheduling algorithms for distributed-memory systems. International Conference on Supercomputing (1999)
Andrei Radulescu, Arjan J. C. van Gemund
GLB: a low-cost scheduling algorithm for distributed-memory architectures. HiPC (1998)
Arjan J. C. van Gemund
Using High-Level Performance Prediction in Compiling for Distributed Systems. HICSS (7) (1998)
Arjan J. C. van Gemund
The Importance of Synchronization Structure in Parallel Program Optimization. International Conference on Supercomputing (1997)
Arjan J. C. van Gemund
Supporting unbounded process parallelism in the SPC programming model. HiPC (1997)
Kees van Reeuwijk, Arjan J. C. van Gemund, Henk J. Sips
Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs. Concurr. Pract. Exp. 9 (11) (1997)
Arturo González-Escribano, Valentín Cardeñoso-Payo, Arjan J. C. van Gemund
On the Loss of Parallelism by imposing Synchronization Structure. Euro-PDS (1997)
Srinivasan Balakrishnan, S. K. Nandy, Arjan J. C. van Gemund
Modeling multi-threaded architectures in PAMELA for real-time high performance applications. HiPC (1997)
Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam
Scalability analysis and parallel execution of unstructured problems. EUROSIM (1996)
Arjan J. C. van Gemund
SPC: A Model of Parallel Computation. Euro-Par, Vol. II (1996)
Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam, Pier Nauta
TGEX: a Tool for Portable Parallel and Distributed Execution of Unstructured Problems. HPCN Europe (1996)
Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns
A probabilistic approach to parallel system performance modelling. HICSS (2) (1995)
Arjan J. C. van Gemund
Compile-time Performance Prediction of Parallel Systems. MMB (1995)
Arjan J. C. van Gemund, Hai-Xiang Lin
Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation. EUROSIM (1995)
Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns
Performance modeling of parallel systems with flexible precision. HICSS (2) (1995)
Arjan J. C. van Gemund
Compiling performance models from parallel programs. International Conference on Supercomputing (1994)
Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns
Efficient Performance Evaluation of Parallel Systems. EUROSIM (1994)
Arjan J. C. van Gemund
Performance Prediction of Parallel Processing Systems: The PAMELA Methodology. International Conference on Supercomputing (1993)
Arjan J. C. van Gemund
The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems. PARCO (1993)
Mark R. Roest, Arjan J. C. van Gemund, Henk J. Sips
CPE: A Methodology to Construct Efficient and Structured Simulators of Concurrent Computer Systems. EUROSIM (1992)
Edwin M. R. M. Paalvast, Henk J. Sips, Arjan J. C. van Gemund
Automatic Parallel Program Generation and Optimization from Data Decompositions. ICPP (2) (1991)
Edwin M. R. M. Paalvast, Arjan J. C. van Gemund, Henk J. Sips
A method for parallel program generation with an application to the Booster language. ICS (1990)

Arjan J. C. van Gemund.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arjan J. C. van Gemund