Arjan J. C. van Gemund

According to our database, Arjan J. C. van Gemund authored at least 99 papers between 1990 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Heuristics to Increase Observability in Spectrum-based Fault Localization.

Claudio Landi, Arjan J. C. van Gemund, Marina Zanella

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Online Fault Localization and Health Monitoring for Software Systems.

Éric Piel, Alberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund

Proceedings of the Situation Awareness with Systems of Systems, 2013

Prioritizing Tests for Fault Localization.

Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund

Proceedings of the Situation Awareness with Systems of Systems, 2013

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

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

2011

Prioritizing tests for software fault diagnosis.

Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund

Softw. Pract. Exp., 2011

Simultaneous debugging of software faults.

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

J. Syst. Softw., 2011

Spectrum-Based Health Monitoring for Self-Adaptive Systems.

Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß, Arjan J. C. van Gemund

Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

An empirical study on the usage of testability information to fault localization in software.

Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Prioritizing tests for fault localization through ambiguity group reduction.

Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A Diagnostic Reasoning Approach to Defect Prediction.

Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Probabilistic Error Propagation Modeling in Logic Circuits.

Shekhar Gupta, Arjan J. C. van Gemund, Rui Abreu

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing.

Alberto González-Sanchez, Éric Piel, Hans-Gerhard Gross, Arjan J. C. van Gemund

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Modeling the Diagnostic Efficiency of Regression Test Suites.

Alberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Spectrum-Based Sequential Diagnosis.

Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

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

Approximate Model-Based Diagnosis Using Greedy Stochastic Search.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

J. Artif. Intell. Res., 2010

Diagnosing multiple intermittent failures using maximum likelihood estimation.

Rui Abreu, Arjan J. C. van Gemund

Artif. Intell., 2010

Increasing System Availability with Local Recovery Based on Fault Localization.

Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund

Proceedings of the 10th International Conference on Quality Software, 2010

Prioritizing Tests for Software Fault Localization.

Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund

Proceedings of the 10th International Conference on Quality Software, 2010

Exploiting count spectra for Bayesian fault localization.

Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund

Proceedings of the 6th International Conference on Predictive Models in Software Engineering, 2010

Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics.

Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

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

A practical evaluation of spectrum-based fault localization.

Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J. C. van Gemund

J. Syst. Softw., 2009

Automated Redesign with the General Redesign Engine.

Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis.

Rui Abreu, Arjan J. C. van Gemund

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Refining spectrum-based fault localization rankings.

Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Localizing Software Faults Simultaneously.

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the Ninth International Conference on Quality Software, 2009

Zoltar: A Toolset for Automatic Fault Localization.

Tom Janssen, Rui Abreu, Arjan J. C. van Gemund

Proceedings of the ASE 2009, 2009

Spectrum-Based Multiple Fault Localization.

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the ASE 2009, 2009

Solving Strong-Fault Diagnostic Models by Model Relaxation.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Proceedings of the IJCAI 2009, 2009

FRACTAL: Efficient Fault Isolation Using Active Testing.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Proceedings of the IJCAI 2009, 2009

A New Bayesian Approach to Multiple Intermittent Fault Diagnosis.

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the IJCAI 2009, 2009

2008

Automated Fault Diagnosis in Embedded Systems.

Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, Arjan J. C. van Gemund

Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

Automatic software fault localization using generic program invariants.

Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An observation-based model for fault localization.

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

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), 2008

On the Performance of Fault Screeners in Software Development and Deployment.

Rui Abreu, Alberto González-Sanchez, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the ENASE 2008, 2008

Using Fault Screeners for Software Error Detection.

Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2008

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Computing Minimal Diagnoses by Greedy Stochastic Search.

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Reliability Analysis of Hierarchical Systems Using Statistical Moments.

Gerard L. Reijns, Arjan J. C. van Gemund

IEEE Trans. Reliab., 2007

The delft MS curriculum on embedded systems.

Hans-Gerhard Gross, Arjan J. C. van Gemund

SIGBED Rev., 2007

Diagnosis of Embedded Software Using Program Spectra.

Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions.

Hasyim Gautama, Arjan J. C. van Gemund

IEEE Trans. Parallel Distributed Syst., 2006

Program Spectra Analysis in Embedded Software: A Case Study

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

CoRR, 2006

Temporal versus Spatial Observability in Model-Based Diagnosis.

Jurryt Pietersma, Arjan J. C. van Gemund

Proceedings of the IEEE International Conference on Systems, 2006

An Evaluation of Similarity Coefficients for Software Fault Localization.

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

PAM-SoC: A Toolchain for Predicting MPSoC Performance.

Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. van Gemund

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

A Two-Step Hierarchical Algorithm for Model-Based Diagnosis.

Alexander Feldman, Arjan J. C. van Gemund

Proceedings of the Proceedings, 2006

2005

Predicting the execution times of parallel-independent programs using Pearson distributions.

Gerard L. Reijns, Arjan J. C. van Gemund

Parallel Comput., 2005

SPC-XML: A Structured Representation for Nested-Parallel Programming Languages.

Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004

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

Proceedings of the High Performance Computing for Computational Science, 2004

2003

Symbolic Performance Modeling of Parallel Systems.

Arjan J. C. van Gemund

IEEE Trans. Parallel Distributed Syst., 2003

Symbolic Performance Estimation Of Speculative Parallel Programs.

Hasyim Gautama, Arjan J. C. van Gemund

Parallel Process. Lett., 2003

A Statistical Approach to Branch Modeling in Static Program Performance Prediction.

