/publications/2003-da 2026-06-13T14:45:56+10:00 /publications/2005-ecdl 2026-06-13T14:45:56+10:00 /publications/2005-esslli 2026-06-13T14:45:56+10:00 /publications/2005-ifm-phd 2026-06-13T14:45:56+10:00 /publications/2005-tr05-ua 2026-06-13T14:45:56+10:00 /publications/2005-tr07-ua 2026-06-13T14:45:56+10:00 /publications/2005-tr19-ua 2026-06-13T14:45:56+10:00 /publications/2006-amast 2026-06-13T14:45:56+10:00 /publications/2006-fm 2026-06-13T14:45:56+10:00 /publications/2006-relmics 2026-06-13T14:45:56+10:00 /publications/2006-relmics2 2026-06-13T14:45:56+10:00 /publications/2006-relmics3 2026-06-13T14:45:56+10:00 /publications/2006-relmics-phd 2026-06-13T14:45:56+10:00 /publications/2006-tr04-ua 2026-06-13T14:45:56+10:00 /publications/2006-tr06-ua 2026-06-13T14:45:56+10:00 /publications/2006-tr09-ua 2026-06-13T14:45:56+10:00 /publications/2006-tr11-ua 2026-06-13T14:45:56+10:00 /publications/2006-tr12-su 2026-06-13T14:45:56+10:00 /publications/2007-cade 2026-06-13T14:45:56+10:00 /publications/2007-entcs 2026-06-13T14:45:56+10:00 /publications/2007-kps 2026-06-13T14:45:56+10:00 /publications/2007-tr04-su 2026-06-13T14:45:56+10:00 /publications/2007-tr08-su 2026-06-13T14:45:56+10:00 /publications/2007-tr08-ua 2026-06-13T14:45:56+10:00 /publications/2007-tr12-ua 2026-06-13T14:45:56+10:00 /publications/2007-tr13-ua 2026-06-13T14:45:56+10:00 /publications/2008-entcs 2026-06-13T14:45:56+10:00 /publications/2008-entcs2 2026-06-13T14:45:56+10:00 /publications/2008-ijcar 2026-06-13T14:45:56+10:00 /publications/2008-jlap 2026-06-13T14:45:56+10:00 /publications/2008-relmics 2026-06-13T14:45:56+10:00 /publications/2008-relmics2 2026-06-13T14:45:56+10:00 /publications/2008-relmics-phd 2026-06-13T14:45:56+10:00 /publications/2008-relmics-phd2 2026-06-13T14:45:56+10:00 /publications/2008-sefm 2026-06-13T14:45:56+10:00 /publications/2008-tr05-su 2026-06-13T14:45:56+10:00 /publications/2009-amai 2026-06-13T14:45:56+10:00 /publications/2009-fosd 2026-06-13T14:45:56+10:00 /publications/2009-jlap 2026-06-13T14:45:56+10:00 /publications/2009-phd 2026-06-13T14:45:56+10:00 /publications/2009-relmics 2026-06-13T14:45:56+10:00 /publications/2009-tr12-ua 2026-06-13T14:45:56+10:00 /publications/2010-jlap 2026-06-13T14:45:56+10:00 /publications/2010-paar 2026-06-13T14:45:56+10:00 /publications/2010-tr03-ua 2026-06-13T14:45:56+10:00 /publications/2010-tr06-ua 2026-06-13T14:45:56+10:00 /publications/2010-tr09-ua 2026-06-13T14:45:56+10:00 /publications/2010-tr10-ua 2026-06-13T14:45:56+10:00 /publications/2010-tr11-ua 2026-06-13T14:45:56+10:00 /publications/2010-tr12-ua 2026-06-13T14:45:56+10:00 /publications/2010-tr13-ua 2026-06-13T14:45:56+10:00 /publications/2011-ate 2026-06-13T14:45:56+10:00 /publications/2011-gpce 2026-06-13T14:45:56+10:00 /publications/2011-ijsi 2026-06-13T14:45:56+10:00 /publications/2011-jlap 2026-06-13T14:45:56+10:00 /publications/2011-ramics 2026-06-13T14:45:56+10:00 /publications/2011-ramics2 2026-06-13T14:45:56+10:00 /publications/2011-sosym 2026-06-13T14:45:56+10:00 /publications/2011-tcs 2026-06-13T14:45:56+10:00 /publications/2011-wripe 2026-06-13T14:45:56+10:00 /publications/2012-atx 2026-06-13T14:45:56+10:00 /publications/2012-esop 2026-06-13T14:45:56+10:00 /publications/2012-fac 2026-06-13T14:45:56+10:00 /publications/2012-facpre 2026-06-13T14:45:56+10:00 /publications/2012-facs 2026-06-13T14:45:56+10:00 /publications/2012-lr 2026-06-13T14:45:56+10:00 /publications/2012-lr2 2026-06-13T14:45:56+10:00 /publications/2012-mswim 2026-06-13T14:45:56+10:00 /publications/2012-ramics 2026-06-13T14:45:56+10:00 /publications/2012-tacas 2026-06-13T14:45:56+10:00 /publications/2012-tr06-ua 2026-06-13T14:45:56+10:00 /publications/2012-wripe 2026-06-13T14:45:56+10:00 /publications/2013-formats 2026-06-13T14:45:56+10:00 /publications/2013-fosd 2026-06-13T14:45:56+10:00 /publications/2013-mswim 2026-06-13T14:45:56+10:00 /publications/2013-nfm 2026-06-13T14:45:56+10:00 /publications/2013-qest 2026-06-13T14:45:56+10:00 /publications/2013-tr2147-ut 2026-06-13T14:45:56+10:00 /publications/2013-tr5513-nicta 2026-06-13T14:45:56+10:00 /publications/2014-afp-atva 2026-06-13T14:45:56+10:00 /publications/2014-atva 2026-06-13T14:45:56+10:00 /publications/2014-itp 2026-06-13T14:45:56+10:00 /publications/2014-jlamp 2026-06-13T14:45:56+10:00 /publications/2014-ramics 2026-06-13T14:45:56+10:00 /publications/2014-ramics2 2026-06-13T14:45:56+10:00 /publications/2015-acta 2026-06-13T14:45:56+10:00 /publications/2015-fmi 2026-06-13T14:45:56+10:00 /publications/2015-jlamp 2026-06-13T14:45:56+10:00 /publications/2015-mars 2026-06-13T14:45:56+10:00 /publications/2015-ramics 2026-06-13T14:45:56+10:00 /publications/2015-sefm 2026-06-13T14:45:56+10:00 /publications/2015-sss 2026-06-13T14:45:56+10:00 /publications/2015-tr8501-nicta 2026-06-13T14:45:56+10:00 /publications/2016-afp-kad 2026-06-13T14:45:56+10:00 /publications/2016-dc 2026-06-13T14:45:56+10:00 /publications/2016-dm 2026-06-13T14:45:56+10:00 /publications/2016-esop 2026-06-13T14:45:56+10:00 /publications/2016-jar 2026-06-13T14:45:56+10:00 /publications/2016-jlamp 2026-06-13T14:45:56+10:00 /publications/2016-jlamp2 2026-06-13T14:45:56+10:00 /publications/2016-jlamp-pre 2026-06-13T14:45:56+10:00 /publications/2016-mi 2026-06-13T14:45:56+10:00 /publications/2016-tr9145-nicta 2026-06-13T14:45:56+10:00 /publications/2017-express 2026-06-13T14:45:56+10:00 /publications/2017-mars 2026-06-13T14:45:56+10:00 /publications/2017-mars-pre 2026-06-13T14:45:56+10:00 /publications/2017-ramics 2026-06-13T14:45:56+10:00 /publications/2018-ifm 2026-06-13T14:45:56+10:00 /publications/2018-itp 2026-06-13T14:45:56+10:00 /publications/2018-ramics 2026-06-13T14:45:56+10:00 /publications/2019-csur 2026-06-13T14:45:56+10:00 /publications/2019-esop 2026-06-13T14:45:56+10:00 /publications/2019-jlamp 2026-06-13T14:45:56+10:00 /publications/2019-tr02-ua 2026-06-13T14:45:56+10:00 /publications/2020-acta 2026-06-13T14:45:56+10:00 /publications/2020-acta2 2026-06-13T14:45:56+10:00 /publications/2020-afp-paths 2026-06-13T14:45:56+10:00 /publications/2020-jlamp 2026-06-13T14:45:56+10:00 /publications/2020-mars 2026-06-13T14:45:56+10:00 /publications/2020-mars2 2026-06-13T14:45:56+10:00 /publications/2021-acit 2026-06-13T14:45:56+10:00 /publications/2021-concur 2026-06-13T14:45:56+10:00 /publications/2021-lics 2026-06-13T14:45:56+10:00 /publications/2021-ramics 2026-06-13T14:45:56+10:00 /publications/2022-mars 2026-06-13T14:45:56+10:00 /publications/2023-express 2026-06-13T14:45:56+10:00 /publications/2024-fm 2026-06-13T14:45:56+10:00 /publications/2024-popl 2026-06-13T14:45:56+10:00 /publications/2025-afp-locks 2026-06-13T14:45:56+10:00 /publications/2025-vstte 2026-06-13T14:45:56+10:00 /aboutme/ /cv/ /disclaimer/ /education/ / /onstage/ /people/ /presentations/ /publications/ /research/ /tags/ /teaching/ /assets/pdf/2003_hoefner_da.pdf 2024-08-30T13:24:04+10:00 /assets/pdf/2005_hoefner_ecdl.pdf 2024-08-30T13:24:01+10:00 /assets/pdf/2005_hoefner_esslli_phd.pdf 2024-08-30T13:24:03+10:00 /assets/pdf/2005_hoefner_ifm_phd.pdf 2024-08-30T13:24:02+10:00 /assets/pdf/2005_hoefner_tr05_ua.pdf 2024-08-30T13:26:05+10:00 /assets/pdf/2005_hoefner_tr07_ua.pdf 2024-08-30T13:26:03+10:00 /assets/pdf/2005_hoefner_tr19_ua.pdf 2024-08-30T13:26:03+10:00 /assets/pdf/2006_hoefner_amast.pdf 2024-08-30T13:23:56+10:00 /assets/pdf/2006_hoefner_fm.pdf 2024-08-30T13:24:00+10:00 /assets/pdf/2006_hoefner_relmics.pdf 2024-08-30T13:23:58+10:00 /assets/pdf/2006_hoefner_relmics2.pdf 2024-08-30T13:24:05+10:00 /assets/pdf/2006_hoefner_relmics3.pdf 2024-08-30T13:23:59+10:00 /assets/pdf/2006_hoefner_relmics_phd.pdf 2024-08-30T13:23:57+10:00 /assets/pdf/2006_hoefner_tr04_ua.pdf 2024-08-30T13:26:01+10:00 /assets/pdf/2006_hoefner_tr06_ua.pdf 2024-08-30T13:26:01+10:00 /assets/pdf/2006_hoefner_tr09_ua.pdf 2024-08-30T13:25:59+10:00 /assets/pdf/2006_hoefner_tr11_ua.pdf 2024-08-30T13:25:59+10:00 /assets/pdf/2006_hoefner_tr12_su.pdf 2024-08-30T13:25:44+10:00 /assets/pdf/2007_hoefner_cade.pdf 2024-08-30T13:23:53+10:00 /assets/pdf/2007_hoefner_entcs.pdf 2024-08-30T13:23:55+10:00 /assets/pdf/2007_hoefner_kps.pdf 2024-08-30T13:23:54+10:00 /assets/pdf/2007_hoefner_tr04_su.pdf 2024-08-30T13:25:43+10:00 /assets/pdf/2007_hoefner_tr08_su.pdf 2024-08-30T13:25:42+10:00 /assets/pdf/2007_hoefner_tr08_ua.pdf 2024-08-30T13:25:57+10:00 /assets/pdf/2007_hoefner_tr12_ua.pdf 2024-08-30T13:25:57+10:00 /assets/pdf/2007_hoefner_tr13_ua.pdf 2026-05-09T19:17:44+10:00 /assets/pdf/2008_hoefner_entcs.pdf 2024-08-30T13:23:50+10:00 /assets/pdf/2008_hoefner_entcs2.pdf 2024-08-30T13:23:47+10:00 /assets/pdf/2008_hoefner_ijcar.pdf 2024-08-30T13:23:46+10:00 /assets/pdf/2008_hoefner_jlap.pdf 2024-08-30T13:23:49+10:00 /assets/pdf/2008_hoefner_relmics.pdf 2024-08-30T13:23:45+10:00 /assets/pdf/2008_hoefner_relmics2.pdf 2024-08-30T13:23:48+10:00 /assets/pdf/2008_hoefner_relmics_phd.pdf 2024-08-30T13:23:52+10:00 /assets/pdf/2008_hoefner_relmics_phd2.pdf 2024-08-30T13:23:44+10:00 /assets/pdf/2008_hoefner_sefm.pdf 2024-08-30T13:23:51+10:00 /assets/pdf/2008_hoefner_tr05_su.pdf 2024-08-30T13:25:41+10:00 /assets/pdf/2009_hoefner_amai.pdf 2024-08-30T13:23:42+10:00 /assets/pdf/2009_hoefner_fosd.pdf 2024-08-30T13:23:41+10:00 /assets/pdf/2009_hoefner_jlap.pdf 2024-08-30T13:23:40+10:00 /assets/pdf/2009_hoefner_relmics.pdf 2024-08-30T13:23:43+10:00 /assets/pdf/2009_hoefner_tr05_su.pdf 2024-08-30T13:25:41+10:00 /assets/pdf/2009_hoefner_tr12_ua.pdf 2024-08-30T13:25:55+10:00 /assets/pdf/2010_hoefner_jlap.pdf 2024-08-30T13:23:38+10:00 /assets/pdf/2010_hoefner_paar.pdf 2024-08-30T13:23:40+10:00 /assets/pdf/2010_hoefner_tr03_ua.pdf 2024-08-30T13:25:55+10:00 /assets/pdf/2010_hoefner_tr06_ua.pdf 2024-08-30T13:25:53+10:00 /assets/pdf/2010_hoefner_tr09_ua.pdf 2024-08-30T13:25:53+10:00 /assets/pdf/2010_hoefner_tr10_ua.pdf 2024-08-30T13:25:51+10:00 /assets/pdf/2010_hoefner_tr11_ua.pdf 2024-08-30T13:25:51+10:00 /assets/pdf/2010_hoefner_tr12_ua.pdf 2026-05-10T10:43:41+10:00 /assets/pdf/2010_hoefner_tr13_ua.pdf 2024-08-30T13:25:50+10:00 /assets/pdf/2011_hoefner_ate.pdf 2024-08-30T13:23:38+10:00 /assets/pdf/2011_hoefner_gpce.pdf 2024-08-30T13:23:36+10:00 /assets/pdf/2011_hoefner_ijsi.pdf 2024-08-30T13:23:32+10:00 /assets/pdf/2011_hoefner_jlap.pdf 2024-08-30T13:23:36+10:00 /assets/pdf/2011_hoefner_ramics.pdf 2024-08-30T13:23:34+10:00 /assets/pdf/2011_hoefner_ramics2.pdf 2024-08-30T13:23:30+10:00 /assets/pdf/2011_hoefner_sosym.pdf 2024-08-30T13:23:32+10:00 /assets/pdf/2011_hoefner_tcs.pdf 2024-08-30T13:23:30+10:00 /assets/pdf/2011_hoefner_wripe.pdf 2024-08-30T13:23:34+10:00 /assets/pdf/2012_hoefner_atx.pdf 2024-08-30T13:23:28+10:00 /assets/pdf/2012_hoefner_esop.pdf 2024-08-30T13:23:26+10:00 /assets/pdf/2012_hoefner_fac.pdf 2024-08-30T13:23:20+10:00 /assets/pdf/2012_hoefner_facs.pdf 2024-08-30T13:23:26+10:00 /assets/pdf/2012_hoefner_lr.pdf 2024-08-30T13:23:22+10:00 /assets/pdf/2012_hoefner_lr2.pdf 2024-08-30T13:23:20+10:00 /assets/pdf/2012_hoefner_mswim.pdf 2024-08-30T13:23:24+10:00 /assets/pdf/2012_hoefner_ramics.pdf 2024-08-30T13:23:24+10:00 /assets/pdf/2012_hoefner_tacas.pdf 2024-08-30T13:23:22+10:00 /assets/pdf/2012_hoefner_tr06_ua.pdf 2024-08-30T13:25:49+10:00 /assets/pdf/2012_hoefner_wripe.pdf 2024-08-30T13:23:28+10:00 /assets/pdf/2013_hoefner_formats.pdf 2024-08-30T13:23:16+10:00 /assets/pdf/2013_hoefner_fosd.pdf 2024-08-30T13:23:18+10:00 /assets/pdf/2013_hoefner_mswim.pdf 2024-08-30T13:23:16+10:00 /assets/pdf/2013_hoefner_nfm.pdf 2024-08-30T13:23:14+10:00 /assets/pdf/2013_hoefner_qest.pdf 2024-08-30T13:23:18+10:00 /assets/pdf/2013_hoefner_tr2147_ut.pdf 2024-08-30T13:25:47+10:00 /assets/pdf/2013_hoefner_tr5513_nicta.pdf 2024-08-30T13:25:46+10:00 /assets/pdf/2014_hoefner_atva.pdf 2024-08-30T13:23:12+10:00 /assets/pdf/2014_hoefner_itp.pdf 2024-08-30T13:23:12+10:00 /assets/pdf/2014_hoefner_jlamp.pdf 2024-08-30T13:23:10+10:00 /assets/pdf/2014_hoefner_ramics.pdf 2024-08-30T13:23:14+10:00 /assets/pdf/2014_hoefner_ramics_pref.pdf 2024-08-30T13:23:10+10:00 /assets/pdf/2015_hoefner_acta.pdf 2024-08-30T13:23:06+10:00 /assets/pdf/2015_hoefner_fmi.pdf 2024-08-30T13:23:04+10:00 /assets/pdf/2015_hoefner_jlamp.pdf 2024-08-30T13:23:04+10:00 /assets/pdf/2015_hoefner_mars.pdf 2024-08-30T13:23:02+10:00 /assets/pdf/2015_hoefner_ramics.pdf 2024-08-30T13:23:08+10:00 /assets/pdf/2015_hoefner_sefm.pdf 2024-08-30T13:23:02+10:00 /assets/pdf/2015_hoefner_sss.pdf 2024-08-30T13:23:08+10:00 /assets/pdf/2015_hoefner_tr8501_nicta.pdf 2024-02-25T14:54:24+11:00 /assets/pdf/2016_hoefner_dc.pdf 2024-08-30T13:22:56+10:00 /assets/pdf/2016_hoefner_dm.pdf 2024-08-30T13:23:00+10:00 /assets/pdf/2016_hoefner_esop.pdf 2024-08-30T13:22:58+10:00 /assets/pdf/2016_hoefner_jar.pdf 2024-08-30T13:22:58+10:00 /assets/pdf/2016_hoefner_jlamp.pdf 2024-08-30T13:23:00+10:00 /assets/pdf/2016_hoefner_jlamp2.pdf 2024-08-30T13:22:54+10:00 /assets/pdf/2016_hoefner_jlamppre.pdf 2024-08-30T13:22:53+10:00 /assets/pdf/2016_hoefner_mi.pdf 2024-08-30T13:22:55+10:00 /assets/pdf/2016_hoefner_tr9145_nicta.pdf 2024-08-30T13:25:45+10:00 /assets/pdf/2017_hoefner_express.pdf 2024-08-30T13:22:52+10:00 /assets/pdf/2017_hoefner_mars.pdf 2024-08-30T13:22:51+10:00 /assets/pdf/2017_hoefner_mars_pre.pdf 2024-08-30T13:22:50+10:00 /assets/pdf/2017_hoefner_ramics.pdf 2024-08-30T13:22:49+10:00 /assets/pdf/2018_hoefner_ifm.pdf 2024-08-30T13:22:45+10:00 /assets/pdf/2018_hoefner_itp.pdf 2024-08-30T13:22:48+10:00 /assets/pdf/2018_hoefner_ramics.pdf 2024-08-30T13:22:47+10:00 /assets/pdf/2019_hoefner_csur.pdf 2024-08-30T13:22:43+10:00 /assets/pdf/2019_hoefner_esop.pdf 2024-08-30T13:22:45+10:00 /assets/pdf/2019_hoefner_jlamp.pdf 2024-08-30T13:22:43+10:00 /assets/pdf/2019_hoefner_tr02_ua.pdf 2024-08-30T13:25:48+10:00 /assets/pdf/2020_hoefner_acta.pdf 2024-08-30T13:22:39+10:00 /assets/pdf/2020_hoefner_jlamp.pdf 2024-08-30T13:22:39+10:00 /assets/pdf/2020_hoefner_mars.pdf 2024-08-30T13:22:41+10:00 /assets/pdf/2020_hoefner_mars2.pdf 2024-08-30T13:22:41+10:00 /assets/pdf/2021_hoefner_acit.pdf 2024-08-30T13:22:35+10:00 /assets/pdf/2021_hoefner_concur.pdf 2024-08-30T13:22:35+10:00 /assets/pdf/2021_hoefner_lics.pdf 2024-08-30T13:22:37+10:00 /assets/pdf/2021_hoefner_ramics.pdf 2024-08-30T13:22:37+10:00 /assets/pdf/2022_hoefner_mars.pdf 2026-05-12T15:04:59+10:00 /assets/pdf/2023_hoefner_express.pdf 2026-05-12T15:09:41+10:00 /assets/pdf/2024_hoefner_fm.pdf 2026-05-12T16:05:22+10:00 /assets/pdf/2024_hoefner_popl.pdf 2026-05-12T15:32:37+10:00 /assets/pdf/2025_hoefner_vstte.pdf 2025-07-18T10:40:08+10:00 /assets/pdf_original/2003_hoefner_da.pdf 2024-08-30T13:24:04+10:00 /assets/pdf_original/2005_hoefner_ecdl.pdf 2024-08-30T13:25:35+10:00 /assets/pdf_original/2005_hoefner_esslli_phd.pdf 2024-08-30T13:25:37+10:00 /assets/pdf_original/2005_hoefner_ifm_phd.pdf 2024-08-30T13:25:35+10:00 /assets/pdf_original/2005_hoefner_tr05_ua.pdf 2024-08-30T13:26:05+10:00 /assets/pdf_original/2005_hoefner_tr07_ua.pdf 2024-08-30T13:26:03+10:00 /assets/pdf_original/2005_hoefner_tr19_ua.pdf 2024-08-30T13:26:03+10:00 /assets/pdf_original/2006_hoefner_amast.pdf 2024-08-30T13:25:29+10:00 /assets/pdf_original/2006_hoefner_fm.pdf 2024-08-30T13:25:33+10:00 /assets/pdf_original/2006_hoefner_relmics.pdf 2024-08-30T13:25:31+10:00 /assets/pdf_original/2006_hoefner_relmics2.pdf 2024-08-30T13:25:39+10:00 /assets/pdf_original/2006_hoefner_relmics3.pdf 2024-08-30T13:25:33+10:00 /assets/pdf_original/2006_hoefner_relmics_phd.pdf 2024-08-30T13:23:57+10:00 /assets/pdf_original/2006_hoefner_tr04_ua.pdf 2024-08-30T13:26:01+10:00 /assets/pdf_original/2006_hoefner_tr06_ua.pdf 2024-08-30T13:26:01+10:00 /assets/pdf_original/2006_hoefner_tr09_ua.pdf 2024-08-30T13:25:59+10:00 /assets/pdf_original/2006_hoefner_tr11_ua.pdf 2024-08-30T13:25:59+10:00 /assets/pdf_original/2006_hoefner_tr12_su.pdf 2024-08-30T13:25:44+10:00 /assets/pdf_original/2007_hoefner_cade.pdf 2024-08-30T13:25:27+10:00 /assets/pdf_original/2007_hoefner_entcs.pdf 2024-08-30T13:25:29+10:00 /assets/pdf_original/2007_hoefner_kps.pdf 2024-08-30T13:23:54+10:00 /assets/pdf_original/2007_hoefner_tr04_su.pdf 2024-08-30T13:25:43+10:00 /assets/pdf_original/2007_hoefner_tr08_su.pdf 2024-08-30T13:25:42+10:00 /assets/pdf_original/2007_hoefner_tr08_ua.pdf 2024-08-30T13:25:57+10:00 /assets/pdf_original/2007_hoefner_tr12_ua.pdf 2024-08-30T13:25:57+10:00 /assets/pdf_original/2007_hoefner_tr13_ua.pdf 2026-05-09T19:17:44+10:00 /assets/pdf_original/2008_hoefner_entcs.pdf 2024-08-30T13:25:23+10:00 /assets/pdf_original/2008_hoefner_entcs2.pdf 2024-08-30T13:25:21+10:00 /assets/pdf_original/2008_hoefner_ijcar.pdf 2024-08-30T13:25:19+10:00 /assets/pdf_original/2008_hoefner_jlap.pdf 2024-08-30T13:25:23+10:00 /assets/pdf_original/2008_hoefner_relmics.pdf 2024-08-30T13:25:19+10:00 /assets/pdf_original/2008_hoefner_relmics2.pdf 2024-08-30T13:25:21+10:00 /assets/pdf_original/2008_hoefner_relmics_phd.pdf 2024-08-30T13:25:25+10:00 /assets/pdf_original/2008_hoefner_relmics_phd2.pdf 2024-08-30T13:25:17+10:00 /assets/pdf_original/2008_hoefner_sefm.pdf 2024-08-30T13:25:25+10:00 /assets/pdf_original/2008_hoefner_tr05_su.pdf 2024-08-30T13:25:41+10:00 /assets/pdf_original/2009_hoefner_amai.pdf 2024-08-30T13:25:15+10:00 /assets/pdf_original/2009_hoefner_fosd.pdf 2024-08-30T13:25:15+10:00 /assets/pdf_original/2009_hoefner_jlap.pdf 2024-08-30T13:25:13+10:00 /assets/pdf_original/2009_hoefner_relmics.pdf 2024-08-30T13:25:17+10:00 /assets/pdf_original/2009_hoefner_tr05_su.pdf 2024-08-30T13:25:41+10:00 /assets/pdf_original/2009_hoefner_tr12_ua.pdf 2024-08-30T13:25:55+10:00 /assets/pdf_original/2010_hoefner_jlap.pdf 2024-08-30T13:25:11+10:00 /assets/pdf_original/2010_hoefner_paar.pdf 2024-08-30T13:25:13+10:00 /assets/pdf_original/2010_hoefner_tr03_ua.pdf 2024-08-30T13:25:55+10:00 /assets/pdf_original/2010_hoefner_tr06_ua.pdf 2024-08-30T13:25:53+10:00 /assets/pdf_original/2010_hoefner_tr09_ua.pdf 2024-08-30T13:25:53+10:00 /assets/pdf_original/2010_hoefner_tr10_ua.pdf 2024-08-30T13:25:51+10:00 /assets/pdf_original/2010_hoefner_tr11_ua.pdf 2024-08-30T13:25:51+10:00 /assets/pdf_original/2010_hoefner_tr12_ua.pdf 2026-05-10T10:43:41+10:00 /assets/pdf_original/2010_hoefner_tr13_ua.pdf 2024-08-30T13:25:50+10:00 /assets/pdf_original/2011_hoefner_ate.pdf 2024-08-30T13:25:11+10:00 /assets/pdf_original/2011_hoefner_gpce.pdf 2024-08-30T13:25:09+10:00 /assets/pdf_original/2011_hoefner_ijsi.pdf 2024-08-30T13:25:05+10:00 /assets/pdf_original/2011_hoefner_jlap.pdf 2024-08-30T13:25:09+10:00 /assets/pdf_original/2011_hoefner_ramics.pdf 2024-08-30T13:25:07+10:00 /assets/pdf_original/2011_hoefner_ramics2.pdf 2024-08-30T13:25:03+10:00 /assets/pdf_original/2011_hoefner_sosym.pdf 2024-08-30T13:25:05+10:00 /assets/pdf_original/2011_hoefner_tcs.pdf 2024-08-30T13:25:03+10:00 /assets/pdf_original/2011_hoefner_wripe.pdf 2024-08-30T13:25:07+10:00 /assets/pdf_original/2012_hoefner_atx.pdf 2024-08-30T13:25:01+10:00 /assets/pdf_original/2012_hoefner_esop.pdf 2024-08-30T13:24:59+10:00 /assets/pdf_original/2012_hoefner_fac.pdf 2024-08-30T13:24:55+10:00 /assets/pdf_original/2012_hoefner_facs.pdf 2024-08-30T13:24:59+10:00 /assets/pdf_original/2012_hoefner_lr.pdf 2024-08-30T13:24:53+10:00 /assets/pdf_original/2012_hoefner_lr2.pdf 2024-08-30T13:24:53+10:00 /assets/pdf_original/2012_hoefner_mswim.pdf 2024-08-30T13:24:57+10:00 /assets/pdf_original/2012_hoefner_ramics.pdf 2024-08-30T13:24:57+10:00 /assets/pdf_original/2012_hoefner_tacas.pdf 2024-08-30T13:24:55+10:00 /assets/pdf_original/2012_hoefner_tr06_ua.pdf 2024-08-30T13:25:49+10:00 /assets/pdf_original/2012_hoefner_wripe.pdf 2024-08-30T13:25:01+10:00 /assets/pdf_original/2013_hoefner_formats.pdf 2024-08-30T13:24:49+10:00 /assets/pdf_original/2013_hoefner_fosd.pdf 2024-08-30T13:24:51+10:00 /assets/pdf_original/2013_hoefner_mswim.pdf 2024-08-30T13:24:49+10:00 /assets/pdf_original/2013_hoefner_nfm.pdf 2024-08-30T13:24:47+10:00 /assets/pdf_original/2013_hoefner_qest.pdf 2024-08-30T13:24:51+10:00 /assets/pdf_original/2013_hoefner_tr2147_ut.pdf 2024-08-30T13:25:47+10:00 /assets/pdf_original/2013_hoefner_tr5513_nicta.pdf 2024-08-30T13:25:46+10:00 /assets/pdf_original/2014_hoefner_atva.pdf 2024-08-30T13:24:45+10:00 /assets/pdf_original/2014_hoefner_itp.pdf 2024-08-30T13:24:45+10:00 /assets/pdf_original/2014_hoefner_jlamp.pdf 2024-08-30T13:24:43+10:00 /assets/pdf_original/2014_hoefner_ramics.pdf 2024-08-30T13:24:47+10:00 /assets/pdf_original/2014_hoefner_ramics_pref.pdf 2024-08-30T13:24:43+10:00 /assets/pdf_original/2015_hoefner_acta.pdf 2024-08-30T13:24:40+10:00 /assets/pdf_original/2015_hoefner_fmi.pdf 2024-08-30T13:24:38+10:00 /assets/pdf_original/2015_hoefner_jlamp.pdf 2024-08-30T13:24:37+10:00 /assets/pdf_original/2015_hoefner_mars.pdf 2024-08-30T13:24:35+10:00 /assets/pdf_original/2015_hoefner_ramics.pdf 2024-08-30T13:24:41+10:00 /assets/pdf_original/2015_hoefner_sefm.pdf 2024-08-30T13:24:36+10:00 /assets/pdf_original/2015_hoefner_sss.pdf 2024-08-30T13:24:41+10:00 /assets/pdf_original/2015_hoefner_tr8501_nicta.pdf 2024-02-25T14:54:24+11:00 /assets/pdf_original/2016_hoefner_dc.pdf 2024-08-30T13:24:30+10:00 /assets/pdf_original/2016_hoefner_dm.pdf 2024-08-30T13:24:34+10:00 /assets/pdf_original/2016_hoefner_esop.pdf 2024-08-30T13:24:31+10:00 /assets/pdf_original/2016_hoefner_fmi.pdf 2024-08-30T13:24:29+10:00 /assets/pdf_original/2016_hoefner_jar.pdf 2024-08-30T13:24:32+10:00 /assets/pdf_original/2016_hoefner_jlamp.pdf 2024-08-30T13:24:33+10:00 /assets/pdf_original/2016_hoefner_jlamp2.pdf 2024-08-30T13:24:28+10:00 /assets/pdf_original/2016_hoefner_jlamppre.pdf 2024-08-30T13:24:27+10:00 /assets/pdf_original/2016_hoefner_tr9145_nicta.pdf 2024-08-30T13:25:45+10:00 /assets/pdf_original/2017DyserynEtAlExpressSOS.pdf 2024-08-30T13:24:26+10:00 /assets/pdf_original/2017GlabbeekHoefnerMars.pdf 2024-08-30T13:24:25+10:00 /assets/pdf_original/2017HoefnerEtAlRamicsPre.pdf 2024-08-30T13:24:23+10:00 /assets/pdf_original/2017_hoefner_mars.pdf 2024-08-30T13:24:24+10:00 /assets/pdf_original/2018_hoefner_ifm.pdf 2024-08-30T13:24:18+10:00 /assets/pdf_original/2018_hoefner_itp.pdf 2024-08-30T13:24:22+10:00 /assets/pdf_original/2018_hoefner_ramics.pdf 2024-08-30T13:24:21+10:00 /assets/pdf_original/2019_hoefner_csur.pdf 2024-08-30T13:24:16+10:00 /assets/pdf_original/2019_hoefner_esop.pdf 2024-08-30T13:24:17+10:00 /assets/pdf_original/2019_hoefner_jlamp.pdf 2024-08-30T13:24:15+10:00 /assets/pdf_original/2019_hoefner_tr02_ua.pdf 2024-08-30T13:25:48+10:00 /assets/pdf_original/2020_hoefner_acta.pdf 2024-08-30T13:24:12+10:00 /assets/pdf_original/2020_hoefner_jlamp.pdf 2024-08-30T13:24:11+10:00 /assets/pdf_original/2020_hoefner_mars.pdf 2024-08-30T13:24:14+10:00 /assets/pdf_original/2020_hoefner_mars2.pdf 2024-08-30T13:24:13+10:00 /assets/pdf_original/2021_hoefner_acit.pdf 2024-08-30T13:24:07+10:00 /assets/pdf_original/2021_hoefner_concur.pdf 2024-08-30T13:24:08+10:00 /assets/pdf_original/2021_hoefner_lics.pdf 2024-08-30T13:24:09+10:00 /assets/pdf_original/2021_hoefner_ramics.pdf 2024-08-30T13:24:10+10:00 /assets/pdf_original/2022_hoefner_mars.pdf 2026-05-12T15:04:59+10:00 /assets/pdf_original/2023_hoefner_express.pdf 2026-05-12T15:09:41+10:00 /assets/pdf_original/2024_hoefner_fm.pdf 2026-05-12T15:36:13+10:00 /assets/pdf_original/2024_hoefner_popl.pdf 2026-05-12T15:21:29+10:00 /assets/pdf_presentations/2004_07_sion.pdf 2024-08-30T13:22:30+10:00 /assets/pdf_presentations/2005_02_relmics.pdf 2024-08-30T13:22:30+10:00 /assets/pdf_presentations/2005_08_esslli.pdf 2024-08-30T13:22:28+10:00 /assets/pdf_presentations/2005_09_kps.pdf 2024-08-30T13:22:28+10:00 /assets/pdf_presentations/2005_11_ifm.pdf 2024-08-30T13:22:26+10:00 /assets/pdf_presentations/2006_07_sion.pdf 2024-08-30T13:22:26+10:00 /assets/pdf_presentations/2006_08_relmics.pdf 2024-08-30T13:22:24+10:00 /assets/pdf_presentations/2006_08_relmics2.pdf 2024-08-30T13:22:24+10:00 /assets/pdf_presentations/2006_08_relmicsPhD.pdf 2024-08-30T13:22:22+10:00 /assets/pdf_presentations/2007_02_sheffield.pdf 2024-08-30T13:22:22+10:00 /assets/pdf_presentations/2007_06_sheffield.pdf 2024-08-30T13:22:20+10:00 /assets/pdf_presentations/2007_07_cade.pdf 2024-08-30T13:22:20+10:00 /assets/pdf_presentations/2007_08_introP9.pdf 2024-08-30T13:22:18+10:00 /assets/pdf_presentations/2007_10_kps.pdf 2024-08-30T13:22:18+10:00 /assets/pdf_presentations/2008_04_relmics.pdf 2024-08-30T13:22:16+10:00 /assets/pdf_presentations/2008_07_sion.pdf 2024-08-30T13:22:16+10:00 /assets/pdf_presentations/2008_08_brisbane.pdf 2024-08-30T13:22:14+10:00 /assets/pdf_presentations/2008_08_ijcar.pdf 2024-08-30T13:22:12+10:00 /assets/pdf_presentations/2008_12_app.pdf 2024-08-30T13:22:12+10:00 /assets/pdf_presentations/2008_12_nachwuchs.pdf 2024-08-30T13:22:10+10:00 /assets/pdf_presentations/2009_07_rig.pdf 2024-08-30T13:22:10+10:00 /assets/pdf_presentations/2009_07_sion.pdf 2024-08-30T13:22:08+10:00 /assets/pdf_presentations/2009_08_hamilton.pdf 2024-08-30T13:22:08+10:00 /assets/pdf_presentations/2009_08_hamilton2.pdf 2024-08-30T13:22:06+10:00 /assets/pdf_presentations/2009_10_fosd.pdf 2024-08-30T13:22:06+10:00 /assets/pdf_presentations/2009_11_ramics.pdf 2024-08-30T13:22:04+10:00 /assets/pdf_presentations/2011_05_cambridge.pdf 2024-08-30T13:22:04+10:00 /assets/pdf_presentations/2011_05_sheffield.pdf 2024-08-30T13:22:02+10:00 /assets/pdf_presentations/2011_06_AugsburgPA.pdf 2024-08-30T13:22:02+10:00 /assets/pdf_presentations/2011_06_AugsburgStud.pdf 2024-08-30T13:22:00+10:00 /assets/pdf_presentations/2011_06_ramics.pdf 2024-08-30T13:22:00+10:00 /assets/pdf_presentations/2011_10_wripe.pdf 2024-08-30T13:21:58+10:00 /assets/pdf_presentations/2011_12_Adelaide.pdf 2024-08-30T13:21:57+10:00 /assets/pdf_presentations/2012_01_BolognaOverview.pdf 2024-08-30T13:22:32+10:00 /assets/pdf_presentations/2012_01_SSRG_Review.pdf 2024-08-30T13:21:55+10:00 /assets/pdf_presentations/2012_02_AachenOverview.pdf 2024-08-30T13:21:55+10:00 /assets/pdf_presentations/2012_02_MuenchenOverview.pdf 2024-08-30T13:21:53+10:00 /assets/pdf_presentations/2012_02_PisaOverview.pdf 2024-08-30T13:21:53+10:00 /assets/pdf_presentations/2012_02_RomeIFIP21.pdf 2024-08-30T13:21:51+10:00 /assets/pdf_presentations/2012_02_SingaporeOverview.pdf 2024-08-30T13:21:51+10:00 /assets/pdf_presentations/2012_03_esop.pdf 2024-08-30T13:21:49+10:00 /assets/pdf_presentations/2012_03_tacas.pdf 2024-08-30T13:21:49+10:00 /assets/pdf_presentations/2012_04_NRG_Review.pdf 2024-08-30T13:21:47+10:00 /assets/pdf_presentations/2012_07_cmf.pdf 2024-08-30T13:21:47+10:00 /assets/pdf_presentations/2012_09_LRFeature.pdf 2024-08-30T13:21:44+10:00 /assets/pdf_presentations/2012_09_LRModules.pdf 2024-08-30T13:21:42+10:00 /assets/pdf_presentations/2012_10_mswim.pdf 2024-08-30T13:21:42+10:00 /assets/pdf_presentations/2012_10_wripe.pdf 2024-08-30T13:21:40+10:00 /assets/pdf_presentations/2012_11_NIIShonan.pdf 2024-08-30T13:21:40+10:00 /assets/pdf_presentations/2013_04_NICTA_SSRG.pdf 2024-08-30T13:21:38+10:00 /assets/pdf_presentations/2013_05_nfm.pdf 2024-08-30T13:21:38+10:00 /assets/pdf_presentations/2013_06_cau.pdf 2024-08-30T13:21:36+10:00 /assets/pdf_presentations/2013_07_AugsburgSMC.pdf 2024-08-30T13:21:36+10:00 /assets/pdf_presentations/2013_07_IFIP.pdf 2024-08-30T13:21:34+10:00 /assets/pdf_presentations/2013_08_BuenosAiresOverview.pdf 2024-08-30T13:21:34+10:00 /assets/pdf_presentations/2013_08_QEST.pdf 2024-08-30T13:21:32+10:00 /assets/pdf_presentations/2013_12_SSRG.pdf 2024-08-30T13:21:31+10:00 /assets/pdf_presentations/2014_03_IFIP.pdf 2024-08-30T13:21:30+10:00 /assets/pdf_presentations/2014_11_atva.pdf 2024-08-30T13:21:29+10:00 /assets/pdf_presentations/2015_10_fmi.pdf 2024-08-30T13:21:28+10:00 /assets/pdf_presentations/2015_11_kyushu.pdf 2024-08-30T13:21:27+10:00 /assets/pdf_presentations/2016_04_ESOP.pdf 2024-08-30T13:21:25+10:00 /assets/pdf_presentations/2017_01_FU_Amsterdam.pdf 2024-08-30T13:21:25+10:00 /assets/pdf_presentations/2017_02_UTwente.pdf 2024-08-30T13:21:24+10:00 /assets/pdf_presentations/2017_04_MARS.pdf 2024-08-30T13:21:23+10:00 /assets/pdf_presentations/2017_06_FMOz.pdf 2024-08-30T13:21:22+10:00 /assets/pdf_presentations/2017_07_IFIP23.pdf 2024-08-30T13:21:21+10:00 /assets/pdf_presentations/2017_10_IFIP.pdf 2024-08-30T13:21:20+10:00 /assets/pdf_presentations/2017_11_Lero.pdf 2024-08-30T13:21:19+10:00 /assets/pdf_presentations/2018_01_IFIP.pdf 2024-08-30T13:21:18+10:00 /assets/pdf_presentations/2018_02_FMOz.pdf 2024-08-30T13:21:17+10:00 /assets/pdf_presentations/2019_02_IFIP.pdf 2024-08-30T13:21:16+10:00 /assets/pdf_presentations/2019_03_FMOz.pdf 2024-08-30T13:21:15+10:00 /assets/pdf_presentations/2020_01_IFIP.pdf 2024-08-30T13:21:13+10:00 /assets/pdf_presentations/2020_02_logicANU.pdf 2024-08-30T13:21:12+10:00 /assets/pdf_theses/2026_zhu_comp8800.pdf 2026-06-13T10:02:22+10:00