1. A step forward in the theory and practice of ICT management simulation

    Ilkov, IG., 2004, Delft: IG Ilkov. 207 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  2. A timed automata semantics for Real-Time UML specifications

    Toetenel, WJ., Roubtsova, E. & van Katwijk, J., 2001, Proceedings. Piscataway: IEEE Society, p. 88-95 8 p.

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

  3. A usability analysis of blocks-based programming editors using cognitive dimensions

    Holwerda, R. & Hermans, F., 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE, Vol. 2018-October. p. 217-225 9 p. 8506483

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

  4. A world ontology specification language

    Dietz, JLG., 2005, In : Lecture Notes in Computer Science. 3762, p. 688-699 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. ACL: an approach to formal verification of real time systems

    de Rooij, RCM., Lutje Spelberg, RF. & van Katwijk, J., 2000, ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 335-342 8 p.

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

  6. AJHotDraw: A showcase for refactoring to aspects

    van Deursen, A., Marin, A. M. & Moonen, LMF., 2005, Proceedings of the AOSD workshop on linking aspect technology and evolution. s.n. (ed.). New York: Association for Computing Machinery (ACM), p. 1-4 4 p.

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

  7. ASPIC: Awareness-based Support Project for Interpersonal Collaboration in Software Engineering

    Dullemond, K. & van Gameren, BJA., 2010, Fifth IEEE International Conference on Global Software Engineering (ICGSE). Kellenberger, P. (ed.). Los Alamitos: IEEE Society, p. 357-358 2 p.

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

  8. AbsCon: A Test Concretizer for Model-based Testing

    Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings of the 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops: 15th Workshop on Advances in Model Based Testing (A-MOST '19). IEEE, p. 15-22 8 p. 8728920

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

  9. Abstracting Common Business Rules to Petri Nets

    van Hee, KM., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. Sidorova, N. & Serebrenik, A. (eds.). s.l.: s.n., p. 37-49 13 p.

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

  10. Accelerating cost aggregation for real-time stereo matching

    Fang, J., Varbanescu, AL., Jie, S., Sips, HJ., Saygili, G. & van der Maaten, LJP., 2012, Proceedings of the 18th IEEE international conference on paralell and distributed systems. s.n. (ed.). NY, NY, USA: IEEE Society, p. 472-481 10 p.

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

Previous 1...5 6 7 8 9 10 11 12 ...96 Next

ID: 19954