Arjan J. C. van Gemund

Arjan J. C. van Gemund, Gerard L. Reijns: Reliability Analysis of $k$-out-of- $n$ Systems With Single Cold Standby Using Pearson Distributions. IEEE Transactions on Reliability 61(2): 526-532 (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 Transactions on Reliability 61(3): 832 (2012)

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: Simultaneous debugging of software faults. Journal of Systems and Software 84(4): 573-586 (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. Exper. 41(10): 1105-1129 (2011)

Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund: Spectrum-Based Sequential Diagnosis. AAAI 2011

Shekhar Gupta, Arjan J. C. van Gemund, Rui Abreu: Probabilistic Error Propagation Modeling in Logic Circuits. ICST Workshops 2011: 617-623

Alberto González-Sanchez, Hans-Gerhard Gross, Arjan J. C. van Gemund: Modeling the Diagnostic Efficiency of Regression Test Suites. ICST Workshops 2011: 634-643

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: 654-660

Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund: A Diagnostic Reasoning Approach to Defect Prediction. IEA/AIE (2) 2011: 416-425

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: 83-92

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: 1398-1403

Éric Piel, Alberto González-Sanchez, Hans-Gerhard Groß, Arjan J. C. van Gemund: Spectrum-Based Health Monitoring for Self-Adaptive Systems. SASO 2011: 99-108

Rui Abreu, Arjan J. C. van Gemund: Diagnosing multiple intermittent failures using maximum likelihood estimation. Artif. Intell. 174(18): 1481-1497 (2010)

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Approximate Model-Based Diagnosis Using Greedy Stochastic Search. J. Artif. Intell. Res. (JAIR) 38: 371-413 (2010)

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell. Res. (JAIR) 39: 301-334 (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: 419-424

Rui Abreu, Alberto González-Sanchez, Arjan J. C. van Gemund: Exploiting count spectra for Bayesian fault localization. PROMISE 2010: 12

Alberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund: Prioritizing Tests for Software Fault Localization. QSIC 2010: 42-51

Hasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund: Increasing System Availability with Local Recovery Based on Fault Localization. QSIC 2010: 276-281

Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J. C. van Gemund: A practical evaluation of spectrum-based fault localization. Journal of Systems and Software 82(11): 1780-1792 (2009)

Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo: Performance implications of synchronization structure in parallel programming. Parallel Computing 35(8-9): 455-474 (2009)

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. IJCAI 2009: 653-658

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI 2009: 778-784

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI 2009: 785-790

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: Spectrum-Based Multiple Fault Localization. ASE 2009: 88-99

Tom Janssen, Rui Abreu, Arjan J. C. van Gemund: Zoltar: A Toolset for Automatic Fault Localization. ASE 2009: 662-664

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: Localizing Software Faults Simultaneously. QSIC 2009: 367-376

Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund: Refining spectrum-based fault localization rankings. SAC 2009: 409-414

Rui Abreu, Arjan J. C. van Gemund: A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. SARA 2009

Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas 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: Computing Minimal Diagnoses by Greedy Stochastic Search. AAAI 2008: 911-918

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. AAAI 2008: 919-924

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: 123-130

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: An observation-based model for fault localization. WODA 2008: 64-70

Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund: Automatic software fault localization using generic program invariants. SAC 2008: 712-717

Peter Zoeteweij, Jurryt Pietersma, Rui Abreu, Alexander Feldman, Arjan J. C. van Gemund: Automated Fault Diagnosis in Embedded Systems. SSIRI 2008: 103-110

Hans-Gerhard Gross, Arjan J. C. van Gemund: The delft MS curriculum on embedded systems. SIGBED Review 4(1): 1-10 (2007)

Gerard L. Reijns, Arjan J. C. van Gemund: Reliability Analysis of Hierarchical Systems Using Statistical Moments. IEEE Transactions on Reliability 56(3): 525-533 (2007)

Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J. C. van Gemund: Diagnosis of Embedded Software Using Program Spectra. ECBS 2007: 213-220

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Approximate Model-Based Diagnosis Using Greedy Stochastic Search. SARA 2007: 139-154

Hasyim Gautama, Arjan J. C. van Gemund: Low-Cost Static Performance Prediction of Parallel Stochastic Task Compositions. IEEE Trans. Parallel Distrib. Syst. 17(1): 78-91 (2006)

Alexander Feldman, Arjan J. C. van Gemund: A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. AAAI 2006: 827-833

Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. van Gemund: PAM-SoC: A Toolchain for Predicting MPSoC Performance. Euro-Par 2006: 111-123

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: An Evaluation of Similarity Coefficients for Software Fault Localization. PRDC 2006: 39-46

Jurryt Pietersma, Arjan J. C. van Gemund: Temporal versus Spatial Observability in Model-Based Diagnosis. SMC 2006: 5325-5331

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund: Program Spectra Analysis in Embedded Software: A Case Study. CoRR abs/cs/0607116 (2006)

Gerard L. Reijns, Arjan J. C. van Gemund: Predicting the execution times of parallel-independent programs using Pearson distributions. Parallel Computing 31(8-9): 877-899 (2005)

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: 782-792

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: 541-555

Hasyim Gautama, Arjan J. C. van Gemund: Symbolic Performance Estimation Of Speculative Parallel Programs. Parallel Processing Letters 13(4): 513-524 (2003)

Arjan J. C. van Gemund: Symbolic Performance Modeling of Parallel Systems. IEEE Trans. Parallel Distrib. Syst. 14(2): 154-165 (2003)

Hasyim Gautama, Arjan J. C. van Gemund: Symbolic Performance Prediction of Speculative Parallel Programs. Euro-Par 2003: 88-97

Yves Robert, Henri Casanova, Arjan J. C. van Gemund, Dieter Kranzlmüller: Topic Introduction. Euro-Par 2003: 147

Hasyim Gautama, Arjan J. C. van Gemund: A Statistical Approach to Branch Modeling in Static Program Performance Prediction. IPDPS 2003: 280

Andrei Radulescu, Arjan J. C. van Gemund: Low-Cost Task Scheduling for Distributed-Memory Machines. IEEE Trans. Parallel Distrib. Syst. 13(6): 648-658 (2002)

Hasyim Gautama, Arjan J. C. van Gemund: Symbolic Performance Prediction of Data-Dependent Parallel Programs. Computer Performance Evaluation / TOOLS 2002: 259-278

Arjan J. C. van Gemund: Symbolic Cost Estimation of Parallel Applications. Euro-Par 2002: 147-156

Arturo González-Escribano, Arjan J. C. van Gemund, Valentín Cardeñoso-Payo: Mapping Unstructured Applications into Nested Parallelism. VECPAR 2002: 407-420

Gerard L. Reijns, Arjan J. C. van Gemund, Hasyim Gautama: Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times. Parallel Processing Letters 11(1): 109-123 (2001)

Hasyim Gautama, Arjan J. C. van Gemund: Performance Prediction of Data-Dependent Task Parallel Programs. Euro-Par 2001: 106-116

Andrei Radulescu, Arjan J. C. van Gemund: A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling. ICPP 2001: 69-76

Andrei Radulescu, Cristina Nicolescu, Arjan J. C. van Gemund, Pieter Jonker: CPR: Mixed Task and Data Parallel Scheduling for Distributed Systems. IPDPS 2001: 39

Hasyim Gautama, Arjan J. C. van Gemund: Low-Cost Performance Prediction of Data-Dependent Data Parallel Programs. MASCOTS 2001: 173-182

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 34(4): 76-96 (2000)

Andrei Radulescu, Arjan J. C. van Gemund: Preemptive Task Scheduling for Distributed Systems (Research Note). Euro-Par 2000: 272-276

Andrei Radulescu, Arjan J. C. van Gemund: Fast and Effective Task Scheduling in Heterogeneous Systems. Heterogeneous Computing Workshop 2000: 229-238

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: 128-141

Hasyim Gautama, Arjan J. C. van Gemund: Static performance prediction of data-dependent programs. Workshop on Software and Performance 2000: 216-226

Gerard L. Reijns, Arjan J. C. van Gemund: Analysis of a shared-memory multiprocessor via a novel queuing model. Journal of Systems Architecture 45(14): 1189-1193 (1999)

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 Europe 1999: 23-32

Andrei Radulescu, Arjan J. C. van Gemund: FLB: Fast Load Balancing for Distributed-Memory Machines. ICPP 1999: 534-541

Andrei Radulescu, Arjan J. C. van Gemund: On the complexity of list scheduling algorithms for distributed-memory systems. International Conference on Supercomputing 1999: 68-75

Andrei Radulescu, Arjan J. C. van Gemund, Hai-Xiang Lin: LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems. IPPS/SPDP 1999: 525-530

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 9(11): 1193-1205 (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: 251-256

Arjan J. C. van Gemund: The Importance of Synchronization Structure in Parallel Program Optimization. International Conference on Supercomputing 1997: 164-171

Arjan J. C. van Gemund: SPC: A Model of Parallel Computation. Euro-Par, Vol. II 1996: 397-400

Hai-Xiang Lin, Arjan J. C. van Gemund, Johan Meijdam: Scalability analysis and parallel execution of unstructured problems. EUROSIM 1996: 151-160

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: 467-474

Arjan J. C. van Gemund, Hai-Xiang Lin: Scalability Analysis of Parallel Finite Element Methods Using Performance Simulation. EUROSIM 1995: 261-266

Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns: A probabilistic approach to parallel system performance modelling. HICSS (2) 1995: 412-421

Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns: Performance modeling of parallel systems with flexible precision. HICSS (2) 1995: 444-445

Arjan J. C. van Gemund: Compile-time Performance Prediction of Parallel Systems. MMB 1995: 299-313

Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns: Efficient Performance Evaluation of Parallel Systems. EUROSIM 1994: 389-396

Arjan J. C. van Gemund: Compiling performance models from parallel programs. International Conference on Supercomputing 1994: 303-312

Arjan J. C. van Gemund: Performance Prediction of Parallel Processing Systems: The PAMELA Methodology. International Conference on Supercomputing 1993: 318-327

Arjan J. C. van Gemund: The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems. PARCO 1993: 421-428

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: 124-131

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: 457-469