- Radboud Repository
- →
- Collections Radboud University
- →
- Academic publications
- →
- Browsing Academic publications by Faculty & Departments
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse by Faculty & Departments
Now showing items 1-50 of 194
-
Weighted Distance Mapping (WDM) Broek, E.L. van den ; Schouten, T.E. ; Kisters, P. M. F.; Kuppens, H.C.W.2005, Article in monograph or in proceedings (Canagarajah, N.; Chalmers, A.; Deravi, F. (ed.), Proceedings of The IEE International Conference on Visual Information Engineering (VIE2005): Convergence in Graphics and Vision, pp. 157-164) -
Weighted Distance Mapping (WDM) Broek, E.L. van den ; Schouten, Th.E. ; Kisters, P. M. F.; Kuppens, H.C.W.2005, External research report
-
Weighted Distance Mapping (WDM) Broek, E.L. van den ; Schouten, Th.E. ; Kisters, P. M. F.; Kuppens, H.C.W.2005, Article in monograph or in proceedings (Canagarajah, N.; Chalmers, A.; Deravi, F. (ed.), Proceedings of the IEE International Conference on Visual Information Engineering (VIE2005), pp. 157-164)
-
-
Video Surveillance using Distance Maps 2006, Article in monograph or in proceedings (Kehtarnavaz, Nasser; Laplante, Phillip A. (ed.), Proceedings of Real Time Image processing 2006, pp. 54-63)
-
Video surveillance using distance maps 2006, Part of book or chapter of book (Kehtarnavaz, N.; Laplante, P.A. (ed.), Proceedings of Real-Time Image Processing) -
Verification and improvement of the sliding window protocol Chkliaev, D.; Hooman, J.J.M. ; Vink, E. de2003, Part of book or chapter of book (Garavel, H.; Hatcliff, J. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, pp. 113-127) -
Vastleggen van Kwaliteit is Essentieel 2005, Article / Letter to editor (Automatisering Gids, vol. 39, iss. 11, (2005), pp. 13)
-
Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring 2005, Article / Letter to editor (Automatisering Gids, vol. 38, iss. 16, (2005), pp. 13)
-
Using task-structured probabilistic I/O automata to analyze cryptographic protocols Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.2006, Article in monograph or in proceedings (Cortier, V.; Kremer, S. (ed.), Workshop on Formal and Computational Cryptography (FCC 2006), pp. 34-39)
-
Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols Canetti, Ran; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, Nancy; Pereira, O.; Segala, Roberto2005, Article / Letter to editor (Ercim News, vol. 63, (2005), pp. 40-41)
-
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.2005, External research report
-
Using Model Checkers in an Introductory Course on Operating Systems Hamberg, R.; Vaandrager, F.W.2007, External research report
-
Uppaal 4.0 Behrmann, G.; David, A.; Larsen, K.G.; Håkansson, J.; Pettersson, P.; Yi, W.; Hendriks, M.2006, Article in monograph or in proceedings (Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), 11-14 September 2006, Riverside, CA, USA, pp. 125-126)
-
-
Tussen sturing en anarchie 2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 3, iss. 3, (2007), pp. 88-90)
-
Towards Model-Based Testing of Web Services Frantzen, L. ; Tretmans, J. ; Vries, R. de2006, Article in monograph or in proceedings (Bertolino, A.; Polini, A. (ed.), International Workshop on Web Services - Modeling and Testing (WS-MaTe2006), pp. 67-82)
-
Towards Formal Support for UML-based Development of ded Systems 2002, Part of book or chapter of book (Proceedings of the 3d PROGRESS Workshop on Embedded Systems, Octobre 24, Utrecht, the Netherlands, pp. 71-76)
-
Tools for Test Case Generation Belinfante, A.; Frantzen, L. ; Schallhart, C.2005, Article in monograph or in proceedings (Model-Based Testing of Reactive Systems - A Seminar Volume, pp. 391-438)
-
Tools for Test Case Generation Belinfante, A.; Frantzen, L. ; Schallhart, C.2005, Part of book or chapter of book (Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures, pp. 391-438)
-
Timed Fast Exact Euclidean Distance (tFEED) maps 2005, Article in monograph or in proceedings (Kehtarnavaz, N.; Laplante, P.A. (ed.), Proceedings of Real Time Electronic Imaging X, pp. 52-63)
-
Timed Fast Exact Euclidean Distance (tFEED) maps 2005, Article in monograph or in proceedings (Kehtarnavaz, N.; Laplante, P. A. (ed.), Proceedings of Real Time Electronic Imaging X, pp. 52-63)
-
-
-
Timed Automata Based Analysis of Embedded System Architectures 2006, Article in monograph or in proceedings (Workshop on Parallel and Distributed Real-Time Systems 2006)
-
Time-bounded task-PIOAs: a framework for analyzing security protocols Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.2006, Article in monograph or in proceedings (Proceedings of the 20th International Symposium on Distributed Computing (DISC '06), pp. 238-253)
-
Three Dimensional Fast Exact Euclidean Distance (3D-FEED) Maps 2006, Article in monograph or in proceedings (Longin Jan Latecki, David M. M; Wu, Angela Y. (ed.), Proceedings of Vision Geometry XIV, pp. 60660F)
-
Three Dimensional Fast Exact Euclidean Distance (3D-FEED) Maps 2006, Article in monograph or in proceedings (Proceedings of Vision Geometry XIV, pp. 60660F)
-
-
The Theory of Timed I/O Automata Kaynar, D.K.; Lynch, N.A.; Segala, R.; Vaandrager, F.W.2006, Book (monograph)
-
The Tangram Transfer Projects: From Research to Practice Dongen, A.P.G.C. van; Tretmans, J.2007, Article in monograph or in proceedings (Tretmans, J. (ed.), Tangram: Model-Based Integration and Testing of Complex High-Tech Systems, pp. 199-207)
-
The development of a human-centered object-based image retrieval engine Rikxoort, E.M. van; Broek, E.L. van den ; Schouten, Th.E.2005, External research report
-
The development of a human-centered object-based image retrieval engine Rikxoort, E.M. van; Broek, E.L. van den ; Schouten, Th.E.2005, Article in monograph or in proceedings (Kr"ose, B.; Hendriks, E.; Bos, H. (ed.), Proceedings of the Eleventh Annual Conference of the Advanced School for Computing and Imaging, pp. [in press])
-
The Construction of Verification Models for Embedded Systems Mader, A. H.; Wupper, H. ; Boon, M.2007, External research report
-
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation D'Argenio, P.R.; Gebremichael-Tesfagiorgis, B.2005, Article in monograph or in proceedings (Abadi, Martin; Alfaro, Luca de (ed.), 16th International Conference on Concurrency Theory CONCUR 2005, pp. 125-140)
-
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation D'Argenio, P.R.; Gebremichael-Tesfagiorgis, B.2005, External research report
-
The axiomatization of override and update 2010, Article / Letter to editor (Journal of Applied Logic, vol. 8, iss. 1, (2010), pp. 141-150)
-
Testing of Software and Communicating Systems: Work-in Progress and Position Papers, Tool Demonstrations, and Tutorial Abstracts of TestCom/FATES 2007 Petrenko, A.; Veanes, M.; Tretmans, J. ; Grieskamp, W.2007, Book editorial
-
Testing of Software and Communicating Systems: Hand-Outs for the Tutorial Day of TestCom/FATES 2007 Petrenko, A.; Veanes, M.; Tretmans, J. ; Grieskamp, W.2007, Book editorial
-
Testing of Software and Communicating Systems - 19th IFIP TC 6/WG 6.1 Int. Conference TestCom 2007, and 7th Int. Workshop FATES 2007 Petrenko, A.; Veanes, M.; Tretmans, J. ; Grieskamp, W.2007, Book editorial
-
Test Generation Based on Symbolic Specifications 2005, Article in monograph or in proceedings (Grabowski, J.; Nielsen, B. (ed.), FATES 2004, pp. 1-15)
-
Teaching logic using a state-of-the-art proof assistant Kaliszyk, C.S. ; Wiedijk, F. ; Hendriks, M. ; Raamsdonk, F. van2007, Article in monograph or in proceedings (Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50)
-
Task-Structured Probabilistic I/O Automata Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.2006, Article in monograph or in proceedings (Proceedings of the 8th International Workshop on Discrete Event Systems (WODES'06), pp. 207-214)
-
Task-structured probabilistic I/O automata Canetti, R.; Cheung, L. ; Kaynar, D.K.; Liskov, M.; Lynch, N.; Pereira, O.; Segala, R.2006, External research report
-
-
Tangram: An Overview of the Project and an Introduction to the Book 2007, Article in monograph or in proceedings (Tretmans, J. (ed.), Tangram: Model-Based Integration and Testing of Complex High-Tech Systems, pp. 1-20)
-
Tangram met Modellen naar Snellere Integratie en Test Engels, L.; Jong, I. de; Tretmans, J.2007, Article / Letter to editor (Bits & Chips, vol. 9, iss. 15-06-07, (2007), pp. 32-35)
-
Symbolic and Parametric Model Checking of Discrete Time Markov chains 2005, Article in monograph or in proceedings (Proc. International Colloquium on Theoretical Aspects of Computing, ICTAC'04, pp. 280-294)
-
Switched Probabilistic I/O Automata Cheung, L. ; Lynch, N.A.; Segala, R.; Vaandrager, F.W.2005, Article in monograph or in proceedings (Proceedings First International Colloquium on Theoretical Aspects of Computing (ICTAC2004), rm Guiyang, China, 20-24 September 2004, pp. 494-510)
-
Switched Probabilistic I/O Automata Cheung, L. ; Lynch, N.A.; Segala, R.; Vaandrager, F.W.2004, External research report
Now showing items 1-50 of 194
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text