Arjan J. C. van Gemund

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
The Diagnostic Competitions.
AI Magazine, 2014

Heuristics to Increase Observability in Spectrum-based Fault Localization.
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.
Proceedings of the Situation Awareness with Systems of Systems, 2013

Prioritizing Tests for Fault Localization.
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].
IEEE Trans. Reliability, 2012

Reliability Analysis of $k$-out-of- $n$ Systems With Single Cold Standby Using Pearson Distributions.
IEEE Trans. Reliability, 2012

2011
Prioritizing tests for software fault diagnosis.
Softw., Pract. Exper., 2011

Simultaneous debugging of software faults.
Journal of Systems and Software, 2011

Spectrum-Based Health Monitoring for Self-Adaptive Systems.
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.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Prioritizing tests for fault localization through ambiguity group reduction.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A Diagnostic Reasoning Approach to Defect Prediction.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Probabilistic Error Propagation Modeling in Logic Circuits.
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.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Modeling the Diagnostic Efficiency of Regression Test Suites.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Spectrum-Based Sequential Diagnosis.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
A Model-Based Active Testing Approach to Sequential Diagnosis.
J. Artif. Intell. Res., 2010

Diagnosing multiple intermittent failures using maximum likelihood estimation.
Artif. Intell., 2010

Increasing System Availability with Local Recovery Based on Fault Localization.
Proceedings of the 10th International Conference on Quality Software, 2010

Prioritizing Tests for Software Fault Localization.
Proceedings of the 10th International Conference on Quality Software, 2010

Exploiting count spectra for Bayesian fault localization.
Proceedings of the 6th International Conference on Predictive Models in Software Engineering, 2010

Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Performance implications of synchronization structure in parallel programming.
Parallel Computing, 2009

A practical evaluation of spectrum-based fault localization.
Journal of Systems and Software, 2009

Automated Redesign with the General Redesign Engine.
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.
Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Refining spectrum-based fault localization rankings.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Localizing Software Faults Simultaneously.
Proceedings of the Ninth International Conference on Quality Software, 2009

Zoltar: A Toolset for Automatic Fault Localization.
Proceedings of the ASE 2009, 2009

Spectrum-Based Multiple Fault Localization.
Proceedings of the ASE 2009, 2009

Solving Strong-Fault Diagnostic Models by Model Relaxation.
Proceedings of the IJCAI 2009, 2009

FRACTAL: Efficient Fault Isolation Using Active Testing.
Proceedings of the IJCAI 2009, 2009

A New Bayesian Approach to Multiple Intermittent Fault Diagnosis.
Proceedings of the IJCAI 2009, 2009

2008
Automated Fault Diagnosis in Embedded Systems.
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

Automatic software fault localization using generic program invariants.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An observation-based model for fault localization.
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.
Proceedings of the ENASE 2008, 2008

Using Fault Screeners for Software Error Detection.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2008

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Computing Minimal Diagnoses by Greedy Stochastic Search.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Reliability Analysis of Hierarchical Systems Using Statistical Moments.
IEEE Trans. Reliability, 2007

The delft MS curriculum on embedded systems.
SIGBED Review, 2007

Approximate Model-Based Diagnosis Using Greedy Stochastic Search.
Proceedings of the Abstraction, 2007

Diagnosis of Embedded Software Using Program Spectra.
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.
IEEE Trans. Parallel Distrib. Syst., 2006

Temporal versus Spatial Observability in Model-Based Diagnosis.
Proceedings of the IEEE International Conference on Systems, 2006

An Evaluation of Similarity Coefficients for Software Fault Localization.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

PAM-SoC: A Toolchain for Predicting MPSoC Performance.
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.
Proceedings of the Proceedings, 2006

2005
Predicting the execution times of parallel-independent programs using Pearson distributions.
Parallel Computing, 2005

SPC-XML: A Structured Representation for Nested-Parallel Programming Languages.
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.
Proceedings of the High Performance Computing for Computational Science, 2004

