Department of Computer Science

Search results

  • 2018

    Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing

    van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad , H. M., Wainwright , R. L. & Chbeir , R. (eds.). New York: acm, p. 1629-1636 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    264 Downloads (Pure)

  • Assessment of Modeling and Simulation in Secondary Computing Science Education

    Grgurina, N., Barendsen, E., Suhre, C., Zwaneveld, B. & van Veen, K., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education (WiPSCE): October 4–6, 2018, Potsdam, Germany. Mühling, A. & Cutts, Q. (eds.). New York, NY: acm, 10 p. a5

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Assessment of Modeling Projects in Informatics Class

    Grgurina, N., Barendsen, E., Suhre, C., van Veen, K. & Zwaneveld, B., 2018, Constructionism 2018: Constructionism, Computational Thinking and Educational Innovation: conference proceedings. Dagienė, V. & Jasutė, E. (eds.). Vilnius: Vilnius University, p. 570-576 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • A training simulation for practicing shared decision making for older patients

    Pel-Littel, R., van Zeijts, H., Schram, N., Nap, H. H. & Jeuring, J. T., 2018, In: Procedia Computer Science. 141, p. 287-293 7 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • Centralized coordination vs. partially-distributed coordination with Reo and constraint automata

    Jongmans, S.-S. & Arbab, 1 Aug 2018, In: Science of Computer Programming. 160, p. 48-77 30 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    1 Citation (Web of Science)

  • Challenges in Automated Testing through Graphical User Interface

    Aho, P. K. & Vos, T., 9 Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic

  • Code Phonology: An Exploration into the Vocalization of Code

    Hermans, F., Swidan, A. & Aivaloglou, E., 28 May 2018, Proceedings - 2018 ACM/IEEE 26th International Conference on Program Comprehension, ICPC 2018. acm, p. 308-311 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Compositional Semantics for Concurrent Object Groups in ABS

    Boer, F. S. D. & Gouw, S. D., 1 Jan 2018, Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). 1 ed. Cham: Springer, p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Computer Science Education: Perspectives on Teaching and Learning in School

    Sentance, S. (Editor), Barendsen, E. (Editor) & Schulte, C. (Editor), 2018, London: Bloomsbury Publishing. 247 p.

    Research output: Book/Report › Book editing › Academic

  • Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas

    Nijenhuis-Voogt, J., Meijer, P. C. & Barendsen, E., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Mühling, A. & Cutts, Q. (eds.). New York, NY: Association for Computing Machinery (ACM), 4 p. 15

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • CSBN: a hybrid approach for survival time prediction with missing data

    Rabinowicz, S., Butz, R., Hommersom, A. J. & Williams, M., 14 Sept 2018.

    Research output: Contribution to conference › Paper › Academic

  • Deep learning for automatic stereotypical motor movement detection using wearable sensors in autism spectrum disorders

    Rad, N. M., Kia, S. M., Zarbo, C., van Laarhoven, T., Jurman, G., Venuti, P., Marchiori, E. & Furlanello, C., Mar 2018, In: Signal Processing. 144, p. 180-191 12 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    29 Citations (Web of Science)

  • Denial-of-Service Attacks on LoRaWAN

    van Es, E., Vranken, H. & Hommersom, A., 27 Aug 2018, ARES 2018 - 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 17

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    573 Downloads (Pure)

  • Designing a Blended Course in Android App Development using 4C/ID

    Marcellis, M., Barendsen, E. & Van Merriënboer, J. J. G., 22 Nov 2018, Koli Calling '18: Proceedings of the 18th Koli Calling International Conference on Computing Education Research. New York, NY: acm, a19

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Detecting energy bugs and hotspots in control software using model checking

    Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 9 Apr 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Discovering Software Vulnerabilities Using Data-flow Analysis and Machine Learning

    Kronjee, J., Hommersom, A. & Vranken, H., 27 Aug 2018, ARES 2018 - 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 10 p. 6

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    813 Downloads (Pure)

  • DVCL: A Distributed Virtual Computer Lab for Security and Network Education

    Haag, J., 22 Jun 2018, Heerlen: Open Universiteit. 133 p.

    Research output: Thesis › Doctoral Thesis › Thesis 2: defended at OU & OU (co)supervisor, external graduate

    Open Access
    File
    427 Downloads (Pure)

  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., 4 Apr 2018, Fundamental Approaches to Software Engineering: FASE 2018. Russo, A. & Schürr, A. (eds.). Cham: Springer, p. 56-73 18 p. (Lecture Notes in Computer Science, Vol. 10802).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Evaluation of transaction authentication methods for online banking

    Kiljan, S., Vranken, H. & van Eekelen, M., Mar 2018, In: Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications. 80, p. 430-447 18 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    11 Citations (Web of Science)
    183 Downloads (Pure)

  • Explaining the Most Probable Explanation

    Butz, R. S., Hommersom, A. & van Eekelen, M., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science, Vol. 11142).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems

    Heeren, B. J., Jeuring, J. T., Sosnovsky, S., Drijvers, P., Boon, P., Tacoma, S., Koops, J., Weinberger, A., Grugeon-Allys, B., Chenevotot-Quentin, F., van Wijk, J. & van Walree, F., 14 Aug 2018, Lifelong Technology-Enhanced Learning: EC-TEL 2018. Elferink, R., Drachsler, H., Pammer-Schindler, V., Perez-Sanagustin, M. & Scheffel, M. (eds.). Cham: Springer, p. 262-276 15 p. (Lecture Notes in Computer Science, Vol. 11082).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    99 Downloads (Pure)

  • Formalizing Propagation of Priorities in Reo, Using Eight Colors

    Jongmans, S.-S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, p. 122-138 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    183 Downloads (Pure)

  • Generative models for local network community detection

    van Laarhoven, T., 25 Apr 2018, In: Physical Review E. 97, 4, 11 p., 042316.

    Research output: Contribution to journal › Article › Academic › peer-review

    4 Citations (Web of Science)

  • "I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report

    Börstler, J., Störrle, H., Toll, D., van Assema, J., Duran, R., Hooshangi, S., Jeuring, J. T., Keuning, H., Kleiner, C. & MacKellar, B., 30 Jan 2018, ITiCSE-WGR 2017 - Proceedings of the 2017 ITiCSE Conference on Working Group Reports: Proceedings of the 2017 ITiCSE Conference on Working Group Reports. New York, NY: Association for Computing Machinery (ACM), p. 70-85 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Integrated Test Development: Technical Report (TR-OU-ICA-2018-01)

    Bijlsma, A., Passier, H. J. M., Pootjes, H. & Stuurman, S., 10 Oct 2018, Open Universiteit.

    Research output: Book/Report › Report › Academic

  • Integrated Test Development: An integrated and incremental approach to write software of high quality

    Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., 10 Oct 2018, Proceedings of the 7th Computer Science Education Research Conference (CSERC). Pieterse, V., Papadopoulos, G., Stikkolorum, D. & Passier, H. (eds.). New York: acm, p. 9-20 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    138 Downloads (Pure)

  • Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications

    Ferreira Torres, C. & Jonker, H. L., 2018, Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II. Lopez, J., Zhou, J. & Soriano, M. (eds.). 1 ed. Springer, Vol. 11099. p. 60-80 21 p. (Lecture Notes in Computer Science book series).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Investigating the Pedagogical Content Knowledge of Teachers Attending a MOOC on Scratch Programming

    Rahimi, E., Henze, I., Hermans, F. & Barendsen, E., 2018, Informatics in Schools: Fundamentals of Computer Science and Software Engineering. Pozdniakov, S. N. & Dagienė, V. (eds.). Cham: Springer, Vol. 11169. p. 180-193 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Making Continuous Time Bayesian Networks More Flexible

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 1 Nov 2018, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. Kratochvíl, V. & Studený, M. (eds.). Prague, Czech Republic: PMLR, Vol. 72. p. 237-248 12 p. (Proceedings of Machine Learning Research).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Modeling the Dynamics of Multiple Disease Occurrence by Latent States

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Lobo, M. & Rodrigues, P. P., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 93-107 15 p. (Lecture Notes in Computer Science; No. 11142).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Modular Programming of Synchronization and Communication among Tasks in Parallel Programs

    van Veen, B. & Jongmans, S.-S., 3 Aug 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    150 Downloads (Pure)

  • Novelty Detection using Deep Normative Modeling for IMU-Based Abnormal Movement Monitoring in Parkinson's Disease and Autism Spectrum Disorders

    Rad, N. M., van Laarhoven, T., Furlanello, C. & Marchiori, E., 19 Oct 2018, In: Sensors. 18, 10, 17 p., 3533.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    20 Citations (Web of Science)

  • Parity game reductions

    Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In: Acta Informatica. 55, 5, p. 401-444 44 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    3 Citations (Web of Science)

  • Presence Patterns and Privacy Analysis

    Roubtsova, E. E., Roubtsov, S. A. & Alpár, G., 30 Jun 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018. Vienna, Austria, July 2-4, 2018. Proceedings. van der Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J. & Szyperski, C. (eds.). Cham: Springer, Vol. 319. p. 298-307 10 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    72 Downloads (Pure)

  • Probabilistic logic programming (PLP) 2016

    Hommersom, A. & Cussens, J., May 2018, In: International Journal of Approximate Reasoning. 96, p. 56-56 1 p.

    Research output: Contribution to journal › Editorial › Academic

    Open Access

  • Processing open text input in a scripted communication scenario: Extended abstract

    Jeuring, J. T., Mihai, D., Lala, R., Heemskerk, F. P. M., Van Geest, M., Van Dortmont, J., Gutu, G., Ruseti, S., Alex, B. & Tobin, R., Nov 2018, SEMDIAL 2018 - AixDial: Proceedings of the 22nd Workshop on the Semantics and Pragmatics of Dialogue. Prévot, L., Ochs, M. & Favre, B. (eds.). Aix-en-Provence, p. 211-214 4 p. (SemDial Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › peer-review

    Open Access
    File
    95 Downloads (Pure)

  • Representing Hypoexponential Distributions in Continuous Time Bayesian Networks

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 2018, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications. Medina, J., Ojeda-Aciego, M., Verdegay, J. L., Perfilieva, I., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer International Publishing AG, Vol. 855. p. 565-577 13 p. (Communications in Computer and Information Science, Vol. 855).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Resilience of the Domain Name System: A case study of the .nl-domain

    Krohnke, L., Jansen, J. & Vranken, H., 5 Jul 2018, In: Computer Networks. 139, p. 136-150 15 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    1 Citation (Web of Science)
    247 Downloads (Pure)

  • Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free

    Hergarden, M. & Jongmans, S.-S., 17 Jul 2018, ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Millstein, T. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 36-40 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    245 Downloads (Pure)

  • Spectral-Spatial Classification of Hyperspectral Images: Three Tricks and a New Learning Setting

    Acquarelli, J., Marchiori, E., Buydens, L. M. C., Thanh Tran & van Laarhoven, T., Jul 2018, In: Remote Sensing. 10, 7, 19 p., 1156.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    23 Citations (Web of Science)

  • Template method test pattern

    Bijlsma, A., Passier, H. J. M., Pootjes, H. J. & Stuurman, S., Nov 2018, In: Information Processing Letters. 139, 2018, p. 8-12 5 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • The Interplay between Inspectable Student Models and Didactics of Statistics

    Tacoma, S., Sosnovsky, S., Boon, P., Jeuring, J. T. & Drijvers, P., Dec 2018, In: Digital Experiences in Mathematics Education. 4, 2-3, p. 139-162 24 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access

  • The Next Level of Test Automation: Automated Testing through Graphical User Interface

    Aho, P. K. & Vos, T., 19 Mar 2018.

    Research output: Contribution to conference › Poster › Academic

  • The Second Decade of Informatics in Dutch Secondary Education

    Grgurina, N., Tolboom, J. & Barendsen, E., 2018, Informatics in Schools. Fundamentals of Computer Science and Software Engineering: 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings. Pozdniakov, S. N. & Dagiene, V. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 271-282 12 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 11169).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Thinking out of the box: comparing metaphors for variables in programming education

    Hermans, F., Swidan, A., Aivaloglou, E. & Smit, M., 4 Oct 2018, Proceedings of the 13th Workshop in Primary and Secondary Computing Education. Cutts, Q. & Muhling, A. (eds.). Potsdam: acm, 8

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards a functional requirements prioritization with early mutation testing

    Condori-Fernández, N., Granda, M. F. & Vos, T. E. J., 2 Jun 2018, RET '18: Proceedings of the 5th International Workshop on Requirements Engineering and Testing. New York: Association for Computing Machinery (ACM), p. 21-24 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool

    Martınez, M., Esparcia-Alcazar, A., Vos, T., Aho, P. K. & Fons i Cors, J., Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 375-385 11 p. (Lecture Notes in Computer Science, Vol. 11246).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development

    Benvenuti, L., Barendsen, E., Van der Veer, G. & Versendaal, J., 21 Feb 2018, SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education.. New York, NY: Association for Computing Machinery (ACM), p. 580-585 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Use expert knowledge instead of data: generating hints for hour of code exercises

    Buwalda, M., Jeuring, J. T. & Naus, N., 26 Jun 2018, L@S '18 Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY: Association for Computing Machinery (ACM), 32

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    137 Downloads (Pure)
  • 2017

    (Context-Sensitivity In) Reo, Revisited

    Jongmans, S.-S., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Kouchnarenko, O. & Khosravi, R. (eds.). Cham: Springer International Publishing AG, p. 191-209 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10231). (Programming and Software Engineering LNPSE, Vol. 10231).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review