Find Research outputs

Search in all content

Filters for Research output

"Research Units"
Search concepts
Selected filters

Search results

  • Conference Article in proceeding

    Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

    Kandziora, J., Huisman, M., Bockisch, C. M. & Zaharieva-Stojanovski, M., Jul 2015, FTfJP '15: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 8

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Run-Time Checking Multi-threaded Java Programs

    Boer, F. S. D. & Gouw, S. D., 2016, SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Freivalds, R. M., Engels, G. & Catania, B. (eds.). Springer, p. 217-228 12 p. (Lecture Notes in Computer Science, Vol. 9587). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9587).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study

    Gouw, S. D., Boer, F. S. D., Johnsen, E. B. & Wong, P. Y. H., 2013, Symposium on Applied Computing '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. New York, NY: ACM Digital Library, p. 1573-1578 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

    Boer, F. S. D. & Gouw, S. D., 2012, Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. C. S. P. & G. S. (eds.). Springer, p. 128-133 6 p. (Lecture Notes in Computer Science, Vol. 7684).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Run-Time Verification of Coboxes

    Boer, F. S. D., Gouw, S. D. & Wong, P. Y. H., 2013, Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. R. M. H., M. G. M. & M. B. (eds.). Springer, p. 259-273 15 p. (Lecture Notes in Computer Science, Vol. 8137).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

    Jongmans, S-S. & Hamers, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment

    Lala, R., Jeuring, J. & van Geest, M., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer International Publishing AG, p. 169-179 11 p. (Lecture Notes in Computer Science, Vol. 11899).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    30 Downloads (Pure)
  • Scheduling Games for Concurrent Systems

    Dokter, K., Jongmans, S-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Scoring Summaries Using Recurrent Neural Networks

    Ruseti, S., Dascalu, M., Johnson, A. M., McNamara, D. S., Balyan, R., McCarthy, K. S., Trausan-Matu, S., Nkambou, R. (ed.), Azevedo, R. (ed.) & Vassileva, J. (ed.), 17 May 2018, Intelligent Tutoring Systems.: ITS 2018.. Nkambou, R., Azevedo, R. & Vassileva, J. (eds.). Springer, p. 191-201 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Scriptless Testing at the GUI Level in an Industrial Setting

    Chahim, H., Duran, M., Vos, T. E. J., Aho, P. K. & Condori-Fernández, N., 25 Sep 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 267-284 18 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Searching for the Best Test, Search-Based Software Testing: SBST

    Vos, T. E. J. & Aho, P., 2017, Proceedings 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing: SBST 2017, 22–23 May 2017 Buenos Aires, Argentina. Piscataway, NJ, USA: IEEE Computer Society Press, p. 3-4 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Seeker: A Serious Game for Improving Cognitive Abilities

    Toma, I., Dascalu, M. & Trausan-Matu, S., 29 Oct 2015, 2015 14th RoEduNet International Conference - Networking in Education and Research: Proceedings. IEEE, p. 73-79

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Seeking Serendipity: The Art of Finding the Unsought in Professional Music

    Wopereis, I. & Braam, M., 2018, Information Literacy in the Workplace: 5th European Conference, ECIL, 2017, Saint Malo, France, September 18-21, 2017, Revised Selected Papers. Kurbanoğlu, S., Boustany, J., Špiranec, S., Grassian, E., Mizrachi, D. & Roy, L. (eds.). Cham, Switzerland: Springer, p. 503-512 10 p. (Communications in Computer and Information Science, Vol. 810).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    197 Downloads (Pure)
  • Self-debriefing or teacher-debriefing on a game for learning IT communication skills?

    Nadolski, R. J. & van Lankveld, G., 2018, Proceedings of 12th European Conference on Game-Based Learning . Ciussi, D. M. (ed.). Sophia Antipolis, France, p. 469-478

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

    Meijer, C. & van Gastel, B. E., 19 May 2019, 2019 IEEE Symposium on Security and Privacy SP 2019: Proceedings. IEEE, p. 72-87 16 p. (Ieee Security & Privacy).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Semantic Boggle: A Game for Vocabulary Acquisition

    Toma, I., Alexandru, C-E., Dascalu, M., Dessus, P. & Trausan-Matu, S., Oct 2017, Data Driven Approaches in Digital Education. : 12th European Conference on Technology Enhanced Learning (EC-TEL 2017) . Lavoué, É., Drachsler, H., Verbert, K., Broisin, J. & Pérez-Sanagustín, M. (eds.). Springer, Vol. 10474. p. 606-609 4 p. (Lecture Notes in Computer Science LNCS, Vol. 10474).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning

    Rușeți, Ș., Lala, R., Gutu-Robu, G., Dascălu, M., Jeuring, J. T. & Van Geest, M., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, Vol. 2. p. 242-246 5 p. (Lecture Notes in Computer Science, Vol. 11626).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    82 Downloads (Pure)
  • Semantic Relations of Sub-Models in an Enterprise Model

    Roubtsova, E. E. & Severin, S., 27 Jun 2022, BMSD 2022. Shishkov, B. (ed.). Cham: Springer Nature Switzerland AG, p. 104-121 18 p. (Lecture Notes in Business Information Processing, Vol. 453).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Semantic Similarity versus Co-authorship Networks: A Detailed Comparison

    Paraschiv, I. C., Dascalu, M., Trausan-Matu, S., Nistor, N., Montes de Oca, A. M. & McNamara, D. S., 7 Jul 2017, 21st International Conference on Control Systems and Computer Science (CSCS). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Sense the classroom: AI-supported synchronous online education for a resilient new normal

    Shingjergi, K., Iren, Y. D., Urlings, C. C. J. & Klemke, R., 18 Jan 2021, European Association of Technology Enhanced Learning (EATEL) 2021: EC-TEL Doctoral Consortium. Fominykh, M. & Aristeidou, M. (eds.). CEUR-WS.org, p. 64-70 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Separation and Renaming in Nominal Sets

    Moerman, J. & Rot, J., 2020, CSL: 28th EACSL Annual Conference on Computer Science Logic. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 31:1-31:17 17 p. 31

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Service Orientation in Demand-Supply Chains: Towards an Integrated Framework

    Rasouli, M., Kusters, R. J., Trienekens, J. J. M. & Grefen, P. W. P. J., 2014, Collaborative Systems for Smart Networked Environments: 15th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2014, Amsterdam, The Netherlands, October 6-8, 2014. Proceedings. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 182-193 12 p. (IFIP Advances in Information and Communication Technology, Vol. 434).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Setting Parameters for Biological Models With ANIMO

    Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 8 Apr 2014, Proceedings 1st International Workshop on Synthesis of Continuous Parameters: SynCoP'14. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic proceedings in theoretical computer science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • SHACL-based Ontology Design Patterns for Evidence-based Decision-making

    Verhaeg, M., Rutledge, L. W. & Heeren, B. J., 2021, Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020. IOS Press, Vol. 51. p. 292-298 7 p. (Studies on the Semantic Web).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Shaking the blues away”: management control practices and social space in a top level amateur choir

    Kamminga, P. E. & De Loo, I. G. M., 2015, Proceedings of the Management Accounting Research Group Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    156 Downloads (Pure)
  • Shepherd: A Generic Approach to Automating Website Login

    Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Simpler Coordination of JavaScript Web Workers

    Krauweel, M. & Jongmans, S-S. T. Q., 2017, Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Jacquet, J-M. & Massink, M. (eds.). Cham: Springer Nature Switzerland AG, p. 40-58 19 p. (Lecture Notes in Computer Science; No. 10319).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Simplifying location-based serious game authoring

    Pérez-Colado, V. M., Pérez - Colado, I. J., Martínez - Ortiz, I., Freire Morán, M. & Fernández - Manjón, B., 18 Oct 2017, TEEM 2017: Proceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality. Dodero, J. M., Ibarra Sáiz, M. S. & Rube, I. R. (eds.). New York: Association for Computing Machinery (ACM), 8 p. 45. (ICPS: ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Small Business, Big Data: An Assessment Tool for (Big) Data Analytics Capabilities in SMEs

    Moonen, N., Baijens, J., Ebrahim, M. & Helms, R., 1 Aug 2019, Academy of Management Proceedings. Atinc, G. (ed.). Academy of Management, (Academy of Management Proceedings; No. 1, Vol. 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    80 Downloads (Pure)
  • Smart Education

    Versteijlen, M., Perez Salgado, F. & Goes Janssen, M., Aug 2016, Proceedings of the ICT for Sustainability Conference 2016. Grosso, P., Lago, P. & Osseyran, A. (eds.). Atlantis Press SARL, p. 242-243 2 p. (Advances in Computer Science Research).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    48 Downloads (Pure)
  • Smart Indicators on Learning Interactions

    Glahn, C., Specht, M. & Koper, R., 2007, Creating New Learning Experiences on a Global Scale: Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Proceedings. Duval, E., Klamma, R. & Wolpers, M. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4753. p. 56-70 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Smart Universities: Education's Digital Future

    Stracke, C. M., Shanks, M. & Tveiten, O., 2017, Smart Universities: Education's Digital Future: Official Proceedings of the International WLS and LINQ Conference 2017. Berlin: Logos Verlag Berlin GmbH, p. 7-10 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • SOA and the Button Problem

    Jongmans, S-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Social Media for Success: A Strategic Framework

    Werder, K., Helms, R. W. & Jansen, S., 2014, Proceedings of the 18th Pacific Asia Conference on Information Systems 2014: PACIS 2014, Chengdu, China. AIS Electronic Library, 16 p. 92

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Social Network Analyses (SNA) as a method to study the structure of contacts within teams of a school for secondary education

    Meijs, C. & De Laat, M., 2012, Proceedings of the Eighth International Conference on Networked Learning 2012: 2nd, 3rd, 4th April, 2012, Maastricht School of Management, Maastricht, The Netherlands. Hodgson, V., Jones, C., de Laat, M., McConnell, D., Ryberg, T. & Sloep, P. (eds.). 1 ed. Lancaster University, p. 194-202 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    5 Downloads (Pure)
  • Social Network-Based Knowledge, Content, and Software Asset Management Supporting Collaborative and Co-Creative Innovation

    Salman, M., Mertens, J., Vu, B., Fuchs, M., Heutelbeck, D. & Hemmje, M., 2017, CERC 2017 proceedings: Collaborative European Research Conference Karlsruhe University of Applied Sciences – Karlsruhe, Germany22 - 23 September 2017. Bleimann, U., Humm, B., Loew, R., Regier, S., Stengel, I. & Walsh, P. (eds.). p. 16-25 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    438 Downloads (Pure)
  • Socio-semantic networks of research publications in the learning analytics community

    Fazeli, S., Drachsler, H. & Sloep, P., 4 Apr 2013, LAK Data Challenge 2013: Proceedings of the LAK Data Challenge, held at LAK 2013, the Third Conference on Learning Analytics and Knowledge, Leuven, Belgium, April 9, 2013. d'Aquin, M., Dietze, S., H. D. & D. T. (eds.). 1 ed. CEUR-WS, p. 6-10 5 p. (CEUR Workshop Proceedings, Vol. 974).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Softmax Recurrent Unit: A new type of RNN cell

    Vos, L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Software cost estimation in the Netherlands: 10 years later

    Heemstra, F. J. & Kusters, R. J., 1999, Project control for software quality: Proceedings of ESCOM-SCOPE 99, 27-29 April 1999, Herstmonceux Castle, United Kingdom. Kusters, R. J., Cowderoy, A. & Heemstra, F. J. (eds.). Shaker-Verlag, p. 81-88 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Software Testing Innovation Alliance: the SHIP project

    Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce, F., Kolovos, D. & Matragkas, N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Sound C Code Decompilation for a Subset of x86-64 Binaries

    Verbeek, F., Olivier, P. & Ravindran, B., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer Nature Switzerland AG, p. 247-264 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12310). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12310).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Spiral me to the core: Getting a visual grasp on text corpora through clusters and keywords

    Scheffel, M., Niemann, K., Leon Rojas, S., Drachsler, H. & Specht, M., 27 Mar 2014, LAK-WS 2014 - Workshop Proceedings of LAK 2014: Proceedings of the Workshops at the LAK 2014 Conference co-located with 4th International Conference on Learning Analytics and Knowledge (LAK 2014). Yacef, K. & Drachsler, H. (eds.). Vol. 1137. 4 p. 3. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

    Jongmans, S-S. & Proença, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Cham, p. 460-478 (Lecture Notes in Computer Science, Vol. 13701).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Stabilisation and destabilisation of service definitions – an explorative case study of the purchasing process of professional ICT-services.

    De Bruin, A., Gelderman, C. & Semeijn, J., Sep 2015, Journal of Purchasing and Supply management: Special Issue of best papers of the 23rd Annual IPSERA Conference 2014. 3 ed. Elsevier, Vol. 21. p. 220-227 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingProfessional

    Open Access
    15 Citations (Web of Science)
  • Stand Tall and Raise your Voice! A Study on the Presentation Trainer

    Schneider, J., Börner, D., Van Rosmalen, P. & Specht, M., 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, E. (eds.). Cham, Switzerland: Springer, p. 311-324 14 p. (Lecture Notes in Computer Science, Vol. 9307).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    7 Downloads (Pure)
  • State Model Inference Through the GUI Using Run-Time Test Generation

    Mulders, A., Valdes, O. R., Ricós, F. P., Aho, P., Marín, B. & Vos, T. E. J., 13 May 2022, Research Challenges in Information Science: 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. Renata Guizzard, Jolita Ralyté & Xavier Franch (eds.). 1 ed. Cham: Springer, p. 546-563 18 p. (Lecture Notes in Business Information Processing, Vol. 446).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Static Detection of Design Patterns in Class Diagrams

    van Doorn, E., Stuurman, S. & van Eekelen, M., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 79–88 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    126 Downloads (Pure)
  • Stem learning in primary education by means of highly visualised digital applications

    Fanchamps, L. J. A. & Kreijns, C., 7 Mar 2022, INTED 2022 Proceedings: 16th annual International Technology, Education and Development Conference . Gómez Chova, L., López Martinez, A. & Candel Torres, I. (eds.). Valencia: IATED Academy, p. 3050-3058 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Strategic Value Creation through Big Data Analytics Capabilities: A Configurational Approach

    Wetering, R. V. D., Mikalef, P. & Krogstie, J., 2019, 2019 IEEE 21st Conference on Business Informatics (CBI): Proceedings of a meeting held 15-17 July 2019, Moscow, Russia. IEEE, Vol. 1. p. 268-275 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademic

    Open Access
    File
    96 Downloads (Pure)