Publications

NOTE: The following material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

To download the papers please use some public search engine.

E. Piel, A. Gonzalez-Sanchez, H-G. Gross, A.J.C. van Gemund, "Online Fault Localization and Health Monitoring for Software Systems", in P. van de Laar, J. Tretmans, M. Borth (eds.) Situation Awareness with Systems of Systems, Springer, 2012, pp. 233-250.

A. Gonzalez-Sanchez, E. Piel, R. Abreu, H-G. Gross, A.J.C. van Gemund, "Prioritizing Tests for Fault Localization", in P. van de Laar, J. Tretmans, M. Borth (eds.) Situation Awareness with Systems of Systems, Springer, 2012, pp. 251-261.

A.J.C. van Gemund, G.L. Reijns, "Reliability Analysis of k-out-of-n Systems with Cold Standby", IEEE Transactions on Reliability, Vol 61, No 2, June 2012, pp. 526-532.

E. Piel, A. Gonzalez-Sanchez, H-G. Gross, A.J.C. van Gemund, R. Abreu, "Online Spectrum-based Fault Localization for Health Monitoring and Fault Recovery of Self-Adaptive Systems", In Bodendorf, F. and Powley, W. (Eds.), 8th International Conference on Autonomic and Autonomous Systems (ICAS'12), St. Maarten, Netherlands Antilles. Mar 2012, pp. 64-73. (Best Paper Award)

2011:

A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, A.J.C. van Gemund, "Prioritizing Tests for Fault Localization through Ambiguity Group Reduction", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, November 6-10, 2011, pp. 83-92.

E. Piel, A. Gonzalez-Sanchez, H-G. Gross, A.J.C. Van Gemund, "Spectrum-based Health Monitoring for Self-Adaptive Systems", 5th IEEE Int'l Conference on Self-Adaptive and Self-Organizing Systems (SASO'11), Ann Arbor, Michigan, October, 2011, pp. 99-108.

A.J.C. van Gemund, S. Gupta, R. Abreu, "The ANTARES Approach to Automatic Systems Diagnosis" 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), Munich, October 2011, pp. 5-12.

A. Feldman, T. Janssen, A.J.C. van Gemund, "Modeling Diagnostic Stochastic Search", 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), Murnau, Germany, October 2011, pp. 92-99.

A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, A.J.C. van Gemund, "RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction", 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), Murnau, Germany, October 2011, pp. 84-91.

A. Gonzalez-Sanchez, H-G. Gross, A.J.C. van Gemund, "Performance Modeling of Sequential Diagnosis Algorithms", 22nd Int'l Workshop on the Principles of Diagnosis (DX'11), Murnau, Germany, October 2011, pp. 106-113.

A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, A.J.C. van Gemund, "Spectrum-Based Sequential Diagnosis", 25th AAAI Conference on Artificial Intelligence (AAAI'11), San Francisco, August, 2011.

A. Gonzalez-Sanchez, E. Piel, R. Abreu, H-G. Gross, A.J.C. van Gemund, "Prioritizing Tests for Software Fault Localization". Software: Practice and Experience, Vol. 41, No. 10, pp. 1105-1129, 2011.

A. Gonzalez-Sanchez, E. Piel, H-G. Gross, A.J.C. van Gemund, "A Runtime Testability Metric for Dynamic High-Availability Component-based Systems", Int'l Journal On Advances in Systems and Measurements, Vol. 4, No. 1-2, pp. 122-134. 2011.

A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, A.J.C. van Gemund, "An Empirical Study on the Usage of Testability Information to Fault Localization in Software", In Proc. Int'l Symposium on Applied Computing (SAC'11), pp. 1398-1403. ACM Press. 2011.

S. Gupta, A.J.C. van Gemund, R. Abreu, "Probabilistic Error Propagation Modeling in Logic Circuits", In Proc. of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 617-623. IEEE Computer Society. 2011.

A. Gonzalez-Sanchez, E. Piel, H-G. Gross, A.J.C. van Gemund, "A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing", In Proc. of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 654-660. IEEE Computer Society. 2011.

A. Gonzalez-Sanchez, H-G. Gross, A.J.C. van Gemund, "Modeling the Diagnostic Efficiency of Regression Test Suites", In Proc. of the 1st Workshop on Testing & Debugging (TeBug'11), pp. 634-643. IEEE Computer Society. 2011.

R. Abreu, A. Gonzalez-Sanchez, A.J.C. van Gemund, "A Diagnostic Reasoning Approach to Defect Prediction", In K.C. Mehrotra et al. (Eds.), Proc. of the 24th Int'l Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE'11), Lecture Notes on Artificial Intelligence 6704, Springer-Verlag. pp. 416-425. 2011.

R. Abreu, P. Zoeteweij, A.J.C. van Gemund, "Simultaneous Debugging of Software Faults", Journal of Systems and Software, Vol 84, No 4, April 2011, pp. 573-586.

2010:

R. Abreu, A.J.C. van Gemund, "Diagnosing Intermittent Faults Using Maximum Likelihood Estimation", Artificial Intelligence, Vol 174, No 18, pp. 1481-1497. 2010.

A. Feldman, G. Provan, A.J.C. van Gemund, "A Model-Based Active Testing Approach to Sequential Diagnosis", Journal of Artificial Intelligence Research, Vol 39, pp. 301-334. Sept, 2010.

A. Feldman, T. Kurtoglu, S. Narasimhan, S. Poll, D. Garcia, Johan de Kleer, Lukas Kuhn, A.J.C. van Gemund, "Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework", Int'l Journal of Prognostics and Health Management, online July 6, 2010.

A. Feldman, G. Provan, J. de Kleer, S. Robert, A.J.C. van Gemund, "Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa", 21st Int'l Workshop on the Principles of Diagnosis (DX'10), Portland, OR, Oct 2010.

A. Gonzalez-Sanchez, R. Abreu, H-G. Gross, A.J.C. van Gemund, "Spectrum-Based Sequential Diagnosis", 21st Int'l Workshop on the Principles of Diagnosis (DX'10), Portland, OR, Oct 2010.

