Welcome to the home page of Arjan J.C. van Gemund

Prof.dr.ir. A.J.C. van Gemund Software Technology Department Faculty of Electrical Engineering, Mathematics, and Computer Science Delft University of Technology Mekelweg 4 NL-2628 CD Delft The Netherlands E-mail: a [writeadot] j [writeadot] c [writeadot] vangemund [writeat] tudelft [writeadot] nl

Personal Information

My Bio     My CV     My Songs     My Home

Academic Information

• Thesis Projects:
  As I will leave the faculty soon, I am NO MORE offering MS / PhD projects, NOR MS [summer] internships.
  So DO NOT APPLY nor expect a reply if you choose to do anyway.

• Current Research Projects:
  • Poseidon project (Testing of Maritime Safety and Security Information Systems)
• Past Research Projects:
  • Finesse project (Fault Diagnosis for Embedded Systems Dependability)
  • Trader project (work package: Fault Diagnosis and Reliability Modeling of Philips Digital TVs)
  • Tangram project (work package: Fault Diagnosis of ASML Wafer Scanners)
  • Lydia project (Model-Based Systems Fault Diagnosis)
  • C6 project (C Compiler Chain for Custom Configurable Computers, featuring our very own X32 32-bit softcore)
  • Pamela project (Performance Modeling of Parallel and Distributed Systems)
  • Automap project (Task Parallel Scheduling for Distributed Systems)
  • Joses Project (ESPRIT-II, HPF Java Cost Estimator)
  • SPC project (Coordination Paradigm for Parallel and Distributed Systems)
• Courses:
  • In2305 (Embedded Programming)
  • In4073 (Embedded Real-Time Systems)
  • In4078 (Performance Modeling of Parallel and Distributed Systems)
  • In4090 (Embedded Systems Diagnosis)

  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.

• Full publication List

• Selected Publications:

  R. Abreu, A.J.C. van Gemund, "Diagnosing Intermittent Faults Using Maximum Likelihood Estimation", Artificial Intelligence, Vol 174, No 18, pp. 1481-1497. 2010. (JCR 5Y-IF: 4.28)

  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. (JCR 5Y-IF: 2.75)

  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. (JCR 5Y-IF: 2.75)

  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, pp. 455 - 474, 2009. (JCR 5Y-IF: 1.54)

  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. (JCR 5Y-IF: 1.83)

  H. Gautama, 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. (JCR 5Y-IF: 2.20)

  G.L. Reijns, A.J.C. van Gemund, "Predicting the Execution Times of Parallel-independent Programs using Pearson Distributions", Parallel Computing, Vol 31, No 9, pp. 877 - 899, Sept 2005. (JCR 5Y-IF: 1.54)

  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. (JCR 5Y-IF: 2.20)

  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. (5-Y IF: 2.20)