1. A framework and algorithm for model-based active testing

    Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the First International Conference on Prognostics and Health Management (PHM'08), Denver, Colorado, USA. Eklund, N. & Tumer, I. (eds.). Los Alamitos, USA: IEEE Society, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  2. A framework for quality assessment of just-in-time requirements: The case of open source feature requests

    Heck, P. & Zaidman, A., 2017, In : Requirements Engineering. 22, 4, p. 453-473 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. A grammar for spreadsheet formulas evaluated on two large datasets

    Aivaloglou, E., Hoepelman, D. & Hermans, FFJ., 2015, Proceedings of the IEEE 15th International Working Conference Source Code Analysis and Manipulation, SCAM. Godfrey, MW., Lo, D. & Khomh, F. (eds.). Piscataway: IEEE Society, p. 121-130 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  4. A hybrid approach to hierarchical fault diagnosis

    Feldman, AB., van Gemund, AJC. & Bos, A., 2005, Proceedings of DX'05. Dearden, R. & Narasimhan, S. (eds.). Pacific Grove, CA, USA: NASA AMES, p. 101-106 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  5. A language independent task engine for incremental name and type analysis

    Wachsmuth, GH., Konat, GDP., Vergu, VA., Groenewegen, DM. & Visser, E., 2013, Software Language Engineering - Proceedings 6th International Conference SLE 2013. Erwig, M., Paige, R. & van Wyk, E. (eds.). Berlin-Heidelberg: Springer, p. 260-280 21 p. (Lecture Notes in Computer Science; vol. 8225).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  6. A meta ontology for organizations

    Dietz, JLG. & Habing, N., 2004, On the move to meaningful internet systems 2004: OTM 2004 Workshops. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 533-544 12 p. (Lecture Notes in Computer Science; vol. 3292).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  7. A model-based approach to sequential fault diagnosis

    Pietersma, J., van Gemund, AJC. & Bos, A., 2005, Autotestcon 2005 Proceedings. Karlovic, S. & Wallhermfechtel, D. (eds.). Piscataway: IEEE Society, p. 621-627 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  8. A new benchmark for distributed real-time systems: some experimental results

    Guo, D., van Katwijk, J. & Zalewski, J., 2003, 27th IFAC/IFIP/IEEE Workshop on real-time programming WRTP'03. Colnaric, M., Adamski, M. & Wegrzyn, M. (eds.). s.l.: IFAC, p. 141-146 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  9. A note on rigour and replicability

    Louridas, P. & Gousios, G., 2012, In : Software Engineering Notes. 37, 5, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  10. A performance prediction methodology for MPSoCs

    Varbanescu, AL., Sips, HJ. & van Gemund, AJC., 2006, Proc. of the ASCI 2006 Conference. s.n. (ed.). B.P.F. Lelieveldt, p. 211-218 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...97 Next

ID: 19954