print · login   

Bibtex actions:
  edit    source    raw source    raw html

2014

  1. IFL '13: Proceedings of the 25th Symposium on Implementation and Application of Functional Languages. Rinus Plasmeijer, Ralf Hinze, Pieter Koopman and Peter Achten, 2014, ACM, Nijmegen, The Netherlands.
  2. Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE'14. James Caldwell, Philip Hölzenspies and Peter Achten, Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE'14, Electronic Proceedings in Theoretical Computer Science, EPTCS, 170, 2014, http://dx.doi.org/10.4204/EPTCS.170.
  3. A. J. Mooij, J. Hooman and R. Albers. Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, J. Gibbons and W. MacCaull, Lecture Notes in Computer Science, 8315, Springer-Verlag, 170-187, 2014.
  4. A. Osaiweran, M. Schuts and J. Hooman. Experiences with incorporating formal techniques into industrial practice. Empirical Software Engineering, 19, 4, 2014, 1169-1194.
  5. Peter Achten, Jurriën Stutterheim, László Domoszlai and Rinus Plasmeijer. Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. Proceedings of the 26Nd 2014 International Symposium on Implementation and Application of Functional Languages, Sam Tobin-Hochstadt, IFL '14, 2014, 7:1-7:13, 10.1145/2746325.2746329, ACM, New York, NY, USA.
  6. D. Athanasiou, A. Nugroho, J. Visser and A. Zaidman. Test Code Quality and Its Relation to Issue Handling Performance. Software Engineering, IEEE Transactions on, 2014, Nov, 40, 11, 1100-1125, 10.1109/TSE.2014.2342227.
  7. E. Barendsen, V. Dagien\.e, M. Saeli and C. Schulte. Eliciting computer science teachers' PCK using the Content Representation format: Experiences and future directions. Local Proceedings of the 7th International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP 2014), Selected Papers, Y. Gülbahar, E. Karata\cs and M. Adnan, 71-82, 2014.
  8. E. Barendsen, P. Fisser, J. Krüger and J. Tolboom. Herziening van het Nederlandse informaticacurriculum havo-vwo. Paper presented at ORD2014, Groningen, 2014.
  9. I. Bider, K. Gaaloul, J. Krogstie, S. Nurcan, H. A. Proper, R. Schmidt and P. Soffer. Enterprise, Business-Process and Information Systems Modeling : 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Proceedings. 2014, Springer, Berlin, 175, 488.
  10. M. Bjekovic, H. A. Proper and J.-S. Sottet. Business Modeling and Software Design. B. Shishkov, Enterprise Modelling Languages, Lecture Notes in Business Information Processing; 173, 2014, Springer International Publishing, Berlin, 1-23.
  11. M. Bjekovic, H. A. Proper and J.-S. Sottet. Conceptual Modeling. E. Yu, G. Dobbie, M. Jarke and S. Purao, Embracing Pragmatics, Lecture Notes in Computer Science; 8824, 2014, Springer International Publishing, Berlin, 431-444.
  12. D. van der Linden, S.J.B.A. Hoppenbrouwers and H. Proper. On the Identification of Modeler Communities. International Journal of Information Systems Modeling and Design, 5, 2, 22-40, 2014.
  13. Giso H Dal, Walter A Kosters and Frank W Takes. Fast Diameter Computation of Large Sparse Graphs using GPUs. 22nd IEEE International Conference on Parallel, Distributed and Network-Based Processing, 632-639, 2014.
  14. C. Decosse, W. Molnar and H. A. Proper. Advances in Enterprise Engineering VIII. D. Aveiro, J. Tribolet and D. Gouveia, What Does DEMO Do? A Qualitative Analysis about DEMO in Practice: Founders, Modellers and Beneficiaries, Lecture Notes in Business Information Processing; 174, 2014, Springer International Publishing, Berlin, 16-30.
  15. Christian Dehnert, Daniel Gebler, Michele Volpato and David N. Jansen. On abstraction of probabilistic systems. 87-116, Springer, Heidelberg, 2014, Stochastic model checking: rigorous dependability analysis using model checking techniques for stochastic systems; international autumn school, ROCKS 2012, Anne Remke and Mariëlle Stoelinga, Lecture Notes in Computer Science, 8453.
  16. Dirk van der Linden, Henderik Proper and Stijn Hoppenbrouwers. Conceptual Understanding of Conceptual Modeling Concepts: a Longitudinal Study among Students Learning to Model. Advanced Information Systems Engineering Workshops. Proceedings of the CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, 178, Springer Lecture Notes in Business Information Processing.
  17. László Domoszlai, Bas Lijnse and Rinus Plasmeijer. Editlets: Type-based, Client-side Editors for iTasks. Proceedings of the 26Nd 2014 International Symposium on Implementation and Application of Functional Languages, Sam Tobin-Hochstadt, IFL '14, 2014, 6:1-6:13, 10.1145/2746325.2746331, ACM, New York, NY, USA.
  18. László Domoszlai, Bas Lijnse and Rinus Plasmeijer. Parametric Lenses: Change Notification for Bidirectional Lenses. Proceedings of the 26Nd 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, 2014, 9:1-9:11, 10.1145/2746325.2746333, ACM, New York, NY, USA.
  19. Eric Bouwers, Arie van Deursen and Joost Visser. Quantifying the Encapsulation of Implemented Software Architectures. 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014, 211-220, IEEE, 2014, 10.1109/ICSME.2014.43.
  20. Eric Bouwers, Arie van Deursen and Joost Visser. Towards a catalog format for software metrics. Steve Counsell, Michele Marchesi, Corrado Aaron Visaggio, Hongyu Zhang and Radhika Venkatasubramanyam, Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, WETSoM 2014, Hyderabad, India, June 3, 2014, 44-47, ACM, 2014, 10.1145/2593868.2593876.
  21. Eric Bouwers, Per John and Joost Visser. Monitoring Software Quality at Large Scale. ERCIM News, 2014, 99, 2014.
  22. Evelyn van Kelle, Aske Plaat, Per van der Wijst and Joost Visser. An Empirical Study into Social Success Factors for Agile Software Development. BENEVOL 2014: Software Evolution in Belgium and the Netherlands, 2014.
  23. 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, 2014, 10.1007/s10703-014-0216-x, Springer US, 1-41.
  24. F. Aarts, F. Howar, H. Kuppens and F.W. Vaandrager. Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, 202-219, 2014, T. Margaria and B. Steffen, Lecture Notes in Computer Science, 8802, Springer.
  25. F. Aarts, H. Kuppens, G.J. Tretmans, F.W. Vaandrager and S. Verwer. Improving active Mealy machine learning for protocol conformance testing. Machine Learning, Springer US, 2014, 96, 1-2, 189-224, 10.1007/s10994-013-5405-0.
  26. Fides Aarts. Tomte: Bridging the Gap between Active Learning and Real-World Systems. Dissertation, Radboud University Nijmegen, 2014.
  27. Frits W. Vaandrager and Freek Verbeek. Recreational Formal Methods: Designing Vacuum Cleaning Trajectories. Bulletin of the EATCS, 113, 2014.
  28. K. Gaaloul and E. Proper. WETICE 2014 : 2014 IEEE 23rd International WETICE Conference : Parma, Italy 23-25 June 2014 : Proceedings. J. E. Guerrero, A Modeling Approach Supporting Access Control Delegation in a Disaster Management Context, 2014, IEEE, Los Alamitos, 263-268.
  29. Georgios Kalaitzoglou, Magiel Bruntink and Joost Visser. A Practical Model for Evaluating the Energy Efficiency of Software Applications. ICT for Sustainability 2014 (ICT4S-14), Stockholm, Sweden, August 25, 2014., Atlantis Press, 2014, 10.2991/ict4s-14.2014.9.
  30. Nata\vsa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen and Idzard Stoker. Computational thinking skills in Dutch secondary education: Exploring teacher's perspective. Proceedings of the 9th Workshop in Primary and Secondary Computing Education (WiPSCE 2014), ACM, 124-125, 2014.
  31. Nata\vsa Grgurina, Erik Barendsen, Bert Zwaneveld, Klaas van Veen and Idzard Stoker. Computational thinking skills in Dutch secondary education: exploring pedagogical content knowledge. Proceedings of the 14th Koli Calling International Conference on Computing Education Research, ACM, 173-174, 2014.
  32. W. Guedria and H. A. Proper. On the Move to Meaningful Internet Systems: OTM 2014 Workshops. R. Meersman, H. Panetto, A. Mishra, R. Valencia-GarcÃa, A. Soares, I. Ciuciu, F. Ferri, G. Weichhart, T. Moser, M. Bezzi and H. Chan, The Need for Second Order Interoperation, Lecture Notes in Computer Science; 8842, 2014, Springer, Berlin, 255-264.
  33. Jácome Cunha, Jorge Mendes, João Saraiva and Joost Visser. Model-based programming environments for spreadsheets. Sci. Comput. Program., 96, 254-275, 2014, 10.1016/j.scico.2014.02.002.
  34. S. Kinderen, Q. Ma and H. A. Proper. VMBO 2014 : Eigth international workshop on Value Modelling and Business Ontology (VMBO 2014), Berlin, Germany, March 3-4, 2014. Model bundling: Towards a value-based componential approach for language engineering, 2014, VMBO 2014, Berlin, 1-9.
  35. Koen van Turnhout, Arthur Bennis, Sabine Craenmehr, Robert Holwerda, Marjolein Jacobs, Ralph Niels, Lambert Zaad, Stijn Hoppenbrouwers, Dick Lenior and Rene Bakker. Design Patterns for Mixed-Method Research in HCI. 8th Nordic Conference on Human-Computer Interaction (NordiCHI 2014), Helsinki, 26-30 Oct 2014., 2014.
  36. Pieter Koopman, Peter Achten and Rinus Plasmeijer. Model-Based Shrinking for State-Based Testing. 2014, Trends in Functional Programming, 8322, Lecture Notes in Computer Science, Jay McCarthy, 10.1007/978-3-642-45340-3_7, Springer Berlin Heidelberg, 107-124.
  37. M. Lappenschaar. New network models for the analysis of disease interaction with applications in multimorbidity. 2014, BOXPress, 30, 195.
  38. D. J. T. Linden and H. A. Proper. Modellierung 2014 : 19.-21. März 2014 Wien, \"Osterreich. H.-G. Fill, On the accommodation of conceptual distinctions in conceptual modeling languages, Lecture Notes in Informatics. Proceedings, 2014, Gesellschaft für Informatik e.V., Bonn, 17-32.
  39. M. Lappenschaar, A.J. Hommersom and P.J.F. Lucas. Qualitative Chain Graphs and their Application. 2014, Journal of Approximate Reasoning, 55, 4, 957-976.
  40. M. van der Heijden and A. Hommersom. Causal Independence Models for Continuous Time Bayesian Networks. PGM '14: Proceedings of the 7th European Workshop on Probabilistic Graphical Models, Lecture Notes in Artificial Intelligence, 8754, 503-518, 2014.
  41. M. van der Heijden, M. Velikova and P.J.F. Lucas. Learning Bayesian networks for clinical time series analysis. Journal of Biomedical Informatics, 48, , 94-105, 2014.
  42. Marina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma and Steffen Michels. An Integrated Reconfigurable System for Maritime Situational Awareness. ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 1197-1202, 2014, 10.3233/978-1-61499-419-0-1197.
  43. Steffen Michels, Marina Velikova, Bas Huijbrechts, Peter Novak, Jesper Hoeksma, Roeland Scheepens, Jan Laarhuis and Andre Bonhof. Enhancing operational work in maritime safety-and-security tasks. Proceedings of the 26th Benelux Conference on Artificial Intelligence, November 6-7 2014, Nijmegen, 2014, November, BNVKI, Johan Kwisthout and Frank Grootjen.
  44. D. Oldenhave and S. J. B. A. Hoppenbrouwers. Gamification : Requirements Engineering als een Spel. DREAMagazine, 2014, 2014, September, 4-7.
  45. P. Fiter\uau-Bro\cstean, R. Janssen and F.W. Vaandrager. Learning Fragments of the TCP Network Protocol. 2014, September, Proceedings 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14), \rm Florence, Italy, Springer, Lecture Notes in Computer Science, 78-93, 8718, Frédéric Lang and Francesco Flammini.
  46. G. Plataniotis, S. Kinderen and H. A. Proper. EA Anamnesis : An Approach for Decision Making Analysis in Enterprise Architecture. International Journal of Information Systems Modeling and Design, 2014, 5, 3, 1-21, 10.4018/ijismd.2014070104.
  47. G. Plataniotis, S. Kinderen and H. A. Proper. The Practice of Enterprise Modeling. U. Frank, P. Loucopoulos, Ã\^a€œ Pastor and I. Petrounias, Capturing Design Rationales in Enterprise Architecture: A Case Study, Lecture Notes in Business Information Processing; 197, 2014, Springer, Berlin, 133-147.
  48. H. A. Proper. Enterprise Information Systems : 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers. S. Hammoudi, Enterprise Architecture - Informed steering of enterprises in motion, Lecture Notes in Business Information Processing; 190, 2014, Springer International Publishing, Berlin, 16-34.
  49. R. Smetsers, M. Volpato, F.W. Vaandrager and S. Verwer. Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, Kyoto, Japan, September 17-19, 2014., 167-181, 2014, A. Clark, M. Kanazawa and R. Yoshinaka, JMLR Proceedings, 34, JMLR.org.
  50. Steven Raemaekers, Arie van Deursen and Joost Visser. Semantic Versioning versus Breaking Changes: A Study of the Maven Repository. Source Code Analysis and Manipulation (SCAM), 2014 IEEE 14th International Working Conference on, 2014, Sept, 215-224, 10.1109/SCAM.2014.30.
  51. R. Rahmadi, P. Groot and T. Heskes. Stable Specification Searches in Structural Equation Modeling Using a Multi-objective Evolutionary Algorithm. Seminar Nasional Aplikasi Teknologi Informasi, 2014, 2014, H-15 - H-20.
  52. E. S. Sokolova, P. Groot, T. Claassen and T. Heskes. Probabilistic Graphical Models : 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings. L. van der Gaag and A. Feelders, Causal Discovery from Databases with Discrete and Continuous Variables, Lecture Notes in Computer Science; 8754, 2014, Springer International Publishing, Berlin, 442-457.
  53. Steffen Michels, Arjen Hommersom, Peter J. F. Lucas and Marina Velikova. Imprecise Probabilistic Horn Clause Logic. ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 621-626, 2014, 10.3233/978-1-61499-419-0-621.
  54. Martijn Stegeman, Erik Barendsen and Sjaak Smetsers. Towards an empirically validated model for assessment of code quality. Proceedings of the 14th Koli Calling International Conference on Computing Education Research, ACM, 99-108, 2014.
  55. Jurriën Stutterheim, Rinus Plasmeijer and Peter Achten. Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. Trends in Functional Programming, 2014, Jurriaan Hage and Jay McCarthy, 10.1007/978-3-319-14675-1_8, 8843, 122-141, Lecture Notes in Computer Science, Springer Berlin Heidelberg.
  56. Th.E. Schouten and E.L. van den Broek. Fast Exact Euclidean Distance (FEED): A New Class of Adaptable Distance Transforms. IEEE transactions on pattern analysis and machine intelligence, 2014, 14, impact=4.800, 36, 11, November, 2159-2172, 10.1109/TPAMI.2014.25.
  57. D. Van der Linden and H. A. Proper. Enterprise, Business-Process and Information Systems Modeling. I. Bider, K. Gaaloul, J. Krogstie, S. Nurcan, H. Proper, R. Schmidt and P. Soffer, Category Structure of Language Types Common to Conceptual Modeling Languages, Lecture Notes in Business Information Processing; 175, 2014, Springer, Berlin, 317-331.
  58. M. V. Velikova, J. T. van Scheltinga, P. J. F. Lucas and M. Spaanderman. Exploiting causal functional relationships in Bayesian network modelling for personalised healthcare. International Journal of Approximate Reasoning, 2014, 55, 1, 59-73, 10.1016/j.ijar.2013.03.016.
  59. Michele Volpato and Jan Tretmans. Active Learning of Nondeterministic Systems from an ioco Perspective. 2014, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 8802, Lecture Notes in Computer Science, Tiziana Margaria and Bernhard Steffen, 10.1007/978-3-662-45234-9_16, Springer Berlin Heidelberg, 220-235.
  60. Z. Zarwin, M. Bjekovic, M. Favre, J.-S. Sottet and H. A. Proper. Natural Modelling. Journal of Object Technology, 2014, 13, 3, 4(1)-4(35), 10.5381/jot.2014.13.3.a4.
  61. Jurriaan van Diggelen, Wilfried Post, Marleen Rakhorst, Rinus Plasmeijer and Wessel Van Staal. Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels. Proceedings of the 10th International Conference on Active Media Technology, AMT 2014, Warsaw, Poland, August 11-14, 2014, Springer, 442-452, 2014.