R. Abreu, A. Gonzalez-Sanchez, A.J.C. van Gemund, "Exploiting Count Spectra for Bayesian Fault Localization", 6th Int'l Conference on Predictive Models in Software Engineering (PROMISE'10), Timisoara, Romania, Sept, 2010.

A. Gonzalez-Sanchez, E. Piel, H-G. Gross, A.J.C. van Gemund, "Runtime Testability in Dynamic High-Availability Component-Based Systems", Second Int'l Conference on Advances in System Testing and Validation Lifecycle (VALID'10), Nice, France, August, 2010. (Best Paper Award)

A. Feldman, G. Provan, A.J.C. van Gemund, "Approximate Model-Based Diagnosis Using Greedy Stochastic Search", Journal of Artificial Intelligence Research, Vol 38, pp. 371-413. 2010.

R. Abreu, A. Gonzalez-Sanchez, P. Zoeteweij, A.J.C. van Gemund, "Using Fault Screeners for Software Error Detection". In J. Cordeiro, L.A. Maciaszek, S. Hammoudi and J. Filipe (Eds.): WEBIST / ENASE 2008 Revised Best Papers, Lecture Notes in Communications in Computer and Information Science (LNCCIS), Vol 69, pp. 60-74. Springer-Verlag. 2010.

J. Zutt, A.J.C. van Gemund, M.M. de Weerdt, C. Witteveen, "Dealing with Uncertainty in Operational Transport Planning", In R.R. Negenborn and Z. Lukszo and H. Hellendoorn (Eds.): Intelligent Infrastructures, Ch. 14, pp. 355-382. 2010. Springer.

A. Gonzalez-Sanchez, E. Piel, H-G. Gross, A.J.C. van Gemund, "Minimising the Preparation Cost of Runtime Testing based on Testability Metrics", In Proc. of the IEEE Computer Software and Applications Conference (COMPSAC'10), Seoul, July 2010.

H. Sozer, R. Abreu, M. Aksit, A.J.C. van Gemund, "Increasing System Availability with Local Recovery based on Fault Localization", In Proc. of the 10th Int'l Conference on Quality Software (QSIC'10), Zhangjiajie, July 2010.

A. Gonzalez-Sanchez, E. Piel, H-G. Gross, A.J.C. van Gemund, "Prioritizing Tests for Software Fault Localization", In Proc. of the 10th Int'l Conference on Quality Software (QSIC'10), Zhangjiajie, July 2010.

2009:

R. Abreu, P.Zoeteweij, A.J.C. van Gemund, "Spectrum-based Multiple Fault Localization". In Proc. of the 24th Int'l Conference on Automated Software Engineering (ASE'09), Auckland, New Zealand, November 2009. pp. 88-99, IEEE Computer Society.

T. Janssen, R. Abreu, and A.J.C. van Gemund, "Zoltar: A Toolset for Automatic Fault Localization". In Proc. of the 24th Int'l Conference on Automated Software Engineering (ASE'09), Auckland, New Zealand, November 2009. pp. 658-660, IEEE Computer Society. (Best Demo Award)

R. Abreu, Peter Zoeteweij, and A.J.C. van Gemund, "Localizing Software Faults Simultaneously". In Proc. of the 9th Int'l Conference on Quality of Software (QSIC'09), Jeju, South Korea, August 2009. IEEE Computer Society.

R. Abreu, P. Zoeteweij, A.J.C. van Gemund, "Zoltar: A Spectrum-based Fault Localization Tool". In Proc. of the 1st Int'l Workshop on Software Integration and Evolution @ Runtime (SINTER'09), pp. 23-29, Amsterdam, the Netherlands, August 2009. ACM Press.

R. Abreu, P. Zoeteweij, R. Golsteijn, and A.J.C. van Gemund, "A Practical Evaluation of Spectrum-based Fault Localization", Journal of Systems and Software, Vol 82, No 11, pp. 1780-1792, 2009.

A. Gonzalez-Escribano, V. Cardenoso Payo, A.J.C. van Gemund, "Performance Implications of Synchronization Structure in Parallel Programming", Parallel Computing, Vol 35, no 8-9, August/September 2009, pp. 455-474.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, "Fault Localization in Embedded Software". In J. Hooman (Ed.): TRADER: Consumer-Perceived System Reliability of High-Volume Consumer Products, Embedded Systems Institute, 2009, pp. 103-112.

P. Zoeteweij, R. Abreu, and A.J.C. van Gemund, "Spectrum-Based Fault Localization in Practice". In J. Hooman (Ed.): TRADER: Consumer-Perceived System Reliability of High-Volume Consumer Products, Embedded Systems Institute, 2009, pp. 113-124.

A. Feldman, G. Provan, J. de Kleer, L. Kuhn and A.J.C. van Gemund, "Automated Redesign with the General Redesign Engine", In Proc. of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09), Lake Arrowhead, CA, July 2009.

R. Abreu and A.J.C. van Gemund, "A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis", In Proc. of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA'09), Lake Arrowhead, CA, July 2009.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, "A New Bayesian Approach to Multiple Intermittent Fault Diagnosis", In Proc. of the 21st Int'l Joint Conference on Artificial Intelligence (IJCAI'09), July, CA, 2009.

A. Feldman, G. Provan, A.J.C. van Gemund, "FRACTAL: Efficient Fault Isolation Using Active Testing", In Proc. of the 21st Int'l Joint Conference on Artificial Intelligence (IJCAI'09), July, CA, 2009.

A. Feldman, G. Provan, A.J.C. van Gemund, "Solving Strong-Fault Diagnostic Models by Model Relaxation", In Proc. of the 21st Int'l Joint Conference on Artificial Intelligence (IJCAI'09), July, CA, 2009.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, "A Model-Based Software Reasoning Approach to Software Debugging", In Proc. of the 22nd Int'l Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE'09), Tainan, Taiwan, June 2009, pp. 233--239. STudies in Comp. Intell. 214. Springer.

