print · login   

Bibtex actions:
  edit    source    raw source    raw html

2006

  1. A ten Teije, M. Marcos, M. Balser, J. van Croonenborgd, C. Duellic, F. van Harmelen, P. J. F. Lucas, S. Miksch, W. Reif, K. Rosenbrand and A. Seyfang. Improving medical protocols by formal methods. Artificial Intelligence in Medicine, 2006, 63, 193-209, 3, 10.1016/j.artmed.2005.10.006.
  2. A. J. Hommerson, P. C. Groot, P. J. F. Lucas, M. Balser and J. Schmitt. Combining task execution and background knowledge for the verification of medical guidelines. Proceedings of AI-2006, 2006, M. Bramer, F. Coenen and A. Tuson, 3-16, Springer, London, \textbfBest technical paper award, 10.1007/978-1-84628-663-6_1.
  3. A. J. Hommerson, P. C. Groot, P. J. F. Lucas, M. Balser and J. Schmitt. Verification of medical guidelines using task execution with background knowledge. Proceedings of ECAI-2006, 2006, G. Brewca, A. Perini S. Coradeschi and Paolo Traverso, 835-836, IOS Press, Amsterdam.
  4. P. M. Achten, M. C. J. D. van Eekelen and M. J. Plasmeijer. A unified semantic model for interactive applications using iData and generic editors (abstract). Proceedings of the 18th international symposium on the implementation and application of functional languages, IFL'06, 2006, Z. Horváth and V. Zsók, 205, Budapest, Hungary, September  4-6,, Technical report 2006-S01.
  5. P. M. Achten, M. C. J. D. van Eekelen and M. J. Plasmeijer. Towards a unified semantic model for interactive applications. Proceedings of the 7th symposium on trends in functional programming, TFP'06, 2006, Henrik Nilsson, 279-292, Nottingham, UK, April  19-21,.
  6. S. Andova, J. C. M. Baeten and T. A. C. Willemse. A complete axiomatisation of branching bisimulation for probabilistic systems,with an application in protocol verification. CONCUR 2006, concurrency theory, 2006, C. Baier and H. Hermanns, 4137, LNCS, 327-342, Berlin, Springer, 10.1007/11817949_22.
  7. S. Andova and T. A. C. Willemse. Branching bisimulation for probabilistic systems: characteristics and decidability. Theoretical Computer Science, 2006, 356, 325-355, 3, 10.1016/j.tcs.2006.02.010.
  8. G. Behrmann, A. David, K. G. Larsen, J. H\aakansson, P. Pettersson, W. Yi and M. Hendriks. Uppaal 4.0. Third international conference on the quantitative evaluation of systems (QEST 2006),11-14 September 2006, Riverside, CA, USA, 2006, 125-126, IEEE Computer Society, http://doi.ieeecomputersociety.org/10.1109/QEST.2006.59.
  9. J. K. Berendsen, D. N. Jansen and J. -P. Katoen. Probably on time and within budget: on reachability in priced probabilistic timed automata. Proceedings third international conference on the quantitative evaluation of systems (QEST 2006),11-14 September 2006, Riverside, CA, USA, 2006, 311-322, Los Alamitos, CA, USA, IEEE Computer Society, http://doi.ieeecomputersociety.org/10.1109/QEST.2006.43, http://doi.ieeecomputersociety.org/10.1109/QEST.2006.43.
  10. J. K. Berendsen, D.N. Jansen and J. -P. Katoen. Probably on time and within budget: on reachability in priced probabilistic timed automata. Centre for Telematics and Information Technology, University of Twente, 2006, Technical report, TR-CTIT-06-26, Enschede, June.
  11. J. K. Berendsen, D. N. Jansen and J. -P. Katoen. Probably on time and within budget: on reachability in priced probabilistic timed automata. Institute for Computing and Information Sciences, Radboud University, 2006, ICIS-R06023, Nijmegen, August, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Berendsen-ProbablyReachability.
  12. A. Bertolino, L. Frantzen, A. Polini and G. J. Tretmans. Audition of web services for testing conformance to open specified protocols. Architecting systems with trustworthy components, 2006, R.H. Reussner, J.A. Stafford and C.A. Szyperski, 3938, LNCS, 1-25, Berlin, Springer, http://www.cs.ru.nl/\%7elf/publications/BFPT06.pdf.
  13. P. van Bommel, S. B. J. A. Hoppenbrouwers, H. A. Proper and Th. P. van der Weide. Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC. 1138-1147, On the Move to Meaningful Internet Systems 2006: OTM Workshops; OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2006, 2006, R. Meersman, Z. Tari and P. Herrero, LNCS, Montpellier, France, October/November, Springer, Berlin, Germany.
  14. P. van Bommel, S. J. B. A. Hoppenbrouwers, Proper, H. A. and Th. P. van der Weide. Exploring Modelling Strategies in a Meta-modelling Context. On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006, R. Meersman, Z. Tari and P. Herrero, 1128-1137, October/November, Springer.
  15. P. van Bommel and Th. P. van der Weide. Measuring the incremental information value of documents. Information Sciences, 2006, 176, 91-119, 2.
  16. P. F. A. van den Bosch, O. Florescu, M. H. G. Verhoef and G. J. Muller. Modeling of performance. Boderc: model-based design of high-tech systems, Embedded Systems Institute, 2006, W. P. M. H. Heemels and G. J. Muller, 101-113, December.
  17. T. Bosma. Testing the Pension Administration System IRIS with Formal Test Methods. University of Groningen, Faculty of Management and Organization, 2006, Groningen, The Netherlands.
  18. H. Brakman, V. Driessen, J. Kavuma, L. Nij Bijvank and S. Vermolen. Supporting formal methods teaching with real-life protocols. Proceedings of the workshop on formal methods in the teaching lab at the formal methods 2006 symposium, McMaster University, Hamilton, Ontario, Canada, 2006, August, http://www.ita.cs.ru.nl/publications/papers/fvaan/bluetooth/.
  19. E. L. van den Broek, E. M. van Rikxoort, T. Kok and Th. E. Schouten. M-HinTS: mimicking humans in texture sorting. Proceedings of human vision and electronic imaging XI, 2006, Bernice E. Rogowitz, Thrasyvoulos N. Pappas and Scott J. Daly, 6057, San Jose, CA, USA, http://www.ita.cs.ru.nl/publications/papers/ths/Broe06a/M-HinTS.pdf, http://www.ita.cs.ru.nl/publications/papers/ths/Broe06a/Broe06a.html.
  20. E. L. van den Broek, T. Kok, Th. E. Schouten and E. Hoenkamp. Multimedia for art retrieval (M4ART). Proceedings of multimedia content analysis, management and retrieval 2006, 2006, E. Y. Chang, A. Hanjalic and N. Sebe, 6073, San Jose, CA, USA, http://www.ita.cs.ru.nl/publications/papers/ths/Broe06b/M4ART.pdf, http://www.ita.cs.ru.nl/publications/papers/ths/Broe06b/Broe06b.html.
  21. P. Buchholz, J. -P. Katoen and M. H. G. Verhoef. Guest editors introduction: quantitative analysis of real-time embedded systems. International Journal on Software Tools for Technology Transfer, 2006, 8, 605-606, 6, November, ISOLA 2004 special issue, 10.1007/s10009-006-0013-y.
  22. C.J. Price, L. Travié-Massuy\`es, R. Milne, L. Ironi, K. Forbus, B. Bredeweg, M.H. Lee, P. Struss, N. Snooke, P. J. F. Lucas, M. Cavazza and G.M. Coghill. Qualitative futures. Knowledge Engineering Review, 2006, 21, 317-334, 4, 10.1017/S026988890600097X.
  23. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira and R. Segala. Task-structured probabilistic I/O automata. MIT CSAIL, 2006, MIT-CSAIL-TR-2006-060.
  24. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira and R. Segala. Task-structured probabilistic I/O automata. Proceedings of the 8th international workshop on discrete event systems (WODES'06), 2006, Ann Arbor, Michigan, July 2006.
  25. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira and R. Segala. Time-bounded task-PIOAs: a framework for analyzing security protocols. Proceedings of the 20th international symposium on distributed computing (DISC '06), 2006, 238-253, Stockholm, Sweden, September 2006, 10.1007/11864219.
  26. R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira and R. Segala. Using task-structured probabilistic I/O automatato analyze cryptographic protocols. Workshop on formal and computational cryptography(FCC 2006), 2006, V. Cortier and S. Kremer, 34-39.
  27. L. Cheung. Randomized wait-free consensus using an atomicity assumption. Proceedings OPODIS 2005, Pisa, Italy, 2006, J.H. Anderson and R. Wattenhofer, 3974, LNCS, 47-60, http://www.niii.ru.nl/ lcheung/cil.pdf.
  28. L. Cheung. Reconciling nondeterministic and probabilistic choices. Institute for Computing and Information Sciences,Radboud University, 2006, Nijmegen, \textbfCum laude, http://theory.csail.mit.edu/ lcheung/papers/diss.pdf.
  29. L. Cheung, N. A. Lynch, R. Segala and F. W. Vaandrager. Switched PIOA: parallel composition via distributed scheduling. Theoretical Computer Science, 2006, 365, 83-108, 1/2, http://dx.doi.org/10.1016/j.tcs.2006.07.033.
  30. L. Cheung, M. I. A. Stoelinga and F. W. Vaandrager. A testing scenario for probabilistic processes. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2006, ICIS-R06002, January, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Cheung-ProbabilisticProcesses.
  31. P. R. D'Argenio and B. Gebremichael. Axiomatizing timed automata with deadlines. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2006, ICIS-R06027, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-D-TimedAutomata.
  32. M. C. J. D. van Eekelen and M. J. de Mol. Proof tool support for explicit strictness. Implementation and application of functional languages: 17th international symposium, IFL'05; Dublin, Ireland; selected papers, 2006, A. Butterfield, C. Grelck and F. Huch, 4015, LNCS, 37-54, Berlin, September  19-21,, Springer.
  33. O. Florescu, J. Voeten, M. H. G. Verhoef and H. Corporaal. Reusing real-time systems design experience through modelling patterns. Forum on specification and description languages(FDL), 2006, ECSI, \textbfBest paper award.
  34. L. Frantzen, G. J. Tretmans and T. A. C. Willemse. A symbolic framework for model-based testing. Formal approaches to software testingand runtime verification:FATES/RV'06, 2006, K. Havelund, M. Nunez, G. Rosu and B. Wolff, 4262, LNCS, 40-54, Berlin, Springer, 10.1007/11940197_3, http://www.cs.ru.nl/%7elf/publications/FTW06.pdf.
  35. L. Frantzen, J. Tretmans and R. de Vries. Towards model-based testing of web services. International workshop on web services:modeling and testing (WS-MaTe2006), 2006, A. Bertolino and A. Polini, 67-82, Palermo, Italy, June 9th, http://www.cs.ru.nl/%7elf/publications/FTdV06.pdf.
  36. L. Frantzen, J. Tretmans and T.A.C. Willemse. A Symbolic Framework for Model-Based Testing. Formal Approaches to Software Testing and Runtime Verification - FATES/RV'06, K. Havelund, M. Núñez, G. Ro\csu and B. Wolff, 2006, 40-54, LNCS, 4262, Springer-Verlag.
  37. B. Gebremichael. Expressivity of timed automata models. Radboud University, 2006, Nijmegen, December, http://www.cs.ru.nl/ biniam/thesis/thesis.pdf.
  38. B. Gebremichael, F. W. Vaandrager and M. Zhang. Analysis of a protocol for dynamic configuration of IPv4 link local addresses using Uppaal. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2006, ICIS-R06016, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Gebremichael-UppaalProtocol, http://www.ita.cs.ru.nl/publications/papers/fvaan/zeroconf/.
  39. B. Gebremichael, F. W. Vaandrager and M. Zhang. Analysis of the zeroconf protocol using Uppaal. Proceedings 6th annual ACM & IEEE conferenceon embedded software (EMSOFT 2006), Seoul, South Korea, October 22-25, 2006, 2006, 242-251, ACM Press, Full version to appear in \emphACM Transactions on Embedded Computing Systems, 2009, http://www.ita.cs.ru.nl/publications/papers/fvaan/zeroconf/.
  40. M. A. J. van Gerven, F. J. D\'\iez, B. G. Taal and P. J. F. Lucas. Prognosis of high-grade carcinoid tumor patients using dynamic limited memory influence diagrams. Proceedings of IDAMAP-2006, 2006, N. Peek and C. Combi, 65-70.
  41. B. van Gils. Aptness on the Web. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2006.
  42. B. van Gils and H. A. Proper. Fundamentals of Quality on the Web. Radboud University Nijmegen, 2006, Technical Report, ICIS-R06029, Nijmegen, The Netherlands, June.
  43. B. van Gils, H. A. Proper, P. van Bommel and Weide, Th. P. van der. Quality Makes the Information Market. 2006, R. Meersman and Z. Tari, On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, LNCS, 4275, 345-359, Springer.
  44. M. Hendriks. Model checking timed automata: techniques and applications. ICIS, Radboud University, 2006, Nijmegen, April, http://www.ita.cs.ru.nl/publications/papers/martijnh/thesis/thesis.pdf.
  45. M. Hendriks and M. H. G. Verhoef. Timed automata based analysis of embedded system architectures. Workshop on parallel and distributed real-time systems 2006, 2006, IEEE, 10.1109/IPDPS.2006.1639422.
  46. M. Hendriks and M. H. G. Verhoef. Timed automata based analysis of embedded system architectures. ICIS, University of Nijmegen, 2006, ICIS-R06003, January, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Hendriks-TimedAutomata.
  47. M. Hendriks, N. J. M. van den Nieuwelaar and F. Vaandrager W.. Model checker aided design of a controller for a wafer scanner. International Journal on Software Tools for Technology Transfer, 2006, 8, 633-647, 6, Special section on quantitative analysis of real-time embedded systems, http://dx.doi.org/10.1007/s10009-006-0025-7, http://www.ita.cs.ru.nl/publications/papers/fvaan/HNV04.html.
  48. A. J. Hommersom, P. C. Groot, P. J. F. Lucas, Marcos, M. and B. Martinez-Salvador. A Constraint-based Approach to Medical Guidelines and Protocols. Proceedings of ECAI2006 workshop: AI techniques in healthcare: evidence-based guidelines and protocols, 2006, 25-30, August.
  49. A. J. Hommerson, P. C. Groot and P. J. F. Lucas. Checking guideline conformance of medical protocols using modular model checking. Proceedings of BNAIC-2006, 2006, P.-Y. Schobbens, W. Vanhoof and G. Schwanen, 173-180.
  50. J. J. M. Hooman. Simulating the environment of embedded software. Boderc: model-based design of high-tech systems, Embedded Systems Institute, 2006, Maurice Heemels and Gerrit Muller, 11, 141-149, Eindhoven.
  51. J. J. M. Hooman, H.Kugler, I. Ober, A. Votintseva and Y. Yushtein. Supporting UML-based development of embedded systemsby formal techniques. Radboud University, 2006, ICIS-R6034, Nijmegen, November, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Hooman-SoSymOmega.
  52. J. J. M. Hooman and M. B. van der Zwaag. A semantics of communicating reactive objects with timing. International journal on software tools for technology transfer, 2006, 8, 97-112, 4, http://www.cs.ru.nl/ita/publications/papers/hooman/HoomanZwaagSTTT06.pdf, http://www.cs.ru.nl/ hooman/STTTpvs.html.
  53. I. Flesch and P. J. F. Lucas. Graphical reasoning with Bayesian networks. Proceedings of AI-2006, 2006, M. Bramer, F. Coenen and A. Tuson, 71-84, Springer, London, 10.1007/978-1-84628-663-6_6.
  54. I. Flesch, P. J. F. Lucas and S. Visscher. On the modularisation of independence in dynamic Bayesian networks. Proceedings of BNAIC-2006, 2006, P.-Y. Schobbens, W. Vanhoof and G. Schwanen, 133-140, \textbfBest paper award.
  55. J. M. Jansen, P. W. M. Koopman and M. J. Plasmeijer. Efficient interpretation by transforming data types and patterns to functions. Proceedings of the 7th symposium on trends in functional programming, TFP'06, 2006, Henrik Nilsson, 157-172, Nottingham, UK, April  19-21,.
  56. J. M. Jansen, P. W. M. Koopman and M. J. Plasmeijer. Efficient interpretation by transforming data types and patterns to functions. Selected papers of the 7th symposium on trends in functional programming, TFP'06, 2006, Henrik Nilsson, 7, 73-90, Nottingham, UK, April  19-21,, Intellect Books.
  57. J. Jeuring and M. J. Plasmeijer. Generic programming for software evolution. Proceedings of the 2nd International Workshop on Software Evolution, IWPSE '06, 2006, Laurence Duchien, Maja D'Hondt and Tom Mens, 97-104, 6-7,  April.
  58. D. K. Kaynar, N. A. Lynch, R. Segala and F. W. Vaandrager . The theory of timed I/O automata. Morgan & Claypool Publishers, 2006, http://www.ita.cs.ru.nl/publications/papers/fvaan/synthesis.html.
  59. P. W. M. Koopman, P. M. Achten and M. J. Plasmeijer. Model-based testing of thin-client web applications and browser actions (extended abstract). Proceedings of the 18th International Symposium on the Implementation and Application of Functional Languages, IFL '06, 2006, Z. Horváth and V. Zsók, 349-351, Budapest, Hungary, 4-6,  September, Technical report 2006-S01.
  60. P. W. M. Koopman and M. J. Plasmeijer. Automatic testing of higher order functions. Proceedings of the 4th Asian symposium on programming languages and systems, APLAS'06, 2006, Naoki Kobayashi, 4279, LNCS, 148-164, Sydney, Australia, November  8-10,, Springer, 10.1007/11924661_9.
  61. P. W. M. Koopman and M. J. Plasmeijer. Fully automatic testing with functions as specifications. Central European functional programming school: first summer school, CEFP 2005; Budapest, Hungary, July 4-16, 2005;selected lectures, Springer, 2006, 4164, LNCS, 35-61, Berlin.
  62. P. W. M. Koopman and M. J. Plasmeijer. Systematic synthesis of functions. Revised Papers of the 7th Symposium on Trends in Functional Programming, TFP '06, 2006, Henrik Nilsson, 7, 35-54, Nottingham, UK, 19-21,  April, Intellect Books.
  63. P. W. M. Koopman, M. J. Plasmeijer and P. M. Achten. Model-based testing of thin-client web applications. Proceedings of the 6th International Workshop on Formal Approaches to Testing of Software, FATES '06, 2006, Klaus Havelund, 4262, LNCS, 115-132, August, Springer-Verlag.
  64. M. Kyas and J. J. M. Hooman. Compositional verification of timed components using PVS. Proceedings of software engineering 2006, 2006, B. Biel, M. Book and V. Gruhn, P-79, Lecture Notes in Informatics, 143 - 154, http://www.cs.ru.nl/ita/publications/papers/hooman/SE06.pdf, http://www.cs.ru.nl/ hooman/SE06.html.
  65. M. Layouni, J. J. M. Hooman and S. Tahar. Formal specification and verificationof the intrusion-tolerant encalves protocol. Radboud University, 2006, ICIS-R6035, Nijmegen, November, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Layouni-IJNSEncalves.
  66. T. Margaria, B. Schaetz and M. H. G. Verhoef. Formal methods going mainstream: costs, benefits, experiences. BCS-FACS FACTS, 2006, 2006, 34-38, 2, September, Report on the ForTIA Industry Day at FM'05.
  67. S. J. Overbeek, D. B. B. Rijsenbrij and H. A. Proper. Sophia: Towards a Personal Digital Workspace for Knowledge Workers. Knowledge Workers: Issues and Perspectives, 2006, 15, 246-265, December.
  68. S. J. Overbeek, P. van Bommel, H. A. Proper and Rijsenbrij, D. B. B.. Grondslagen en Toepassingen voor Intelligente Kennisuitwisseling. IT Monitor, 2006, 9, 8-11, 10, November, In Dutch.
  69. B. Pepels and M. J. Plasmeijer. Generating information systems applications: a research proposition. Proceedings of the 7th symposium on trends in functional programming, TFP'06, 2006, H. Nilsson, 293-308, Nottingham, UK, The University of Nottingham, April  19-21,.
  70. B. Pepels, M. J. Plasmeijer and H. A. Proper. Fact-oriented modeling from a programming language designer's perspective. Proceedings of the 2nd ORM '06, 2006, LNCS, 4278, 1170-1180, Montpellier, France.
  71. M. J. Plasmeijer and P. M. Achten. A conference management system based on iData (abstract). Proceedings of the 18th international symposium on the implementation and application of functional languages, IFL'06, 2006, Z. Horváth and V. Zsók, 167, Budapest, Hungary, September  4-6,, Technical report 2006-S01.
  72. M. J. Plasmeijer and P. M. Achten. A conference management system based on the iData toolkit. Proceedings of the 18th International Symposium on the Implementation and Application of Functional Languages, IFL '06, 2006, Z. Horváth and V. Zsók, 4449, LNCS, 108-125, Budapest, Hungary, 4-6,  September, Springer-Verlag.
  73. M. J. Plasmeijer and P. M. Achten. Generic editors for the world wide web. Selected Lectures of the 1st Central European Functional Programming School, CEFP '05, 2006, 4164, LNCS, 1-34, 4-16,  July, Springer-Verlag.
  74. M. J. Plasmeijer and P. M. Achten. The implementation of iData: a case study in generic programming. Selected papers of the 17th international symposium on the implementation and application of functional languages, IFL'05, 2006, A. Butterfield, C. Grelck and F. Huch, 4015, LNCS, 106-123, Dublin, Ireland, September  19-21.
  75. M. J. Plasmeijer and P. M. Achten. iData for the world wide web: programming interconnected web forms. Proceedings of the 8th international Symposium on Functional and Logic Programming, FLOPS'06, 2006, 3945, LNCS, 242-258, Fuji Susone, Japan, April 24-26.
  76. H. A. Proper and Th. P. van der Weide. Modelling as Selection of Interpretation. Modellierung 2006, Innsbruck, Austra, 2006, P82, Lecture Notes in Informatics, H.C. Mayr and R. Breu, Bonn, Germany: Koellen Verlag, 223-232, March.
  77. H. A. Proper, P. van Bommel, S. B. J. A. Hoppenbrouwers and Th. P. van der Weide. A Fundamental View on the Act of Modeling. Advances in Systems Modelling and ICT Applications, 2006, J. Kizza, J. Aisbett, A. Vince and T. Wanyama, 2, Special topics in computing and ICT research, Kampala, Uganda, August, Fountain Publishers, Kampala, Uganda.
  78. H. Sandee, M. Heemels, G. Muller, van den Bosch, P. and M. H. G. Verhoef. Threads of reasoning: a case study in printer control. Systems engineering:shining light on tough issues, 2006, Sixteenth annual international INCOSE symposium, International Council on Systems Engineering, INCOSE.
  79. Th. E. Schouten, H. C. W. Kuppens and E.L. van den Broek. Three dimensional fast exact euclidean distance (3D-FEED) maps. Proceedings of vision geometry XIV, 2006, Longin Jan Latecki andDavid M. Mount andAngela Y. Wu, 6066, San Jose, CA, USA, http://www.ita.cs.ru.nl/publications/papers/ths/Scho06a/3dfeed.pdf, http://www.ita.cs.ru.nl/publications/papers/ths/Scho06a/Scho06a.html.
  80. Th. E. Schouten, H. C. W. Kuppens and E.L. van den Broek. Video surveillance using distance maps. Proceedings of real time image processing 2006, 2006, Nasser Kehtarnavaz andPhillip A. Laplante, 6063, San Jose, CA, USA, http://www.ita.cs.ru.nl/publications/papers/ths/Scho06b/videosurv.pdf, http://www.ita.cs.ru.nl/publications/papers/ths/Scho06b/Scho06b.html.
  81. J. E. W. Smetsers and A. van Weelden. Bracket abstraction preserves typability - A formal proof of Diller-algorithm-C in PVS. Proceedings of the 20th International Workshop on Unification, UNIF '06, 2006, Jordi Levy, 29-43, Seattle, WA, USA, 11,  August.
  82. Th. Charitos, S. Visscher, L. C. van der Gaag, P. J. F. Lucas and K. Schurink. A dynamic model for therapy selection in ICU patients with VAP. Proceedings of IDAMAP-2006, 2006, N. Peek and C. Combi, 71-76.
  83. G. J. Tretmans. Model based testing with labelled transition systems. Institute for Computing and Information Sciences, 2006, Technical report, ICIS-R6037, Radboud University Nijmegen, The Netherlands, December.
  84. F. W. Vaandrager. Does it pay off? Model-based verification and validation of embedded systems!. PROGRESS white papers 2006, STW, 2006, 43-66, The Netherlands, July, ISBN-10: 90-73461-00-6, ISBN-13: 978-90-73461-00-0, http://www.ita.cs.ru.nl/publications/papers/fvaan/whitepaper/.
  85. F. W. Vaandrager. Does it pay off? Model-based verification and validation of embedded systems!. Institute for Computing and Information Sciences,Radboud University Nijmegen, 2006, ICIS-R06019, July, https://osiris.cs.ru.nl/pms/iris-diglib/src/getContent.php?id=2006-Vaandrager-ModelBasedEmbedded.
  86. F. W. Vaandrager. Modelgebaseerde verificatie en validatie loont. Bits & Chips, 2006, 8, 53-55, 15, September, http://www.ita.cs.ru.nl/publications/papers/fvaan/whitepaper/.
  87. F. W. Vaandrager and A. L. de Groot. Analysis of a biphase mark protocol with Uppaal and PVS. Formal Aspects of Computing, 2006, 18, 433-458, 4, December, http://dx.doi.org/10.1007/s00165-006-0008-1.
  88. M. H. G. Verhoef and J. J. M. Hooman. Evaluating embedded system architectures. Boderc: model-based design of high-tech systems, Embedded Systems Institute, 2006, W. P. M. H. Heemels and G. J. Muller, 12, 151-159, Eindhoven.
  89. M. H. G. Verhoef, P. G. Larsen and J. J. M. Hooman. Modeling and validating distributedembedded real-time systems with VDM++. Formal methods: FM'06, 2006, Jayadev Misra, Tobias Nipkow and Emil Sekerinski, 4085, LNCS, 147-162, Springer, 10.1007/11813040_11.
  90. P. T. de Vrieze, P. van Bommel and Th. P. van der Weide. A method for incorporating user modelling. Journal of Digital Information Management, 2006, 4, 136-140, 2.
  91. P. de Vrieze. Fundaments of Adaptive Personalisation. Institute for Computing and Information Sciences, Radboud University Nijmegen, 2006.
  92. E. Wandeler, L. Thiele, M. H. G. Verhoef and P. Lieverse. System architecture evaluation using modular performance analysis:a case study. International Journal of Software Tools for Technology Transfer, 2006, 8, 649-667, 6, November, 10.1007/s10009-006-0019-5.

2006

  1. P. van Bommel, S. Hoppenbrouwers, H. Proper and Th. van der Weide. On the use of object-role modelling to model active domains . Proceedings of the Workshop on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD'06) , 2006 , 473-484 , June .