2003
Symbolic Performance Modeling of Parallel Systems.
IEEE Trans. Parallel Distrib. Syst., 2003

Symbolic Performance Estimation Of Speculative Parallel Programs.
Parallel Processing Letters, 2003

A Statistical Approach to Branch Modeling in Static Program Performance Prediction.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

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

Symbolic Performance Prediction of Speculative Parallel Programs.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002
Low-Cost Task Scheduling for Distributed-Memory Machines.
IEEE Trans. Parallel Distrib. Syst., 2002

Mapping Unstructured Applications into Nested Parallelism.
Proceedings of the High Performance Computing for Computational Science, 2002

Symbolic Cost Estimation of Parallel Applications.
Proceedings of the Euro-Par 2002, 2002

Symbolic Performance Prediction of Data-Dependent Parallel Programs.
Proceedings of the Computer Performance Evaluation, 2002

2001
Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times.
Parallel Processing Letters, 2001

Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs.
Proceedings of the 9th International Workshop on Modeling, 2001

CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling.
Proceedings of the 2001 International Conference on Parallel Processing, 2001

Performance Prediction of Data-Dependent Task Parallel Programs.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
The Distributed ASCI Supercomputer Project.
Operating Systems Review, 2000

Static performance prediction of data-dependent programs.
Workshop on Software and Performance, 2000

Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines.
Proceedings of the Vector and Parallel Processing, 2000

Fast and Effective Task Scheduling in Heterogeneous Systems.
Proceedings of the 9th Heterogeneous Computing Workshop, 2000

Preemptive Task Scheduling for Distributed Systems (Research Note).
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.
Journal of Systems Architecture, 1999

Expressiveness versus optimizability in coordinating parallelism.
Proceedings of the Parallel Computing: Fundamentals & Applications, 1999

LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems.
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.
Proceedings of the 13th international conference on Supercomputing, 1999

FLB: Fast Load Balancing for Distributed-Memory Machines.
Proceedings of the International Conference on Parallel Processing 1999, 1999

Real-Time Signal Processing in a Collision Avoidance Radar System using Parallel Computing.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998
GLB: a low-cost scheduling algorithm for distributed-memory architectures.
Proceedings of the 5th International Conference On High Performance Computing, 1998

Using High-Level Performance Prediction in Compiling for Distributed Systems.
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.
Concurrency - Practice and Experience, 1997

The Importance of Synchronization Structure in Parallel Program Optimization.
Proceedings of the 11th international conference on Supercomputing, 1997

Supporting unbounded process parallelism in the SPC programming model.
Proceedings of the Fourth International on High-Performance Computing, 1997

Modeling multi-threaded architectures in PAMELA for real-time high performance applications.
Proceedings of the Fourth International on High-Performance Computing, 1997

On the Loss of Parallelism by imposing Synchronization Structure.
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.
Proceedings of the High-Performance Computing and Networking, 1996

Scalability analysis and parallel execution of unstructured problems.
Proceedings of the EUROSIM'96, 1996

SPC: A Model of Parallel Computation.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Compile-time Performance Prediction of Parallel Systems.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

A probabilistic approach to parallel system performance modelling.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Performance modeling of parallel systems with flexible precision.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation.
Proceedings of the EUROSIM'96, 1995

1994
Compiling performance models from parallel programs.
Proceedings of the 8th international conference on Supercomputing, 1994

Efficient Performance Evaluation of Parallel Systems.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

1993
The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems.
Proceedings of the Parallel Computing: Trends and Applications, 1993

Performance Prediction of Parallel Processing Systems: The PAMELA Methodology.
Proceedings of the 7th international conference on Supercomputing, 1993

1991
Automatic Parallel Program Generation and Optimization from Data Decompositions.
Proceedings of the International Conference on Parallel Processing, 1991

1990
A method for parallel program generation with an application to the Booster language.
Proceedings of the 4th international conference on Supercomputing, 1990


  Loading...