Výsledky vyhledávání - "Smetsers, Sjaak"

Report

Efficient Verification of Optimized Code: Correct High-speed X25519

Autor: Schoolderman, Marc, Moerman, Jonathan, Smetsers, Sjaak, van Eekelen, Marko

Code that is highly optimized poses a problem for program-level verification: programmers can employ various clever tricks that are non-trivial to reason about. For cryptography on low-power devices, it is nonetheless crucial that implementations be

Externí odkaz: http://arxiv.org/abs/2012.09919

Zobrazit plný text záznamu

Report

A benchmark for C program verification

Autor: van Eekelen, Marko, Frumin, Daniil, Geuvers, Herman, Gondelman, Léon, Krebbers, Robbert, Schoolderman, Marc, Smetsers, Sjaak, Verbeek, Freek, Viguier, Benoît, Wiedijk, Freek

We present twenty-five C programs, as a benchmark for C program verification using formal methods. This benchmark can be used for system demonstration, for comparison of verification effort between systems, and as a friendly competition. For this las

Externí odkaz: http://arxiv.org/abs/1904.01009

Zobrazit plný text záznamu

Akademický článek

Unraveling novices' code composition difficulties.

Autor: Weeda, Renske, Smetsers, Sjaak, Barendsen, Erik

Publikováno v: Computer Science Education; Sep2024, Vol. 34 Issue 3, p414-441, 28p

Zobrazit plný text záznamu

Report

Formal Component-Based Semantics

Autor: Madlener, Ken, Smetsers, Sjaak, van Eekelen, Marko

Publikováno v: EPTCS 62, 2011, pp. 17-29

One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic

Externí odkaz: http://arxiv.org/abs/1108.3125

Zobrazit plný text záznamu

Akademický článek

Derivation and inference of higher-order strictness types

Autor: Smetsers, Sjaak, van Eekelen, Marko

Publikováno v: In Computer Languages, Systems & Structures December 2015 44 Part B:166-180

Zobrazit plný text záznamu

Periodical

Code-carrying theories

Autor: Jacobs, Bart, Smetsers, Sjaak, Schreur, Ronny

Publikováno v: Formal Aspects of Computing; 20240101, Issue: Preprints p1-13, 13p

Zobrazit plný text záznamu

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Autor: Schoolderman, Marc, Smetsers, Sjaak, van Eekelen, M.C.J.D., Rahimi, Ebrahim, Stikkolorum, Dave

Publikováno v: CSERC '19: The 8th Computer Science Education Research Conference, 50-57
ISSUE=1;STARTPAGE=50;ENDPAGE=57;TITLE=CSERC '19
CSERC
Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57
Schoolderman, M, Smetsers, S & van Eekelen, M C J D 2019, Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? in E Rahimi & D Stikkolorum (eds), CSERC '19 : The 8th Computer Science Education Research Conference . 1 edn, Association for Computing Machinery (ACM), New York, NY, pp. 50-57, 8th Computer Science Education Research Conference (CSERC'19), Larnaca, Cyprus, 18/11/19 . https://doi.org/10.1145/3375258.3375265
Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, 50-57. New York : ACM
STARTPAGE=50;ENDPAGE=57;TITLE=Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019

Software engineers working in industry seldom try to apply formal methods to solve problems. There are various reasons for this. Sometimes these reasons are understandable---the cost of using formal methods does not make economic sense in many contex

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bc67d0e6acc58e5480a24d21dc77ec1
https://research.ou.nl/en/publications/d8b4648e-f43a-4352-a867-255c996ca581

Zobrazit plný text záznamu

Evaluation of a Structured Design Methodology for Concurrent Programming

Autor: Bijlsma, A., Huizing, Kees, Kuiper, Ruurd, Passier, H.J.M., Pootjes, H.J., Smetsers, Sjaak, Rahimi, Ebrahim, Stikkolorum, Dave

Publikováno v: Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019, 58-65. New York : ACM
STARTPAGE=58;ENDPAGE=65;TITLE=Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019
Bijlsma, A, Huizing, K, Kuiper, R, Passier, H J M, Pootjes, H J & Smetsers, S 2019, Evaluation of a Structured Design Methodology for Concurrent Programming . in E Rahimi & D Stikkolorum (eds), CSERC '19 : Proceedings of the 8th Computer Science Education Research Conference . Association for Computing Machinery, New York, NY, pp. 58–65, 8th Computer Science Education Research Conference (CSERC'19), Larnaca, Cyprus, 18/11/19 . https://doi.org/10.1145/3375258.3375266
Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019, pp. 58-65
CSERC
CSERC '19: Proceedings of the 8th Computer Science Education Research Conference
CSERC '19

Learning how to design and implement a program is hard. Teaching methods and textbooks on Java programming often treat a new subject in terms of syntax and examples. Little attention is paid to systematically designing programs with these new concept

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f474289095d607a1c185ae10be2dafa5
https://hdl.handle.net/2066/219622

Zobrazit plný text záznamu

Methodical Concurrency Design in Education:Part I: Race Conditions

Autor: Bijlsma, A., Passier, H.J.M., Pootjes, H.J., Smetsers, Sjaak

Publikováno v: Bijlsma, A, Passier, H J M, Pootjes, H J & Smetsers, S 2015, Methodical Concurrency Design in Education : Part I: Race Conditions. vol. TR-OU-INF-2015-01a, Open Universiteit Nederland, Heerlen (NL) . < http://cs.ou.nl/techreports/TR-OU-INF-2015-01a.pdf >

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4301::f492d1ea37af6bbff444ae03bfb93f31
https://research.ou.nl/en/publications/115047f1-d560-4046-8f6b-6fc8eb944973

Zobrazit plný text záznamu

Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization

Autor: Lensink, Leonard, Smetsers, Sjaak, Eekelen, M.C.J.D. van, Merino, P., Leue, S.

Publikováno v: 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, 115-132. Berlin : Springer
STARTPAGE=115;ENDPAGE=132;ISSN=0302-9743;TITLE=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
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

Contains fulltext : 72022.pdf (Author’s version preprint ) (Open Access) 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, 01 juli 2007

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ec0328b3adf5b67b23469affa56ee1e6
https://hdl.handle.net/2066/72022

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání