Search results

  • Conference contribution

    Problem solving in a computational society

    Roos, N. & Witteveen, C., 2003, BNAIC'03; proceedings of the 15th Belgium-Netherlands conference on artificial intelligence. Heskes, T., Lucas, P., Vuurpijl, L. & Wiegerinck, W. (eds.). s.l.: s.n., p. 267-274 8 p.

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

  • Procedure to build interference map in Peer to Peer 802.22 networks

    Shi, HZ., Venkatesha Prasad, RR., Rao, V. & Niemegeers, IGMM., 2012, Proceedings Global Telecommunications Conference 2012. Perra, P. & Zhang et al, Z. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1-6 6 p.

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

  • Processing of polarimetric infrared images for landmine detection

    Cremer, F., de Jong, W. & Schutte, K., 2003, Proc. 2nd international workshop on advanced ground penetrating radar, Delft, The Netherlands. Yarovoy, A. (ed.). Delft, The Netherlands: IRCTR, p. 216-221 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  • Product Line Engineering using Domain-Specific Languages

    Völter, M. & Visser, E., 2011, 2011 15th International Software Product Line Conference (SPLC). Almeida, E. & et al. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 70-79 10 p.

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

    Open Access
    53 Citations (Scopus)
  • Programming Education to Preschoolers: Reflections and Observations from a Field Study

    Swidan, A. & Hermans, F., 2017, Proceedings of the 28th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2017, Delft, The Netherlands, July 1-3, 2017. 11 p.

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

    Open Access
    File
    138 Downloads (Pure)
  • Programming is Writing is Programming

    Hermans, F. & Aldewereld, M., 3 Apr 2017, Programming 2017 - Companion to the 1st International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery (ACM), Vol. Part F129681. 8 p. a33

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

    8 Citations (Scopus)
    3 Downloads (Pure)
  • Programming Misconceptions for School Students

    Swidan, A., Hermans, F. & Smit, M., 2018, ICER '18 : Proceedings of the 2018 ACM Conference on International Computing Education Research . New York, NY: Association for Computing Machinery (ACM), p. 151-159 9 p.

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

    58 Citations (Scopus)
    31 Downloads (Pure)
  • Program Spectra Analysis in Embedded Software: A Case Study

    Abreu, R., Zoeteweij, P. & van Gemund, AJC., 2006, ASCI'06, Procedings of the 12th Annual Conference of the Advanced School for Computing and Imaging. Lelieveldt, B. P. F., Haverkort, B., de Laat, C. T. A. M. & Heijnsdijk, J. W. J. (eds.). ASCI, p. 263-269 7 p.

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

  • 'Project smells' - Experiences in Analysing the Software Quality of ML Projects with mllint

    Van Oort, B., Cruz, L., Loni, B. & Van Deursen, A., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022. IEEE, p. 211-220 10 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
    File
    2 Citations (Scopus)
    16 Downloads (Pure)
  • Promises and Perils of Inferring Personality on GitHub

    van Mil, F., Rastogi, A. & Zaidman, A. E., 2021, ESEM '21: Proceedings of the 15th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). Association for Computing Machinery (ACM), p. 17:1-17:11 11 p.

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

    Open Access
    File
    2 Citations (Scopus)
    32 Downloads (Pure)
  • PropR: Property-Based Automatic Program Repair

    Gissurarson, M. P., Applis, L. H., Panichella, A., van Deursen, A. & Sands, D., 2022, The 44th IEEE/ACM In- ternational Conference on Software Engineering (ICSE). IEEE / ACM, p. 1768-1780 13 p.

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

    Open Access
    File
    4 Citations (Scopus)
    435 Downloads (Pure)
  • Protection Framework for Low Voltage DC Grids

    van der Blij, N. H., Purgat, P., Soeiro, T. B., Ramirez Elizondo, L. M., Spaan, M. T. J. & Bauer, P., 2021, Proceedings - 2021 IEEE 19th International Power Electronics and Motion Control Conference, PEMC 2021. Piscataway: IEEE, p. 331-337 7 p. 9432618. (Proceedings - 2021 IEEE 19th International Power Electronics and Motion Control Conference, PEMC 2021).

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

    1 Citation (Scopus)
  • Proving consistency of VDM models using HOL

    Vermolen, SD., Hooman, J. & Larsen, PG., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). Shin, SY., Ossowski, S., Schumacher, M., Palakal, MJ. & Hung, CC. (eds.). New York: Association for Computing Machinery (ACM), p. 2503-2510 8 p.

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

    Open Access
    3 Citations (Scopus)
  • Provisioning and Scheduling Resources for World-Wide Data-Sharing Services

    Iosup, A., Garbacki, P. & Epema, DHJ., 2006, Proc. of the Second IEEE International Conference on e-Science and Grid Computing (e-Science'06). Los Alamitos, CA, USA: IEEE Computer Science, p. 84-91 8 p.

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

    2 Citations (Scopus)
  • Pseudoseeds: Investigating long-distance, ocean seed dispersal with wireless sensors

    Smith, RN., Prentis, P., Langendoen, KG. & Corke, P., 2011, Proceedings Workshop on Robotics for Environmental Monitoring - IROS 2011. Marques, L., Smith, RN. & Isler, IV. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1-4 4 p.

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

  • Psychological backgrounds for inducing cooperation in peer-to-peer television

    Fokker, JE., de Ridder, H., Westendorp, PH. & Pouwelse, JA., 2007, Interactive TV: a Shared Experience. Cesar, P., Chorianopoulos, K. & Jensen, JF. (eds.). Berlin: Springer, p. 136-145 10 p. (Lecture Notes in Computer Science; vol. 4471).

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

    7 Citations (Scopus)
  • Public and private BitTorrent communities: A measurement study

    Meulpolder, M., d' Acunto, L., Capota, M., Wojciechowski, M., Pouwelse, JA., Epema, DHJ. & Sips, HJ., 2010, Proceedings of the 9th International Workshop on Peer-to-Peer Systems, IPTPS'10. Freedman, MJ. & Krishnamurthy, A. (eds.). Berkeley, CA, USA: USENIX, p. 1-5 5 p.

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

    35 Citations (Scopus)
  • Pure and declarative syntax definition: paradise lost and regained

    Kats, LCL., Visser, E. & Wachsmuth, GH., 2010, Proceedings of the ACM international conference on Object oriented programming systems languages and applications. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 918-932 15 p. (ACM SIGPLAN Notices; vol. 45, no. 10).

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

    48 Citations (Scopus)
  • Pursuing abstract goals in the game of Go

    Meijer, AB. & Koppelaar, H., 2001, BNAIC'01: proceedings. B Krose & ... [et Al] (eds.). S.l.: s.n., p. 415-422 8 p.

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

  • Push and rotate: Cooperative multi-agent path planning

    de Wilde, B., ter Mors, AW. & Witteveen, C., 2013, Proceedings 12th International Conference on Autonomous Agents and Multiagent Systems. Ito, T., Jonker, CM., Gini, M. & Shehory, O. (eds.). Richland, SC, USA: IFAAMAS, p. 87-94 8 p.

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

    67 Citations (Scopus)
  • Pushing the Boundaries of IoT: Building and Testing Self-powered Batteryless Switch

    Kouvelas, N., Keshava, A., Narayana, S. & Prasad, R. V., 1 Apr 2019, IEEE 5th World Forum on Internet of Things, WF-IoT 2019 - Conference Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 231-236 6 p. 8767185. (IEEE 5th World Forum on Internet of Things, WF-IoT 2019 - Conference Proceedings).

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

    2 Citations (Scopus)
  • PyDriller: Python Framework for Mining Software Repositories

    Spadini, D., Aniche, M. & Bacchelli, A., 2018, ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY: Association for Computing Machinery (ACM), p. 908-911 4 p.

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

    Open Access
    File
    177 Citations (Scopus)
    1225 Downloads (Pure)
  • Quality Assurance Awareness in Open Source Software Projects on GitHub

    Zaidman, A. E. & Khatami, A., 2023, Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Moonen, L., Newman, C. & Gorla, A. (eds.). IEEE Computer Society - Conference Publishing Services, p. 174-185 12 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

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

  • Quality criteria for just-in-time requirements: Just enough, just-in-time?

    Heck, P. & Zaidman, A., 16 Nov 2015, 1st International Workshop on Just-in-Time Requirements Engineering, JIT RE 2015 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 1-4 4 p. 7330170

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

    File
    8 Citations (Scopus)
    42 Downloads (Pure)
  • Quality of service controlled adaptive video coding over IEEE 802.11 wireless links

    Taal, JR., Haratcherev, IJ., Langendoen, KG. & Lagendijk, RL., 2003, ICME 2003 IEEE International conference on multimedia and expo. s.n. (ed.). Piscataway: IEEE Society, p. 189-192 4 p.

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

    1 Citation (Scopus)
  • Quality Questions Need Quality Code: Classifying Code Fragments on Stack Overflow

    Duijn, M., Kucera, A. & Bacchelli, A., 2015, Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR. Di Penta, M., Pinzger, M. & Robbes, R. (eds.). Piscataway: IEEE Society, p. 410-413 4 p.

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

    Open Access
    40 Citations (Scopus)
  • Quantifying the Analyzability of Software Architectures

    Bouwers, EM., Correia, JP., van Deursen, A. & Visser, J., 2011, Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). Lago, P. & Hilliard, R. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 83-92 10 p.

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

    Open Access
  • Quantifying the encapsulation of implemented software architectures

    Bouwers, EM., van Deursen, A. & Visser, J., 2014, Proceedings 30th IEEE International Conference on Software Maintenance and Evolution. Pollock, L. & Moonen, L. (eds.). Los Alamitos, CA, USA: IEEE, p. 211-220 10 p.

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

    Open Access
    File
    7 Citations (Scopus)
    10 Downloads (Pure)
  • Quantifying the performance impacts of using local memory for many-core processors

    Fang, J., Sips, HJ. & Varbanescu, AL., 2013, 2013 IEEE 6th International Workshop on Multi-/Many-core Computing Systems. Kessler, C. & Pllana, S. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1-10 10 p.

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

    6 Citations (Scopus)
  • Quantitatively exploring non-code software artifacts

    Bigliardi, L., Lanza, M., Bacchelli, A., d' Ambros, M. & Mocci, A., 2014, Proceedings - 14th International Conference on Quality Software. Wong, WE. (ed.). Los Alamitos, CA, USA: IEEE, p. 286-295 10 p.

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

    Open Access
  • Quantum Network Utility Maximization

    Vardoyan, G. & Wehner, S., 2023, Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023. Muller, H., Alexev, Y., Delgado, A. & Byrd, G. (eds.). Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 1238-1248 11 p. (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; vol. 1).

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

  • Quantum of choice: How learners' feedback monitoring decisions, goals and self-regulated learning skills are related

    Jivet, I., Wong, J., Scheffel, M., Valle Torre, M., Specht, M. & Drachsler, H., 2021, LAK 2021 Conference Proceedings - The Impact we Make: The Contributions of Learning Analytics to Learning, 11th International Conference on Learning Analytics and Knowledge. Association for Computing Machinery (ACM), p. 416-427 12 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    22 Citations (Scopus)
    130 Downloads (Pure)
  • QueryPOMDP: POMDP-based Communication in Multiagent Systems

    Melo, FS., Spaan, MTJ. & Witwicki, S., 2012, Multi-Agent Systems. Cossentino, M., Kaisers, M., Tuyls, K. & Weiss, G. (eds.). Springer, p. 189-204 16 p. (Lecture Notes in Computer Science; vol. 7541).

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

    9 Citations (Scopus)
  • Questions for Data Scientists in Software Engineering: A Replication

    Huijgens, H., Rastogi, A., Mulders, E., Gousios, G. & Deursen, A. V., 2020, Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 568–579 12 p. (ESEC/FSE 2020).

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

    Open Access
    File
    5 Citations (Scopus)
    104 Downloads (Pure)
  • Radio wave propagation in potato fields

    Thelen, J., Goense, D. & Langendoen, KG., 2005, Proceedings of the WINMEE, RAWNET and NETCOD 2005 workshops: Measurements, resource allocation and network coding in wireless networks. s.n. (ed.). s.l.: ICST, p. 1-5 5 p.

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

  • Radio wave propagation in potato fields

    Thelen, J., Goense, D. & Langendoen, KG., 2005, ASCI 2005 Proceedings of the eleventh annual conference of the Advanced School for Computing and Imaging. Kröse, BJA., Bos, HJ., Hendriks, EA. & Heijnsdijk, JWJ. (eds.). Delft: ASCI, p. 344-349 6 p.

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

  • RAFFS: Model Checking a Robust Abstract Flash File Store

    Taverne, P. & Pronk, C., 2009, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods. Breitman, K. & Cavalcanti, A. (eds.). Berlin: Springer, p. 226-245 20 p. (Lecture Notes in Computer Science; vol. 5885).

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

    3 Citations (Scopus)
  • Randomized Entity-wise Factorization for Multi-Agent Reinforcement Learning

    Iqbal, S., Witt, C. A. S. D., Peng, B., Böhmer, W., Whiteson, S. & Sha, F., 2021, Proceedings of the 37th International Conference on Machine Learning, ICML 2020. Meila, M. & Zhang, T. (eds.). Vol. 139. p. 4596-4606 11 p.

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

    Open Access
    File
    36 Downloads (Pure)
  • Ranking Software Inspection Results using Execution Likelihood

    Boogerd, C. & Moonen, LMF., 2006, Proceedings of the Philips Software Conference (PSC). van der Heijden, J. (ed.). Philips, p. -

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

  • Rapid and robust compiler construction using template-based metacompilation

    van Reeuwijk, C., 2003, Compiler construction. Hedin, G. (ed.). Heidelberg: Springer, p. 247-261 15 p. (Lecture Notes in Computer Science; vol. 2622).

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

    8 Citations (Scopus)
  • Reading news with a purpose: Explaining user profiles for self-actualization

    Sullivan, E., Bountouridis, D., Harambam, J. J., Najafian, S., Loecherbach, F., Makhortykh, M., Kelen, D., Wilkinson, D., Graus, D. & Tintarev, N., 2019, ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization: Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. New York: Association for Computing Machinery (ACM), p. 241-245 5 p. (ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization).

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

    Open Access
    File
    21 Citations (Scopus)
    111 Downloads (Pure)
  • Ready Player One! Eliciting Diverse Knowledge Using A Configurable Game

    Balayn, A., He, G., Hu, A., Yang, J. & Gadiraju, U., 2022, WWW 2022 : Proceedings of the ACM Web Conference 2022. Laforest, F. & Troncy, R. (eds.). New York: Association for Computing Machinery (ACM), p. 1709-1719 11 p.

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

    Open Access
    File
    2 Citations (Scopus)
    61 Downloads (Pure)
  • Realistic simulation of IEEE 802.11p channel in mobile vehicle to vehicle communication

    Islam, T., Hu, Y., Onur, E., Boltjes, B. & de Jongh, JFCM., 2013, Proceedings of 13th Conference on Microwave Techniques, COMITE 2013 - Microwave and Radio Electronics Week 2013, MAREW 2013. s.n. (ed.). Piscataway, NJ, USA: IEEE Society, p. 156-161 6 p.

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

    Open Access
    22 Citations (Scopus)
  • Real-Time model checking based on splitting

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, Proceedings. JCM Baeten & ... [et Al] (eds.). S.l.: s.n., p. 56-70 15 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  • Real-time Money Routing by Trusting Strangers with your Funds

    de Vos, M. & Pouwelse, J., 2018, 2018 IFIP Networking. IFIP, p. 361 - 369 9 p. (IFIP Networking 2018).

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

    Open Access
    File
    2 Citations (Scopus)
    83 Downloads (Pure)
  • Real-time multimodal feedback with the CPR tutor

    Di Mitri, D., Schneider, J., Trebing, K., Sopka, S., Specht, M. & Drachsler, H., 2020, Artificial Intelligence in Education- 21st International Conference, AIED 2020, Proceedings, Part I: 21st International Conference, AIED 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Luckin, R., Muldner, K. & Millán, E. (eds.). Cham: Springer, p. 141-152 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12163 LNAI).

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

    Open Access
    File
    40 Citations (Scopus)
    48 Downloads (Pure)
  • Real-time olivary neuron simulations on dataflow computing machines

    Smaragdos, G., Davies, C., Strydis, C., Sourdis, I., Ciobanu, C., Mencer, O. & De Zeeuw, C. I., 2014, Supercomputing - 29th International Conference, ISC 2014, Proceedings. Springer, p. 487-497 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8488 LNCS).

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

    9 Citations (Scopus)
  • Real-time signal processing in a collision avoidance radar system using parallel computing

    Reijns, GL., van Gemund, AJC., Schier, J. & Swart, PJF., 1999, High-performance computing and networking: proceedings (Lecture notes in computer science 1593). P Sloot, M Bubak, A Hoekstra & B Hertzberger (eds.). Berlin: Springer, p. 23-32 10 p.

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

  • Real-time signal processing in a collision avoidance radar system using parallel computing

    Reijns, GL., van Gemund, AJC., Schier, J. & Swart, PJF., 1999, High-performance computing and networking (Lecture notes in computer science 1593). P Sloot, A Hoekstra & B Hertzberger (eds.). Berlin: Springer, p. 23-32 10 p.

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

  • Real-time system verification techniques based on abstraction/deduction and model checking

    Kang, EY., 2005, IFM 2005 Doctoral symposium on Integrated Formal Methods. Romijn, J., Smith, G. & van de Pol, J. (eds.). Eindhoven: Eindhoven University of Technology, p. 26-32 7 p. (Computer Science Reports; vol. 0529).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific