Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

Showing 50 out of a total of 182 results. (0.11 seconds)

Now showing items 1-50 of 182

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

A functional formalization of on chip communications

Schmaltz, J. ; Borrione, Dominique

2008, Article / Letter to editor (Formal Aspects of Computing, vol. 20, iss. 3, (2008), pp. 241-258)
On conformance testing for timed systems

Schmaltz, Julien ; Tretmans, Jan

2008, Article in monograph or in proceedings (Cassez, Franck; Jard, Claude (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 250-264)
Practical Automaton proofs in PVS

Groot, A.L. de

2008, Dissertation
De hele opleiding in twee weken?

Wupper, H. ; Barendsen, E.

2007, Article in monograph or in proceedings (NIOC 2007)
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)
The Construction of Verification Models for Embedded Systems

Mader, A. H.; Wupper, H. ; Boon, M.

2007, External research report
A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware

Schmaltz, J.

2007, Article in monograph or in proceedings (Baumgartner, J.; Sheeran, M. (ed.), Formal Methods in Computer Aided Design, pp. 223-230)
Compositional Abstraction in Real--Time Model Checking

Berendsen, J.K. ; Vaandrager, F.W.

2007, External research report
Heuristics for ioco-Based Test-Based Modelling (extended abstract)

Willemse, T.A.C.

2007, Article in monograph or in proceedings (Brim., L. (ed.), FMICS and PDMC 2006, pp. 132-147)
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, J.

2007, Article in monograph or in proceedings (Friedman, Eby; Wolf, Wayne (ed.), IEEE First International Symposium on Networks-on-Chips, NOCS 2007, pp. 127-136)
Formalizing SHIM6, a Proposed Internet Standard in UPPAAL

Mekking, Matthijs; Wijngaards, Wouter; Vaandrager, Frits ; Schouten, Theo

2007, Article in monograph or in proceedings (VVSS 2007 (Verification and Validation of Software Systems) Symposium)
Dependability for high--tech systems: an industry--as--laboratory approach

Brinksma, E.; Hooman, J.J.M.

2007, External research report
Using Model Checkers in an Introductory Course on Operating Systems

Hamberg, R.; Vaandrager, F.W.

2007, External research report
Universitair onderwijs - van de hak in de sloot

Wupper, H.

2007, External research report
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)
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
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
Wat is werkelijk mis met het wetenschappelijk onderwijs?

Wupper, H.

2007, External research report
Formal Specification and Analysis of Zeroconf using Uppaal

Berendsen, J.K. ; Gebremichael, B.; Zhang, Miaomiao; Vaandrager, F.W.

2007, External research report
Formal Specification and Validation of Minimal Routing Algorithms for the 2D Mesh

Schmaltz, J.

2007, Article in monograph or in proceedings (Gamboa, R.; Sawada, J.; Cowles, J. (ed.), 7th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2'07), pp. 40-49)
Integrating verification, testing and learning for cryptographic protocols

Oostdijk, Martijn ; Rusu, Vlad; Tretmans, Jan ; Vries, Rene de; Willemse, Tim

2007, Article in monograph or in proceedings (In proc. Integrated Formal Methods, pp. 538-557)
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
Tangram: An Overview of the Project and an Introduction to the Book

Tretmans, J.

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: Model-Based Integration and Testing of Complex High-Tech Systems

Tretmans, J.

2007, Book editorial
Tussen sturing en anarchie

Wupper, H.

2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 3, iss. 3, (2007), pp. 88-90)
Formal Specification and Verification of the Intrusion--Tolerant Enclaves Protocol

Layouni, M.; Hooman, J.J.M. ; Tahar, S.

2007, Article / Letter to editor (International Journal of Network Security, vol. 5, iss. 3, (2007), pp. 288-298)
Nieuw ICT-onderwijs volgens een oud ideaal

Wupper, H.

2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 2, iss. 2, (2007), pp. 44-48)
A testing scenario for probabilistic processes

Cheung, Ling; Stoelinga, Mariëlle; Vaandrager, F.W.

2007, Article / Letter to editor (Journal of the Association for Computing Machinery, vol. 54, iss. 6, (2007), pp. 29-1-29-45)
Observing Branching Structure through Probabilistic Contexts

Lynch, N.A.; Segala, R.; Vaandrager, F.W.

2007, Article / Letter to editor (Siam Journal on Computing, vol. 37, iss. 4, (2007), pp. 977-1013)
Paradoxen in de ICT: van mooi ideaal naar lelijke taal

Wupper, H.

2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 4, iss. 4, (2007), pp. 137-139)
Modeling Human Color Categorization

Broek, E.L. van den ; Schouten, T.E. ; Kisters, P. M. F.

