Publications

contact info

Secretariat
Open Universiteit
Valkenburgerweg 177
6419 AT Heerlen
Netherlands
 
phone: +31 (0)45 576 2828
email: secretariaat.mst@ou.nl
www: http://cs.ou.nl/
twitter: @ou_informatica

Peer-reviewed publications (since 2015)

Generated using php-bibHTML by Hugo Jonker, based on the BiblioPhile PHP BibTex parser.

Published in 2018

PhD Theses

  1. DVCL: A Distributed Virtual Computer Lab for Security and Network Education. J. Haag. PhD thesis, Open University, Department of Computer Science, 2018.
    Links: bib, preprint.

Journal Articles

  1. Parity game reductions. S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Acta Inf., 55(5):401–444, 2018.
    Links: bib, preprint, DOI.
  2. Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. S.T.Q. Jongmans and F. Arbab. Sci. Comput. Program., 160:48–77, 2018.
    Links: bib, preprint, DOI.
  3. Probabilistic logic programming (PLP) 2016. A. Hommersom and J. Cussens. Int. J. Approx. Reasoning, 96:56, 2018.
    Links: bib, preprint, DOI.
  4. Resilience of the Domain Name System: A case study of the .nl-domain. L. Kröhnke, J. Jansen and H.P.E. Vranken. Computer Networks, 139:136–150, 2018.
    Links: bib, preprint, DOI.
  5. Evaluation of transaction authentication methods for online banking. S. Kiljan, H.P.E. Vranken and M.C.J.D. van Eekelen. Future Generation Comp. Syst., 80:430–447, 2018.
    Links: bib, preprint, DOI.
  6. A Compositional Approach for Verifying Protocols Running on On-Chip Networks. F. Verbeek, P.M. Yaghini, A. Eghbal and N. Bagherzadeh. IEEE Trans. Computers, 67(7):905–919, 2018.
    Links: bib, preprint, DOI.

Conference Proceedings

  1. Challenges in Automated Testing Through Graphical User Interface. P. Aho and T. Vos. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). pp. 118-121, 2018.
    Links: bib, preprint, DOI.
  2. Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. M. Martínez, A.I. Esparcia-Alcázar, T.E.J. Vos, P. Aho and J. i Cors. In Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. Springer International Publishing, pp. 375–385, 2018.
    Links: bib.
  3. Explaining the Most Probable Explanation. R. Butz, A. Hommersom and M. van Eekelen. In Scalable Uncertainty Management. Springer, Lecture Notes in Computer Science 11142, pp. 50–63, 2018. Best Student Paper Award.
    Links: bib, DOI.
  4. Presence Patterns and Privacy Analysis. E.E. Roubtsova, S.A. Roubtsov and G. Alpár. In Proc. 8th Symposium on Business Modeling and Software Design. Springer, Lecture Notes in Business Information Processing 319, pp. 298–307, 2018.
    Links: bib.
  5. Investigating Fingerprinters and Fingerprinting-alike Behaviour of Android Applications. C. Ferreira Torres and H. Jonker. In Proc. 23rd European Symposium on Research in Computer Security (ESORICS’18). Springer, LNCS 11023, 2018. To appear.
    Links: bib.
  6. Representing Hypoexponential Distributions in Continuous Time Bayesian Networks. M. Liu, F. Stella, A. Hommersom and P.J.F. Lucas. In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications - 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III. Springer, Communications in Computer and Information Science 855, pp. 565–577, 2018.
    Links: bib, preprint, DOI.
  7. Applying deep learning on packet flows for botnet detection. J. van Roosmalen, H.P.E. Vranken and M.C.J.D. van Eekelen. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. ACM, pp. 1629–1636, 2018.
    Links: bib, preprint, DOI.
  8. Detecting energy bugs and hotspots in control software using model checking. P. van Gastel, B. van Gastel and M.C.J.D. van Eekelen. In Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018. ACM, pp. 93–98, 2018.
    Links: bib, preprint, DOI.
  9. Use expert knowledge instead of data: generating hints for hour of code exercises. M. Buwalda, J. Jeuring and N. Naus. In Proceedings of the Fifth Annual ACM Conference on Learning at Scale, London, UK, June 26-28, 2018. ACM, pp. 32:1–32:4, 2018.
    Links: bib, preprint, DOI.
  10. Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development. L. Benvenuti, E. Barendsen, G.C. van der Veer and J. Versendaal. In Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018, Baltimore, MD, USA, February 21-24, 2018. ACM, pp. 580–585, 2018.
    Links: bib, preprint, DOI.

Technical Reports

  1. Formal Analysis of an E-Health Protocol. N. Dong, H. Jonker and J. Pang. Technical report 1808.08403, arXiv, 2018.
    Links: bib, preprint.
  2. Shepherd: Enabling Automatic and Large-Scale Login Security Studies. H. Jonker, J. Kalkman, B. Krumnow, M. Sleegers and A. Verresen. Technical report 1808.00840, ArXiv, 2018.
    Links: bib, preprint.
  3. Connectors meet Choreographies. F. Arbab, L. Cruz-Filipe, S.T.Q. Jongmans and F. Montesi. Technical report abs/1804.08976, ArXiv, 2018.
    Links: bib, preprint.

