Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 10 out of a total of 10 results. (0.074 seconds)

Now showing items 1-10 of 10

Export Results

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

Skylines for Symbolic Energy Consumption Analysis

Klinik, M. ; Gastel, B.E. van; Kop, C.L.M.; Eekelen, M.C.J.D. van

2020, Article in monograph or in proceedings (Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, pp. 93-112)
Steps and Traces

Jacobs, B. ; Levy, P.; Rot, J.

2018, Article in monograph or in proceedings (Cirstea, C. (ed.), Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised Selected Papers, pp. 122-143)
A Security Analysis of the ETSI ITS Vehicular Communications

Serban, A.C.; Poll, E. ; Visser, J.

2018, Article in monograph or in proceedings (Gallina, B. (ed.), Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018. Proceedings, pp. 365-373)
TweetNaCl: A Crypto Library in 100 Tweets

Bernstein, D.; Gastel, B. van; Janssen, W.; Lange, T.; Schwabe, P. ; Smetsers, S.

2015, Article in monograph or in proceedings (Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology - LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014, pp. 64-83)
Model-Based Testing of Electronic Passports

Mostowski, W.I. ; Poll, E. ; Schmaltz, J. ; Tretmans, J. ; Wichers Schreur, R.J.M.

2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B.; Joubert, C. (ed.), Formal Methods for Industrial Critical Systems 2009,14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 207-209)
Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving.

Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van

2009, Article in monograph or in proceedings (Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102)
Preemption Abstraction: A Lightweight Approach to Modelling Concurrency

Schierboom, E.G.H.; Tamalet, Alejandro ; Tews, H. ; Eekelen, M.C.J.D. van ; Smetsers, Sjaak

2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164)
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization

Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van

2008, Article in monograph or in proceedings (Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132)
Proving properties of lazy functional programs with Sparkle

Mol, M.J. de ; Eekelen, M.C.J.D. van ; Plasmeijer, Rinus

2008, Article in monograph or in proceedings (Horv'ath, Zolt'an (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 41-86)
A Single-Step Term-Graph Reduction System for Proof Assistants

Mol, M.J. de ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

2008, Article in monograph or in proceedings (Sch"urr, Andy; Nagl, Manfred; Zündorf, Albert (ed.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers, pp. 184-200)