R. Abreu, A.J.C. van Gemund, "A Statistics-directed Minimal Hitting Set Algorithm", In Proc. of the 20th Int'l Workshop on the Principles of Diagnosis (DX'09), Stockholm, June, 2009.

R. Abreu, P. Zoeteweij, A.J.C. van Gemund, "A Bayesian Approach to Diagnose Multiple Intermittent Faults", In Proc. of the 20th Int'l Workshop on the Principles of Diagnosis (DX'09), Stockholm, June, 2009.

A. Feldman, G. Provan, J. de Kleer, L. Kuhn, A.J.C. van Gemund, "Automated Redesign with the General Redesign Engine", In Proc. of the 20th Int'l Workshop on the Principles of Diagnosis (DX'09), Stockholm, June, 2009.

T. Kurtoglu, S. Narasimhan, S. Poll, D. Garcia, L. Kuhn, J. de Kleer, A.J.C. van Gemund, A. Feldman, "Towards a Framework for Evaluating and Comparing Diagnosis Algorithms", In Proc. of the 20th Int'l Workshop on the Principles of Diagnosis (DX'09), Stockholm, June, 2009.

T. Kurtoglu, S. Narasimhan, S. Poll, D. Garcia, L. Kuhn, J. de Kleer, A.J.C. van Gemund, A. Feldman, "First Int'l Diagnosis Competition - DXC'09", In Proc. of the 20th Int'l Workshop on the Principles of Diagnosis (DX'09), Stockholm, June, 2009.

A. Feldman, G. Provan, A.J.C. van Gemund, "The Lydia Approach to Combinational Model-Based Diagnosis", In Proc. of the 20th Int'l Workshop on the Principles of Diagnosis (DX'09), Stockholm, June, 2009.

R. Abreu, W. Mayer, M. Stumpfner, and A.J.C. van Gemund, "Refining Spectrum-Based Fault Localization Rankings", In Proc. of the 24rd Annual ACM Symposium on Applied Computing (SAC'09), Honolulu, March 2009.

2008:

A. Feldman, G. Provan, A.J.C. van Gemund, "A Framework and Algorithm for Model-Based Active Testing", IEEE Int'l Conference on Prognostics and Health Management (PHM'08), Denver, October, 2008. (Best Paper Award)

R. Abreu, P. Zoeteweij, A.J.C. van Gemund, "A Dynamic Modeling Approach to Software Multiple-Fault Localization", In Proc. 19th Int'l Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, September 2008.

W. Mayer, R. Abreu, M. Stumptner, A.J.C. van Gemund, "Prioritizing Model-Based Debugging Diagnostic Reports", In Proc. 19th Int'l Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, September 2008.

A. Feldman, G. Provan, A.J.C. van Gemund, "A Framework and Algorithm for Model-Based Active Testing", In Proc. 19th Int'l Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, September 2008.

P. Zoeteweij, J. Pietersman, R. Abreu, A. Feldman, A.J.C. van Gemund, "Automated Fault Diagnosis in Embedded Systems", In Proc. 2nd IEEE Int'l Conference on Secure System Integration and Reliability Improvement (SSIRI'08), Yokohama, July 2008.

R. Abreu, P. Zoeteweij, A.J.C. van Gemund, "An Observation-Based Model for Fault Localization", In Sixth Int'l Workshop on Dynamic Analysis (WODA'08), Seattle, Washington, July 2008.

A. Feldman, G. Provan, A.J.C. van Gemund, "Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses", In Proc. of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, Illinois, July 2008.

A. Feldman, G. Provan, A.J.C. van Gemund, "Computing Minimal Diagnoses by Greedy Stochastic Search", In Proc. of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, Illinois, July 2008.

R. Abreu, A. Gonzalez, P. Zoeteweij, and A.J.C. van Gemund, "On the Performance of Fault Screeners in Software Development and Deployment", In Proc. of the 3rd Int'l Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), Funchal, Madeira, Portugal, May 2008. INSTICC Press.

