Find Research outputs

Search results

• Conference Article in proceeding

  Predicting Student Performance and Differences in Learning Styles based onTextual Complexity Indices applied on Blog and Microblog Posts: A Preliminary Study

  Popescu, E., Dascalu, M., Becheru, A., Crossly, S. & Trausan-Matu, S., 27 Sep 2016, The 16th IEEE International Conference on Advanced Learning Technologies (ICALT 2016): Advanced Technologies for Supporting Open Access to Formal and Informal Learning. Spector, J. M., Tsai, C-C., Sampson, D. G., Kinshuk, Huang, R., Chen, N-S. & Resta, P. (eds.). IEEE, p. 184-188

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

• Predicting Success in Massive Open Online Courses (MOOCs) Using Cohesion Network Analysis

  Crossly, S., Dascalu, M., McNamara, D. S., Baker, R. & Trausan-Matu, S., 2017, Making a Difference: Prioritizing Equity and Access in CSCL: 12th International Conference on Computer Supported Collaborative Learning. Smith, B. K., Borge, M., Mercier, E. & Lim, K. Y. (eds.). International Society of the Learning Sciences, Vol. 1. p. 103-110

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

  Open Access

  File
  7 Downloads (Pure)

• Presentation Trainer, your Public Speaking Multimodal Coach

  Schneider, J., Börner, D., Van Rosmalen, P. & Specht, M., 9 Nov 2015, Proceedings of the 2015 ACM on International Conference on Multimodal Interaction. New York, NY, USA: Association for Computing Machinery (ACM), p. 539-546 (International Conference Proceedings Series).

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

• Presentation Trainer: a toolkit for learning non-verbal public speaking skills

  Schneider, J., Börner, D., Van Rosmalen, P. & Specht, M., 1 Sep 2014, Proceedings of the 9th European Conference on Technology Enhanced Learning: Open Learning and Teaching in Educational Communitie. Rensing, C., de Freitas, S., Ley, T. & Munoz-Merino, P. J. (eds.). Springer, p. 522-525 (Lecture Notes in Computer Science, Vol. 8719).

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

• Presentation Trainer: Polishing your communication skills

  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. 526-529 4 p. (Lecture Notes in Computer Science (LNCS), Vol. 9307).

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

  Open Access

  File
  3 Downloads (Pure)

• Preventing Algorithmic Bias in the Development of Algorithmic Decision-Making Systems: A Delphi Study

  Aysolmaz, B., Iren, D. & Dau, N., 7 Jan 2020, Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020. Honolulu: HICSS, p. 5267-5276 10 p.

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

  Open Access

• Primeiro Atlas do Sector dos Videojogos em Portugal: Contributo para a Análise das Economias Urbanas em Transformação

  Translated title of the contribution: First Atlas of the Videogames Sector in Portugal: Contribution to the Analysis of Urban Economies in TransformationNunes, F., Romeiro, P., Santos, P. A. & Pinheiro, C., 1 Nov 2016, XV Coloquio Ibérico de Geografía 2016: Retos y tendencias de la Geografía Ibérica. Spanish Geographical Association, p. 1119-1128

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

• Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

  van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, 21st Koli Calling International Conference on Computing Education Research. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

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

  Open Access

• 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 proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File
  122 Downloads (Pure)

• Privacy as a Service (PraaS): A Conceptual Model of GDPR to Construct Privacy Services. In: Shishkov B. (eds) Business Modeling and Software Design

  Roubtsova, E. E. & Bosua, R., Jul 2021, International Symposium on Business Modeling and Software Design: BMSD 2021: Business Modeling and Software Design. Shishkov, B. (ed.). Cham: Springer, Vol. 422. p. 170-189 20 p. (Lecture Notes in Business Information Processing, Vol. 422).

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

  Open Access

• Profiling Student Behaviour in a Blended Course: Closing the Gap Between Blended Teaching and Blended Learning

  Bos, N. & Brand-Gruwel, S., 2016, Proceedings of the 8th International Conference on Computer Supported Education. Costagliola, G., Uhomoibhi, G., Zvacek, J. & McLaren, B. M. (eds.). Portugal: SciTePress, Vol. 2. p. 65-72 8 p.

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

• Programming in Protocols - A Paradigm of Behavioral Programming

  McNeile, A. T. & Roubtsova, E. E., 2008, ENASE 2008: 3rd International Conference on Evaluation of Novel Approaches to Software Engineering. INSTICC Press, p. 23-30 8 p.

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

  Open Access

• Progressions and Innovations in Model-Driven Software Engineering: EXTREME: EXecuTable Requirements Engineering, Management, and Evolution

  Roubtsova, E. E., Jun 2013, Progressions and Innovations in Model-Driven Software Engineering. García Díaz, V., Cueva Lovelle, J. M., Pelayo García-Bustelo, B. C. & Sanjuán Martinez, O. (eds.). Hershey: IGI Global, p. 65-89 25 p.

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