Hasyim Gautama, Arjan J. C. van Gemund

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Topic Introduction.

Yves Robert, Henri Casanova, Arjan J. C. van Gemund, Dieter Kranzlmüller

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Symbolic Performance Prediction of Speculative Parallel Programs.

Hasyim Gautama, Arjan J. C. van Gemund

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Low-Cost Task Scheduling for Distributed-Memory Machines.

Andrei Radulescu, Arjan J. C. van Gemund

IEEE Trans. Parallel Distributed Syst., 2002

Mapping Unstructured Applications into Nested Parallelism.

Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo

Proceedings of the High Performance Computing for Computational Science, 2002

Symbolic Cost Estimation of Parallel Applications.

Arjan J. C. van Gemund

Proceedings of the Euro-Par 2002, 2002

Symbolic Performance Prediction of Data-Dependent Parallel Programs.

Hasyim Gautama, Arjan J. C. van Gemund

Proceedings of the Computer Performance Evaluation, 2002

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

Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs.

Hasyim Gautama, Arjan J. C. van Gemund

Proceedings of the 9th International Workshop on Modeling, 2001

CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems.

Andrei Radulescu, Cristina Nicolescu, Arjan J. C. van Gemund, Pieter Jonker

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling.

Andrei Radulescu, Arjan J. C. van Gemund

Proceedings of the 2001 International Conference on Parallel Processing, 2001

Performance Prediction of Data-Dependent Task Parallel Programs.

Hasyim Gautama, Arjan J. C. van Gemund

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

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, 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

ACM SIGOPS Oper. Syst. Rev., 2000

Static performance prediction of data-dependent programs.

Hasyim Gautama, Arjan J. C. van Gemund

Proceedings of the Second International Workshop on Software and Performance, 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

Proceedings of the Vector and Parallel Processing, 2000

Fast and Effective Task Scheduling in Heterogeneous Systems.

Andrei Radulescu, Arjan J. C. van Gemund

Proceedings of the 9th Heterogeneous Computing Workshop, 2000

Preemptive Task Scheduling for Distributed Systems (Research Note).

Andrei Radulescu, Arjan J. C. van Gemund

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Analysis of a shared-memory multiprocessor via a novel queuing model.

Gerard L. Reijns, Arjan J. C. van Gemund

J. Syst. Archit., 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

Proceedings of the Parallel Computing: Fundamentals & Applications, 1999

LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems.

Andrei Radulescu, Arjan J. C. van Gemund, Hai-Xiang Lin

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

On the complexity of list scheduling algorithms for distributed-memory systems.

Andrei Radulescu, Arjan J. C. van Gemund

Proceedings of the 13th international conference on Supercomputing, 1999

FLB: Fast Load Balancing for Distributed-Memory Machines.

Andrei Radulescu, Arjan J. C. van Gemund

Proceedings of the International Conference on Parallel Processing 1999, 1999

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

Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998

GLB: a low-cost scheduling algorithm for distributed-memory architectures.

Andrei Radulescu, Arjan J. C. van Gemund

Proceedings of the 5th International Conference On High Performance Computing, 1998

Using High-Level Performance Prediction in Compiling for Distributed Systems.

Arjan J. C. van Gemund

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

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

The Importance of Synchronization Structure in Parallel Program Optimization.

Arjan J. C. van Gemund

Proceedings of the 11th international conference on Supercomputing, 1997

Supporting unbounded process parallelism in the SPC programming model.

Arjan J. C. van Gemund

Proceedings of the Fourth International on High-Performance Computing, 1997

Modeling multi-threaded architectures in PAMELA for real-time high performance applications.

Srinivasan Balakrishnan, S. K. Nandy, Arjan J. C. van Gemund

Proceedings of the Fourth International on High-Performance Computing, 1997

On the Loss of Parallelism by imposing Synchronization Structure.

Arturo González-Escribano, Valentín Cardeñoso-Payo, Arjan J. C. van Gemund

Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

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

Proceedings of the High-Performance Computing and Networking, 1996

Scalability analysis and parallel execution of unstructured problems.

Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam

Proceedings of the EUROSIM'96, 1996

SPC: A Model of Parallel Computation.

Arjan J. C. van Gemund

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Compile-time Performance Prediction of Parallel Systems.

Arjan J. C. van Gemund

Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

A probabilistic approach to parallel system performance modelling.

Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Performance modeling of parallel systems with flexible precision.

Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation.

Arjan J. C. van Gemund, Hai-Xiang Lin

Proceedings of the EUROSIM'96, 1995

1994

Compiling performance models from parallel programs.

Arjan J. C. van Gemund

Proceedings of the 8th international conference on Supercomputing, 1994

Efficient Performance Evaluation of Parallel Systems.

Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

1993

The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems.

Arjan J. C. van Gemund

Proceedings of the Parallel Computing: Trends and Applications, 1993

Performance Prediction of Parallel Processing Systems: The PAMELA Methodology.

Arjan J. C. van Gemund

Proceedings of the 7th international conference on Supercomputing, 1993

1992

CPE: A Methodology to Construct Efficient and Structured Simulators of Concurrent Computer Systems.

Mark R. Roest, Arjan J. C. van Gemund, Henk J. Sips

Proceedings of the Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28, 1992

1991

Automatic Parallel Program Generation and Optimization from Data Decompositions.

Edwin M. R. M. Paalvast, Henk J. Sips, Arjan J. C. van Gemund

Proceedings of the International Conference on Parallel Processing, 1991

1990

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

Proceedings of the 4th international conference on Supercomputing, 1990