R. Abreu, A. Gonzalez, P. Zoeteweij, and A.J.C. van Gemund, "Automatic Software Fault Localization using Generic Program Invariants", In Proc. of the 23rd Annual ACM Symposium on Applied Computing (SAC'08), Fortaleza, Brazil, March 2008, ACM Press, pp. 712--717.

2007:

Jurryt Pietersma, A.J.C. van Gemund, "Model-Based Diagnosis", in (J. Tretmans, ed.) "Tangram: Model-based Integration and Testing of Complex High-Tech Systems", Embedded Systems Institute, ISBN: 978-90-78679-02-8, Nov 2007, pp. 163-178.

Jurryt Pietersma, A.J.C. van Gemund, "Costs and Benefits of Model-Based Diagnosis", in (J. Tretmans, ed.) "Tangram: Model-based Integration and Testing of Complex High-Tech Systems", Embedded Systems Institute, ISBN: 978-90-78679-02-8, Nov 2007, pp. 179-187.

P. Zoeteweij, J. Pietersma, R. Abreu, A. Feldman, and A.J.C. van Gemund, "Automatic Fault Diagnosis of Embedded Systems", in Proc. Bits & Chips Embedded Systems Conference, Eindhoven, Netherlands, Oct. 2007.

R. Abreu, P. Zoeteweij, and A.J.C. van Gemund, "On the Accuracy of Spectrum-Based Fault Localization", In Proc. Testing: Academic & Industrial Conference, Practice and Research Techniques (TAIC-PART'07), Windsor, England, IEEE CS Press, Sept. 2007.

G.L. Reijns, A.J.C. van Gemund, "Reliability Analysis of Hierarchical Systems using Statistical Moments", IEEE Transactions on Reliability, Vol 56, No 3, pp. 525-533, Sept 2007.

A. Feldman, G. Provan and A.J.C. van Gemund, "Approximate model-based diagnosis using greedy stochastic search," in Proc. of the Seventh Symposium on Abstraction, Reformulation and Approximation (SARA'07), Whistler, Canada, LNCS 4612, pp. 139-154, Springer, July 2007.

J. Pietersma and A.J.C. van Gemund, "Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufactoring Equipment", in Proc. 17th Int'l Symposium on Systems Engineering (INCOSE'07), San Diego, CA, June 2007. (Best Paper Award).

A. Feldman, G. Provan, and A.J.C. van Gemund, "Generating Manifestations of Max-Fault Min-Cardinality Diagnoses", In Proc. 18th Int. Workshop on Principles of Diagnosis (DX-07), Nashville, TN, pp. 83-90, June 2007.

A. Feldman, G. Provan, and A.J.C. van Gemund, "Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference", In Proc. 18th Int. Workshop on Principles of Diagnosis (DX-07), Nashville, TN, pp. 91-98, June 2007.

A. Feldman, G. Provan, and A.J.C. van Gemund, "Approximate Model-Based Diagnosis Using Greedy Stochastic Search", In Proc. 18th Int. Workshop on Principles of Diagnosis (DX-07), Nashville, TN, pp. 91-98, June 2007.

J. Pietersma and A.J.C. van Gemund. "Symbolic Factorization of Propagation Delays out of Diagnostic System Models", In Proc. 18th Int. Workshop on Principles of Diagnosis (DX-07), Nashville, TN, pp. 170-177, June 2007.

J. Pietersma, A.J.C. van Gemund, A. Bos, "A Model-based Approach to Sequential Diagnosis", In IEEE Measurement & Instrumentation, Vol 10, No 2, pp. 46-52, April 2007.

P. Zoeteweij, R. Abreu, R. Golsteijn, and A.J.C. van Gemund, "Diagnosis of Embedded Software using Program Spectra", In Proc. of the 14th Annual IEEE Int'l Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), pp. 213--218, Tucson, AZ, USA, March 2007. IEEE Computer Society.

P. Zoeteweij, R. Abreu, R. Golsteijn, and A.J.C. van Gemund, "Fault Diagnosis of Embedded Software using Program Spectra", In Proc. of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), LaQuSo: Laboratory for Quality Software, Eindhoven, The Netherlands, March 2007, also available as Eindhoven Computing Science Technical Report: CS-Report 07-04.

H.G. Gross, A.J.C. van Gemund, "The Delft MS Curriculum on Embedded Systems", ACM SIGBED Review, Vol 4, No 1, pp. 1-10, January 2007.

2006:

R. Abreu, P. Zoeteweij, A.J.C. van Gemund, "An Evaluation of Similarity Coefficients for Software Fault Localization", IEEE Int'l Symposium Pacific Rim Dependable Computing (PRDC'06), Riverside CA, December 2006.

