Zobrazeno 1 - 10 of 24 pro vyhledávání: '"Eekelen, M. van"'
1
Efficient Verification of Optimized Code: Correct High-Speed X25519
Autor: Schoolderman, M.R., Moerman, J.S., Smetsers, J.E.W., Eekelen, M. van, Dutle, A., Moscato, M.M., Titolo, L., Muñoz, C.A., Perez, I.
Publikováno v: Dutle, A.; Moscato, M.M.; Titolo, L. (ed.), NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings, 304-321. Cham : Springer International Publishing
STARTPAGE=304;ENDPAGE=321;ISSN=0302-9743;TITLE=Dutle, A.; Moscato, M.M.; Titolo, L. (ed.), NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f363926e8535361fbefc4c08e27f5894
https://hdl.handle.net/2066/233888
Zobrazit plný text záznamu
2
Verifying OpenJDK’s LinkedList using KeY
Autor: Hiep, H.-D., Maathuis, O., Bian, J., Boer, F. de, Eekelen, M. van, Gouw, S de, Biere, A.
Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems
Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234
Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, 217-234. Cham : Springer
STARTPAGE=217;ENDPAGE=234;ISSN=0302-9743;TITLE=Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_dedup___::891af909d60144eacf3d2cc400fda0f8
https://doi.org/10.1007/978-3-030-45237-7_13
Zobrazit plný text záznamu
3
Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models
Autor: Schuderer, A., Bromuri, S., Eekelen, M. van, Dignum, F.
Publikováno v: Dignum, F. (ed.), Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 390-393. Cham : Springer International Publishing
STARTPAGE=390;ENDPAGE=393;ISSN=0302-9743;TITLE=Dignum, F. (ed.), Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::746443afe0b74acbea5f13b4d66b9796
http://hdl.handle.net/2066/238073
Zobrazit plný text záznamu
5
Improved Architectures/Deployments with Elmo
Autor: Lamers, A., Eekelen, M. van, Jongmans, S.-S., Liu, X.
Publikováno v: Liu, X. (ed.), Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, pp. 419-424
Liu, X. (ed.), Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, 419-424. Cham : Springer International Publishing
STARTPAGE=419;ENDPAGE=424;ISSN=0302-9743;TITLE=Liu, X. (ed.), Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018
Contains fulltext : 204533.pdf (Publisher’s version ) (Open Access) Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c8ec6270ec6ca083c738a0c3620bffc4
https://doi.org/10.1007/978-3-030-17642-6_36
Zobrazit plný text záznamu
6
Explaining Customer Activation with Deep Attention models
Autor: Weterings, K, Bromuri, S., Eekelen, M. van, Johannesson, P.
Publikováno v: Johannesson, P. (ed.), Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019, 1-15. Association for Information Systems
STARTPAGE=1;ENDPAGE=15;TITLE=Johannesson, P. (ed.), Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019
Johannesson, P. (ed.), Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019, pp. 1-15
Contains fulltext : 204515.pdf (Publisher’s version ) (Open Access) ECIS 2019: 27th European Conference on Information Systems: Information Systems for a Sharing Society, June 8-14 in Stockholm and Uppsala, Sweden
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::21de4ba8077831a6ffb4e3cc0ba0d912
http://hdl.handle.net/2066/204515
Zobrazit plný text záznamu
7
Saving the World: A long and windy road towards sustainability and formal verification in practice
Autor: Eekelen, M. van, Huisman, M.
Publikováno v: Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 31-34
Technical Report ; UU-CS-2019-004, 31-34. Utrecht : Utrecht University
STARTPAGE=31;ENDPAGE=34;TITLE=Technical Report ; UU-CS-2019-004
Contains fulltext : 207836.pdf (Publisher’s version ) (Open Access)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5284bf4f3e295892b95ff385fed95126
https://hdl.handle.net/2066/207836
Zobrazit plný text záznamu
8
Using Dependent Types to Define Energy Augmented Semantics of Programs
Autor: Gastel, B.E. van, Kersten, Rody, Eekelen, M.C.J.D. van, Eekelen, M. van, Lago, U. Dal
Publikováno v: Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, 20-39. Cham : Springer International Publishing
STARTPAGE=20;ENDPAGE=39;ISSN=0302-9743;TITLE=Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39
Item does not contain fulltext
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a65b1958bde52ed7cd1bc7c101f3250a
http://hdl.handle.net/2066/161348
Zobrazit plný text záznamu
9
Interpolation-based height analysis for improving a recurrence solver
Autor: Montenegro, M., Shkaravska, O., Eekelen, M.C.J.D. van, Pena, R., Eekelen, M. Van
Publikováno v: Pena, R.; Eekelen, M. Van; Shkaravska, O. (ed.), Foundational and Practical Aspects of Resource Analysis, Second International Workshop, FOPARA 2011 : Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 36-53
Lecture Notes in Computer Science ; 7177, 36-53. Berlin : Springer
STARTPAGE=36;ENDPAGE=53;TITLE=Lecture Notes in Computer Science ; 7177
Foundational and Practical Aspects of Resource Analysis ISBN: 9783642324949
FOPARA
The COSTA system infers resource consumption bounds from Java bytecode using an internal recurrence solver PUBS. This paper suggests an improvement of the COSTA system, such that it can solve a larger number of recurrences. The idea is to replace one
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2eaf2d09a34455c6cfbdcbc0d570f3b2
https://doi.org/10.1007/978-3-642-32495-6_3
Zobrazit plný text záznamu
10
Preface : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Autor: Peña, R., Eekelen, M.C.J.D. van, Shkaravska, O., Eekelen, M. van
Publikováno v: Lecture Notes in Computer Science ; 7177, IV-IV. Berlin : Springer
STARTPAGE=IV;ENDPAGE=IV;TITLE=Lecture Notes in Computer Science ; 7177
Eekelen, M. van (ed.), Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : Revised Selected Papers, pp. IV-IV
Item does not contain fulltext
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7cbe55b23aff0b19713f30b3790b0070
http://hdl.handle.net/2066/103640
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje