print · login   

Bibtex actions:
  edit    source    raw source    raw html

2009

  1. Advances in Enterprise Engineering II - Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformations, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 2009. Advances in Enterprise Engineering II - Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformations, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 2009, H.A. Proper, A.F. Harmsen and J.L.G. Dietz, June, Springer, Berlin, Germany, Lecture Notes in Business Information Processing, 28, 2009.
  2. Draft Proceedings Tenth Symposium on Trends in Functional Programming, TFP'09. Zoltán Horváth, Viktória Zsók, Peter Achten and Pieter Koopman, Komárno, Slovakia, June 2-4, 2009, Selye János University, Komárno and Eötvös Loránd University, Budapest, ISBN 978-963-284-076-5.
  3. Enterpise, Business-Process and Information Systems Modeling - 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 2009. Enterpise, Business-Process and Information Systems Modeling - 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 2009, T.A. Halpin, J. Krogstie, S. Nurcan, H.A. Proper, R. Schmidt, P. Soffer and R. Ukor, Springer, Berlin, Germany, Lecture Notes in Business Information Processing, 29, 2009.
  4. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. J. Ouaknine and F. W. Vaandrager, 2009, 5813, Lecture Notes in Computer Science, Springer, http://dx.doi.org/10.1007/978-3-642-04368-0.
  5. Software Integration and Evolution @ Runtime - SINTER '09; An 2009 ESEC/FSE Workshop. H.-G. Gross, M. Lormans and J. Tretmans, 2009, New York, USA, ACM.
  6. Trends in Functional Programming. 2009, Peter Achten, Pieter Koopman and Marco Morazán, 9, Trends in Functional Programming, Nijmegen, The Netherlands, Intellect, ISBN 978-1-84150-277-9.
  7. A. Bertolino, G. De Angelis, L. Frantzen and A. Polini. The PLASTIC Framework and Tools for Testing Service-Oriented Applications. Proceedings of the International Summer School on Software Engineering - ISSSE 2006-2008, 2009, A. De Lucia and F. Ferrucci, 5413, Lecture Notes in Computer Science, 106-139, Springer.
  8. A. Hommersom, N. Ferreira and P.J.F. Lucas. Integrating logical reasoning and probabilistic chain graphs. Proceedings of ECML/PKDD 2009, LNAI, 5781, 548-563, Springer, Berlin-Heidelberg, 2009, 10.1007/978-3-642-04180-8_53.
  9. A. Hommersom, P.J.F. Lucas, R. Waarsing and P. Koopman. Applying Bayesian networks for intelligent adaptable printing systems. M. Conti, S. Orcioni and M.D. Grammatikakis, Proceedings of the 7th International Workshop on Intelligent Solutions in Emdedded Systems (WISES 2009), 127-133, 2009, IEEE CFP09848-PRT.
  10. Jasper Berendsen, Taolue Chen and David N. Jansen. Undecidability of cost-bounded reachability in priced probabilistic timed automata. Theory and applications of models of computation: ... TAMC, 2009, Jianer Chen and S. Barry Cooper, 5532, Lecture notes in computer science, 128-137, Berlin, Springer, 10.1007/978-3-642-02017-9_16, http://www.dnjansen.eu/publications/.
  11. D. (Denis) Ssebuggwawo, S.J.B.A (Stijn) Hoppenbrouwers and H.A (Erik) Proper. Analyzing a Collaborative Modeling Game. Proceedings of the CAiSE'09 Forum at the 21th International Conference on Advanced Information Systems Engineering, Eric Yu, Johann Eder and Colette Rolland, CEUR-WS: 28-May-2009, 2009.
  12. D. Ssebuggwawo, S.J.B.A. Hoppenbrouwers and H.A. Proper. Evaluating Collaborative Modeling Processes: Towards Understanding and Supporting Collaborative modeling Games. Proceedings of the 16th CAiSE Doctoral Consortium, held in Conjunction with CAiSE 2009, H. Weigand and S. Brinkkemper, 479, CEUR Workshop Proceedings , 2009.
  13. Denis Ssebuggwawo, Stijn Hoppenbrouwers and Erik Proper. Group Decision Making in Collaborative Modeling: Aggregating Individual Preferences with AHP. Digital Proceedings of the 4th SIKS conference in Enterprise Information Systems (EIS 2009), , P. van Bommel and S. Hoppenbrouwers, Radboud University Nijmegen, 2009.
  14. Dominique Borrione, Amr Helmy, Laurence Pierre and Julien Schmaltz. Networks-on-Chips: Theory and Practice. Fayez Gebali, Haytham Elmilgi and Mohamed Watheq El-Kharashi, Formal verifications of the communications of NoCs, CRC Press, 2009.
  15. Dominique Borrione, Amr Helmy, Laurence Pierre and Julien Schmaltz. A formal approach to the verification of networks-on-chips. Journal of Embedded Systems, 2009.
  16. Eric D. Schabell and S.J.B.A. Hoppenbrouwers. A BPM tale from the Financial Crisis front lines. 2009 BPM and Workflow Handbook, L. Fischer , Future Strategies Inc., in association with the Workflow Management Coalition, 2009.
  17. Eric D. Schabell and S.J.B.A. Hoppenbrouwers. Empowering Full Scale Straight Through Processing with BPM. Proceedings of PRET'09: Practice of Enterprise Transformation, H.A. Proper, 2009.
  18. Faranak Heydarian, Julien Schmaltz and Frits W. Vaandrager:. Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks.. Proceedings of Second World Congress on Formal Methods (FM'09), 2009, Ana Cavalcanti and Dennis Dam, 5850, LNCS, 516-531, November 2-6, Springer.
  19. Fiona Tulinayo, S.J.B.A. Hoppenbrouwers and H.A. Proper. Integrating System Dynamics with Conceptual and Process Modeling. Proceedings of the CAiSE-DC'09 16th Doctoral Consortium held in conjunction with CAiSE'09 Conference, Hans Weigand and Sjaak Brinkkemper, CEUR Workshop proceedings, 2009.
  20. Andreas Groessler Fiona Tulinayo, Stijn Hoppenbrouwers and Patrick van Bommel. Complementing System Dynamics with Object-Role Modelling. proceedings of the 27th International Conference of The System Dynamics Societ, 2009.
  21. Freek Verbeek and Julien Schmaltz. Formal validation of deadlock prevention in networks-on-chips. Proceedings of the 8th International Workshop on the ACL2 theorem prover and its applications, 2009, Sandip Ray and David Russinoff, May , ACM.
  22. A. Gavai, Y. Tikunov, R. Ursem, A. Bovy, F. van Eeuwijk, H. Nijveen, P.J.F. Lucas and J. Leunissen. Constraint-based probabilistic learning of metabolic pathways from tomato volatiles. Metabolomics, 2009, 10.1007/s11306-009-0166-2.
  23. P.C. Groot, A.J. Hommersom, P.J.F. Lucas, R.-J. Merk, A. ten Teije, F. van Harmelen and R. Serban. Using model checking for critiquing based on clinical guidelines. Artificial Intelligence in Medicine, 46, 1, 2009, Elsevier, 10.1016/j.artmed.2008.07.007.
  24. A.F. Harmsen, H.A. Proper and N. Kok. Informed Governance of Enterprise Transformations. 2009, 2009-Proper-PRET, 155-180.
  25. A.J. Hommersom, N. Ferreira and P.J.F. Lucas. Learning Parameters of Chain Logic Theories. Proceedings of the 7th International Workshop on Statistical Relational Learning (SRL-2009), 2009.
  26. Arjen Hommersom, Peter J.F. Lucas, René Waarsing and Pieter Koopman. Applying Bayesian Networks for Intelligent Adaptable Printing Systems. Proceedings Seventh Workshop on Intelligent Solutions in Embedded Systems, WISES'09, Ancona, Italy, June 25-26, 2009.
  27. I. AlAttili, F. Houben, G. Igna, S. Michels, F. Zhu and F.W. Vaandrager. Adaptive Scheduling of Data Paths using Uppaal Tiga. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09), 2009, S. Andova et.al, 13, Electronic Proceedings in Theoretical Computer Science, 1-12, http://dx.doi.org/10.4204/EPTCS%2E13%2E1.
  28. I. Flesch and P.J.F. Lucas. The probabilistic interpretation of model-based diagnosis. C. Sossai and G. Chemello, Proceedings of ECSQARU 2009, LNCS, 5590, Springer, Berlin-Heidelberg, 204-215, 2009, 10.1007/978-3-642-02906-6_19.
  29. Iacob M.-E., Jonkers H., Lankhorst M.M. and Proper H.A.. Internationale Standaard - ArchiMate 1.0 is nieuwe modelleertaal voor enterprise architectuur. Business Process Magazine, June, In Dutch, 4, 34-39, 2009.
  30. M.-E. Iacob, H. Jonkers, M.M. Lankhorst and H.A. Proper. ArchiMate 1.0 Specification. ArchiMate, The Open Group, 2009.
  31. J. Berendsen, D.N. Jansen and F.W. Vaandrager. Fortuna: Model Checking Priced Probabilistic Timed Automata. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2009, Report.
  32. J. Hooman and M. Verhoef. Formal Semantics of a VDM Extension for Distributed Embedded Systems. Correctness, Concurrency, and Compositionality, 2009, LNCS, to appear, Springer.
  33. Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns and David N. Jansen. The ins and outs of the probabilistic model checker MRMC. Sixth international conference on the quantitative evaluation of systems: QEST 2009, 2009, 167-176, Los Alamitos, CA, IEEE Computer Society, 10.1109/QEST.2009.11, http://dx.doi.org/10.1109/QEST.2009.11.
  34. M.M. Lankhorst, H.A. Proper and S. Bekius. IT-innovatie alleen door samenwerking. Automatisering Gids, In Dutch, 19, 2009.
  35. M.M. Lankhorst, H.A. Proper and H. Jonkers. The Architecture of the ArchiMate Language. 2009, 2009-Krogstie-EMMSAD, 367-380.
  36. Bas Lijnse and Rinus Plasmeijer. iTasks for End-users. Proceedings 21st International Symposium on the Implementation and Application of Functional Languages, IFL'09, Marco T. Morazán, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA, SHU-TR-CS-2009-09-1, 22-23, To appear as revised paper.
  37. Mark Loos, Ad M.J. Ragas, Rinus Plasmeijer, Aafke M. Schipper and A. Jan Hendriks. Eco-SpaCE: An object-oriented, spatially explicit model to assess the risk of multiple environmental stressors on terrestrial vertebrate populations. Sci Total Environ (2009), 2009, doi:10.1016/j.scitotenv.2009.11.045.
  38. M. Schuts, F. Zhu, F. Heydarian and F.W. Vaandrager. Modelling Clock Synchronization in the Chess gMAC WSN Protocol. Proceedings Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09), 2009, S. Andova et.al, 13, Electronic Proceedings in Theoretical Computer Science, 41-54, http://dx.doi.org/10.4204/EPTCS%2E13%2E4.
  39. M. Velikova, M. Samulski, P.J.F. Lucas and N. Karssemeijer. Causal probabilistic modelling for two-view mammographic analysis. 2009, C. Combi, Y. Shahar and A. Abu-Hanna, Proceedings of the 12th Conference on Artificial Intelligence in Medicine (AIME 2009), LNAI, 5651, 395-404, Springer, Berlin-Heidelberg, 10.1007/978-3-642-02976-9_56.
  40. M. Velikova, M. Samulski, P.J.F. Lucas and N. Karssemeijer. Improved mammographic CAD performance using multi-view information: A Bayesian network framework. Physics in Medicine and Biology, 54, 2009, 1131-1147, 10.1088/0031-9155/54/5/003.
  41. N. Ferreira and P.J.F. Lucas. Modelling screening mammography images: a probabilistic relational approach. C. Combi, Y. Shahar and A. Abu-Hanna, 2009, Proceedings of the 12th Conference on Artificial Intelligence in Medicine (AIME 2009), LNAI, 5651, 405-409, Springer, Berlin-Heidelberg, 10.1007/978-3-642-02976-9_57.
  42. N. Ferreira and P.J.F. Lucas. Probabilistic relational modelling of mammographic images. 2009, 22nd IEEE International Symposium on Computer-Based Medical Systems, 2009. CBMS 2009, 10.1109/CBMS.2009.5255329, 1-8.
  43. Nabukenya J., van Bommel P. and Proper H.A.. A Theory-Driven Design Approach to Collaborative Policy Making Processes. Proceedings of the 42nd Hawaii International Conference on System Sciences (HICSS-42), Los Alamitos, Hawaii, IEEE Computer Society Press, 2009.
  44. A. Nakakawa, P. van Bommel and H.A. Proper. Quality Enhancements in Creating Enterprise Architecture - Relevance of Academic Models in Practice. 2009-Proper-PRET, 109-133, 2009.
  45. A. Nakakawa, van P. Bommel and H.A. Proper. Requirements for Collaborative Decision Making in Enterprise Architecture. Proceedings of the 4th SIKS/BENAIS Conference on Enterprise Information Systems., October, SIKS, 2009.
  46. S.J. Overbeek, P. van Bommel and H.A. Proper. Embedding Knowledge Exchange and Cognitive Matchmaking in a Dichotomy of Markets. doi:10.1016/j.eswa.2009.04.071, Expert Systems with Applications, 36, 12236-12255, 2009.
  47. H.A. Proper and R. Tolido. Architecten eindelijk aan standaarden. Automatiseringsgids, 27 Maart, In Dutch, 16-17, SDU, 2009.
  48. S. Hoppenbrouwer and P.J.F. Lucas. Attacking the knowledge acquisition bottleneck. 2009, D. Romano and D. Moffat, Proceedings of the Symposium AI and Games, A symposium at the AISB 2009 Convention, SSAISB, 81-86.
  49. S. Visscher, P.J.F. Lucas, C.A.M. Schurink and M.J.M. Bonten. Modelling treatment effects in a clinical Bayesian network using Boolean threshold functions. Artificial Intelligence in Medicine, 46, 2009, 251-266, 10.1016/j.artmed.2008.11.006.
  50. S.J.B.A Hoppenbrouwers and B. Schotten. A Game Prototype for Basic Process Model Elicitation. The Practice of Enterprise Modeling, 2nd IFIP WG8.1 Working Conference, PoEM 2009, Anne Persson and Janis Stirna , Springer, LNBIP, 39, 2009.
  51. S.J.B.A. Hoppenbrouwers. Methodes zijn Games. .ego, magazine voor informatiemanagement, June, 3, 41-43, 8, 2009.
  52. S.J.B.A. Hoppenbrouwers, H. Weigand and E.A.J.A. Rouwette. Setting Rules of Play for Collaborative Modelling. International Journal of e-Collaboration (IJeC), 4, 37-52, 5, 2009.
  53. S.J.B.A. Hoppenbrouwers and P.J.F. Lucas. Attacking the Knowledge Acquisition Bottleneck through Games-For-Modelling. proceedings of AISB'09 workshop ``AI and Games'', 2009.
  54. Th. Charitos, L.C. van der Gaag, S. Visscher and P.J.F. Lucas K. Schurink. A dynamic Bayesian network for diagnosing ventilator-associated pneumonia in ICU patients. 2009, Expert Systems with Applications, 36, 1249-1258, 10.1016/j.eswa.2007.11.065.
  55. Tom van den Broek and Julien Schmaltz. A generic implementation model for the formal verification of networks-on-chips. Proceedings of the 8th International Workshop on the ACL2 theorem prover and its applications, 2009, Sandip Ray and David Russinoff, May , ACM.
  56. Tom van den Broek and Julien Schmaltz. Towards a formally verified network-on-chip. Formal Methods in Computer Aided Design, 2009, 184-187, November 15-18.
  57. P. Tulinayo, S.J.B.A Hoppenbrouwers, P. van Bommel Bommel and H.A. Proper. Integrating System Dynamics with Object-Role Modeling and Petri Nets. Ulm, Germany, Enterprise Modelling and information systems Architectures, J. Mendling, S. Rinderle-Ma and W. Esswein, September 10-11, 41-54, GI-Edition, IFIP, LNI P-152, 2009.
  58. Frits Vaandrager, David N. Jansen and Els Koopmans. Een Module over Model Checking voor het VWO. Proceedings NIOC 2009, Utrecht, 7-8 April 2009, 2009, F. Vodegel and M. Loots, 135-137, Hogeschool Utrecht, http://www.ita.cs.ru.nl/publications/papers/fvaan/NIOC.html.
  59. Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans and Ronny Wichers Schreur. Model-Based Testing of Electronic Passports. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'09), 2009, María Alpuente, Byron Cook, Christophe Joubert, 5825, LNCS, 207-209, Eindhoven, The Netherlands, November 2-6, Springer, 10.1007/978-3-642-04570-7_19.
  60. Maarten de Mol. Reasoning About Functional Programs - Sparkle: a proof assistant for Clean. Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands , 2009, march , ISBN 978-90-9023885-2.
  61. Thomas van Noort, Peter Achten and Rinus Plasmeijer. A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. Proceedings 21st International Symposium on the Implementation and Application of Functional Languages, IFL'09, Marco T. Morazán, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA, SHU-TR-CS-2009-09-1, 263-273, To appear as revised paper.

2008

  1. Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures. Pieter Koopman, Rinus Plasmeijer and Doaitse Swierstra, Center Parcs ``Het Heijderbos", The Netherlands, May 19-24, 2008, LNCS, 5832, Springer, ISBN-13 978-3-642-04651-3.
  2. D. Ssebuggwawo, S.J.B.A. Hoppenbrouwers and H.A. Proper. Evaluating Modeling Sessions Using the Analytic Hierarchy Process. Second IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling: from Business Strategies to Enterprise Architectures Stockholm, Sweden, November, 2009, A. Persson and J. Stirna, November, 69-83, Springer, Berlin, Germany, Lecture Notes in Business Information Processing, 2008.
  3. D. Ssebuggwawo, S.J.B.A. Hoppenbrouwers and H.A. Proper. Interactions, Goals and Rules in a Collaborative Modelling Session. Second IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling: from Business Strategies to Enterprise Architectures Stockholm, Sweden, November, 2009, A. Persson and J. Stirna, November, 54-68, Springer, Berlin, Germany, Lecture Notes in Business Information Processing, 2008.