Published in 2017

PhD Theses

  1. Exploring, Expanding and Evaluating Usable Security in Online Banking. S. Kiljan. PhD thesis, Open University, Department of Computer Science, 2017.
    Links: bib, preprint.
  2. Towards a Design Rationale for Software Documentation - a model of computer-mediated activity. B. van Loggem. PhD thesis, Open University, Department of Computer Science, 2017.
    Links: bib, preprint.

Editted Proceedings

  1. Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC⁄SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017. T.E.J. Vos, S. Eldh and W. Prasetya, editors. 2017.
    Links: bib, preprint, DOI.
  2. Proceedings of the 6th Computer Science Education Research Conference 2017, CSERC 2017, Helsinki, Finland, November 13-14, 2017. V. Pieterse, M.C.J.D. van Eekelen and M. Gianakos, editors. 2017.
    Links: bib, preprint, DOI.
  3. Proceedings of the 12th Workshop on Primary and Secondary Computing Education, WiPSCE 2017, Nijmegen, The Netherlands, November 08 - 10, 2017. E. Barendsen and P. Hubwieser, editors. 2017.
    Links: bib, preprint, DOI.

Journal Articles

  1. Fast revocation of attribute-based credentials for both users and verifiers. W. Lueks, G. Alpár, J. Hoepman and P. Vullers. Computers & Security, 67:308–323, 2017.
    Links: bib.
  2. Formal Modelling and Analysis of Receipt-free Auction Protocols in Applied Pi. N. Dong, H. Jonker and J. Pang. Computers & Security, 65:405-432, 2017.
    Links: bib, DOI.
  3. Corrections to "A Menagerie of Timed Automata". J.J.A. Keiren, P. Fontana and R. Cleaveland. ACM Comput. Surv., 50(3):42:1–42:8, 2017.
    Links: bib, preprint, DOI.
  4. Games for Bisimulations and Abstraction. D. de Frutos-Escrig, J.J.A. Keiren and T.A.C. Willemse. Logical Methods in Computer Science, 13(4), 2017.
    Links: bib, preprint, DOI.
  5. An \emphO(\emphmlog\emphn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. J. Groote, D.N. Jansen, J.J.A. Keiren and A. Wijs. ACM Trans. Comput. Log., 18(2):13:1–13:34, 2017.
    Links: bib, preprint, DOI.
  6. Combine and conquer: Relating BIP and Reo. K. Dokter, S.T.Q. Jongmans, F. Arbab and S. Bliudze. J. Log. Algebr. Meth. Program., 86(1):134–156, 2017.
    Links: bib, preprint, DOI.
  7. Constraint automata with memory cells and their composition. S.T.Q. Jongmans, T. Kappé and F. Arbab. Sci. Comput. Program., 146:50–86, 2017.
    Links: bib, preprint, DOI.
  8. Hybrid time Bayesian networks. M. Liu, A. Hommersom, M. van der Heijden and P.J.F. Lucas. Int. J. Approx. Reasoning, 80:460–474, 2017.
    Links: bib, preprint, DOI.
  9. Asymmetric hidden Markov models. M.L.P. Bueno, A. Hommersom, P.J.F. Lucas and A. Linard. Int. J. Approx. Reasoning, 88:169–191, 2017.
    Links: bib, preprint, DOI.
  10. Exploiting Experts’ Knowledge for Structure Learning of Bayesian Networks. H. Amirkhani, M. Rahmati, P.J.F. Lucas and A. Hommersom. IEEE Trans. Pattern Anal. Mach. Intell., 39(11):2154–2170, 2017.
    Links: bib, preprint, DOI.
  11. A Survey of Authentication and Communications Security in Online Banking. S. Kiljan, K. Simoens, D. Cock, M.C.J.D. van Eekelen and H.P.E. Vranken. ACM Comput. Surv., 49(4):61:1–61:35, 2017.
    Links: bib, preprint, DOI.
  12. Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. A. Gerdes, B. Heeren, J. Jeuring and T.L. van Binsbergen. I. J. Artificial Intelligence in Education, 27(1):65–100, 2017.
    Links: bib, preprint, DOI.
  13. Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. F. Verbeek, P.M. Yaghini, A. Eghbal and N. Bagherzadeh. IEEE Trans. Computers, 66(2):272–284, 2017.
    Links: bib, preprint, DOI.
  14. Guest editorial. R. Bottino and J. Jeuring. Int. J. Serious Games, 4(3), 2017.
    Links: bib, preprint.

Conference Proceedings

  1. Privacy-Preserving Webshopping with Attributes. B. Hampiholi and G. Alpár. In PAC. IEEE, pp. 25–36, 2017.
    Links: bib.
  2. Reverse Bayesian poisoning: how to use spam filters to manipulate online elections. H. Jonker, S. Mauw and T. Schmitz. In Proc. 2nd International Conference on Electronic Voting (E-Vote-ID’17). Springer, LNCS 10615, pp. 183–197, 2017.
    Links: bib, DOI.
  3. A Much-needed Security Perspective on Publication Metrics. H. Jonker and S. Mauw. In Proc. 25th Security Protocols Workshop (SPW’17). Springer, LNCS 10476, pp. 186-200, 2017.
    Links: bib.
  4. A Much-needed Security Perspective on Publication Metrics (Transcript of Discussion). H. Jonker. In Proc. 25th Security Protocols Workshop (SPW’17). Springer, LNCS 10476, pp. 201-213, 2017.
    Links: bib.
  5. Analysing Privacy Analyses. G. Bella, D. Butin and H. Jonker. In Proc. 1st Italian Conference on Cybersecurity (ITA-SEC’17). CEUR, CEUR Workshop Proceedings 1816, pp. 19–28, 2017.
    Links: bib, from publisher.
  6. Simpler Coordination of JavaScript Web Workers. M. Krauweel and S.T.Q. Jongmans. In 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. Springer, Lecture Notes in Computer Science 10319, pp. 40–58, 2017.
    Links: bib, preprint, DOI.
  7. A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks. S. Rabinowicz, A. Hommersom, R. Butz and M. Williams. In Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings. Springer, Lecture Notes in Computer Science 10259, pp. 81–85, 2017.
    Links: bib, preprint, DOI.
  8. An improved diagnostic method for probabilistic consistency-based diagnosis. M. de Paula Bueno, A. Hommersom and P.J.F. Lucas. In 28th International Workshop on Principles of Diagnosis (DX’17), Brescia, Italy, September 26-29, 2017. EasyChair, Kalpa Publications in Computing 4, pp. 65–77, 2017.
    Links: bib, preprint.
  9. Effectiveness Assessment of an Early Testing Technique using Model-Level Mutants. M. Granda, N. Condori-Fernández, T.E.J. Vos and O. Pastor. In Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, EASE 2017, Karlskrona, Sweden, June 15-16, 2017. ACM, pp. 98–107, 2017.
    Links: bib, preprint, DOI.
  10. Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas. M. Granda, N. Condori-Fernández and T.E.J. Vos. In Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain, - November 6-9, 2017.. CEUR-WS.org, CEUR Workshop Proceedings 1979, pp. 257–270, 2017.
    Links: bib, preprint.
  11. Evolving Rules for Action Selection in Automated Testing via Genetic Programming - A First Approach. A. Esparcia-Alcázar, F. Almenar, U. Rueda and T.E.J. Vos. In Applications of Evolutionary Computation - 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10200, pp. 82–95, 2017.
    Links: bib, preprint, DOI.
  12. Searching for the Best Test. T.E.J. Vos and P. Aho. In 10th IEEE⁄ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017. IEEE, pp. 3–4, 2017.
    Links: bib, preprint, DOI.
  13. Overview of the ICST International Software Testing Contest. E. Alégroth, S. Matsuki, T.E.J. Vos and K. Akemine. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, pp. 550–551, 2017.
    Links: bib, preprint, DOI.
  14. GUI-Profiling for Performance and Coverage Analysis. N. Beierle, P.M. Kruse and T.E.J. Vos. In 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017. IEEE Computer Society, pp. 28–31, 2017.
    Links: bib, preprint, DOI.
  15. CoSTest: A Tool for Validation of Requirements at Model Level. M. Granda, N. Condori-Fernández, T.E.J. Vos and O. Pastor. In 25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017. IEEE Computer Society, pp. 464–467, 2017.
    Links: bib, preprint, DOI.
  16. Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. B. van Gastel and M.C.J.D. van Eekelen. In Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, and 5th Workshop on FOundational and Practical Aspects of Resource Analysis Uppsala, Sweden, April 22-23, 2017.. EPTCS 248, pp. 24–37, 2017.
    Links: bib, preprint, DOI.
  17. The role of Procedural Guidance in Software Engineering Education. H. Passier. In Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017. ACM, pp. 21:1–21:2, 2017.
    Links: bib, preprint, DOI.
  18. Analysing energy consumption of systems controlled by software. B. van Gastel. In Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017. ACM, pp. 19:1–19:2, 2017.
    Links: bib, preprint, DOI.
  19. Code Quality Issues in Student Programs. H. Keuning, B. Heeren and J. Jeuring. In Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5, 2017. ACM, pp. 110–115, 2017.
    Links: bib, preprint, DOI.
  20. Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. J. Lodder, B. Heeren and J. Jeuring. In Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. ACM, pp. 387–392, 2017.
    Links: bib, preprint, DOI.
  21. Estimating worst-case latency of on-chip interconnects with formal simulation. F. Verbeek and N. van Vugt. In 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. IEEE, pp. 204–211, 2017.
    Links: bib, preprint, DOI.
  22. An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. B. Heeren and J. Jeuring. In Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings. Springer, Lecture Notes in Computer Science 10331, pp. 77–89, 2017.
    Links: bib, preprint, DOI.
  23. "I know it when I see it" Perceptions of Code Quality: ITiCSE ’17 Working Group Report. J. Börstler, H. Störrle, D. Toll, J. van Assema, R. Duran, S. Hooshangi, J. Jeuring, H. Keuning, C. Kleiner and B.K. MacKellar. In Proceedings of the 2017 ITiCSE Working Group Reports, ITiCSE-WGR 2017, Bologna, Italy, July 3-5, 2017.. ACM, pp. 70–85, 2017.
    Links: bib, preprint, DOI.
  24. "I know it when I see it": Perceptions of Code Quality. J. Börstler, H. Störrle, D. Toll, J. van Assema, R. Duran, S. Hooshangi, J. Jeuring, H. Keuning, C. Kleiner and B.K. MacKellar. In Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5, 2017. ACM, pp. 389, 2017.
    Links: bib, preprint, DOI.
  25. An intelligent tutor to learn the evaluation of microcontroller I⁄O programming expressions. H. Arends, H. Keuning, B. Heeren and J. Jeuring. In Proceedings of the 17th Koli Calling Conference on Computing Education Research, Koli, Finland, November 16-19, 2017. ACM, pp. 2–9, 2017.
    Links: bib, preprint, DOI.
  26. Designing and comparing two scratch-based teaching approaches for students aged 10-12 years. N. van Es and J. Jeuring. In Proceedings of the 17th Koli Calling Conference on Computing Education Research, Koli, Finland, November 16-19, 2017. ACM, pp. 178–182, 2017.
    Links: bib, preprint, DOI.
  27. An Observation Method for Behavioral Analysis of Collaborative Modeling Skills. I. Wilmont, S. Hoppenbrouwers and E. Barendsen. In Advanced Information Systems Engineering Workshops - CAiSE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings. Springer, Lecture Notes in Business Information Processing 286, pp. 59–71, 2017.
    Links: bib, preprint, DOI.
  28. Investigating Informatics Teachers’ Initial Pedagogical Content Knowledge on Modeling and Simulation. N. Grgurina, E. Barendsen, C.J.M. Suhre, K. van Veen and B. Zwaneveld. In Informatics in Schools: Focus on Learning Programming - 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings. Springer, Lecture Notes in Computer Science 10696, pp. 65–76, 2017.
    Links: bib, preprint, DOI.
  29. Identifying Students’ Misconceptions on Basic Algorithmic Concepts Through Flowchart Analysis. E. Rahimi, E. Barendsen and I. Henze. In Informatics in Schools: Focus on Learning Programming - 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings. Springer, Lecture Notes in Computer Science 10696, pp. 155–168, 2017.
    Links: bib, preprint, DOI.

Technical Reports

  1. Verkenning Risicobeperking internetstemmen voor stemmers buiten Nederland. H. Jonker. Technical report U2017/02168/HJO, Open University of the Netherlands, 2017.
    Links: bib, preprint.

Published in 2016

PhD Theses

  1. Assessing sustainability of software - Analysing Correctness, Memory and Energy Consumption. B. van Gastel. PhD thesis, Open University, 2016.
    Links: bib, preprint.

Editted Proceedings

  1. Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), London, UK, September 3, 2016. A. Hommersom and S.A. Abdallah, editors. CEUR Workshop Proceedings 1661, 2016.
    Links: bib, preprint.
  2. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016. T.E.J. Vos, S. Eldh and W. Prasetya, editors. 2016.
    Links: bib, preprint, DOI.
  3. Proceedings of the Computer Science Education Research Conference 2016, CSERC 2016, Pretoria, South Africa, July 4-6, 2016. V. Pieterse and M.C.J.D. van Eekelen, editors. 2016.
    Links: bib, preprint, DOI.
  4. Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers. M.C.J.D. van Eekelen and U. Lago, editors. Lecture Notes in Computer Science 9964, 2016.
    Links: bib, preprint, DOI.
  5. Games and Learning Alliance - 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings. R. Bottino, J. Jeuring and R.C. Veltkamp, editors. Lecture Notes in Computer Science 10056, 2016.
    Links: bib, preprint, DOI.
  6. Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France and University of Maryland College Park, USA, 2nd June 2015 and 7th June 2016. J. Jeuring and J. McCarthy, editors. EPTCS 230, 2016.
    Links: bib, preprint, DOI.
  7. Proceedings of the 11th Workshop in Primary and Secondary Computing Education, WiPSCE 2016, Münster, Germany, October 13-15, 2016. J. Vahrenhold and E. Barendsen, editors. 2016.
    Links: bib, preprint, DOI.

