print · login   

Bibtex actions:
  edit    source    raw source    raw html

2008

  1. 3^th Workshop on Advances in Model-Based Testing - A-MOST 2008; part of the IEEE Int.\ Conf.\ on Software Testing, Verification, and Validation - Workshops. 2008, L. Frantzen, M.G. Merayo and M. Núñez, IEEE CS Digital Library, http://dx.doi.org/10.1109/ICSTW.2008.32.
  2. Computer-based Clinical Guidelines and Protocols: a Primer and Current Trends. IOS Press, Amsterdam, 2008, A. ten Teije, S. Miksch and P. J. F. Lucas.
  3. Proceedings of International Workshop on Regulation Modelling and Deployment (ReMoD08), held in conjunction with CAiSE 2008. 2008, J. Vanthienen, S.J.B.A. Hoppenbrouwers and R. Laleau, CEUR Workshop Proceedings, Montpellier, France, June 17, 342.
  4. Selected Lectures of the 2nd CEFP '07. Springer, 2008, Z. Horváth, M. J. Plasmeijer, A. Soós and Zsók, V., 5161, LNCS.
  5. A. J. Hommersom, P. J. F. Lucas and P. van Bommel. Checking the quality of clinical guidelines using automated reasoning tools. Theory and Practice of Logic Programming, 2008, 8, 611-641, 5, 10.1017/S1471068408003451.
  6. A. J. Hommersom and P. J. F. Lucas. Actions with failures in interval temporal logic. Computational Logic in Multi-Agent Systems, 8th International Workshop CLIMA VIII, Revised Selected and Invited Papers, LNAI 3900, 2008, F. Sadri and K. Satoh, 22-41, Springer-Verlag, Heidelberg, 10.1007/978-3-540-88833-8_2.
  7. P. M. Achten. Teaching functional programming with Soccer-Fun. Proceedings of the 1st workshop on functional and declarative programming in education, FDPE'08, 2008, Frank Huch and Adam Parkin, 61-72, Victoria, BC, Canada, September  21,, ACM Press.
  8. P. M. Achten, M. C. J. D. van Eekelen, M. J. de Mol and M. J. Plasmeijer. A common Arrow based semantics for GEC and iData applications. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , 2008, ICIS-R08023, December.
  9. P. M. Achten, P. W. M. Koopman and M. Morazán. Proceedings of the 9th Symposium on Trends in Functional Programming, TFP '08. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , 2008, ICIS-R08007, 26-28,  May.
  10. A. Bertolino, G. De Angelis, L. Frantzen and A. Polini. Model-Based Generation of Testbeds for Web Services. K. Suzuki, T. Higashino, A. Ulrich and T Hasegawa, Testing of Software and Communicating Systems - TESTCOM/FATES 2008, 2008, LNCS, 5047, 266-282, Springer-Verlag, http://dx.doi.org/10.1007/978-3-540-68524-1_19.
  11. P. van Bommel, S. B. J. A. Hoppenbrouwers, H. A. Proper and J. Roelofs. Concepts and strategies for quality of modeling. Innovations in information systems modeling: methods and best practices, Information Science Reference, 2008, T. Halpin, J. Krogstie and H. A. Proper, Advances in database research (ADR) series, 167-189, Hershey, PA, online gecontroleerd door David Jansen 6 januari 2009.
  12. C. Bielza, J. A. Fernández del Pozo and P. J. F. Lucas. Explanation of clinical decisions through the extraction of regularity patterns. Journal of Decision Support Systems, 2008, 44, 397-408, 10.1016/j.dss.2007.05.002.
  13. D. Borrione, A. Helmy, L. Pierre and J. Schmaltz. Executable Formal Specification and Validation of NoCs Communication Infrastructures. Twenty-first Symposium on Integrated Circuits and System Design (SBCCI'08), 2008, 176-181, ACM.
  14. E. Brinksma and J. Hooman. Dependability for high-tech systems: an industry-as-laboratory approach. Design, Automation & Test in Europe (DATE08), 2008, 1226-1231, European Design and Automation Association (EDAA).
  15. E.A.J.A. Rouwette and S.J.B.A. Hoppenbrouwers. Collaborative systems modeling and group model building: a useful combination?. Proceedings of the 26th International Conference of the System Dynamics Society, Athens, Greece, 2008, B.C. Dangerfield, 1(15), System Dynamics Society.
  16. I. Flesch. On the Use of Independence Relations in Bayesian Networks. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2008.
  17. G. Igna, V. Kannan, Y. Yang, T. Basten, M. Geilen, F. W. Vaandrager, M. Voorhoeve, S. de Smet and L. J. Somers. Formal Modeling and Scheduling of Datapaths of Digital Document Printers. Formal Modeling and Analysis of Timed Systems (FORMATS)2008, 170-187, 2008, Springer, Berlin-Heidelberg, LNCS, 5215.
  18. M. A. J. van Gerven, B. G. Taal and P. J. F. Lucas. Dynamic Bayesian networks as prognostic models for clinical patient management. Journal of Biomedical Informatics, 2008, 41, 515-529, 10.1016/j.jbi.2008.01.006.
  19. M. A. J. van Gerven, P. J. F. Lucas and Th. P. van der Weide. A generic qualitative characterization of causal independence models. International Journal of Approximate Reasoning, 2008, 48, 214-236, 10.1016/j.ijar.2007.08.012.
  20. A. J. de Groot. Practical Automaton Proofs in PVS. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands, 2008, March  6, IPA dissertation series.
  21. P.C. Groot, A.J. Hommersom and P.J.F. Lucas. Adaptation of Clinical Practice Guidelines. Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 121-139, IOS Press, 2008, A ten Teije, S. Miksch and P.J.F. Lucas, 139, 7, Studies in Health Technology and Informatics, 10.3233/978-1-58603-873-1-121.
  22. A. J. Hommersom. On the Application of Formal Methods to Clinical Guidelines. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2008.
  23. A.J. Hommersom, P.C. Groot, M. Balser and P.J.F. Lucas. Formal Methods for Verification of Clinical Practice Guidelines. Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 63-80, IOS Press, 2008, A ten Teije, S. Miksch and P.J.F. Lucas, 139, 4, Studies in Health Technology and Informatics, 10.3233/978-1-58603-873-1-63.
  24. A.J. Hommersom, P.C. Groot, P.J.F. Lucas, M. Marcos and B. Mart\'inez-Salvador. A Constraint-based Approach to Medical Guidelines and Protocols. Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 213-222, IOS Press, 2008, A ten Teije, S. Miksch and P.J.F. Lucas, 139, Studies in Health Technology and Informatics, 10.3233/978-1-58603-873-1-213.
  25. J. Hooman, H. Kugler, I. Ober, A. Votintseva and Y. Yushtein. Supporting UML-based Development of Embedded Systems by Formal Techniques. Software and Systems Modeling, 2008, 7, 2, 131-155.
  26. S. J. B. A. Hoppenbrouwers, P. van Bommel and Jarvinen, A.. Method engineering as game design - an emerging HCI perspective on methods and CASE tools. Proceedings the Thirteenth International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2008), held in conjunction with CAISE 2008, T. Halpin, H.A. Proper and J. Krogstie, 2008, 167-189, Montpellier, France, CEUR Workshop Proceedings, 337.
  27. I. Flesch and P. J. F. Lucas. Combining abduction with conflict-based diagnosis. Proceedings ECAI-2008, 2008, 807-808, IOS Press, Amsterdam.
  28. I. Flesch and P. J. F. Lucas. Comparing GDE and Conflict-based Diagnosis. Proceedings of the Workshop on Model-based Systems, 2008, 1-6, 22nd July, ECAI-2008.
  29. I. Flesch and P. J. F. Lucas. The Probabilistic Interpretation of Model-based Diagnosis. Proceedings of PGM 2008, 2008, 113-120, 17th-19th September.
  30. J. Berendsen and F. W. Vaandrager. Compositional Abstraction in Real-Time Model Checking. Formal Modeling and Analysis of Timed Systems (FORMATS)2008, Springer, Berlin-Heidelberg, 2008, LNCS, 5215, 233-249.
  31. J. Hooman and T. Hendriks. Model-Based Run-Time Error Detection. Models in Software Engineering, Workshops and Symposia at MoDELS 2007, 2008, 225-236, LNCS 5002, Springer.
  32. J. Schmaltz and D. Borrione. A functional formalization of on chip communications. Formal Aspects of Computing, 2008, 20, 241-258, 3, May, Springer.
  33. D. N. Jansen, J.-P. Katoen, M. Oldenkamp, Stoelinga, M. I. A. and I. Zapreev. How fast and fat is your probabilistic model checker? An experimental performance comparison. Hardware and software, verification and testing: \ldots HVC, 2008, Karen Yorav, 4899, LNCS, 69-85, Berlin, Springer, gecontroleerd 24-10-2008.
  34. J. M. Jansen, P. W. M. Koopman and M. J. Plasmeijer. From interpretation to compilation. Proceedings of the 2nd Central European Functional Programming School, CEFP '07, 2008, Z. Horváth, 5161, LNCS, 286-301, Cluj Napoca, Romania, 23-30,  June, Springer-Verlag.
  35. J. M. Jansen, P. W. M. Koopman and M. J. Plasmeijer. iEditors: extending iTask with interactive plug-ins. Proceedings of the 20th international symposium on the implementation and application of functional languages, IFL'08, 2008, Sven-Bodo Scholz, 170-186, Hertfordshire, UK, September  10-12,, University of Hertfordshire, to appear in LNCS.
  36. Jan Martin Jansen, Pieter Koopman and Rinus Plasmeijer. Web based dynamic workflow systems and applications in the military domain. Netherlands Annual Review of Military Studies - Sensors, Weapons, C4I and Operations Research, Theo Hupkens and Herman Monsuur, 2008, 43-59.
  37. P. W. M. Koopman, P. M. Achten and M. J. Plasmeijer. Model-based testing of thin-client web applications and navigation input. Practical aspects of declarative programming: 10th international symposium, PADL'08; San Francisco, CA, USA, January 7-8, 2008; proceedings, 2008, P. Hudak and D. Warren, 4902, LNCS, 299-315, Berlin, Springer.
  38. P. W. M. Koopman, P. M. Achten and M. J. Plasmeijer. Testing and validating the quality of specifications. Proceedings of the 4th workshop on advances in model based testing, A-MOST'08, 2008, L. Frantzen, M. Merayo and M. Núñez, 41-52, Lillehammer, Norway, April  9-11,, IEEE.
  39. P. W. M. Koopman, P. M. Achten and M. J. Plasmeijer. Validating specifications for model-based testing. Proceedings of the International Conference on Software Research and Practice, SERP '08, 2008, Hamid Arabnia and Hassan Reza, 231-237, Las Vegas, NV, USA, 14-17,  July, CSREA Press.
  40. P. W. M. Koopman, M. J. Plasmeijer and P. M. Achten. An executable and testable semantics for iTasks. Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL '08, 2008, Sven-Bodo Scholz, LNCS, 53-64, Hertfordshire, UK, 10-12,  September, University of Hertfordshire, to appear in LNCS.
  41. P. W. M. Koopman, M. J. Plasmeijer and D. Swierstra. Proceedings of the 6th International Summer School on Advanced Functional Programming, AFP '08. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , 2008, ICIS-R08008, 19-24,  May.
  42. B. Lijnse and M. J. Plasmeijer. Between types and tables - Using generic programming for automated mapping between data types and relational databases. Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL '08, 2008, Sven-Bodo Scholz, to appear in LNCS, 115-130, Hatfield, Hertfordshire, UK, 10-12,  September, Technical Report No. 474.
  43. M. Emmerich, A. Zhang, R. Li, I. Flesch and P. J. F. Lucas. Mixed-integer Bayesian optimization utilizing a-priori knowledge on parameter dependences. Proceedings of BNAIC-2008, 2008, A. Nijholt et al, 65-72.
  44. M. Velikova, P. J. F. Lucas, N. Ferreira, M. Samulski and N. Karssemeijer. A decision support system for breast cancer detection in screening programs. Proceedings ECAI-2008, 2008, 658-662, IOS Press, Amsterdam, 10.3233/978-1-58603-891-5-658.
  45. M. Velikova, M. Samulski, N. Karssemeijer and P. J. F. Lucas. Towards expert knowledge representation for automatic breast cancer detection. Proceedings Artificial Intelligence: Methodology, Systems, and Applications (AIMSA) 2008, LNCS 5253, 2008, 333-344, Springer-Verlag, Heidelberg, 10.1007/978-3-540-85776-1_28.
  46. M.W. van Roosmalen and S.J.B.A. Hoppenbrouwers. Supporting Corporate Governance with Enterprise Architecture and Business Rule Management: A Synthesis of Stability and Agility. Proceedings of Workshop on Regulations Modeling and Deployment (ReMoD'08), held in conjunction with the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), 2008, J. Vanthienen, S.J.B.A. Hoppenbrouwers, R. Leleau, CEUR Workshop Proceedings, 342, 13-24.
  47. M. J. de Mol, M. C. J. D. van Eekelen and M. J. Plasmeijer. A single-step term-graph reduction system for proof assistants. Selected Papers of the 3rd International Workshop and Symposium on Graph Transformations with Industrial Relevance, AGTIVE '07, 2008, Andy Schürr, Manfred Nagl and Albert Zündorf, 5088, LNCS, 184-200, Springer-Verlag.
  48. M. J. de Mol, M. C. J. D. van Eekelen and M. J. Plasmeijer. Proving properties of lazy functional programs with Sparkle. Selected Lectures of the 2nd Central European Functional Programming School, CEFP '07, 2008, Z. Horváth, 5161, LNCS, 41-86, Cluj-Napoca, Romania, 23-30,  June, Springer-Verlag.
  49. N. Ferreira, A. J. Hommersom and P. J. F. Lucas. From Probabilistic Logic to Chain Logic. Proceedings BNAIC-2008, 2008, A. Nijholt et al, 73-80, \textbfBest paper award.
  50. J Ngubiri and M van Vliet. Co-allocation with Communication Considerations in Multi-cluster Systems. 2008, LNCS, 5168, 243-252, Springer, Berlin-Heidelberg, Proceedings of Euro-Par 2008 - Parallel Processing.
  51. J. Ngubiri. Job-wise performance analysis of multi-cluster scheduling policies. Institute for Computing and Information Sciences, 2008.
  52. J. Ngubiri and M. van Vliet. Co cluster Systems. 2008, H. Burkhart, Proceedings of the 26th IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN08), ACTA Press, Calgary, AB, Canada.
  53. J. Ngubiri and M. van Vliet. Fairness in Multi assumptions on metric suitability. 2008, Kampala, Uganda, 4th International Conference in Computing and ICT Research (SREC08), Makerere University.
  54. T. R. van Noort, A. Rodriguez, S. Holdermans, Jeuring, J. and B. Heeren. A lightweight approach to datatype-generic rewriting. Proceedings of the 8th workshop on generic programming, WGP'08, 2008, R. Hinze and D. Syme, 13-24, Victoria, BC, Canada, September  20,, ACM Press.
  55. M. Op 't Land, H.A. Proper, M. Waage, J. Cloo and C. Steghuis. Enterprise Architecture - Creating Value by Informed Governance. Berlin, Germany, EU, Enterprise Architecture - Creating Value by Informed Governance, Springer, 2008.
  56. S. J. Overbeek, P. van Bommel and H. A. Proper. Information Systems Engineering supported by Cognitive Matchmaking. 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, Montpellier, France, June 16 - 20, 2008, Proceedings, 2008, Z. Bellahs\`ene and M. Léonard, 5074, LNCS, 495-509, Montpellier, France, Springer, Berlin, Germany.
  57. S. J. Overbeek, P. van Bommel and H. A. Proper. Systeem voor cognitieve afstemming. Ego, 2008, 7, 19-21, 3.
  58. S. J. Overbeek, P. van Bommel, H. A. Proper and Rijsenbrij, D. B. B.. Foundations and applications of intelligent knowledge exchange. The Handbook of Research on Virtual Workplaces and the New Nature of Business Practices, IGI publishing, 2008, P. Zemliansky and K. St-Amant, 5, 53-69, USA.
  59. S. J. Overbeek, P. van Bommel and H. A. Proper. Bridging Supply and Demand for Knowledge Intensive Tasks. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2008, ICIS-R08010, May.
  60. S. J. Overbeek, P. van Bommel and H. A. Proper. Embedding Knowledge Exchange and Cognitive Matchmaking in a Dichotomy of Markets. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2008, ICIS-R08003, February.
  61. S. J. Overbeek, P. van Bommel and H. A. Proper. Matching Cognitive Characteristics of Actors and Tasks in Information Systems Engineering. Knowledge-Based Systems, 2008, 21, 764-785, 8, doi:10.1016/j.knosys.2008.03.032.
  62. M. J. Plasmeijer, P. M. Achten, P. W. M. Koopman, Lijnse, Bas and T. R. van Noort. Specifying interactive work flows for the web. Proceedings of the 6th International Summer School on Advanced Functional Programming, AFP '08, 2008, to appear in LNCS, Center Parcs ``Het Heijderbos", The Netherlands, 19-24,  May, Technical Report, ICIS-R08008.
  63. M. J. Plasmeijer, J. M. Jansen, P. W. M. Koopman and Achten, P. M.. Declarative Ajax and client side evaluation of workflows using iTasks. Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming, PPDP '08, 2008, 56-66, Valencia, Spain, 15-17,  July.
  64. R. Hamberg and F.W. Vaandrager. Using Model Checkers in an Introductory Course on Operating Systems. Operating Systems Review, 2008, 42, 101-111, 6, October, http://doi.acm.org/10.1145/1453775.1453793.
  65. S. J. B. A. Hoppenbrouwers. Community-Based ICT Development as a Multi-Player Game. What is an organization? Materiality, agency, and discourse: a tribute to the work of James R. Taylor, 2008, C. Benoit-Barné, B.H. Brummans, F. Cooren, H. Giroux, A. Létourneau, D. Raymond and D. Robichaud, University of Montreal.
  66. K. Goebel S. Uckun and P. J. F. Lucas. Standardizing research methods for prognostics. Proceedings International Conference on Prognostics and Health Management, 2008, IEEE CFP08PHM-CDR, 10.1109/PHM.2008.4711437.
  67. S. Visscher, C. Schurink, W.G. Melsen, P. J. F. Lucas and M. Bonten. Effects of systemic antibiotic therapy on bacterial resistence in the respiratory tract of mechanically ventilated patients. Intensive Care Medicine, 2008, 34, 692-699, 10.1007/s00134-007-0984-5.
  68. S. Visscher, E. Kruisheer, C. Schurink, P. J. F. Lucas and M. Bonten. Predicting pathogens causing ventilator-associated pneumonia using a Bayesian network model. Journal of Antimicrobial Chemotherapy, 2008, 62, 184-188, 10.1093/jac/dkn141.
  69. J. Schmaltz and J. Tretmans. On Conformance Testing for Timed Systems. F. Cassez and C. Jard, Formal Modeling and Analysis of Timed Systems - FORMATS 2008, 2008, LNCS, 5215, 250-264, Springer-Verlag, http://dx.doi.org/10.1007/978-3-540-85778-5_18.
  70. J. E. W. Smetsers, A. van Weelden and M. J. Plasmeijer. Efficient and type-safe generic data storage. Proceedings of the 1st Workshop on Generative Technologies, WGT '08, 2008, Budapest, Hungary, 5,  April, Electronic Notes in Theoretical Computer Science.
  71. G. J. Tretmans. Model Based Testing with Labelled Transition Systems. R.M. Hierons, J.P. Bowen and M. Harman, Formal Methods and Testing, 2008, Lecture Notes in Computer Science, 4949, 1-38, Springer-Verlag, http://dx.doi.org/10.1007/978-3-540-78917-8_1.
  72. F. Tulinayo, S. B. J. A. Hoppenbrouwers and H. A. Proper. Integrating System Dynamics with Object-Role Modeling. Working Conference on The Practice of Enterprise Modeling: from Business Strategies to Enterprise Architectures Stockholm, Sweden 12-13 November, 2008, 2008, Lecture Notes in Business Information Processing, 15, 77-85, Berlin, Springer, S. Stirna and A. Person.
  73. S. Visscher. Bayesian Network Models for the Management of Ventilator-associated Pneumonia. University Medical Center, Utrecht, 2008, \emphMore than 50\% supervision from RUN.
  74. R.J. Wieringa, P. van Eck, C. Steghuis and H.A. Proper. Competences of IT Architects. The Hague, Netherlands, Academic Service - SDU, 2008.