Filter
Conference Article in proceeding

Search results

  • 2018

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

    Open Access
    File
    753 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Eliciting end users requirements of a supportive system for tacit knowledge management processes in value networks: A Delphi study

    Bagheri, S., Kusters, R. J. & Trienekens, J. J. M., 2 Feb 2018, 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC). Jardim-Goncalves, R., Mendonca, J. P., Pallot, M., Zarli, A., Martins, J. & Marques, M. (eds.). United States: IEEE, Vol. 2018-January. p. 1317-1326 10 p.

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

    Open Access
    File
    69 Downloads (Pure)
  • Examining the relationship between a hospital’s IT infrastructure capability and digital capabilities: a resource-based perspective

    van de Wetering, R., Versendaal, J. & Walraven, P., Aug 2018, AMCIS 2018 Proceedings: Proceedings of the 24th Americas Conference on Information Systems. Association for Information Systems, 10 p. 16

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

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

  • Factors that complicate the selection of software requirements: validating factors from literature in an empirical study

    Schoenmakers, H., Kusters, R. J. & Trienekens, J. J. M., 19 Jul 2018, ICSOFT 2018: Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L. & van Sinderen, M. (eds.). INSTICC Press, Vol. 1. p. 213-220 8 p.

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

    Open Access
    File
    47 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    99 Downloads (Pure)
  • How a flexible collaboration infrastructure impacts healthcare information exchange

    Van de Wetering, R. & Versendaal, J., 13 Jun 2018, 31 ST Bled eConference Digital Transformation: Meeting the Challenges : June 17 – 20, 2018, Bled, Slovenia, Conference Proceedings. Pucihar, A., Kljajić Borštnar, M., Ravesteijn, P., Seitz, J. & Bons, R. (eds.). 1 ed. Maribor: University of Maribor Press, p. 441-454 14 p.

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

    Open Access
  • How personality diversity influences team performance in student software engineering teams

    Pieterse, V., Leeu, M. & van Eekelen, M. C. J. D., 29 May 2018, 2018 Conference on Information Communications Technology and Society (ICTAS): Proceedings. Red Hook, NY: IEEE, p. 1-6 6 p.

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

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

    Open Access
  • Information Governance in the Big Data Era: Aligning Organizational Capabilities

    Mikalef, P., Krogstie, J., van de Wetering, R., Pappas, I. & Giannakos, M., 2018, Proceedings of the 51st Hawaii International Conference on System Sciences: Wednesday, January 3, 2018 – Saturday, January 6, 2018. 1 ed. Waikoloa Village, Hawaii: HICSS, 10 p.

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

    Open Access
  • Informing the Design of a Health Virtual Community of Practice: A Knowledge Translation Approach

    Murad, A., Bosua, R., Chang, S. & Lederman, R., Jun 2018, European Conference on Information Systems: Beyond Digitization - Facets of Socio-Technical Change ECIS 2018 Proceedings: Beyond Digitization - Facets of Socio-Technical Change, ECIS 2018 Proceedings. Bednar, P., Frank, U. & Kautz, K. (eds.). Portsmouth, UK : Association for Information Systems, 11 p.

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

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

    Open Access
    File
    131 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    141 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    60 Downloads (Pure)
  • Privacy and the Internet of Things (IoT) Monitoring Solutions for Older Adults: a review

    Alkhatib, S., Waycott, J., Buchanan, G. & Bosua, R., 23 Jun 2018, Connecting the System to Enhance the Practitioner and Consumer Experience in Healthcare: Selected Papers from the 26th Australian National Health Informatics Conference (HIC 2018). Cummings, E., Ryan, A. & K. Schaper, L. (eds.). IOS Press, Vol. 252. p. 8-14 7 p. 2. (Studies in Health and Technology).

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

    Open Access
    File
    242 Downloads (Pure)
  • Reflections on Using an Architecture Model for Matching Existing Applications to a Radical Business Requirements Change: A Case Study

    Tarenskeen, D., Hoppenbrouwers, S. & van de Wetering, R., 2018, The Practice of Enterprise Modeling: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings. Buchmann, R. A., Karagiannis, D. & Kirikova, M. (eds.). Cham: Springer, p. 383-393 11 p. (Lecture Notes in Business Information Processing, Vol. 335).

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

    Open Access
    File
    58 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 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
    236 Downloads (Pure)
  • Strategy-IT Alignment: Assuring Alignment Using a Relation Algebra Method

    Grave, F., Van de Wetering, R. & Rutledge, L., 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings. Shishkov, B. (ed.). 1 ed. Cham: Springer International Publishing AG, Vol. 319. p. 352-361 10 p. (Lecture Notes in Business Information Processing).

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

    Open Access
    File
    50 Downloads (Pure)
  • Student Perception of Scalable Peer-Feedback Design in Massive Open Online Courses

    Kasch, J. A., van Rosmalen, P. M., Löhr, A. J., Ragas, A. M. J. & Kalz, M., 2018, Technology Enhanced Assessment: 20th International Conference, TEA 2017, Barcelona, Spain, October 5–6, 2017, Revised Selected Papers. Ras, E. & Guerrero Roldán, A. E. (eds.). Cham: Springer, Vol. 829. p. 54-68 15 p.

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

    Open Access
    File
    213 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

  • Towards a knowledge leakage mitigation framework for mobile devices in knowledge-intensive organisations

    Agudelo-Serna, C., Bosua, R., Ahmad, A. & Maynard, S. B., 23 Jun 2018, European Conference on Information Systems: Beyond Digitization: Facets of Socio-Technical Change ECIS 2018 Proceedings. UK: Association for Information Systems, 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Understanding Technology-use Through the Lens of Technology-in-Practice

    Arshad, N. I., Bosua, R. & Milton, S. K., 26 Jun 2018, PACIS 2018 Proceedings: Opportunities and Challenges for the Digitized Society: Are We Ready?. Tanabu, M. & Senoo, D. (eds.). Yokohama, Japan: AIS Electronic Library, 15 p.

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

  • Unintended effects of dependencies in source code on the flexibility of IT in organizations

    Tarenskeen, D., Wetering, R. V. D. & Bakker, R., 2018, Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems: Annals of Computer Science and Information Systems. Ganzha, M., Maciaszek, L. A. & Paprzycki, M. (eds.). Warsaw: Polish Information Processing Society, Vol. 17. p. 87-94 8 p.

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

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

    Open Access
    File
    131 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 proceedingConference Article in proceedingAcademicpeer-review

  • A Framework for Visualization of Changes of Enterprise Architecture

    Bakelaar, R., Roubtsova, E. E. & Joosten, S., 2017, Business Modeling and Software Design: 6th International Symposium, BMSD 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers. Shishkov, B. (ed.). Springer, p. 140-160 21 p. (Lecture Notes in Business Information Processing, Vol. 275).

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

  • A meta-framework for Efficacious Adaptive Enterprise Architectures

    van de Wetering, R. & Bos, R., 2017, Business Information Systems Workshops: BIS 2016 International Workshops, Leipzig, Germany, July 6-8, 2016, Revised Papers. Abramowicz, W., Alt, R. & Franczyk, B. (eds.). Springer International Publishing AG, p. 273-288 16 p. (Lecture Notes in Business Information Processing; No. LNBIP 263).

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

  • Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training

    Lala, R., Jeuring, J. T. & Overbeek, T., 2017, iLRN 2017 Coimbra: Workshop, Long and Short Paper , and Poster Proceedings from the Third Immersive Learning Research Network Conference. Beck, D., Allison, C., Morgado, L., Pirker, J., Khosmood, F., Richter, J. & Gütl, C. (eds.). Verlag der Technischen Universität Graz, p. 197-204

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

    Open Access
  • Analysing Privacy Analyses

    Bella, G., Butin, D. & Jonker, H., 2017, Proceedings of the 1st Italian Conference on Cybersecurity: ITASEC17. Armando, A., Baldoni, R. & Focardi, R. (eds.). Aachen: CEUR-WS.org, p. 19-28 10 p. (CEUR Workshop Proceedings, Vol. 1816).

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

    Open Access
  • An extensible domain-specific language for describing problem-solving procedures

    Heeren, B. & Jeuring, J., 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. André, E., Baker, R., Hu, X., Rodrigo, M. T. & du Boulay, B. (eds.). Springer International Publishing AG, Vol. LNCS 10331. p. 77-89 13 p. (Lecture Notes in Computer Science; No. 10331).

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

  • An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions

    Arends, H., Keuning, H., Heeren, B. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 2-9 8 p.

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

  • An observation method for behavioral analysis of collaborative modeling skills

    Wilmont, I., Hoppenbrouwers, S. & Barendsen, E., 2017, Advanced Information Systems Engineering Workshops: CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings. Metzger, A. & Persson, A. (eds.). Springer International Publishing AG, p. 59-71

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

  • A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks

    Rabinowicz, S., Hommersom, A., Butz, R. S. & Williams, M., 2017, Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings. ten Teije, A., Popow, C., Holmes, J. H. & Sacchi, L. (eds.). Cham: Springer International Publishing AG, p. 81-85 5 p. (Lecture Notes in Computer Science, Vol. 10259).

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

  • A Security Perspective on Publication Metrics

    Jonker, H. & Mauw, S., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 186-200 15 p. (Security and Cryptology (LNCS subseries), Vol. 10476). (Lecture Notes in Computer Science; No. 10476).

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

  • A Security Perspective on Publication Metrics (Transcript of Discussion)

    Jonker, H., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 201-213 14 p. (Lecture Notes in Computer Science, Vol. 10476). (Security and Cryptology (LNCS subseries), Vol. 10476).

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

  • A strategic alignment model for IT flexibility and dynamic capabilities: toward an assessment tool

    van de Wetering, R., Mikalef, P. & Pateli, A., 2017, Proceedings of the 25th European Conference on Information Systems (ECIS): Guimarães, Portugal, June 5-10, 2017. AIS Electronic Library, p. 1468-1485 18 p.

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

    Open Access
  • A Structured Design Methodology for Concurrent Programming

    Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 2017, Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017: November 13 and 14, Helsinki, Finland. Pieterse, V., van Eekelen, M. & Giannakos, M. (eds.). ACM Digital Library, p. 1-9 9 p. (ICPS: ACM International Conference Proceeding Series).

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

  • Code quality issues in student programs

    Keuning, H., Heeren, B. & Jeuring, J., 2017, Proceedings of the 22nd Annual Conference on Innovation and Technology in Computer Science Education: ITiCSE 2017, Bologna, Italy — July 03 - 05, 2017. New York: ACM Digital Library, p. 110-115 6 p.

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

    Open Access
  • CoSTest: A Tool for Validation of Requirements at Model Level

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2017, Proceedings of the 25th international Requirements Engineering Conference: RE 2017. IEEE Computer Society Press, p. 464-467 4 p.

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

  • Customer Involvement in Scaled Agile Framework Implementations

    Trienekens, J. J. M., Himawan, H. B. & van Moll, J., 2017, Second International Conference on Advances in Computation, Communications and Services (ACCSE 2017): Proceedings of a meeting held 25-29 June 2017, Venice, Italy. Held at DataSys 2017. Lorenz, P. & Trienekens, J. (eds.). International Academy, Research, and Industry Association (IARIA), Vol. 2. p. 3-6 4 p.

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