Journal Articles

  1. Data optimizations for constraint automata. S.T.Q. Jongmans and F. Arbab. Logical Methods in Computer Science, 12(3), 2016.
    Links: bib, preprint, DOI.
  2. A procedure for splitting data-aware processes and its application to coordination. S.T.Q. Jongmans, D. Clarke and J. Proença. Sci. Comput. Program., 115-116:47–78, 2016.
    Links: bib, preprint, DOI.
  3. Global consensus through local synchronization: A formal basis for partially-distributed coordination. S.T.Q. Jongmans and F. Arbab. Sci. Comput. Program., 115-116:199–224, 2016.
    Links: bib, preprint, DOI.
  4. Understanding disease processes by partitioned dynamic Bayesian networks. M.L.P. Bueno, A. Hommersom, P.J.F. Lucas, M. Lappenschaar and J.G.E. Janzing. Journal of Biomedical Informatics, 61:283–297, 2016.
    Links: bib, preprint, DOI.
  5. Preface. M.C.J.D. van Eekelen and K. Eder. Electr. Notes Theor. Comput. Sci., 330:1–3, 2016.
    Links: bib, preprint, DOI.
  6. A Domain Reasoner for Propositional Logic. J. Lodder, B. Heeren and J. Jeuring. J. UCS, 22(8):1097–1122, 2016.
    Links: bib, preprint.