H.G. Gross, A.J.C. van Gemund, "The Delft MS Curriculum on Embedded Systems", In Proc. Workshop on Embedded Systems Education, 6th ACM & IEEE Conference on Embedded Software (EMSOFT'06), Seoel, October 2006.

H.G. Gross, A.J.C. van Gemund, "Bridging the gap between non-formal and formal software component requirements specifications for embedded system engineering", In Workshop on Foundations and Applications of Component-based Design, 6th ACM & IEEE Conference on Embedded Software (EMSOFT'06), Seoel, October 2006.

J. Pietersma, A.J.C. van Gemund. "Temporal versus Spatial Observability Tradeoffs in Model-based Diagnosis". In Proc. of the IEEE Int'l. Conference on Systems, Man and Cybernetics (SMC2006), Taipei, Taiwan, October 2006.

A. Feldman, J. Pietersma, A.J.C. van Gemund, "All Roads Lead to Fault Diagnosis: Model-Based Reasoning with Lydia", In Proc. 18th Benelux Conference on Artificial Intelligence (BNAIC'06), October 2006.

A.L. Varbanescu, H.J. Sips, A.J.C. van Gemund, "PAM-SoC: A Toolchain for Predicting MPSoC Performance", in Proc. European Conference on Parallel Processing (Europar'06), September 2006.

J. Pietersma, A. Feldman and A.J.C. van Gemund. "Modeling and compilation aspects of fault diagnosis complexity". In Proc. IEEE AUTOTESTCON 2006, Anaheim, California, USA, September 2006.

J. Pietersma, A.J.C. van Gemund. "Diagnostic Accuracy of Models". In Proc. of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Beijing, China, August 2006.

A. Feldman and A.J.C van Gemund. "A Two-Step Hierarchical Algorithm for Model-Based Diagnosis". In Proc. Twenty-First National Conference on Artificial Intelligence (AAAI'06), Boston, MA, July 2006.

A.L. Varbanescu, H.J. Sips, A.J.C. van Gemund, "A Performance Prediction Methodology for MPSoCs", In Proc. of the 12th ASCI Conference, Lommel, Belgium, June 2006.

R. Abreu, P. Zoeteweij and A.J.C. van Gemund. "Program Spectra Analsysis in Embedded Software: A Case Study". In Proc. of the 12th ASCI Conference, Lommel, Belgium, June 2006.

A. Feldman, J. Pietersma and A.J.C. van Gemund. "A multivalued SAT-based algorithm for faster model-based diagnosis". In Proc. 17th Int. Workshop on Principles of Diagnosis (DX-06), Penaranda de Duero, Burgos, Spain, April 2006.

H. Gautama and A.J.C. van Gemund, ``Low-Cost Static Performance prediction of stochastic parallel task compositions,'' IEEE Transactions on Parallel and Distributed Systems, Vol 17, No 1, pp. 78-91, Jan 2006.

2005:

G.L. Reijns and A.J.C. {van} Gemund, ``Performance prediction of parallel programs using Pearson distributions,'' Parallel Computing, Vol 31, No 9, Sept 2005.

J. Pietersma, A.J.C. van Gemund, A. Bos, "A Model-based Approach to Sequential Fault Diagnosis," in Proc. IEEE AUTOTESTCON'05, Orlando, Sept. 2005. (Best Paper Award).

A. Feldman, A.J.C. van Gemund, A. Bos, "A Hybrid Approach to Hierarchical Fault Diagnosis," in 16th Int'l Workshop on Principles of Diagnosis (DX'05), Monterey, June 2005.

A. Gonzalez-Escribano, A.J.C. van Gemund and Valentin Cardenoso Payo, "SPC-XML: A structured representation for nested-parallel programming languages," in Proc. European Conference on Parallel Processing (EuroPar'05), Monte de Caparica, Sept. 2005, pp. 782-792.

A. Gonzalez Escribano, A.J.C. van Gemund and Valentin Cardenoso Payo, "A preliminary nested-parallel framework to efficiently implement scientific applications," in Proc. Int'l Conf. on Vector and Parallel Processing (VecPar'04), Revised Selected and Invited Papers, LNCS 3402, Springer, 2005, pp. 541-555.

2004:

A. Gonzalez Escribano, A.J.C. van Gemund and Valentin Cardenoso Payo, ``An XML structured representation for netsed-parallel programming languages,'' in Proc. 11th Int'l Workshop on Compilers for Parallel Computers (CPC'04), Seeon, June 2004, pp. 149--161.

H. Gautama and A.J.C. van Gemund, ``On the use of statistical branch models in static program performance prediction,'' in Proc. 11th Int'l Workshop on Compilers for Parallel Computers (CPC'04), Seeon, June 2004, pp. 37--49.

A. Gonzalez Escribano, A.J.C. {van} Gemund and Valentin Cardenoso Payo, ``A preliminary nested-parallel framework to efficiently implement scientific applications,'' in Proc. Int'l Conf. on Vector and Parallel Processing (VecPar'04), Valencia, Springer, June 2004, pp. 807--820.

J. Pietersma, A.J.C. van Gemund, A. Bos, ``A model-based approach to fault diagnosis of embedded systems,'' in Proc. 10th Int'l ASCI Conf., Ouddorp, June 2004, pp. 189--196.

2003:

H. Gautama, A.J.C. van Gemund, "Symbolic Performance Prediction of Speculative Parallel Programs", Parallel Processing Letters, Vol 13, No 4, Dec 2003, pp. 513-524.

G.L. Reijns, A.J.C. van Gemund, H. Gautama, "On the Use of Pearson Distributions for the Performance Prediction of Parallel Programs", in Symposium on Performance Evaluation - Stories and Perspectives, Vienna, 5-6 Dec. 2003, Austrian Computer Society, Vol 175, pp. 365-380.

H. Gautama, A.J.C. van Gemund, "Symbolic Performance Prediction of Speculative Parallel Programs", Proc. European Conference on Parallel Processing (EuroPar'03), Klagenfurt, August 2003, LNCS 2790, pp. 88-98.
(Distinguished Paper Award)

H. Gautama, A.J.C. van Gemund, "A Statistical Approach to Branch Modeling in Static Program Performance Prediction", in IPDPS Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO'03), Nice, April 2003, IEEE.

A.J.C. van Gemund, "Symbolic Performance Modeling of Parallel Systems", IEEE Transactions on Parallel and Distributed Systems, Vol 14, No 2, Feb, 2003, pp. 154-165.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, "Mapping Unstructured Applications into Nested Parallelism," in Vecpar'02 Selected Papers and Invited Talks, LNCS 2565, pp. 407-421.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, "Using Graph Transformation Techniques to Predict the Impact of Mapping Applications to Nested Parallelism", in Proc. Tenth Int'l Workshop on Compilers for Parallel Computers (CPC'03), Amsterdam, Jan, 2003, pp. 311-320.

A.J.C. van Gemund,"Symbolic Performance Modeling of Data Parallel Programs", in Proc. Tenth Int'l Workshop on Compilers for Parallel Computers (CPC'03), Amsterdam, Jan, 2003, pp. 299-310.

2002:

H. Gautama, A.J.C. van Gemund, "On the Use of Kolmorov-Smirnov Test in Performance Prediction of Fork-Join Parallel Programs", in Proc. ISSM'02, Oct 2002, pp. 477-480.

A.J.C. van Gemund, "Symbolic Cost Estimation of Parallel Applications", in Proc. European Conference on Parallel Processing (EuroPar'02), Paderborn, Sept 2002, pp. 147-156.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, "A Classification of Parallel Applications in terms of Nested Parallelism," in Actas V Jornadas de Informatica, Lleida, Sep. 2002, Grupo de Arcquitectura y Concurrencia.

A. Radulescu, A.J.C. van Gemund,"Low-Cost Task Scheduling for Distributed-Memory Machines", IEEE Transactions on Parallel and Distributed Systems, Vol 13, No 6, June, 2002, pp. 648-658.

H. Gautama, A.J.C. van Gemund, "Towards Performance Estimation of Data-Dependent Task Parallel Composition", in Proc. UK Performance Engineering Workshop (UKPerf'02), Glasgow, July 2002, pp. 81-92.

A. Bos, A.J.C. van Gemund, J. Zutt, "System health tracking and safe testing", in Proc. SPIE 2002, Ed(s): P.K. Willett, T. Kirubarajan, Vol 4733, July 2002, p. 25-36.

A.J.C. van Gemund, "Automatic Cost Estimation of High-Performance Applications", in Proc. Int'l Conference on Vector and Parallel Processing (Vecpar'02), Porto, June 2002, pp. 323-336.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, "Mapping Unstructured Applications into Nested Parallelism," in Proc. Int'l Conference on Vector and Parallel Processing (Vecpar'02), Porto, June 2002, pp. 469-482. (Best Paper Award)

H. Gautama, A.J.C. van Gemund, "On the Performance Estimation of Data-Dependent Task Parallel Programs," in Proc. Annual Int'l ASCI Conf, June 2002, pp. 44-51.

H. Gautama, A.J.C. van Gemund, "Symbolic Performance Prediction of Data-Dependent Parallel Programs" in Proc. Computer Performance Evaluation: Modelling Techniques and Tools (Tools'02) (LNCS), London, Apr. 2002, pp. 259-278.

2001:

G.L. Reijns, A.J.C. van Gemund, H. Gautama, "Performance Analysis of Multi-Stage Interconnection Networks with Deterministic Service Times,", Parallel Processing Letters, Vol 11, No 1, 2001, pp. 109-123.

A. Bos, A.J.C. van Gemund, "System Health Tracking and Safe Testing", in Proc. ESA Workshop on On-Board Autonomy, ESTEC Noordwijk, Oct. 2001, pp. 297-304.

A. Radulescu, A.J.C. van Gemund, "A Low-cost Approach towards Mixed Task and Data Parallel Scheduling," in Proc. Int'l Conference on Parallel Processing (ICPP'01), Valencia, Sept. 2001, IEEE.

H. Gautama, A.J.C. van Gemund, "Low-cost Performance Prediction of Data-dependent Data Parallel Programs", in Proc. Ninth Int'l Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'01), Cincinnati, IEEE, Oct 2001, pp. 173-182.

H. Gautama, A.J.C. van Gemund, "Performance Prediction of Data-dependent Task Parallel Programs", in Proc. European Conference on Parallel Computing (EUROPAR'01), Manchester, Sept 2001.

H. Gautama, A.J.C. van Gemund, "A Statistical Approach to Static Performance Prediction of Branch Behavior", in Proc. ISSM'01, Manchester, Sept 2001.

A.J.C. van Gemund, "Automatic Cost Estimation of Data Parallel Programs", Technical Report 1-68340-44(2001)09, Faculty of Information Technology and Systems, Delft University of Technology, Oct 2001, 79 pp.

A.J.C. van Gemund, H. Gautama, "Validation of Results Performance Estimator," Deliverable Report D5.3.2/2, ESPRIT European Project 28198 (JOSES), Aug. 2001.

H. Gautama, A.J.C. van Gemund, "Static Cost Estimation of Data-dependent Parallel Programs," in Proc. Ninth Int'l Workshop on Compilers for Parallel Computers (CPC'01), Edinburgh, June, 2001, pp. 345-355.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, "Predicting the Impact of Implementation Level Aspects on Parallel Application Performance," in Proc. Ninth Int'l Workshop on Compilers for Parallel Computers (CPC'01), Edinburgh, June, 2001.

