Search concepts
|
Selected filters
|
- 6,150 - 6,200 out of 8,092 results
Search results
-
Conference Article in proceeding
The Importance of Socio-Emotional Agency in Applied Games for Social Learning
Prada, R., 8 Dec 2016, Serious Games, Interaction and Simulation. SGAMES 2016. Vaz de Carvalho, C., Escudeiro, P. & Coelho, A. (eds.). Springer, p. 31-35 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile70 Downloads (Pure) -
The influence of device type on querying behavior and learning outcomes in a searching as learning task with a laptop or smartphone
Demaree, D., Jarodzka, H. M., Brand - Gruwel, S. & Kammerer, Y. A. K., 2020, CHIIR '20: Proceedings of the 2020 Conference on Human Information Interaction and Retrieval . New York: ACM SIGCHI, p. 373–377 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The influence of self-regulation, self-efficacy and motivation as predictors of barriers to satisfaction in MOOCs
Rabin, E., Henderikx, M. A., Kalman, Y. & Kalz, M., 9 Sep 2019, Transforming Learning with Meaningful Technologies. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer, p. 631-635 5 p. (Lecture Notes in Computer Science, Vol. 11722).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Learning Analytics Indicator Repository
Biedermann, D., Schneider, J. & Drachsler, H., 14 Aug 2018, Lifelong Technology-Enhanced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings. Pammer-Schindler, V., Pérez-Sanagustín, M., Drachsler, H., Elferink, R. & Scheffel, M. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 579-582 4 p. (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 11082).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Learning Design Studio in a 5-weeks MOOC format
Garreta-Domingo, M., Hernández-Leo, D., Mor, Y. & Sloep, P., 2015, Proceedings of the workshop 'Design for Learning in Practice': EC-TEL, Toledo, Sept. 18, 2015. Garreta-Domingo, M., Sloep, P., Stoyanov, S., Hernández-Leo, D. & Mor, Y. (eds.). Heerlen, the Netherlands, p. 30-32 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile3 Downloads (Pure) -
The Multimodal Learning Analytics Pipeline
Di Mitri, D., Schneider Barnes, J., Specht, M. M. & Drachsler, H. J., 23 May 2019, Proceedings of the Artificial Intelligence and Adaptive Education Conference - AIAED'19. Beijing, China, p. 1-2 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
7 Downloads (Pure) -
The Need to Change Education towards Open Learning
Stracke, C. M., May 2015, The need for Change in Education: Openness as Default?: Official Proceedings of the International LINQ Conferences 2015. Stracke, C. M. & Shamarina-Heidenrich, T. (eds.). Berlin, Germany: Logos Verlag Berlin GmbH, p. 11-23 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile4 Downloads (Pure) -
The Object Relational impedance mismatch from a cognitive point of view
Benvenuti, L. & van der Veer, G. C., 2014, Psychology of Programming Interest Group Annual Conference 2014: PPIG 2014. du Boulay, B. & Good, J. (eds.). University of Sussex, p. 35-40 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Proof of the Pudding: Examining Validity and Reliability of the Evaluation Framework for Learning Analytics
Scheffel, M., Drachsler, H., Toisoul, C., Ternier, S. & Specht, M., 1 Sep 2017, Data Driven Approaches in Digital Education: Proceedings of 12th European Conference on Technology Enhanced Learning EC-TEL 2017. Lavoué, É., Drachsler, H., Verbert, K., Broisin, J. & Pérez-Sanagustín, M. (eds.). Springer, p. 194-208 (Lecture Notes in Computer Science, Vol. 10474).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile311 Downloads (Pure) -
The Quality of MOOCs: How to Improve the Design of Open Education and Online Courses for Learners?
Stracke, C. M., 8 Jun 2017, Learning and Collaboration Technologies: Novel Learning Ecosystems. Zaphiris, P. & Loannou, A. (eds.). Springer, p. 285-293 9 p. (Lecture Notes in Computer Science, Vol. 10295). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 10295).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
The quality of open online education: Towards a reference framework for MOOCs
Stracke, C. M., Kameas, A., Vassiliadis, B., Sgouropoulou, C., Teixeira, A. M., Pinto, M. D. C. & Vidal, G., 2017, 2017 IEEE Global Engineering Education Conference. IEEE, p. 1713-1716 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Quality of Open Online Learning and Education: Towards a Quality Reference Framework for MOOCs
Stracke, C. M. & Tan, E., 2018, Rethinking learning in the digital age. Making the Learning Sciences Count: The International Conference of the Learning Sciences (ICLS) 2018: 13th International Conference of the Learning Sciences (ICLS) 2018. Kay, J. & Luckin, R. (eds.). International Society of the Learning Sciences, Vol. 2. p. 1029-1032 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile239 Downloads (Pure) -
The Quality Reference Framework for MOOC Design
Stracke, C. M., 2019, Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer International Publishing AG, p. 673-677 5 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 11722).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile143 Downloads (Pure) -
The RAGE Advanced Game Technologies Repository for Supporting Applied Game Development
Georgiev, A., Grigorov, A., Bontchev, B., Boytchev, P., Stefanov, K., Westera, W., Prada, R., Hollins, P. & Moreno, P., 8 Dec 2016, Games and Learning Alliance: 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings. Bottino, R., Jeuring, J. & Veltkamp, R. C. (eds.). Springer, p. 235-245Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile102 Downloads (Pure) -
The RAGE Software Asset Model and Metadata Model
Georgiev, A., Grigorov, A., Bontchev, B., Boytchev, P., Stefanov, K. & Bahreini, K., 17 Oct 2016, Serious Games JCSG 2016. Springer, p. 191-203 (Lecture Notes in Computer Science, Vol. 9894).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The RAGE software portal: Toward a serious game technologies marketplace
Westera, W., Fernández-Manjón, B., Prada, R., Star, K., Molinari, A., Heutelbeck, D., Hollins, P., Riestra, R., Stefanov, K. & Kluijfhout, E., 2018, (Accepted/In press) Proceedings of the GALA-2018 Conference. Gentile, M., Allegra, M. & Söbke, H. (eds.). LNCS ed. Cham, Switzerland: Springer International Publishing AG, Vol. 11385. p. 1 10 p. (Springer Lecture Notes in Computer Science (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Rhetorical Nature of Rhythm
Balint, M., Dascalu, M. & Trausan-Matu, S., 24 Nov 2016, 15th RoEduNet Conference: Networking in Education and Research. IEEE, p. 48-53Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Robbers and the Others – A Serious Game Using Natural Language Processing
Toma, I., Brighiu, S. M., Dascalu, M. & Trausan-Matu, S., 1 Jun 2018, 3rd Int. Conf. on Smart Learning Ecosystems and Regional Development (SLERD 2018): The Interplay of Data, Technology, Place and People for Smart Learning. Knoche, H., Popescu, E. & Cartelli, A. (eds.). Springer, p. 159-164 6 p. (Smart Innovation, Systems and Technologies, Vol. 95).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Role of Internet Service Providers in Botnet Mitigation
Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson, F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The role of learning design and learning analytics in MOOCs
Brouns, F. & Firssova, O., 1 Oct 2016, Conference Proceedings of the 9th EDEN Research Workshop: Forging new pathways of research and innovation in open and distance learning: Reaching from the roots. Volungeviciene, A., Szűcs, A. & Mázár, I. (eds.). European Distance and E-Learning Network, p. 329-336 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile1 Downloads (Pure) -
The Role of Personal Proximity in Collaborations: A Case Study of Dutch Nanotechnology Researchers
Werker, C., Ooms, W. M. & Caniels, M. C. J., 2015, Academy of Maanagement Proceedings. Antic, G. (ed.). 1 ed. Academy of Management, Vol. 2015. (Academy of Management Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The role of Procedural Guidance in Software Engineering Education
Passier, H., Apr 2017, Companion to the first International Conference on the Art, Science and Engineering of Programming: Brussels, Belgium — April 03 - 06, 2017 . Sartor, J. B., d'Hondt, T. & de Meuter, W. (eds.). New York, NY, USA: ACM Digital Library, 2 p. 21Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Role of Trust in Personal Data Sharing in the Context of e-Assessment and the Moderating Effect of Special Educational Needs
Muravyeva, E. V., Janssen, J. P. W., Dirkx, K. J. H. & Specht, M. M., Jul 2020, UMAP '20: Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization. New York, USA: Association for Computing Machinery (ACM), p. 328-332 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
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
-
The TACTIDE EU STEM project: TeAching Computational ThinkIng with Digital dEvices
Jansen, M., Fanchamps, L. J. A., Milrad, M., Specht, M. M. & Hamidi, A., 10 Jun 2022, APSCE CTE-STEM 2022: Proceedings of Sixth APSCE International Conference on Computational Thinking and STEM Education 2022. Delft: TU Delft, p. 64-67 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
The Third Workshop on Behaviour Modelling - Foundations and Applications
Roubtsova, E. E., McNeile, A. T., Kindler, E. & Aksit, M., 2011, European Conference on Modelling Foundations and Applications: ECMFA 2011: Modelling Foundations and Applications. France, R. B., Kuester, J. M., Bordbar, B. & Paige, R. F. (eds.). Berlin: Springer, Vol. 6698. p. 381-382 2 p. (Lecture Notes in Computer Science, Vol. 6698).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
The Value Management Platform and ArchiMate –Towards an Integration? An Illustrative Example for Value Stream Mapping
Poels, G., Nollet, K., Roelens, B. F. C., de Man, H. & van Donge, T., 17 Mar 2020, VMBO 2020: Proceedings of 14th International Workshop on Value Modelling and Business Ontologies. Roelens, B., Laurier, W., Poels, G. & Weigand, H. (eds.). Brussels, Belgium: CEUR-WS, p. 139-148 10 p. (CEUR Workshop Proceedings (CEUR-WS.org), Vol. 2574).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
The video game industry in Portugal
Santos, P. A., Romeiro, P., Nunes, F., Hollins, P. & Riestra, R., Nov 2016, Proceedings of Videojogos 2016, Covilhã, Portugal. Silva, F. & Santos, P. (eds.). p. 1-10Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile80 Downloads (Pure) -
They want to tell us: Attention-aware Design and Evaluation of Ambient Displays for Learning
Börner, D., Kalz, M. & Specht, M., 2015, Proceedings of the 4th International Symposium on Pervasive Displays. New York, NY: Association for Computing Machinery (ACM), p. 147-153 7 p.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., 2018, Proceedings of the 13th Workshop in Primary and Secondary Computing Education. Potsdam: acm, 8Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Through the Eyes of a Programmer: A Research Project on how to Foster Programming Education with Eye-Tracking Technology
Emhardt, S., Drumm, C., Van Gog, T., Brand - Gruwel, S. & Jarodzka, H., 16 Sep 2019, Angewandte Forschung in der Wirtschaftsinformatik 2019: Tagungsband zur 32. AKWI-Jahrestagung vom 15.09.2019 bis 18.09.2019 an der Fachhochschule für Angewandte Wissenschaften Aachen. Wolf, M. R., Barton, T., Herrmann, F., Meister, V. G., Müller, C. & Seel, C. (eds.). Heide: mana-Buch, p. 42-49 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile151 Downloads (Pure) -
Tightening research-practice connections: Applying insights and strategies during design charrettes
McKenney, S., Gomez, K. & Reiser, B., 28 Dec 2012, The Future of Learning: Proceedings of the 10th International Conference of the Learning Sciences (ICLS 2012) - Volume 2, Short Papers, Symposia, and Abstracts. van Aalst, J., Thompson, K., Jacobson, M. J. & Reimann, P. (eds.). Sydney, Australia: International Society of the Learning Sciences, Vol. 2. p. 590-591 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile -
Time and Semantic Similarity – What is the Best Alternative to Capture Implicit Links in CSCL Conversations?
Gutu, G., Dascalu, M., Rebedea, T. & Trausan-Matu, S., 22 Jun 2017, Making a Difference: Prioritizing Equity and Access in CSCL: 12th International Conference on Computer Supported Collaborative Learning, Volume 1. Smith, B. K., Borge, M., Mercier, E. & Lim, K. Y. (eds.). International Society of the Learning Sciences, p. 223-230Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile14 Downloads (Pure) -
To Be or Not to Be a Teacher? Exploring CS Students’ Perceptions of a Teaching Career
Yeni, S., Aivaloglou, E. & Hermans, F., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-11 11 p. 11Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
To change or not to change? That's the question... On MOOC-success, Barriers and their Implications
Henderikx, M., Kreijns, K. & Kalz, M., 1 May 2017, Digital education: Out to the world and back to the campus: 5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017 Proceedings. Delgado Kloos, C., Jermann, P., Pérez-Sanagustín, M., Seaton, D. T. & White, S. (eds.). Springer, p. 210-216 7 p. (Lecture Notes in Computer Science (LNCS), Vol. 10254).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile2 Downloads (Pure) -
Toward a firm technology adoption model (F-TAM) in a developing country context
Doe, J. K., van de Wetering, R., Honyenuga, B. Q. & Versendaal, J., 2017, Proceedings of the 11th Mediterranean Conference on Information Systems: MCIS 2017. AIS Electronic Library, 23Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Toward a Reference Architecture for Traceability in SBVR-based Systems
Rutledge, L. W. & Italiaander, R. H. J., 8 Sep 2021, Proceedings of the Seventh International Workshop on Controlled Natural Language: CNL 2020/21. Special Interest Group on Controlled Natural LanguageResearch output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Toward CNO Characteristics to Support Business/IT-Alignment
van den Heuvel, R., Trienekens, J., van de Wetering, R. & Bos, R., Sep 2017, Collaboration in a Data-Rich World : 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings. Camarinha-Matos, L. M., Afsarmanesh, H. & Fornasiero, R. (eds.). Springer International Publishing AG, p. 455-465 11 p. (IFIP Advances in Information and Communication Technology, Vol. 506).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Toward new unit-testing techniques for shared-memory concurrent programs
Jongmans, S-S., 2019, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. Pang, J. & Sun, J. (eds.). IEEE Canada, p. 164-169 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Towards a Framework for Data Analytics Governance Mechanisms
Baijens, J., Helms, R. W. & Velstra, T., 2020, Proceedings of the 28th European Conference on Information Systems (ECIS2020). AIS Electronic Library, 16 p. 81Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile89 Downloads (Pure) -
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 proceeding › Conference Article in proceeding › Academic › peer-review
-
Towards a Metrics Model for DevOps: Results of a Case Study in an Industrial Company
Trienekens, J. J. M., 2015, First International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2015): Proceedings of a meeting held 23-28 August 2015, Venice, Italy. Held at NetWare 2015. Ireland, C. & Dini, P. (eds.). Wilmington, DE: International Academy, Research, and Industry Association (IARIA), Vol. 1. p. 1-6 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Criteria and Descriptors
Weeda, R., Izu, C., Kallia, M. & Barendsen, E., Nov 2020, Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falker, N. & Seppala, O. (eds.). New York: Association for Computing Machinery, 10 p. 30Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Towards an empirically validated model for assessment of code quality
Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2014, Koli Calling '14: Proceedings of the 14th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 99-108 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Towards a new generation of Learning Management Systems
Vogten, H. & Koper, R., 1 Apr 2014, Proceedings of the 6th International Conference on Computer Supported Education. Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). Setubal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open AccessFile10 Downloads (Pure) -
Towards a short learning program on online learning at the Open University of the Netherlands
Wopereis, I., Pannekeet, K., Melai, T., Schlusmans, K., van den Munckhof, R. & Moerkerke, G., Oct 2019, Blended and online education within European university networks: The Online, Open and Flexible Higher Education Conference Proceedings, Hosted by UNED, Madrid (Spain). Ubachs, G. & Joosten-Adriaanse, F. (eds.). Maastricht: European Association of Distance Teaching Universities, p. 360-366 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
File97 Downloads (Pure) -
Towards a systematic review of automated feedback generation for programming exercises
Keuning, H., Jeuring, J. T. & Heeren, B. J., Jul 2016, ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, p. 41-46 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
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
-
Towards a Viable System Model-based Organizing Logic for IT Governance
Huygh, T. & De Haes, S., 2020, Proceedings of International Conference on Information Systems ICIS 2020: ICIS 2020 PROCEEDINGS. Hyderabad, India: AIS Electronic Library, 2211Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Towards A Virtual Bank For Evaluating Security Aspects With Focus On User Behavior
Kiljan, S., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2016, Proceedings of 2016 SAI Computing Conference 2016: SAI 2016. IEEE, p. 1068-1075 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review