Conference Proceedings

  1. New directions in IoT privacy using attribute-based authentication. G. Alpár, L. Batina, L. Batten, V. Moonsamy, A. Krasnova, A. Guellier and I. Natgunanathan. In Conf. Computing Frontiers. ACM, pp. 461–466, 2016.
    Links: bib.
  2. Man-in-the-middle attacks evolved... but our security models didn’t. H. Jonker, S. Mauw and R. Trujillo-Rasua. In Proc. 24th Security Protocols Workshop (SPW’16). Springer, LNCS 10368, pp. 19–25, 2016.
    Links: bib, from publisher.
  3. Man-in-the-middle attacks evolved... but our security models didn’t (Transcript of Discussion). H. Jonker. In Proc. 24th Security Protocols Workshop (SPW’16). Springer, LNCS 10368, pp. 26–34, 2016.
    Links: bib, from publisher.
  4. Branching Bisimulation Games. D. de Frutos-Escrig, J.J.A. Keiren and T.A.C. Willemse. In Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Springer, Lecture Notes in Computer Science 9688, pp. 142–157, 2016.
    Links: bib, preprint, DOI.
  5. Scheduling Games for Concurrent Systems. K. Dokter, S.T.Q. Jongmans and F. Arbab. In 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. Springer, Lecture Notes in Computer Science 9686, pp. 84–100, 2016.
    Links: bib, preprint, DOI.
  6. (Context-Sensitivity In) Reo, Revisited. S.T.Q. Jongmans. In Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10231, pp. 191–209, 2016.
    Links: bib, preprint, DOI.
  7. PrDK: Protocol Programming with Automata. S.T.Q. Jongmans and F. Arbab. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer, Lecture Notes in Computer Science 9636, pp. 547–552, 2016.
    Links: bib, preprint, DOI.
  8. Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. S. Michels, A. Hommersom and P.J.F. Lucas. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. IJCAI⁄AAAI Press, pp. 3616–3622, 2016.
    Links: bib, preprint.
  9. Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming. A. Hommersom and M.L.P. Bueno. In Proceedings of the 3rd International Workshop on Probabilistic Logic Programming co-located with 26th International Conference on Inductive Logic Programming (ILP 2016), London, UK, September 3, 2016.. CEUR-WS.org, CEUR Workshop Proceedings 1661, pp. 29–38, 2016.
    Links: bib, preprint.
  10. Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. M.L.P. Bueno, A. Hommersom, P.J.F. Lucas, S. Verwer and A. Linard. In Probabilistic Graphical Models - Eighth International Conference, PGM 2016, Lugano, Switzerland, September 6-9, 2016. Proceedings. JMLR.org, JMLR Workshop and Conference Proceedings 52, pp. 50–61, 2016.
    Links: bib, preprint.
  11. Learning Parameters of Hybrid Time Bayesian Networks. M. Liu, A. Hommersom, M. van der Heijden and P.J.F. Lucas. In Probabilistic Graphical Models - Eighth International Conference, PGM 2016, Lugano, Switzerland, September 6-9, 2016. Proceedings. JMLR.org, JMLR Workshop and Conference Proceedings 52, pp. 287–298, 2016.
    Links: bib, preprint.
  12. Mutation Operators for UML Class Diagrams. M. Granda, N. Condori-Fernández, T.E.J. Vos and O. Pastor. In Advanced Information Systems Engineering - 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Springer, Lecture Notes in Computer Science 9694, pp. 325–341, 2016.
    Links: bib, preprint, DOI.
  13. Unit testing tool competition: round four. U. Rueda, R. Just, J.P. Galeotti and T.E.J. Vos. In Proceedings of the 9th International Workshop on Search-Based Software Testing, SBST@ICSE 2016, Austin, Texas, USA, May 14-22, 2016. ACM, pp. 19–28, 2016.
    Links: bib, preprint, DOI.
  14. A Model-level Mutation Tool to Support the Assessment of the Test Case Quality. M. Granda, N. Condori-Fernández, T.E.J. Vos and O. Pastor. In Information Systems Development: Complexity in Information Systems Development - Proceedings of the 25th International Conference on Information Systems Development, ISD 2016, Katowice, Poland, August 24-26, 2016. University of Economics in Katowice ⁄ Association for Information Systems, 2016.
    Links: bib, preprint.
  15. Automated Localisation Testing in Industry with Test \^* \(_∗\). M. Martinez, A. Esparcia-Alcázar, U. Rueda, T.E.J. Vos and C. Ortega. In Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Lecture Notes in Computer Science 9976, pp. 241–248, 2016.
    Links: bib, preprint, DOI.
  16. Software Testing Innovation Alliance - the SHIP project -. T.E.J. Vos and A. Esparcia-Alcázar. In 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), Vienna, Austria, July 4-7, 2016.. CEUR-WS.org, CEUR Workshop Proceedings 1675, pp. 65–71, 2016.
    Links: bib, preprint.
  17. The Role of Internet Service Providers in Botnet Mitigation. J. Pijpker and H.P.E. Vranken. In 2016 European Intelligence and Security Informatics Conference, EISIC 2016, Uppsala, Sweden, August 17-19, 2016. IEEE Computer Society, pp. 24–31, 2016.
    Links: bib, preprint, DOI.
  18. Analyzing students’ software redesign strategies. S. Stuurman, H. Passier and E. Barendsen. In Proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli, Finland, November 24-27, 2016. ACM, pp. 110–119, 2016.
    Links: bib, preprint.
  19. User-friendly Manual Transfer of Authenticated Online Banking Transaction Data - A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme. S. Kiljan, H.P.E. Vranken and M.C.J.D. van Eekelen. In Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016) - Volume 4: SECRYPT, Lisbon, Portugal, July 26-28, 2016.. SciTePress, pp. 259–270, 2016.
    Links: bib, preprint, DOI.
  20. Maintaining Unit Tests During Refactoring. H. Passier, L. Bijlsma and C. Bockisch. In Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29 - September 2, 2016. ACM, pp. 18:1–18:6, 2016.
    Links: bib, preprint, DOI.
  21. ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects. F. Verbeek, P.M. Yaghini, A. Eghbal and N. Bagherzadeh. In 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. IEEE, pp. 1640–1645, 2016.
    Links: bib, preprint.
  22. CoBRA: Low cost compensation of TSV failures in 3D-NoC. R. Salamat, M. Ebrahimi, N. Bagherzadeh and F. Verbeek. In 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2016, Storrs, CT, USA, September 19-20, 2016. IEEE Computer Society, pp. 115–120, 2016.
    Links: bib, preprint, DOI.
  23. Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. H. Keuning, J. Jeuring and B. Heeren. In Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016. ACM, pp. 41–46, 2016.
    Links: bib, preprint, DOI.
  24. Analyzing Conceptual Content of International Informatics Curricula for Secondary Education. E. Barendsen and T. Steenvoorden. In Informatics in Schools: Improvement of Informatics Knowledge and Perception - 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Lecture Notes in Computer Science 9973, pp. 14–27, 2016.
    Links: bib, preprint, DOI.
  25. Typifying Informatics Teachers’ PCK of Designing Digital Artefacts in Dutch Upper Secondary Education. E. Rahimi, E. Barendsen and I. Henze. In Informatics in Schools: Improvement of Informatics Knowledge and Perception - 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Lecture Notes in Computer Science 9973, pp. 65–77, 2016.
    Links: bib, preprint, DOI.
  26. A New Informatics Curriculum for Secondary Education in The Netherlands. E. Barendsen, N. Grgurina and J. Tolboom. In Informatics in Schools: Improvement of Informatics Knowledge and Perception - 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Lecture Notes in Computer Science 9973, pp. 105–117, 2016.
    Links: bib, preprint, DOI.
  27. Defining and Observing Modeling and Simulation in Informatics. N. Grgurina, E. Barendsen, B. Zwaneveld, K. van Veen and C.J.M. Suhre. In Informatics in Schools: Improvement of Informatics Knowledge and Perception - 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Lecture Notes in Computer Science 9973, pp. 130–141, 2016.
    Links: bib, preprint, DOI.
  28. Designing a rubric for feedback on code quality in programming courses. M. Stegeman, E. Barendsen and S. Smetsers. In Proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli, Finland, November 24-27, 2016. ACM, pp. 160–164, 2016.
    Links: bib, preprint.