H. Gautama, A.J.C. van Gemund, "On the Use of Alternating Renewal Processes in Static Branch Prediction," in Proc. Annual Int'l ASCI Conf, June 2001,

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, J. Alonso Lopez, D. Martin Garcia, A. Perosa Calvo, "Measuring the Performance Impact of SP-restricted Programming on Shared-Memory Machines," in Lecture Notes in Computer Science, Vol 1981, 2001, pp. 128-141.

A. Radulescu, C. Nicolescu, A.J.C. van Gemund, P.P. Jonker, "CPR: Mixed task and data parallel scheduling for distributed systems," in Proc. 15th Int'l Parallel and Distributed Processing Symposium (IPDPS'01), Apr. 2001, IEEE CS, (CD-ROM ISBN 0-7695-0990-8) (Best Paper Award).

A.J.C. van Gemund, H. Gautama, "Trade-offs in Symbolic Cost Estimation of Parallel Programs," in Proc. of ETAPS 2001 Workshop JOSES, Genua, April, 2001.

2000:

H. Gautama, A.J.C. van Gemund, "Performance Prediction of Parallel Programs based on the Use of Lambda Distributions," in Proc. ISSM'00, Paris, Oct. 2000, pp. 313-316.

H. Bal et al., "The Distributed ASCI Supercomputer Project," in Operating Systems Review, Vol 34, No 4, Oct. 2000, pp. 76-96, ACM.

H. Gautama, A.J.C. van Gemund, "Static Performance Prediction of Data Dependent Programs," in Second Int'l ACM Workshop on Software and Performance (WOSP'00), Ottawa, Sep. 2000, pp. 216-226. ACM.

A. Bos, A.J.C. van Gemund, C. Witteveen, "Model-based Diagnosis Support for Satellite-based Instruments," in Proc. IEEE AUTOTESTCON 2000, Anaheim CA, Sept. 2000, IEEE.

A. Gonzalez Escribano, V. Cardenoso Payo, A.J.C. van Gemund, "Measuring the Performance Impact of SP-restricted Programming on Distributed-Memory Machines," in Actas V Jornadas de Informatica, Granada, Sep. 2000, Grupo de Arcquitectura y Concurrencia, pp. 59-64.

A. Radulescu, A.J.C. van Gemund, "Preemptive Task Scheduling for Distributed Systems," in Proc. Euro-Par 2000, Murnau, Germany, Aug. 2000, (LNCS 1900), pp. 273-276.

H. Gautama, A.J.C. van Gemund, "Design of Performance Estimator," Deliverable Report D5.3.1/1, ESPRIT European Project 28198 (JOSES), Aug. 2000, 29 pp.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, J. Alonso Lopez, D. Martin Garcia, A. Perosa Calvo, "Measuring the Performance Impact of SP-restricted Programming on Shared-Memory Machines," in Proc. Int'l Conference on Vector and Parallel Processing (Vecpar'00), Porto, June 2000, (LNCS), pp. 715-728.

H. Gautama, A.J.C. van Gemund, "On the Use of Lambda Distributions in Parallel Program Performance Prediction," in Proc. Annual Int'l ASCI Conf, June 2000, pp. 343-349.

A. Bos, A.J.C. van Gemund, C. Witteveen, "Design of a Generic Model-based Diagnosis System with Automatic Abstraction Generation," in Proc. Annual Int'l ASCI Conf, June 2000.

A. Radulescu, A.J.C. van Gemund, "Fast and Effective Scheduling in Heterogeneous Systems," in Proc. HCW 2000, Cancun, May 2000, IEEE CS, pp. 229-238.

A.J.C. van Gemund, H. Gautama, "Performance Estimation for Embedded Systems," Deliverable Report D5.3.1/1, ESPRIT European Project 28198 (JOSES), March 2000, 42 pp.

A. Gonzalez Escribano, A.J.C. van Gemund, V. Cardenoso Payo, "Performance Trade-offs in Series-Parallel Programming Models," in Proc. Eighth Int'l Workshop on Compilers for Parallel Computers (CPC'00), Aussois, Jan. 2000, pp. 183-189.

