https://caterinaurban.github.io/publication_types/1/ 2026-01-30T18:32:39+01:00 0 https://caterinaurban.github.io/ 2026-03-26T11:26:31+01:00 0 https://caterinaurban.github.io/publication_types/ 2026-01-30T18:32:39+01:00 0 https://caterinaurban.github.io/publication/sv-comp2026/ 2026-01-30T18:32:39+01:00 https://caterinaurban.github.io/publication/fossacs2026/ 2026-01-23T13:42:48+01:00 https://caterinaurban.github.io/talk/emw2026/ 2026-02-05T10:06:27+01:00 https://caterinaurban.github.io/publication_types/2/ 2026-01-29T09:49:23+01:00 0 https://caterinaurban.github.io/publication/kbs2026/ 2026-01-29T09:49:23+01:00 https://caterinaurban.github.io/publication/popl2026/ 2026-01-19T14:43:37+01:00 https://caterinaurban.github.io/publication/vmcai2026/ 2026-01-19T14:43:37+01:00 https://caterinaurban.github.io/publication_types/4/ 2025-12-04T14:08:23+01:00 0 https://caterinaurban.github.io/publication/favex/ 2025-12-04T14:08:23+01:00 https://caterinaurban.github.io/publication_types/0/ 2025-10-03T17:26:36+02:00 0 https://caterinaurban.github.io/publication/hdr2025/ 2025-10-03T17:26:36+02:00 https://caterinaurban.github.io/talk/fbk2025/ 2025-10-02T13:49:03+02:00 https://caterinaurban.github.io/publication_types/7/ 2025-12-04T14:08:23+01:00 0 https://caterinaurban.github.io/publication/lmpl2025/ 2025-12-04T14:08:23+01:00 https://caterinaurban.github.io/publication/sas2025/ 2026-01-05T12:12:23+01:00 https://caterinaurban.github.io/talk/inesia2025/ 2025-08-12T10:13:48+02:00 https://caterinaurban.github.io/publication/ecmlpkdd2025/ 2026-01-19T14:43:37+01:00 https://caterinaurban.github.io/talk/dagstuhl25242/ 2025-06-12T10:19:02+02:00 https://caterinaurban.github.io/talk/unipr2025/ 2025-06-11T15:20:02+02:00 https://caterinaurban.github.io/publication/scp2025/ 2025-06-11T15:20:02+02:00 https://caterinaurban.github.io/publication/alc/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/talk/dagstuhl25061/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/publication/tmlr2025/ 2025-05-02T11:48:46+02:00 https://caterinaurban.github.io/talk/airbus2025/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/talk/nsad2024/ 2024-12-04T21:32:15+01:00 https://caterinaurban.github.io/talk/sas2024/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/talk/informatics2024/ 2024-12-04T21:32:15+01:00 https://caterinaurban.github.io/publication/expibp-forwabs/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/publication/nsad2024/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/publication/sas2024/ 2026-01-05T12:12:23+01:00 https://caterinaurban.github.io/talk/ur2024/ 2024-08-28T15:51:45+02:00 https://caterinaurban.github.io/publication/tase2024/ 2024-07-30T05:06:45+02:00 https://caterinaurban.github.io/publication/lpar2024/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/publication/nfm2024/ 2024-05-30T15:00:01+02:00 https://caterinaurban.github.io/publication/popl2024/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/publication/vmcai2024/ 2024-01-08T11:31:33+01:00 https://caterinaurban.github.io/project/forml/ 2024-03-12T12:26:58+01:00 https://caterinaurban.github.io/project/ 2024-03-12T12:26:58+01:00 0 https://caterinaurban.github.io/project/saif/ 2023-11-13T17:16:00+01:00 https://caterinaurban.github.io/publication/sas2023/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/publication_types/6/ 2024-01-08T11:31:33+01:00 0 https://caterinaurban.github.io/publication/csv2023/ 2024-01-08T11:31:33+01:00 https://caterinaurban.github.io/publication/soap2023/ 2024-01-08T11:31:33+01:00 https://caterinaurban.github.io/talk/cea2023/ 2023-03-27T12:26:03+02:00 https://caterinaurban.github.io/talk/spin2023/ 2023-03-27T12:26:03+02:00 https://caterinaurban.github.io/publication/nfm2023/ 2024-01-08T11:31:33+01:00 https://caterinaurban.github.io/talk/fac2024/ 2024-04-05T09:28:39+02:00 https://caterinaurban.github.io/talk/quarkslab2024/ 2024-03-12T12:26:58+01:00 https://caterinaurban.github.io/talk/irill2022/ 2023-01-04T16:45:26+01:00 https://caterinaurban.github.io/publication/leakage/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/publication/afi/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/publication_types/8/ 2025-12-04T14:08:23+01:00 0 https://caterinaurban.github.io/publication/apsec2022/ 2025-12-04T14:08:23+01:00 https://caterinaurban.github.io/publication/gbs/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/publication/wfvml2022/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/talk/ini2022/ 2022-07-08T15:39:28+02:00 https://caterinaurban.github.io/talk/soap2022/ 2022-06-21T11:33:48+02:00 https://caterinaurban.github.io/talk/venice2022/ 2022-05-30T17:00:43+02:00 https://caterinaurban.github.io/talk/inria2022/ 2022-05-30T17:24:30+02:00 https://caterinaurban.github.io/talk/cea2021/ 2021-11-17T15:24:16+01:00 https://caterinaurban.github.io/talk/gtverif2021/ 2021-11-17T15:24:16+01:00 https://caterinaurban.github.io/publication/cikm2021/ 2023-11-13T17:27:03+01:00 https://caterinaurban.github.io/publication/sas2021/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/publication/survey/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/talk/airbus2021/ 2022-04-26T22:49:10+02:00 https://caterinaurban.github.io/publication/fatt/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/talk/inserm2020/ 2020-12-31T17:50:30+01:00 https://caterinaurban.github.io/publication/oopsla2020/ 2021-01-04T13:20:37+01:00 https://caterinaurban.github.io/talk/dsv2020/ 2021-05-05T17:02:18+02:00 https://caterinaurban.github.io/talk/fomlas2021/ 2021-06-23T18:11:25+02:00 https://caterinaurban.github.io/publication/shape/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/talk/lorentz2021a/ 2021-02-05T13:21:03+01:00 https://caterinaurban.github.io/talk/inria2020/ 2020-12-31T17:42:05+01:00 https://caterinaurban.github.io/talk/lorentz2021b/ 2021-02-05T13:21:03+01:00 https://caterinaurban.github.io/talk/irif2020/ 2020-12-31T17:42:05+01:00 https://caterinaurban.github.io/talk/ens2021/ 2021-03-31T11:07:55+02:00 https://caterinaurban.github.io/talk/tau2020/ 2020-12-31T17:42:05+01:00 https://caterinaurban.github.io/talk/thales2020/ 2020-12-31T17:42:05+01:00 https://caterinaurban.github.io/publication/fairness/ 2025-04-22T14:56:47+02:00 https://caterinaurban.github.io/talk/sas2019/ 2020-12-31T17:32:32+01:00 https://caterinaurban.github.io/publication/sas2019/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/talk/gssi2019/ 2020-12-30T20:45:23+01:00 https://caterinaurban.github.io/project/sedano/ 2023-11-13T17:16:00+01:00 https://caterinaurban.github.io/project/libra/ 2023-11-13T17:16:00+01:00 https://caterinaurban.github.io/publication/sas2018/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/publication/cav2018a/ 2023-11-13T17:27:03+01:00 https://caterinaurban.github.io/publication/cav2018b/ 2023-11-13T17:27:03+01:00 https://caterinaurban.github.io/publication/esop2018/ 2022-07-08T15:39:28+02:00 https://caterinaurban.github.io/talk/epfl2018/ 2020-12-31T17:24:39+01:00 https://caterinaurban.github.io/talk/stevens2018/ 2020-12-31T17:24:39+01:00 https://caterinaurban.github.io/talk/mpisws2018/ 2020-12-31T17:24:39+01:00 https://caterinaurban.github.io/talk/shonan2017b/ 2020-12-31T17:21:31+01:00 https://caterinaurban.github.io/talk/shonan2017a/ 2020-12-31T17:21:31+01:00 https://caterinaurban.github.io/publication/jar2017/ 2025-06-11T15:20:02+02:00 https://caterinaurban.github.io/publication/tacas2017/ 2022-07-08T15:39:28+02:00 https://caterinaurban.github.io/talk/upmc2017/ 2020-12-30T20:41:37+01:00 https://caterinaurban.github.io/publication/comlan2017/ 2025-06-11T15:20:02+02:00 https://caterinaurban.github.io/talk/ 2020-12-30T14:32:29+01:00 https://caterinaurban.github.io/post/ 2018-07-15T20:06:53+01:00 https://caterinaurban.github.io/publication/ 2018-04-09T19:10:15+01:00 https://caterinaurban.github.io/publication/ijcai2016/ 2022-07-08T15:39:28+02:00 https://caterinaurban.github.io/talk/dagstuhl16201/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/talk/dagstuhl22291/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/publication/tacas2016/ 2023-11-13T17:27:03+01:00 https://caterinaurban.github.io/talk/sif2016/ 2020-12-31T17:16:19+01:00 https://caterinaurban.github.io/project/lyra/ 2023-11-13T17:16:00+01:00 https://caterinaurban.github.io/talk/tuwien2015/ 2020-12-31T17:15:03+01:00 https://caterinaurban.github.io/publication/cade2015/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/talk/sri2015/ 2020-12-31T17:15:03+01:00 https://caterinaurban.github.io/publication_types/3/ 2025-10-02T13:49:03+02:00 0 https://caterinaurban.github.io/publication/phd2015/ 2025-10-02T13:49:03+02:00 https://caterinaurban.github.io/publication/cav2015/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/publication/sv-comp2015/ 2022-07-08T15:39:28+02:00 https://caterinaurban.github.io/publication/vmcai2015/ 2020-12-30T12:17:39+01:00 https://caterinaurban.github.io/talk/uniud2014/ 2020-12-31T17:10:44+01:00 https://caterinaurban.github.io/talk/eth2014/ 2020-12-31T17:10:44+01:00 https://caterinaurban.github.io/talk/quml2014/ 2020-12-31T17:03:38+01:00 https://caterinaurban.github.io/publication/sas2014/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/talk/dagstuhl14352/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/publication/wst2014/ 2023-11-13T17:27:03+01:00 https://caterinaurban.github.io/talk/ucl2014/ 2020-12-31T17:01:03+01:00 https://caterinaurban.github.io/talk/inria2014b/ 2020-12-31T17:10:44+01:00 https://caterinaurban.github.io/publication/esop2014/ 2022-07-08T15:39:28+02:00 https://caterinaurban.github.io/talk/inria2014a/ 2020-12-30T20:35:00+01:00 https://caterinaurban.github.io/talk/ibm2014/ 2020-12-31T17:01:03+01:00 https://caterinaurban.github.io/talk/avdcps2013/ 2020-12-30T18:59:19+01:00 https://caterinaurban.github.io/talk/ecnu2013/ 2020-12-30T19:37:37+01:00 https://caterinaurban.github.io/publication/wst2013/ 2025-03-11T16:47:19+01:00 https://caterinaurban.github.io/publication/sas2013/ 2024-10-22T01:34:33+02:00 https://caterinaurban.github.io/talk/uniud2013/ 2020-12-30T15:10:35+01:00 https://caterinaurban.github.io/project/function/ 2023-11-13T17:16:00+01:00 https://caterinaurban.github.io/publication/sofsem2011/ 2023-11-13T17:27:03+01:00 https://caterinaurban.github.io/categories/ 0 https://caterinaurban.github.io/tags/ 0