Technical Reports

  1. Corrections to A Menagerie of Timed Automata. J.J.A. Keiren, P. Fontana and R. Cleaveland. Technical report abs/1602.07165, ArXiv, 2016.
    Links: bib, preprint.
  2. Stuttering equivalence is too slow!. D.N. Jansen and J.J.A. Keiren. Technical report abs/1603.05789, ArXiv, 2016.
    Links: bib, preprint.
  3. Parity Game Reductions. S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Technical report abs/1603.06422, ArXiv, 2016.
    Links: bib, preprint.
  4. Games for Bisimulations and Abstraction. D. de Frutos-Escrig, J.J.A. Keiren and T.A.C. Willemse. Technical report abs/1611.00401, ArXiv, 2016.
    Links: bib, preprint.
  5. Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks. J. Bekker, A. Hommersom, M. Lappenschaar and J. Davis. Technical report abs/1612.03055, ArXiv, 2016.
    Links: bib, preprint.

Published in 2015

PhD Theses

  1. Design for Change. S. Stuurman. PhD thesis, Open University, Department of Computer Science, 2015.
    Links: bib, preprint.
  2. Development Environment for Rule-based Prototyping. S. Stuurman. PhD thesis, Open University, Department of Computer Science, 2015.
    Links: bib, preprint.

