| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund |
Prioritizing tests for software fault diagnosis.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Simultaneous debugging of software faults. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß, Arjan J. C. van Gemund |
Spectrum-Based Health Monitoring for Self-Adaptive Systems. |
SASO |
2011 |
DBLP DOI BibTeX RDF |
Online diagnosis, system health, fault localisation, runtime, self-monitoring |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund |
A Diagnostic Reasoning Approach to Defect Prediction. |
IEA/AIE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund |
Spectrum-Based Sequential Diagnosis. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
A Model-Based Active Testing Approach to Sequential Diagnosis. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Arjan J. C. van Gemund |
Diagnosing multiple intermittent failures using maximum likelihood estimation. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund |
Exploiting count spectra for Bayesian fault localization. |
PROMISE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund |
Increasing System Availability with Local Recovery Based on Fault Localization. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund |
Prioritizing Tests for Software Fault Localization. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo |
Performance implications of synchronization structure in parallel programming. |
Parallel Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J. C. van Gemund |
A practical evaluation of spectrum-based fault localization. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
Solving Strong-Fault Diagnostic Models by Model Relaxation. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
FRACTAL: Efficient Fault Isolation Using Active Testing. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Spectrum-Based Multiple Fault Localization. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
| 1 | Tom Janssen, Rui Abreu, Arjan J. C. van Gemund |
Zoltar: A Toolset for Automatic Fault Localization. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Zoltar, Fault Localization tool, Debugging |
| 1 | Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas Kuhn, Arjan J. C. van Gemund |
Automated Redesign with the General Redesign Engine. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Arjan J. C. van Gemund |
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund |
Refining spectrum-based fault localization rankings. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
abstract interpretation, fault localization, program spectra |
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Localizing Software Faults Simultaneously. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
An observation-based model for fault localization. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
software fault diagnosis, test data analysis, model-based diagnosis, program spectra |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund |
Automatic software fault localization using generic program invariants. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
black box diagnosis, error detection, fault localization, program invariants, program spectra |
| 1 | Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, Arjan J. C. van Gemund |
Automated Fault Diagnosis in Embedded Systems. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, dependability, diagnosis |
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
Computing Minimal Diagnoses by Greedy Stochastic Search. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gerard L. Reijns, Arjan J. C. van Gemund |
Reliability Analysis of Hierarchical Systems Using Statistical Moments. |
IEEE Transactions on Reliability |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund |
Diagnosis of Embedded Software Using Program Spectra. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions. |
IEEE Trans. Parallel Distrib. Syst. |
2006 |
DBLP DOI BibTeX RDF |
stochastic graphs, Performance prediction, workload distribution |
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
Program Spectra Analysis in Embedded Software: A Case Study |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund |
An Evaluation of Similarity Coefficients for Software Fault Localization. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. van Gemund |
PAM-SoC: A Toolchain for Predicting MPSoC Performance. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Feldman, Arjan J. C. van Gemund |
A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gerard L. Reijns, Arjan J. C. van Gemund |
Predicting the execution times of parallel-independent programs using Pearson distributions. |
Parallel Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
Symbolic Performance Modeling of Parallel Systems. |
IEEE Trans. Parallel Distrib. Syst. |
2003 |
DBLP DOI BibTeX RDF |
parallel processing, Performance prediction, analytic performance modeling |
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Symbolic Performance Estimation Of Speculative Parallel Programs. |
Parallel Processing Letters |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Symbolic Performance Prediction of Speculative Parallel Programs. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Robert, Henri Casanova, Arjan J. C. van Gemund, Dieter Kranzlmüller |
Topic Introduction. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
A Statistical Approach to Branch Modeling in Static Program Performance Prediction. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Arjan J. C. van Gemund |
Low-Cost Task Scheduling for Distributed-Memory Machines. |
IEEE Trans. Parallel Distrib. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Compile-time task scheduling, list scheduling, distributed-memory multiprocessors, dataflow graphs |
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Symbolic Performance Prediction of Data-Dependent Parallel Programs. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
Symbolic Cost Estimation of Parallel Applications. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo |
Mapping Unstructured Applications into Nested Parallelism. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard L. Reijns, Arjan J. C. van Gemund, Hasyim Gautama |
Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times. |
Parallel Processing Letters |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Performance Prediction of Data-Dependent Task Parallel Programs. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Cristina Nicolescu, Arjan J. C. van Gemund, Pieter Jonker |
CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs. |
MASCOTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Arjan J. C. van Gemund |
A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling. (PDF / PS) |
ICPP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 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. |
Operating Systems Review |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Arjan J. C. van Gemund |
Preemptive Task Scheduling for Distributed Systems (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Arjan J. C. van Gemund |
Fast and Effective Task Scheduling in Heterogeneous Systems. (PDF / PS) |
Heterogeneous Computing Workshop |
2000 |
DBLP DOI BibTeX RDF |
compile-time task scheduling, heterogeneous systems, list scheduling, low-cost |
| 1 | Hasyim Gautama, Arjan J. C. van Gemund |
Static performance prediction of data-dependent programs. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard L. Reijns, Arjan J. C. van Gemund |
Analysis of a shared-memory multiprocessor via a novel queuing model. |
Journal of Systems Architecture |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Arjan J. C. van Gemund, Hai-Xiang Lin |
LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems. (PDF / PS) |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Radulescu, Arjan J. C. van Gemund |
FLB: Fast Load Balancing for Distributed-Memory Machines. (PDF / PS) |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, load balancing, parallel processing, compile-time scheduling |
| 1 | Andrei Radulescu, Arjan J. C. van Gemund |
On the complexity of list scheduling algorithms for distributed-memory systems. |
International Conference on Supercomputing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard L. Reijns, Arjan J. C. van Gemund, J. Schier, P. J. F. Swart |
Real-Time Signal Processing in a Collision Avoidance Radar System using Parallel Computing. |
HPCN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees van Reeuwijk, Arjan J. C. van Gemund, Henk J. Sips |
Spar: A Programming Language for Semi-Automatic Compilation of Parallel Programs. |
Concurrency - Practice and Experience |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
The Importance of Synchronization Structure in Parallel Program Optimization. |
International Conference on Supercomputing |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
SPC: A Model of Parallel Computation. |
Euro-Par, Vol. II |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam |
Scalability analysis and parallel execution of unstructured problems. |
EUROSIM |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund, Hai-Xiang Lin |
Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation. |
EUROSIM |
1995 |
DBLP BibTeX RDF |
|
| 1 | Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns |
A probabilistic approach to parallel system performance modelling. |
HICSS |
1995 |
DBLP DOI BibTeX RDF |
parallel system performance modelling, efficient parallel applications development, reliable performance predictions, machine model building blocks, multiple-class parallel section completion times, conditional statements, performance evaluation, probability, case study, queueing theory, parallel machines, parallel machine, memory hierarchies, queueing networks, probabilistic approach, modelling formalisms |
| 1 | Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns |
Performance modeling of parallel systems with flexible precision. |
HICSS |
1995 |
DBLP DOI BibTeX RDF |
flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms |
| 1 | Arjan J. C. van Gemund |
Compile-time Performance Prediction of Parallel Systems. |
MMB |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns |
Efficient Performance Evaluation of Parallel Systems. |
EUROSIM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
Compiling performance models from parallel programs. |
International Conference on Supercomputing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
Performance Prediction of Parallel Processing Systems: The PAMELA Methodology. |
International Conference on Supercomputing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. C. van Gemund |
The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems. |
PARCO |
1993 |
DBLP BibTeX RDF |
|
| 1 | Edwin M. R. M. Paalvast, Henk J. Sips, Arjan J. C. van Gemund |
Automatic Parallel Program Generation and Optimization from Data Decompositions. |
ICPP |
1991 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")