https://edkamb.github.io/portfolio/crowbar/ 2014-01-01T00:00:00-08:00 https://edkamb.github.io/portfolio/smol/ 2015-01-01T00:00:00-08:00 https://edkamb.github.io/portfolio/kalkbar/ 2016-01-01T00:00:00-08:00 https://edkamb.github.io/portfolio/ABS/ 2017-01-01T00:00:00-08:00 https://edkamb.github.io/portfolio/HABS/ 2019-01-01T00:00:00-08:00 https://edkamb.github.io/portfolio/KeY/ 2020-01-01T00:00:00-08:00 https://edkamb.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://edkamb.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://edkamb.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://edkamb.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://edkamb.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2016-04-01-icfem 2016-04-01T00:00:00-07:00 https://edkamb.github.io/publication/2016-11-01-ftscs 2016-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2016-11-01-icfem 2016-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2017-04-01-fase 2017-04-01T00:00:00-07:00 https://edkamb.github.io/publication/2018-07-01-avocs 2017-04-01T00:00:00-07:00 https://edkamb.github.io/publication/2017-11-01-rssrail 2017-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2018-01-01-fest 2018-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2018-06-01-ice 2018-06-01T00:00:00-07:00 https://edkamb.github.io/publication/2018-07-01-scp 2018-07-01T00:00:00-07:00 https://edkamb.github.io/publication/2018-09-01-ifm 2018-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2018-09-01-splc 2018-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2019-09-01-sefm 2019-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2019-09-01-tableaux 2019-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2019-10-01-fest 2019-10-01T00:00:00-07:00 https://edkamb.github.io/publication/2020-01-01-fest2 2020-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2021-arxiv 2020-01-01T00:00:00-08:00 https://edkamb.github.io/publication/thesis 2020-03-31T00:00:00-07:00 https://edkamb.github.io/publication/2020-09-01-key 2020-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2020-10-01-isola1 2020-10-01T00:00:00-07:00 https://edkamb.github.io/publication/2020-10-01-isola2 2020-10-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-05-01-eswc 2021-05-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-05-01-hscc 2021-05-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-06-01-coordination 2021-06-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-08-01-splc 2021-08-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-09-01-dl 2021-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-10-01-nwpt 2021-10-01T00:00:00-07:00 https://edkamb.github.io/publication/2021-11-01-fmtea 2021-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-05-01-eswc2 2022-05-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-07-01-fest 2022-07-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-07-01-ice 2022-07-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-08-28-scp 2022-08-28T00:00:00-07:00 https://edkamb.github.io/publication/2022-09-01-annsim 2022-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-11-01-isola3 2022-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-11-01-isola4 2022-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-11-01-isola5 2022-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2022-lites 2022-11-01T00:00:00-07:00 https://edkamb.github.io/publication/2023-01-21-scp 2023-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2022-09-26-sjss 2023-01-21T00:00:00-08:00 https://edkamb.github.io/publication/2023-03-21-fmdt 2023-03-01T00:00:00-08:00 https://edkamb.github.io/publication/2023-04-01-ieedt 2023-04-01T00:00:00-07:00 https://edkamb.github.io/publication/2023-04-21-fase 2023-04-01T00:00:00-07:00 https://edkamb.github.io/publication/2023-06-01-eswc 2023-06-01T00:00:00-07:00 https://edkamb.github.io/publication/2023-08-26-SPLC 2023-08-26T00:00:00-07:00 https://edkamb.github.io/publication/2023-09-22-concur 2023-09-22T00:00:00-07:00 https://edkamb.github.io/publication/2023-10-03-mbse 2023-10-03T00:00:00-07:00 https://edkamb.github.io/publication/2023-10-4-AOL1 2023-10-04T00:00:00-07:00 https://edkamb.github.io/publication/2023-10-4-AOL2 2023-10-04T00:00:00-07:00 https://edkamb.github.io/publication/2024-11-01-issre 2024-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2024-01-01-simulation 2024-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2024-01-01-tgdk 2024-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2024-01-03-appl 2024-01-03T00:00:00-08:00 https://edkamb.github.io/publication/2024-04-23-seams 2024-04-23T00:00:00-07:00 https://edkamb.github.io/publication/2024-09-22-EDTConf 2024-09-22T00:00:00-07:00 https://edkamb.github.io/publication/2024-09-23-edtconf 2024-09-23T00:00:00-07:00 https://edkamb.github.io/publication/2024-10-26-fest 2024-10-26T00:00:00-07:00 https://edkamb.github.io/publication/2024-10-28-isola 2024-10-28T00:00:00-07:00 https://edkamb.github.io/publication/2024-11-12-soflim 2024-11-12T00:00:00-08:00 https://edkamb.github.io/publication/2024-12-01-sosym 2024-12-01T00:00:00-08:00 https://edkamb.github.io/publication/2025-11-01-ictac 2025-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2025-01-01-system 2025-01-01T00:00:00-08:00 https://edkamb.github.io/publication/2025-05-01-kgcw 2025-05-01T00:00:00-07:00 https://edkamb.github.io/publication/2025-05-01-ecoop 2025-05-01T00:00:00-07:00 https://edkamb.github.io/publication/2025-06-01-eswc 2025-06-01T00:00:00-07:00 https://edkamb.github.io/publication/2025-07-01-incose 2025-07-01T00:00:00-07:00 https://edkamb.github.io/publication/2025-09-01-dl 2025-09-01T00:00:00-07:00 https://edkamb.github.io/publication/2025-09-23-edtconf 2025-09-23T00:00:00-07:00 https://edkamb.github.io/publication/2025-11-02-iswc 2025-11-02T00:00:00-07:00 https://edkamb.github.io/publication/2025-12-01-jss 2025-12-01T00:00:00-08:00 https://edkamb.github.io/publication/2025-12-22-sosym 2025-12-22T00:00:00-08:00 https://edkamb.github.io/talks/hscc 2021-05-20T00:00:00-07:00 https://edkamb.github.io/talks/splc 2021-08-18T00:00:00-07:00 https://edkamb.github.io/talks/nature 2022-04-07T00:00:00-07:00 https://edkamb.github.io/talks/eswc2 2022-05-20T00:00:00-07:00 https://edkamb.github.io/talks/annsim 2022-07-19T00:00:00-07:00 https://edkamb.github.io/talks/slpkth 2022-09-16T00:00:00-07:00 https://edkamb.github.io/talks/isola221 2022-10-26T00:00:00-07:00 https://edkamb.github.io/talks/isola222 2022-10-26T00:00:00-07:00 https://edkamb.github.io/talks/cargese 2023-03-23T00:00:00-07:00 https://edkamb.github.io/talks/gdl 2023-06-28T00:00:00-07:00 https://edkamb.github.io/talks/key23 2023-08-08T00:00:00-07:00 https://edkamb.github.io/talks/splc23 2023-09-08T00:00:00-07:00 https://edkamb.github.io/talks/sirius23 2023-11-14T00:00:00-08:00 https://edkamb.github.io/talks/wakers2024 2024-01-29T00:00:00-08:00 https://edkamb.github.io/talks/lorentz2024 2024-03-04T00:00:00-08:00 https://edkamb.github.io/talks/bergen2024 2024-06-19T00:00:00-07:00 https://edkamb.github.io/talks/models2024 2024-09-22T00:00:00-07:00 https://edkamb.github.io/talks/edtconf2024 2024-09-23T00:00:00-07:00 https://edkamb.github.io/teaching/2014-spring-teaching-1 2020-04-15T00:00:00-07:00 https://edkamb.github.io/teaching/2022-moc 2022-09-05T00:00:00-07:00 https://edkamb.github.io/teaching/2023-moc 2023-09-05T00:00:00-07:00 https://edkamb.github.io/teaching/2025-mosyl 2025-06-06T00:00:00-07:00 https://edkamb.github.io/teaching/2025-bdsa 2025-12-12T00:00:00-08:00 https://edkamb.github.io/ https://edkamb.github.io/archive-layout-with-content/ https://edkamb.github.io/categories/ https://edkamb.github.io/collection-archive/ https://edkamb.github.io/markdown/ https://edkamb.github.io/non-menu-page/ https://edkamb.github.io/page-archive/ https://edkamb.github.io/portfolio/ https://edkamb.github.io/publications/ https://edkamb.github.io/sitemap/ https://edkamb.github.io/tags/ https://edkamb.github.io/talkmap.html https://edkamb.github.io/talks/ https://edkamb.github.io/teaching/ https://edkamb.github.io/terms/ https://edkamb.github.io/year-archive/ https://edkamb.github.io/markdown_generator/ https://edkamb.github.io/files/Bergen24.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/GreenhouseDT.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/abs23_slides_1.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/abs_slides_2.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/annsim.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/biodiv.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/concur2023.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/dl2025.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/edtconf.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/edtconf25.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/edtconf_1.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/edtconf_2.pdf 2025-12-27T09:57:43-08:00 https://edkamb.github.io/files/eswc1.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/eswc2.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/eswc2023.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/eswc2025.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fase2023.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fest1.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fest2.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fest3.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fest4.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fmdt2023.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/fmtea.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/ftscs.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/gdl_abstract.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/gdl_slides.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/hscc.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/ictac2025.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/ieeedt2023.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/ifm.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/isola1.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/isola24.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/isola_22_1.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/isola_22_2.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/isola_22_3.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/issre.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/iswc2025.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/jss2025.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/kamburjan.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/key.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/key23_slides.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/keynote.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/lites.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/lorentz.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/mbse.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/models.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/paper.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/rssrail.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/scp.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/scp2.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/scp3.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/sefm.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/simulation.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/soflim.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/sosym2025.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/sosym24.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/splc1.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/splc2.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/splc23_slides.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/tableaux.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_annsim.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_campam.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_isola_22_1.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_isola_22_2.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_kth.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_nature.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/talk_sirius.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/techrep-fmdt.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/files/tutorial_kamburjan_wakers.pdf 2025-12-27T09:57:44-08:00 https://edkamb.github.io/talkmap/map.html 2025-12-27T09:57:44-08:00