1999:

P.J.F. Swart, H.T. Steenstra, F.L. Muller, W.F. van der Zwan, P. van Genderen, L.P. Ligthart, G.L. Reijns, A.J.C. van Gemund, "Towards the additional use of phase information in multistatic FMCW radar, considerations and experimental results," in Proc. EuroMicrowave Conf., Muenchen, Oct. 1999.

H. Gautama, A.J.C. van Gemund, "A Statistical Approach to Program Performance Prediction," in Proc. ISSM'99, Kassel, ISSN 0855-8692, Oct. 1999, pp. 91-94.

A. Radulescu, A.J.C. van Gemund, "FLB: Fast Load Balancing for Distributed-Memory Systems," in Proc. Int'l Conf. on Parallel Processing (ICPP'99), Sept 1999.

A. Gonzalez-Escribano, A.J.C. van Gemund, V. Cardenoso-Payo, "Expressiveness versus Optimizability in Coordinating Parallelism," in Proc. ParCo'99, Aug. 1999, pp. 526-533.

G.L. Reijns, A.J.C. van Gemund, "Analysis of a Shared-Memory Multiprocessor via a Novel Queuing Model," in Journal of Systems Architecture, 45 (1999) 1189-1193.

H. Gautama, A.J.C. van Gemund, "A Probabilistic Approach to Embedded Program Performance Prediction," in Proc. Annual Int'l ASCI Conf, June 1999.

A. Radulescu, A.J.C. van Gemund, "On the Complexity of List Scheduling Algorithms for Distributed-Memory Systems," in Proc. Int'l ACM Conf. on Supercomputing (ICS'99), July 1999.

A. Radulescu, A.J.C. van Gemund, H-X Lin, "LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems," in Proc. Int'l Parallel Processing Symp. (IPPS'99), April 1999.

A. Radulescu, A.J.C. van Gemund, "Improving Processor Selection Complexity in List scheduling Algorithms," in Proc. 12th Int'l Conf. on Control Systems Science, April 1999.

G.L. Reijns, A.J.C. van Gemund, J. Schier, P.J.F. Swart, "Real-time Signal Processing in a Collision Avoidance Radar System Using Parallel Computing," in Proc. HPCN'99, April 1999.

A. Radulescu, A.J.C. van Gemund, "List Scheduling Complexity Revisited," in Proc. Annual Int'l ASCI Conf, June 1999.

1998:

A.J.C. van Gemund, "Using High-Level Performance Prediction in Compiling for Distributed Systems, in Proc. of the Thirty-First Hawaii Int'l Conference on Systems Sciences, pp. 554-563, Los Alamitos, California, Dec 1998, IEEE Computer Society, ISBN: 0-8186-8251-5.

F. Kuijlman, A. Radulescu, A.J.C. van Gemund, H.J. Sips, "Task Parallelism in Spar, in Proc. of the fourth annual conference of the ASCI, pp. 167-172, Delft, Nov 1998, Advanced School for Computing and Imaging (ASCI), ISBN: 90-803086-3-3a.

P.J.F. Swart, J. Schier, A.J.C. van Gemund, W.F. van der Zwan, J.P. Karelse, G.L. Reijns, P. van Genderen, L.P. Ligthart, H.T. Steenstra, "The Colarado Multistatic FMCW Radar System", in Conference Proc., Volume Two, pp. 449-454, London, UK, Oct 1998, Microwave Engineering Europe, ISBN: 086213-1413,

J. Schier, A.J.C. van Gemund, G.L. Reijns, "Real-time signal processing for an obstacle warning radar", in Signal Processing Symposium SPS 98, pp. 167-170, Delft, Mar 1998, IEEE Benelux Section.

A. Gonzalez Escribano, V. Cardenoso Payo, A.J.C. van Gemund, "The Expressiveness of SPC Synchronization Model: A Revision with Examples", in Actas IV Jornadas de Informatica, pp. 77-86, Jul 1998, Grupo de Arcquitectura Y Concurrencia, ISBN: 84-87526-61-6.

F. Kuijlman, C. van Reeuwijk, A.J.C. van Gemund, H.J. Sips, "Code Generation techniques for the task-parallel programming language Spar", in Seventh Int'l Workshop on Compilers for Parallel Computers, pp. 1-11, Jun 1998.

A. Radulescu, A.J.C. van Gemund, "GLB: A Low-Cost Scheduling Algorithm for Distributed-Memory Architectures", in Proc. Fifth Int'l Conference on High Performance Computing, pp. 294-301, Los Alamitos, California, Dec 1998, IEEE Computer Society, ISBN: 0-8186-9194-8.

A. Radulescu, A.J.C. van Gemund, H.X. Lin, H.J. Sips, "Low-cost Scheduling Algorithms for distributed-memory architectures", in Proc. of the fourth annual conference of the Advanced School for Computing and Imaging, pp. 115-119, Delft, Jul 1998, Advanced School for Computing and Imaging (ASCI), ISBN: 90-803086-3-3.

1997:

C. van Reeuwijk, A.J.C. van Gemund, H.J. Sips, "Spar: A programming language for semi-automatic compilation of parallel programs", Concurrency: Practice and Experience, Vol 9, n. 11, pp. 1193-1205, 1997.

A.J.C. van Gemund, "The Importance of Synchronization Structure in Parallel Program Optimization", in ACM Int'l Conference on Supercomputing, pp. 164-171, New York, USA, Jul 1997 , Chapman & Hall, ISBN: 0-89791-902-5.

A. Gonzalez Escribano, A.J.C. van Gemund, "On the Loss of Parallelism by Imposing Synchronization Structure", in Proc. of the IASTED Int'l Conference Parallel and Distributed Systems, pp. 251-256, Anaheim, Jun 1997, IASTED/Acta Press, ISBN: 0-88986-225-7.