• Project team formation support for self-directed learners in social learning networks

  Spoelstra, H., Van Rosmalen, P. & Sloep, P., 2012, Proceedings of the IADIS International Conference Web Based Communities 2012. Kommers, P., Isaías, P. & Bessis, N. (eds.). Lissabon, Portugal: IADIS Press, p. 89-96 8 p.

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

  Open Access

  File

• Prom week meets Skyrim: Developing a social agent architecture in a commercial game

  Guimarães, M., Santos, P. A. & Jhala, A., 1 May 2017, AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. Richland SC: International Foundation for Autonomous Agents and Multiagent Systems , p. 1790-1792 3 p.

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

• Property Driven Mining in Workflow Logs

  Roubtsova, E. E., 2005, Intelligent Information Processing and Web Mining: Proceedings of the International IIS: IIPWM’ 05 Conference. Kłopotek, M. A., Wierzchoń, S. T. & Trojanowski, K. (eds.). Berlin: Springer Heidelberg, Vol. 31. p. 471-475 5 p. (Advances in Soft Computing, Vol. 31).

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

• Property specification for coloured Petri nets

  Roubtsova, E. E., 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics: IEEE Cat. No.04CH37583. United States: IEEE, Vol. 7. p. 2617-2622 6 p.

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

• Protocol Modelling Semantics for Embedded Systems

  McNeile, A. T. & Roubtsova, E. E., 2007, 2007 International Symposium on Industrial Embedded Systems. United States: IEEE, p. 258-265 8 p.

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

• Protocol Models of Human-Computer Interaction

  McNeile, A. T., Roubtsova, E. E. & Veer, G. C. V. D., 2008, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems. Cordeiro, J. & Filipe, J. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 3. p. 367-370 4 p.

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

  Open Access

  File
  11 Downloads (Pure)

• Prototyping a tool environment for run-time assertion checking in JML with communication histories

  Boer, F. S. D., Gouw, S. D. & Vinju, J. J., 2010, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. New York, NY: ACM Digital Library, p. 6:1-6:7 6

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

• Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

  Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

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

  Open Access

  File
  21 Downloads (Pure)

• Prut4j - Protocol Unit Testing fo(u)r Java

  Slob, F. J. & Jongmans, S-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

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

• Q-learning strategies for action selection in the TESTAR automated testing tool

  Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

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

  Open Access

• Quality of reusable game software: Empowering developers with automated quality check

  van der Vegt, W. & Westera, W., Dec 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS). IEEE, p. 446-452 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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. M. & Drachsler, H. J., Apr 2021, LAK21 Conference Proceedings: The impact we make: The contributions of learning analytics to learning. New York: Association for Computing Machinery (ACM), p. 416-427 12 p.

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

  Open Access

• RAGE Reusable Game Software Components and Their Integration into Serious Game Engines

  van der Vegt, G. W., Nyamsuren, E. & Westera, W., Jun 2016, Bridging with Social-Awareness: 15th International Conference, ICSR 2016. Kapitsaki, G. M. & Santana de Almeida, E. (eds.). Springer, p. 165-180 (Lecture Notes in Computer Science, Vol. 9679).

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

  Open Access

  File
  162 Downloads (Pure)

• Read Between the Lines: An Annotation Tool for Multimodal Data for Learning

  Di Mitri, D., Schneider, J., Klemke, R., Specht, M. & Drachsler, H., 4 Mar 2019, LAK19: Proceedings of the 9th International Conference on Learning Analytics and Knowledge. 1 ed. New York, NY, USA: acm, p. 51-60 10 p.

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

  Open Access

• ReaderBench: A Multi-lingual Framework for Analyzing Text Complexity

  Dascalu, M., Gutu, G., Ruseti, S., Paraschiv, I. C., Dessus, P., McNamara, D. S., Crossley, S. & 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. 495-499 (Lecture Notes in Computer Science LNCS, Vol. 10474).

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

• ReaderBench: An Integrated Cohesion-Centered Framework

  Dascalu, M., Stavarache, L. L., Dessus, P., Trausan-Matu, S., McNamara, D. S. & Bianco, M., 4 Oct 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é, É. (eds.). Springer International Publishing AG, Vol. 9307. p. 505–508 (Lecture Notes in Computer Science).

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

  Open Access

• ReaderBench goes Online: A Comprehension-Centered Framework for Educational Purposes

  Gutu, G., Dascalu, M., Trausan-Matu, S. & Dessus, P., 27 Sep 2016, 13th International Conference on Human Computer Interaction, RoCHI 2016. Iftene, A. & Vanderdonckt, J. (eds.). MATRIX ROM, p. 95-102

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

  File
  9 Downloads (Pure)

• ReaderBench Learns Dutch: Building a Comprehensive Automated Essay Scoring System for Dutch Language

  Dascalu, M., Westera, W., Ruseti, S., Trausan-Matu, S. & Kurvers, H. 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., T. Rodrigo, M. M. & du Boulay, B. (eds.). 1 ed. Springer International Publishing AG, p. 52-63 5. (Lecture Notes in Artificial Intelligence (subseries), Vol. 10331).

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

  Open Access