Books

  1. Foundations of Biomedical Knowledge Representation - Methods and Applications. A. Hommersom and P.J.F. Lucas, editors.. Springer, Lecture Notes in Computer Science 9521, 2015.
    Links: bib, preprint, DOI.

Editted Proceedings

  1. Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, A-TEST 2015, Bergamo, Italy, August 30-31, 2015. T.E.J. Vos, S. Eldh and W. Prasetya, editors. 2015.
    Links: bib, preprint, DOI.

Journal Articles

  1. Partially distributed coordination with Reo and constraint automata. S.T.Q. Jongmans, F. Santini and F. Arbab. Service Oriented Computing and Applications, 9(3-4):311–339, 2015.
    Links: bib, preprint, DOI.
  2. A new probabilistic constraint logic programming language based on a generalised distribution semantics. S. Michels, A. Hommersom, P.J.F. Lucas and M. Velikova. Artif. Intell., 228:1–44, 2015.
    Links: bib, preprint, DOI.
  3. Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks. P.J.F. Lucas and A. Hommersom. Int. J. Intell. Syst., 30(3):209–235, 2015.
    Links: bib, preprint, DOI.
  4. TESTAR: Tool Support for Test Automation at the User Interface Level. T.E.J. Vos, P.M. Kruse, N. Condori-Fernández, S. Bauersfeld and J. Wegener. IJISMD, 6(3):46–83, 2015.
    Links: bib, preprint, DOI.
  5. Derivation and inference of higher-order strictness types. S. Smetsers and M.C.J.D. van Eekelen. Computer Languages, Systems & Structures, 44:166–180, 2015.
    Links: bib, preprint, DOI.
  6. Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. O. Shkaravska, S. Rocca and M.C.J.D. van Eekelen. Sci. Comput. Program., 111:363–364, 2015.
    Links: bib, preprint, DOI.
  7. Type-changing rewriting and semantics-preserving transformation. S. Leather, J. Jeuring, A. Löh and B. Schuur. Sci. Comput. Program., 112:145–169, 2015.
    Links: bib, preprint, DOI.

