Search

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 50 out of a total of 198 results. (0.047 seconds)

Now showing items 1-50 of 198

Export Results

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

RERS 2019: Combining Synthesis with Real-World Models

Jasper, M.; Mues, M.; Murtovi, A.; Schlüter, M.; Howar, F.; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.C.W. ; Vaandrager, F.W. et al. sine al.

2019, Article in monograph or in proceedings (Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115)
Benchmarks for Automata Learning and Conformance Testing

Neider, D.; Smetsers, R. ; Vaandrager, F.W. ; Kuppens, H.C.W.

2019, Part of book or chapter of book (Margaria, T. (ed.), Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 390-416)
Learning Register Automata with Fresh Value Generation

Aarts, Fides ; Fiterau-Brostean, P. ; Kuppens, H.C.W. ; Vaandrager, F.W.

2017, Dataset
Algorithms for Inferring Register Automata

Aarts, F.D. ; Howar, F.; Kuppens, H.C.W. ; Vaandrager, F.

2014, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, pp. 202-219)
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems

Basten, T.; Hendriks, M. ; Trčka, N.; Somers, L.; Geilen, M.; Yang, Y.; Igna, G.; Smet, S. de; Voorhoeve, M.; Aalst, W.; Corporaal, H.; Vaandrager, F. et al. sine al.

2013, Part of book or chapter of book (Basten, T.; Hamberg, R.; Reckers, F. (ed.), Model-Based Design of Adaptive Embedded Systems, pp. 189-244)
Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides ; Kuppens, H.C.W. ; Tretmans, G.J. ; Vaandrager, F. ; Verwer, S.E.

2012, Article in monograph or in proceedings (Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, pp. 4-18)
Formal specification and analysis of zeroconf using uppaal

Berendsen, J. ; Gebremichael, B.; Vaandrager, F.W. ; Zhang, M.

2011, Article / Letter to editor (ACM Transactions on Embedded Computing Systems, vol. 10, iss. 3, (2011), pp. 34)
Abstraction, prices and probability in model checking timed automata

Berendsen, J.K.

2010, Dissertation
Fortuna: Model Checking Priced Probabilistic Timed Automata

Berendsen, J. ; Jansen, D.N. ; Vaandrager, F.W.

2010, Article in monograph or in proceedings (Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA, pp. 273-281)
The axiomatization of override and update

Berendsen, J.K. ; Jansen, D.N. ; Schmaltz, J. ; Vaandrager, F.W.

2010, Article / Letter to editor (Journal of Applied Logic, vol. 8, iss. 1, (2010), pp. 141-150)
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)