• ReaderBench Talk: Online Conversations Empowered by Advanced NLP Techniques

  Mardale, A., Gutu-Robu, G., Dascalu, M. & Trausan-Matu, S., 2014, In Conf. Nat. de Interactiune Om-Calculator (RoCHI 2014). MATRIX ROM, p. 63-70

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

  Open Access

  File
  17 Downloads (Pure)

• Real-Time Multimodal Feedback with the CPR Tutor

  Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

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

  Open Access

• Reasoning on Models Combining Objects and Aspects

  Roubtsova, E. E., 2012, International Symposium on Business Modeling and Software Design : BMSD 2011: Business Modeling and Software Design. Shishkov, B. (ed.). Heidelberg: Springer, Vol. 109. p. 1-18 18 p. (Lecture Notes in Business Information Processing).

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

• Reference Model for Generic Capabilities in Maturity Models

  Merkus, J., Helms, R. W. & Kusters, R., Sep 2020, ICIME 2020: Proceedings of the 2020 12th International Conference on Information Management and Engineering. New York, NY: Association for Computing Machinery (ACM), p. 10-17 8 p.

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

  Open Access

  File
  17 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 proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File
  24 Downloads (Pure)

• Reflection Support Using Multi-encoded Tag-clouds

  Glahn, C., Specht, M. & Koper, R., 2009, Proceedings of the Second International Workshop on Mashup Personal Learning Environments (MUPPLE09): in conjunction with the 4th European Conference on Technology Enhanced Learning (EC-TEL'09). Wild, F., Kalz, M., Palmer, M. & Muller, D. (eds.). CEUR, Vol. 506. p. 89-97 9 p.

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

  Open Access

  File
  10 Downloads (Pure)

• Reinforcing Stealth Assessment in Serious Games

  Georgiadis, K., van Lankveld, G., Bahreini, K. & Westera, W., 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, p. 512-521 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11899).

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

• Representation of abstract concepts: Differences across computing disciplines

  Benvenuti, L., Louwe Kooijmans, C. F. N., Versendaal, J. M. & van der Veer, G., 2015, 2015 IEEE Frontiers in Education Conference Proceedings: FIE 2015 . Washington: IEEE Computer Society, p. 1-9 9 p.

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

• 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

• Reproduction for Insight: Towards Better Understanding the Quality of Students Tests

  Lawende, M., Passier, H. J. M. & Alpár, G., 26 Jun 2021, ITiCSE 2021: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, Vol. 1. p. 213-219 7 p.

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

• Requirements for flexible learner monitoring

  Glahn, C., Specht, M. & Koper, R., 2008, Current Research on IMS Learning Design and Lifelong Competence Development Infrastructures: Proceedings of the 3rd TENCompetence Open Workshop . Navarrete, T., Blat, J. & Koper, R. (eds.). Barcelona: Universitat Pompeu Fabra, p. 89-95 7 p.

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

  Open Access

  File
  6 Downloads (Pure)

• Reverse Bayesian poisoning: how to use spam filters to manipulate online elections

  Jonker, H., Mauw, S. & Schmitz, T., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O. & Schürmann, C. (eds.). Springer Nature Switzerland AG, p. 183-197 15 p. (Lecture Notes in Computer Science; No. 10615).

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

• Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors

  Serebrenik, A., Roubtsov, S. A., Roubtsova, E. E. & Brand, M. V. D., 17 Nov 2009, Working Conference on Reverse Engineering. Inited States: IEEE, p. 269-273 5 p.

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

• Revisiting Continuous Business Model Planning with the Value Management Platform

  Poels, G., Roelens, B. F. C., de Man, H. & van Donge, T., Jun 2019, Short Paper Proceedings of the 13th International Workshop on Value Modeling and Business Ontologies: Stockholm, Sweden, March 4-5, 2019. Johannesson, P., Andersson, B. & Weigand, H. (eds.). CEUR-WS, Vol. 2383. p. 1-7 7 p. (CEUR Workshop Proceedings).

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

  Open Access

• RU EU? A game-based approach to exploring 21st century European identity and values

  Leith, M., Boyle, E., Bajić, M., Hauge, J., Hummel, H., Jandric, P., Jimoyiannis, A., Pugh, M., Scott, G., Sim, D., Storm, J., Terras, M., Tany, N. & van der Zwet, A., 2018, EDULEARN 18 conference proceedings: 10th International Conference on Education and New Learning Technologies, Palma (Spain) 2nd-4th July 2018. L. G. C., A. L. M. & I. C. T. (eds.). IATED Academy, p. 2789-2789

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

  Open Access

  File
  30 Downloads (Pure)

• Rule Style: Patterns of and Extensions to Data System User Interface Specification for Business Rule Violations

  Rutledge, L., Bouwer, E. & Joosten, S., 4 Jul 2019, Business Modeling and Software Design: 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, Proceedings. Shishkov, B. (ed.). Cham: Springer International Publishing AG, p. 3-16 14 p. (Lecture Notes in Business Information Processing, Vol. 356).

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

• 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review