print · login   

Bibtex actions:
  edit    source    raw source    raw html

2015

  1. A. Schubert, W. Dekkers and H. Barendregt. Automata theoretic account of proof search. 24th EACSL Annual Conference on Computer Science Logic, 2015, S. Kreutzer, 41, Leibniz International Proceedings in Informatics, 128-143, Dagstuhl Online Publication Service.
  2. Peter Achten, Pieter Koopman and Rinus Plasmeijer. An Introduction to Task Oriented Programming. 2015, Central European Functional Programming School, Revised Selected Papers 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, 8606, Lecture Notes in Computer Science, Viktória Zsók, Zoltán Horváth and Lehel Csató, 10.1007/978-3-319-15940-9_5, Springer International Publishing, 187-245.
  3. E. Barendsen. Informatica-onderwijs op de schop: Pleidooien voor verandering. Van Twaalf tot Achttien, 6, 6-8, 25, 2015.
  4. E. Barendsen and I. Henze. Teacher Knowledge and Student Attitudes in Context-Based Science Education. Paper presented at NARST 2015, Chicago, IL, 2015.
  5. Erik Barendsen, Linda Mannila, B. Demo, N. Grgurina, C. Izu, C. Mirolo, S. Sentance, A. Settle and G. Stupurien\.e. Concepts in K-9 Computer Science Education. ITiCSE'15, ACM Digital Library, 2015.
  6. Martin P Boerman, Zeeger Lubsen, Damian A Tamburri and Joost Visser. Measuring and monitoring agile development status. Proceedings of the Sixth International Workshop on Emerging Trends in Software Metrics, 54-62, 2015, IEEE Press.
  7. Mircea Cadariu, Eric Bouwers, Joost Visser and Arie van Deursen. Tracking known security vulnerabilities in proprietary software systems. Software Analysis, Evolution and Reengineering (SANER), 2015 IEEE 22nd International Conference on, 516-519, 2015, IEEE.
  8. Davide Ceolin, Till Döhmen and Joost Visser. Refining Software Quality Prediction with LOD. 11th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2015), 50, 2015.
  9. J. Cox, E. Bouwers, Marko van Eekelen and J. Visser. Measuring Dependency Freshness in Software Systems. A. Bertolino, ICSE 2015 : 2015 IEEE/ACM 37th International Conference on Software Engineering, 16-24 May 2015, Florence, Italy. Proceedings, 2015, IEEE, Los Alamitos, 2, 109-118.
  10. F. Aarts, B. Jonsson, J. Uijen and F.W. Vaandrager. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. Formal Methods in System Design, 2015, 10.1007/s10703-014-0216-x, Springer US, 46, 1, 1-41.
  11. Fides Aarts, Paul Fiter\uau-Bro\cstean, Harco Kuppens and Frits W. Vaandrager. Learning Register Automata with Fresh Value Generation. Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 165-183, 2015, 10.1007/978-3-319-25150-9_11, Martin Leucker, Camilo Rueda and Frank D. Valencia, Lecture Notes in Computer Science, 9399, Springer.
  12. Nata\vsa Grgurina, Erik Barendsen, Klaas Van Veen, C. Suhre and Bert Zwaneveld. Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study. WiPSCE 2015 Proceedings, ACM, 2015.
  13. A. Hommersom and P. J. F. Lucas. Foundations of Biomedical Knowledge Representation : Methods and Applications. 2015, Springer, Berlin, XIV, 362-362.
  14. S. Hoppenbrouwers, U. van Heesch and C. Koppe. REFSQ-JP 2015 : REFSQ Workshops, Research Method Track, and Poster Track, Joint Proceedings of REFSQ-2015 Workshops, Research Method Track, and Poster Track co-located with the 21st International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2015) Essen, Germany, March 23, 2015. R. Matulevicius, Using Work Agreements as Operation-time System Requirements for Emergent Work Community Support Systems, CEUR Workshop Proceedings; 1342, 2015, CEUR, S.l., 19-24.
  15. Bas Huijbrechts, Marina Velikova, Steffen Michels and Roeland Scheepens. Metis: an integrated reference architecture for addressing uncertainty in decision-support systems. Procedia Computer Science, 44, 476-485, 2015, Elsevier.
  16. Erik Jagroep, Jan Martijn EM van der Werf, Slinger Jansen, Miguel Ferreira and Joost Visser. Profiling energy profilers. Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2198-2203, 2015, ACM.
  17. Jens Knodel, Matthias Naab, Eric Bouwers and Joost Visser. Software Risk Management in Practice: Shed Light on Your Software Product. Software Analysis, Evolution and Reengineering (SANER), 2015 IEEE 22nd International Conference on, 592-594, 2015, IEEE.
  18. C. Koppe, M. van Eekelen and S. Hoppenbrouwers. Improving Student Group Work with Collaboration Patterns: A Case Study. P. Kellenberger, ICSE 2015 : 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 16-24 May, 2015, Firenze, Italy. Proceedings, 2015, IEEE, Los Alamitos, 2, 303-306.
  19. M. Schuts and J. Hooman. Using Domain Specific Languages to Improve the Development of a Power Control Unit. 781-788, Proc. 2015 Federated Conference on Computer Science and Information Systems, 2015, IEEE, 5, Annals of Computer Science and Information Systems.
  20. M. van der Heijden, M. Velikova and P.J.F. Lucas. Supporting active patient self-care. Information Technology for Patient Empowerment in Healthcare, M.A. Grando, R. Rozenblum and D.W. Bates, de Gruyter, 227-240, 2015.
  21. Christos Makris, Pantelis Vikatos and Joost Visser. Classification model for predicting cost slippage in governmental ICT projects. Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1238-1241, 2015, ACM.
  22. Manxia Liu, Arjen Hommersom, Maarten van der Heijden and Peter J. F. Lucas. Hybrid Time Bayesian Networks. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, 376-386, 2015, 10.1007/978-3-319-20807-7_34.
  23. Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu and Zongyuan Yang. Multiphase until formulas over Markov reward models: An algebraic approach. Theor. Comput. Sci., 611, 116-135, 2015, 10.1016/j.tcs.2015.07.047.
  24. A.J. Mooij, G. Eggen, J. Hooman and H. van Wezep. Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. Theory and Practice of Model Transformations (ICMT 2015), D. Kolovos and M. Wimmer, 9152, Lecture Notes in Computer Science, 66-81, Springer International Publishing, 2015.
  25. A. Osaiweran, M. Schuts, J. Hooman, J.F. Groote and B. van Rijnsoever. Evaluating the effect of a lightweight formal technique in industry. International Journal on Software Tools for Technology Transfer (STTT), Springer Berlin Heidelberg, 1-16, 2015.
  26. Peter J. F. Lucas and Arjen Hommersom. Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks. International Journal of Intelligent Systems, 30, 3, 209-235, 2015, 10.1002/int.21698.
  27. G. Plataniotis, S. Kinderen and H. Proper. Traceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective. C. Rolland, IEEE RCIS 2015 : 9th International Conference on Research Challenges in Information Science, May 13-15, 2015, Athens, Greece, 2015, IEEE, S.l., 518-519.
  28. G. Plataniotis, S. Kinderen, M. Qin and E. Proper. A Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions. A. Caetano, IEEE CBI : 17th Conference on Business Informatics, 13-16 July 2015, Lisbon, Portugal. Proceedings, 2015, IEEE, Los Alamitos, 2 : Worksh, 191-198.
  29. Roeland Scheepens, Steffen Michels, Huub van de Wetering and Jarke J. van Wijk. Rationale Visualization for Safety and Security. Comput. Graph. Forum, 34, 3, 191-200, 2015, 10.1111/cgf.12631.
  30. M. Schuts and J. Hooman. Formal Modelling in the Concept Phase of Product Development. Proc. Conf. on Software Engineering Research & Practice (SERP 2015), WORLDCOMP'15, 3-9, CSREA Press, USA, 2015.
  31. M. Schuts and J. Hooman. Formalizing the Concept Phase of Product Development. FM 2015: Formal Methods, N. Bjoerner and F. de Boer, 9109, Lecture Notes in Computer Science, 605-608, Springer International Publishing, 2015.
  32. Steffen Michels, Arjen Hommersom, Peter J. F. Lucas and Marina Velikova. A new probabilistic constraint logic programming language based on a generalised distribution semantics. Artif. Intell., 228, 1-44, 2015, 10.1016/j.artint.2015.06.008.
  33. B. Theelen and J. Hooman. Uniting Academic Achievements on Performance Analysis with Industrial Needs. 12th Int. Conf. on Quantitative Evaluation of Systems (QEST 2015), J. Campos and B. R. Haverkort, 9259, Lecture Notes in Computer Science, 3-18, Springer International Publishing, 2015.
  34. Tim Op De Beéck, Arjen Hommersom, Jan Van Haaren, Maarten van der Heijden, Jesse Davis, Peter J. F. Lucas, Lucy Overbeek and Iris Nagtegaal. Mining Hierarchical Pathology Data Using Inductive Logic Programming. Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, 76-85, 2015, 10.1007/978-3-319-19551-3_9.
  35. E. Van Kelle, P. van der Wijst, A. Plaat and J. Visser. An Empirical Study into Social Success Factors for Agile Software Development. Cooperative and Human Aspects of Software Engineering (CHASE), 2015 IEEE/ACM 8th International Workshop on, 2015, 77-80, 10.1109/CHASE.2015.24, May.
  36. Marina Velikova, Peter JF Lucas and Maarten van der Heijden. Intelligent Disease Self-Management with Mobile Technology. Computer, 2, 32-39, 2015, IEEE, 10.1109/MC.2015.48.
  37. J. Visser. iBestuur online. Voorbij Elias en de schuldvraag : Data, duiding en durf, 2015, iBestuur.
  38. Michele Volpato and Jan Tretmans. Approximate Active Learning of Nondeterministic Input Output Transition Systems. Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, Electronic Communications of the EASST, 72, Gudmund Grov and Andrew Ireland, AVoCS 2015, 2015, 10.14279/tuj.eceasst.72.1008.
  39. Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager and David N. Jansen. Applying Automata Learning to Embedded Control Software. Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, 67-83, 2015, 10.1007/978-3-319-25423-4_5, Michael Butler, Sylvain Conchon and Fatiha Za\"\idi, Lecture Notes in Computer Science, 9407, Springer.
  40. J. P. Zwart, M. Engelbart and S. Hoppenbrouwers. Fact Oriented Modeling with FCO-IM: Capturing Business Semantics in Data Models with Fully Communication Oriented Information Modeling. 2015, Technics Publications, Basking Ridge, 371.
  41. T. van Dijk, E. Hahn, D. N. Jansen, Y. Li, T. Neele, M. Stoelinga, A. Turrini and L. Zhang. Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. X. Li, Z. Liu and W. Yi, A Comparative Study of BDD Packages for\^A Probabilistic Symbolic Model Checking, Lecture Notes in Computer Science; 9409, 2015, Springer International Publishing, Berlin, 35-51.
  42. F. van den Berg, J. Hooman, A. Hartmanns, B.R. Haverkort and A. Remke. Computing Response Time Distributions Using Iterative Probabilistic Model Checking. 12th Workshop on Computer Performance Engineering (EPEW 2015), M. Beltrán, W. Knottenbelt and J. Bradley, 9272, Lecture Notes in Computer Science, 208-224, Springer International Publishing, 2015.
  43. D. J. T. van der Linden. Personal semantics of meta-concepts in conceptual modeling languages. 2015, s.n., 2015-01, 235.

2014

  1. Pieter Koopman, Rinus Plasmeijer and Jan Martin Jansen. Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. Proceedings of the 26Nd 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, 2014, 4:1-4:12, 10.1145/2746325.2746330, ACM, New York, NY, USA.