Conference Proceedings

  1. FP-Block: usable web privacy by controlling browser fingerprinting. C. Torres Ferreira, H.L. Jonker and S. Mauw. In Proc. 20th European Symposium on Research in Computer Security, part II (ESORICS’15). Springer, LNCS 9327, pp. 3-19, 2015.
    Links: bib, from publisher, DOI.
  2. Location-private interstellar communication. H.L. Jonker, S. Mauw and S. Radomirović. In Proc. 23rd Security Protocols Workshop (SPW’15). Springer, LNCS 9379, pp. 105–115, 2015.
    Links: bib, from publisher, DOI.
  3. Benchmarks for Parity Games. J.J.A. Keiren. In Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers. Springer, Lecture Notes in Computer Science 9392, pp. 127–142, 2015.
    Links: bib, preprint, DOI.
  4. Take Command of Your Constraints!. S.T.Q. Jongmans and F. Arbab. In Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Springer, Lecture Notes in Computer Science 9037, pp. 117–132, 2015.
    Links: bib, preprint, DOI.
  5. Composing Constraint Automata, State-by-State. S.T.Q. Jongmans, T. Kappé and F. Arbab. In Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Lecture Notes in Computer Science 9539, pp. 217–236, 2015.
    Links: bib, preprint, DOI.
  6. Mining Hierarchical Pathology Data Using Inductive Logic Programming. T. Beéck, A. Hommersom, J. Haaren, M. van der Heijden, J. Davis, P.J.F. Lucas, L. Overbeek and I. Nagtegaal. In Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Springer, Lecture Notes in Computer Science 9105, pp. 76–85, 2015.
    Links: bib, preprint, DOI.
  7. Hybrid Time Bayesian Networks. M. Liu, A. Hommersom, M. van der Heijden and P.J.F. Lucas. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Springer, Lecture Notes in Computer Science 9161, pp. 376–386, 2015.
    Links: bib, preprint, DOI.
  8. Unit Testing Tool Competition - Round Three. U. Rueda, T.E.J. Vos and I.S.W.B. Prasetya. In 8th IEEE⁄ACM International Workshop on Search-Based Software Testing, SBST 2015, Florence, Italy, May 18-19, 2015. IEEE Computer Society, pp. 19–24, 2015.
    Links: bib, preprint, DOI.
  9. What do we know about the defect types detected in conceptual models?. M. Granda, N. Condori-Fernández, T.E.J. Vos and O. Pastor. In 9th IEEE International Conference on Research Challenges in Information Science, RCIS 2015, Athens, Greece, May 13-15, 2015. IEEE, pp. 88–99, 2015.
    Links: bib, preprint, DOI.
  10. AB=\unicode5626A: execution equivalence as a new type of testing oracle. A. Elyasov, W. Prasetya, J. Hage, U. Rueda, T.E.J. Vos and N. Condori-Fernández. In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. ACM, pp. 1559–1566, 2015.
    Links: bib, preprint, DOI.
  11. A Lightweight Method for Analysing Performance Dependencies Between Services. A. Lamers and M.C.J.D. van Eekelen. In Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers. Springer, Communications in Computer and Information Science 567, pp. 93–110, 2015.
    Links: bib, preprint, DOI.
  12. Using Dependent Types to Define Energy Augmented Semantics of Programs. B. van Gastel, R. Kersten and M.C.J.D. van Eekelen. In Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9964, pp. 20–39, 2015.
    Links: bib, preprint, DOI.
  13. Measuring Dependency Freshness in Software Systems. J. Cox, E. Bouwers, M.C.J.D. van Eekelen and J. Visser. In 37th IEEE⁄ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Computer Society, pp. 109–118, 2015.
    Links: bib, preprint, DOI.
  14. Improving Student Group Work with Collaboration Patterns: A Case Study. C. Köppe, M.C.J.D. van Eekelen and S. Hoppenbrouwers. In 37th IEEE⁄ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Computer Society, pp. 303–306, 2015.
    Links: bib, preprint, DOI.
  15. Formalizing Bialgebraic Semantics in PVS 6.0. S. Smetsers, K. Madlener and M.C.J.D. van Eekelen. In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, OASICS 46, pp. 47–61, 2015.
    Links: bib, preprint, DOI.
  16. Communicate! - A Serious Game for Communication Skills -. J. Jeuring, F. Grosfeld, B. Heeren, M. Hulsbergen, R. IJntema, V. Jonker, N. Mastenbroek, M. van der Smagt, F. Wijmans, M. Wolters and H. van Zeijts. In 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. Springer, Lecture Notes in Computer Science 9307, pp. 513–517, 2015.
    Links: bib, preprint, DOI.
  17. Formal API Specification of the PikeOS Separation Kernel. F. Verbeek, O. Havle, J. Schmaltz, S. Tverdyshev, H. Blasum, B. Langenstein, W. Stephan, B. Wolff and Y. Nemouchi. In NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer, Lecture Notes in Computer Science 9058, pp. 375–389, 2015.
    Links: bib, preprint, DOI.
  18. The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. S. de Smale, T. Overmans, J. Jeuring and L. van de Grint. In Games and Learning Alliance - 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers. Springer, Lecture Notes in Computer Science 9599, pp. 506–516, 2015.
    Links: bib, preprint, DOI.
  19. Type Class Instances for Type-Level Lambdas in Haskell. T. Alkemade and J. Jeuring. In Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers. Springer, Lecture Notes in Computer Science 9547, pp. 60–84, 2015.
    Links: bib, preprint, DOI.
  20. Concepts in K-9 Computer Science Education. E. Barendsen, L. Mannila, B. Demo, N. Grgurina, C. Izu, C. Mirolo, S. Sentance, A. Settle and G. Stupuriene. In Proceedings of the 2015 ITiCSE Working Group Reports, ITICSE-WGR 2015, Vilnius, Lithuania, July 4-8, 2015. ACM, pp. 85–116, 2015.
    Links: bib, preprint, DOI.
  21. Exploring Students’ Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study. N. Grgurina, E. Barendsen, K. van Veen, C.J.M. Suhre and B. Zwaneveld. In Proceedings of the Workshop in Primary and Secondary Computing Education, WiPSCE 2015, London, United Kingdom, November 9-11, 2015. ACM, pp. 65–68, 2015.
    Links: bib, preprint, DOI.

