Arjan J. C. van Gemund

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