A.J.C. van Gemund, "Modeling Trade-offs in Automatic Performance Optimization for Message-Passing Architectures", in Proc. of the 3rd Workshop on Automatic Data Layout and Performance Prediction, pp. 1-12, Barcelona, Jan 1997, Universitat Politecnica de Catalunya.

A.J.C. van Gemund, "Approximating Unstructured Task Parallelism in Series-Parallel Form", in Proc. of the 3rd Annual Conference of the Advanced School for Computing and Imaging, pp. 76-82, Delft, Jun 1997, Chapman, ISBN: 90-803086-2-5.

A.J.C. van Gemund, "Supporting Unbounded Process Parallelism in the SPC Programming Model", in Proc. Fourth Int'l Conference on High-Performance Computing, pp. 168-173, Los Alamitos, California, Dec 1997, IEEE Computer Society, ISBN: 0-8186-8067-9.

S. Balakrishnan, S.K. Nandy, A.J.C. van Gemund, "Modeling Multi-threaded Architectures in PAMELA for Real-time High-Performance Applications", in Proc. Fourth Int'l Conference on High-Performance Computing, pp. 407-414, Los Alamitos, California, Dec 1997, IEEE Computer Society, ISBN: 0-8186-8067-9.

1996:

A.J.C. van Gemund, "SPC: A Model of Parallel Computation," Proc. EuroPar'96, pages 397-400, Sept. 1996.

J. Schier, H.J. Agterkamp, A.J.C. van Gemund, G.L. Reijns, H.X. Lin, "Object Tracking and Tracing for Multi-static FM-CW Radar - Incremental Approach," 2nd IEEE Workshop on Computer-Intensive Methods in Control and Signal Processing, August 1996.

H.X. Lin, A.J.C. van Gemund, J. Meijdam, "Scalability Analysis and Parallel Execution of Unstructured Problems," in Proc. 2nd Int'l. Conf. HPCN Challenges in Telecomp and Telecom, pages 151-160, Delft, June 1996.

A.J.C. van Gemund, "A New Model of Parallel Computation," in Proc. 2nd Annual Conference of the Advanced School for Computing and Imaging, pages 90-95. Lommel, Belgium, June 1996.

A.J.C. van Gemund, "Performance Modeling of Parallel Systems", PhD thesis, Delft University of Technology, Apr. 1996, Delft University Press, ISBN 90-407-1326-X.

H.X. Lin, A.J.C. van Gemund, J. Meijdam, P. Nauta, "TGEX: A Tool for Portable Parallel and Distributed Execution of Unstructured Problems," Proc. HPCN'96 (LNCS 1067), pages 467-474, Brussels, April 1996.

1995:

M. Colpa, G.L. Reijns, R.M. Wiegers, A.J.C. van Gemund, "Iterative Solvers for Linear Programming," in 10th Int'l Symposium on Computer and Information Sciences, pages 35-42, Kusadasi (Turkey), Oct. 1995.

A.J.C. van Gemund, "Compile-time Performance Prediction of Parallel Systems," in Proc. Computer Performance Evaluation: Modelling Techniques and Tools (LNCS 977), pages 299-313, Heidelberg, Sept. 1995.

A.J.C. van Gemund, H.X. Lin, "Scalability Analysis of Parallel Finite Element Methods using Performance Simulation," in Proc. EUROSIM'95, pages 261-266, Vienna, Sept. 1995.

A.J.C. van Gemund, "On the Accuracy of Compile-time Performance Prediction," in Proc. 5th Workshop on Compilers for Parallel Computers, pages 157-166, Malaga, June 1995.

A.J.C. van Gemund, G.L. Reijns, "Predicting Parallel System Performance with Pamela," in Proc. 1st Annual Conference of the Advanced School for Computing and Imaging, pages 422-431, Heijen, The Netherlands, May 1995.

H. Jonkers and G.L. Reijns, "Predicting the performance of general task graphs with underlying queueing model," in Proc. 1st Annual Conference of the Advanced School for Computing and Imaging, pages 293-302, Heijen, The Netherlands, May 1995.

A.J.C. van Gemund, "Predicting Contention in Distributed-Memory Machines," in Proc. 2nd Workshop on Automatic Data Layout and Performance Prediction, (tech. rep. CRPC-TR95548), Houston, April 1995.

A.J.C. van Gemund, H. Jonkers, and G.L. Reijns, "Performance Modeling of Parallel Systems with Flexible Precision," in Proc. 28th Hawaii Int. Conf. on System Sciences, Vol II, pages 444-445, IEEE, January 1995.

H. Jonkers, A.J.C. van Gemund, and G.L. Reijns, "A probabilistic approach to parallel system performance modelling," in Proc. 28th Hawaii Int. Conf. on System Sciences, Vol II, pages 412-421, IEEE, January 1995.

1994:

A.J.C. van Gemund, "Compiling Performance Models from Parallel Programs," in Proc. 8th ACM Int. Conf. on Supercomputing, pages 303-312, Manchester, July 1994.

H. Jonkers, A.J.C. van Gemund, and G.L. Reijns, "Efficient performance evaluation of parallel systems," in L. Dekker et al., editors, Massively Parallel Processing Applications and Development, pages 389-396, Delft, 1994. North-Holland.

A.J.C. van Gemund, "The PAMELA Approach to Performance Modeling of Parallel and Distributed Systems," in G.R. Joubert et al., editors, Parallel Computing: Trends and Applications, pages 421-428. North-Holland, 1994.

1993:

A.J.C. van Gemund, "Compile-time Performance Prediction with PAMELA," in Proc. 4th Int. Workshop on Compilers for Parallel Computers, pages 428-435, Delft, The Netherlands, December 1993.

A.J.C. van Gemund, "The PAMELA Approach to Performance Simulation of Parallel and Distributed Systems," in Proc. European Simulation Symposium, pages 365-370, Delft, The Netherlands, October 1993. SCS.

A.J.C. van Gemund, "Performance Prediction of Parallel Processing Systems: The PAMELA Methodology," in Proc. 7th ACM Int. Conf. on Supercomputing, pages 318-327, Tokyo, July 1993.