Book Chapters

  1. How to Read the Book "Foundations of Biomedical Knowledge Representation". P.J.F. Lucas and A. Hommersom. In Foundations of Biomedical Knowledge Representation - Methods and Applications, Springer, Lecture Notes in Computer Science 9521, pp. 3–7, 2015.
    Links: bib, preprint, DOI.
  2. An Introduction to Knowledge Representation and Reasoning in Healthcare. A. Hommersom and P.J.F. Lucas. In Foundations of Biomedical Knowledge Representation - Methods and Applications, Springer, Lecture Notes in Computer Science 9521, pp. 9–32, 2015.
    Links: bib, preprint, DOI.
  3. Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond. L. Anselma, A. Bottrighi, A. Hommersom, P. Terenziani and A. Hunter. In Foundations of Biomedical Knowledge Representation - Methods and Applications, Springer, Lecture Notes in Computer Science 9521, pp. 281–286, 2015.
    Links: bib, preprint, DOI.
  4. A Hybrid Approach to the Verification of Computer Interpretable Guidelines. L. Anselma, A. Bottrighi, L. Giordano, A. Hommersom, G. Molino, S. Montani, P. Terenziani and M. Torchio. In Foundations of Biomedical Knowledge Representation - Methods and Applications, Springer, Lecture Notes in Computer Science 9521, pp. 287–315, 2015.
    Links: bib, preprint, DOI.

Technical Reports

  1. A pilot study of the use of LogEx, lessons learned. J. Lodder, B. Heeren and J. Jeuring. Technical report abs/1507.03671, ArXiv, 2015.
    Links: bib, preprint.