2007, Article / Letter to editor (Pattern Recognition Letters, iss. 8, (2007), pp. 1136-1144)
A Taxonomy of Computer Science (revised and extended version)

Wupper, H. ; Mader, A.; Meijer, H.

2007, External research report
Co-simulation of Distributed Embedded Real-Time Control Systems

Verhoef, M. ; Visser, P.; Hooman, J.J.M. ; Broenink, J.

2007, Article in monograph or in proceedings (Integrated Formal Methods (IFM07), pp. 639-658)
Bisimulation minimisation mostly speeds up probabilistic model checking

Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, David

2007, Article in monograph or in proceedings (Grumberg, Orna; Huth, Michael (ed.), Tools and algorithms for the construction and analysis of systems (TACAS), pp. 87-101)
Compositional Security for Task-PIOAs

Canetti, R.; Cheung, L. ; Kaynar, D.; Lynch, N.; Pereira, O.

2007, Article in monograph or in proceedings (Proceedings 20th IEEE Computer Security Foundations Symposium (CSF'07), pp. 125-139)
Flow faster: efficient decision algorithms for probabilistic simulations

Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David

2007, Article in monograph or in proceedings (Grumberg, Orna; Huth, Michael (ed.), Tools and algorithms for the construction and analysis of systems (TACAS), pp. 155-169)
Teaching logic using a state-of-the-art proof assistant

Kaliszyk, C.S. ; Wiedijk, F. ; Hendriks, M. ; Raamsdonk, F. van

2007, 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)
Model-Based Testing of Environmental Conformance of Components

Frantzen, L. ; Tretmans, J.

2007, Article in monograph or in proceedings (Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects -- FMCO 2006, pp. 1-25)
Hoe erg is het als studenten maar 20 uur per week studeren?

Wupper, H.

2006, Contribution for newspaper or weekly magazine (NRC, )
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems, with an Application in Protocol Verification

Andova, S.; Baeten, J.C.M.; Willemse, T.A.C.

2006, Article in monograph or in proceedings (Baier, C.; Hermanns, H. (ed.), CONCUR 2006 -- Concurrency Theory, pp. 327-342)
Video Surveillance using Distance Maps

Schouten, Th.E. ; Kuppens, H.C.W. ; Broek, E.L. van den

2006, Article in monograph or in proceedings (Kehtarnavaz, Nasser; Laplante, Phillip A. (ed.), Proceedings of Real Time Image processing 2006, pp. 54-63)
Three Dimensional Fast Exact Euclidean Distance (3D-FEED) Maps

Schouten, Th.E. ; Kuppens, H.C.W. ; Broek, E.L. van den

2006, Article in monograph or in proceedings (Longin Jan Latecki, David M. M; Wu, Angela Y. (ed.), Proceedings of Vision Geometry XIV, pp. 60660F)
Formal Specification and Verification of the Intrusion--Tolerant Encalves Protocol

Layouni, Mohamed; Hooman, J.J.M. ; Tahar, Sofiene

2006, External research report
Does it Pay Off? Model-Based Verification and Validation of Embedded Systems!

Vaandrager, F.

2006, External research report
Does it Pay Off? Model-Based Verification and Validation of Embedded Systems!

Vaandrager, F.W.

2006, Part of book or chapter of book (PROGRESS White papers 2006, pp. 43-66)
Simulating the environment of embedded software

Hooman, J.J.M.

2006, Part of book or chapter of book (Heemels, Maurice; Muller, Gerrit (ed.), Boderc: Model-based design of high-tech systems, pp. 141-149)
Fact-Oriented Modeling from a Programming Language Designer`s Perspective

Pepels, Betsy; Plasmeijer, Rinus ; Proper, H.A.

2006, Article in monograph or in proceedings (Meersman, R.; Tari, Z.; Herrero, P. (ed.), Fact-Oriented Modeling from a Programming Language Designer`s Perspective, pp. 1170-1180)
Generating Information Systems Applications: a Research Proposition

Pepels, Betsy; Plasmeijer, Rinus

2006, Article in monograph or in proceedings (Nilsson, H. (ed.), Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, pp. 293-308)
Supporting UML--based Development of Embedded Systems by Formal Techniques

Hooman, J.J.M. ; Kugler, Hillel; Ober, Iulian; Votintseva, Anjelika; Yushtein, Yuri

2006, External research report
Compositional Verification of Timed Components using PVS

Kyas, M.; Hooman, J.J.M.

2006, Article in monograph or in proceedings (Biel, B.; Book, M.; Gruhn, V. (ed.), Proceedings of Software Engineering 2006, pp. 143-154)

Now showing items 1-50 of 182

Radboud Repository

Search

Showing 50 out of a total of 182 results. (0.11 seconds)

Explore

Author

Document type

Date Issued

Journal

Departments

Browse

All of Repository