- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Smetsers, S."
Now showing items 1-50 of 53
-
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? Schoolderman, M.R.; Smetsers, J.E.W. ; Eekelen, M. van2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57) -
Evaluation of a Structured Design Methodology for Concurrent Programming Bijlsma, Lex; Huizing, Kees; Kuiper, Ruurd; Passier, Harrie; Pootjes, Harold; Smetsers, Sjaak2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019, pp. 58-65)
-
Problem Solving and Algorithmic Development with Flowcharts 2017, Article in monograph or in proceedings (Barendsen, E. (ed.), WiPSCE '17: Proceedings of the 12th Workshop on Primary and Secondary Computing Education, Nijmegen, Netherlands — November 08 - 10, 2017, pp. 25-34)
-
Designing a rubric for feedback on code quality in programming courses Stegeman, M.; Barendsen, E. ; Smetsers, S.2016, Article in monograph or in proceedings (Sheard, J. (ed.), Koli Calling '16: proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli, Finland - November 24-27, 2016, pp. 160-164)
-
Formalizing Bialgebraic Semantics in PVS 6.0 Smetsers, S. ; Madlener, K.; Eekelen, M.C.J.D. van2015, Part of book or chapter of book (Chiba, Y. (ed.), WPTE 2015 : Proceedings of the Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation, affiliated with RDP 2015. Warsaw, Poland, 2015, pp. 47-61) -
Derivation and Inference of Higher-Order Strictness Types 2015, Article / Letter to editor (Computer Languages, Systems & Structures, vol. 44, iss. Part B, (2015), pp. 166-180)
-
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)
-
Verificatie en validatie van veiligheidskritieke systemen 2014, Article / Letter to editor (Bits & Chips (Nijmegen), vol. 2014, iss. 4, (2014), pp. 42-45) -
Towards an empirically validated model for assessment of code quality Stegeman, M.; Barendsen, E. ; Smetsers, S.2014, Article in monograph or in proceedings (Kinnunen, P. (ed.), Koli Calling '14 : Proceedings of the 14th Koli Calling International Conference on Computing Education Research, November 20-23, 2014 Koli, Finland, pp. 99-108)
-
GSOS Formalized in Coq Madlener, K.; Smetsers, S.2013, Article in monograph or in proceedings (O'Conner, L. (ed.), TASE 2013 : 2013 International Symposium on Theoretical Aspects of Software Engineering, 1-3 July, 2013 Proceedings, pp. 199-206)
-
Higher-Order Strictness Typing 2013, Part of book or chapter of book (Loidl, H.-W. (ed.), Trends in Functional Programming : 13th International Symposium, TFP 2012 St. Andrews, UK, June 12-14, 2012 : Revised Selected Papers, pp. 85-100)
-
Modular Bialgebraic Semantics and Algebraic Laws Madlener, K.; Smetsers, S. ; Eekelen, M.C.J.D. van2013, External research report
-
Verifying functional formalizations – a type-theoretical case study in pvs 2013, Part of book or chapter of book (Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 47-59)
-
Using model-checking to reveal a vulnerability of tamper-evident pairing Kersten, R.; Gastel, B. van; Drijvers, M.; Smetsers, S. ; Eekelen, M.C.J.D. van2013, Article in monograph or in proceedings (Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77)
-
Modular bialgebraic semantics and algebraic laws Madlener, K.; Smetsers, S. ; Eekelen, M.C.J.D. van2013, Part of book or chapter of book (Bois, A. du (ed.), Programming languages : 17th brazilian symposium, sblp 2013, brasília, brazil, september 29- october 4, 2013, proceedings, pp. 46-60)
-
A Proof Framework for Concurrent Programs 2012, Part of book or chapter of book (Derrick, J.; Latella, D. (ed.), Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June, 18-21,2012 Proceedings, pp. 174-190)
-
-
Generating Verifiable Java Code from Verified PVS Specifications 2012, Part of book or chapter of book (Goodloe, A.; Person, S. (ed.), NASA Formal Methods, pp. 310-325)
-
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving Gastel, B.E. van; Lensink, L. ; Smetsers, S. ; Eekelen, M.C.J.D. van2011, Article / Letter to editor (Science of Computer Programming, vol. 76, iss. 2, (2011), pp. 82-99)
-
Formal Component-Based Semantics Madlener, K.; Smetsers, S. ; Eekelen, M.C.J.D. van2011, Part of book or chapter of book (Reiniers, M.A.; Sobocinski, P. (ed.), Proceedings Eight Workshop on Structural Operational Semantics 2011 (SOS'11), Aachen, Germany, 5th September 2011, pp. 17-30)
-
The Syntactic Continuity Property: A computer verified proof 2010, Article in monograph or in proceedings (Majkic, Z. (ed.), Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS10), pp. 135-142)
-
A Formal Verification Study on the Rotterdam Storm Surge Barrier Madlener, K.; Smetsers, S. ; Eekelen, M. Van ; Eekelen, M.C.J.D. van2010, Part of book or chapter of book (Dong, J.; Zhu, H. (ed.), Formal Methods and Software Engineering, pp. 287-302)
-
Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van2009, 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, Sjaak2009, 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 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)
-
LaQuSo: Using Formal Meethods for Analysis, Verification and Improvement of Safety Critical Software 2008, Article / Letter to editor (Ercim News, vol. 75, iss. october, (2008), pp. 38-39)
-
Reentrant Readers--Writers: A Case Study Combining Model Checking and Theorem Proving Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van2008, External research report
-
AHA: Amortized Heap Space Usage Analysis Eekelen, M.C.J.D. van ; Shkaravska, O. ; Kesteren, R.H.C. van ; Jacobs, B. ; Poll, E. ; Smetsers, J.E.W.2008, Article in monograph or in proceedings (Morazán, Marco (ed.), Trends in Functional Programming : Selected Papers of the 8th International Symposium on Trends in Functional Programming (TFP'07), New York, USA, pp. 36-53)
-
Code-carrying theories Jacobs, B.P.F. ; Smetsers, S. ; Schreur, R. Wichers2007, Article / Letter to editor (Formal Aspects of Computing, vol. 19, iss. 2, (2007), pp. 191-203)
-
AHA: Amortized Heap Space Usage Analysis. Project Paper Eekelen, M.C.J.D. van ; Shkaravska, O. ; Kesteren, R.H.C. van ; Jacobs, Bart ; Poll, Erik ; Smetsers, Sjaak2007, Article in monograph or in proceedings (Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, pp. XVI-116)
-
Code-Carrying Theories 2007, Article / Letter to editor (Formal Aspects of Computing, vol. 19, iss. 2, (2007), pp. 191-203)
-
Strictness Analysis via Resource Typing 2007, Part of book or chapter of book (E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 29-40)
-
Bracket Abstraction Preserves Typability - A formal proof of Diller-algorithm-C in PVS 2006, Article in monograph or in proceedings (Levy, J. (ed.), Proceedings 20th International Workshop on Unification (UNIF'06), pp. 29-43)
-
A Generic Approach to Syntax Tree Operations 2005, Article in monograph or in proceedings (Butterfield, A. (ed.), Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, pp. 142-159)
-
Improved Fusion for Optimizing Generics 2005, Article in monograph or in proceedings (Hermenegildo, Manuel; Cabeza, Daniel (ed.), Proceedings of Seventh International Symposium on Practical Aspects of Declarative Languages, pp. 203-218)
-
-
There and Back Again: Arrows for Invertible Programming 2005, Article in monograph or in proceedings (Leijen, Daan (ed.), Proceedings of the ACM SIGPLAN urlhttp://www.cs.uu.nl/ daan/hw2005/2005 Haskell Workshop, pp. 86-97)
-
-
Optimizing Generic Functions 2004, Article in monograph or in proceedings (Proceedings Seventh International Conference on Mathematics of Program Construction (MPC 2004), pp. 16-31)
-
Fusion in Practice 2003, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers, pp. 51-67)
-
Fusion in Practice Arkel, D.F. van; Groningen, J.H.G. van ; Smetsers, J.E.W.2002, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), IFL 2002: Proceedings of the 14th International Workshop on Implementation of Functional Languages, Madrid, Spain, September 16-18, 2002, pp. 68-84)
-
Graph rewriting semantics for functional programming languages 1997, Article in monograph or in proceedings (, pp. 106-128)
-
Uniqueness type inference 1995, Article / Letter to editor (Programming Languages: Implementations, Logics and Programs, Vol. 982, (1995), pp. 189-206)
-
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs 1994, Part of book or chapter of book (Schneider, H.; Ehrig, H. (ed.), Graph Transformations in Computer Science, pp. 358-379)
-
-
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs 1993, External research report
-
Graph rewriting using the annotated functional strategy 1993, Part of book or chapter of book (Term graph rewriting : Theory and practice, pp. 317-332)
-
The functional strategy and transitive term rewriting systems Toyama, Y.; Smetsers, S. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.1993, Part of book or chapter of book (Sleep, M.R. (ed.), Term Graph Rewriting - Theory and Practice, pp. 61-75)
-
Concurrent Clean, Language Manual - Version 0.8 (revised version) Eekelen, M.C.J.D. van ; Huitema, H.; Nöcker, E.; Plasmeijer, M.J. ; Smetsers, J.E.W.1993, External research report
-
Now showing items 1-50 of 53
Search Repository
Browse
-
All of Repository
Upload Full Text