Papers

siegle_diss.ps.gz
habil_siegle.ps.gz
Valuetools_2006.pdf
FMICS_2006.pdf
SPIN_2006.pdf
abstracts.html
mbmv_2006.pdf
MMB_2006_Activity.pdf
MMB_2006_CASPA.pdf
dsn_pds_2004.ps.gz
dsn_fa_CASPA_2004.pdf
epew_2004.ps.gz
TR_2004_5.ps.gz
jlap_2003.ps.gz
STTT_2003.ps.gz
eindhoven03_lampkasiegle.ps.gz
pmccs03_lampkasiegle.ps.gz
caspa_illinois_2003.ps.gz
papm_2002.ps.gz
MMB_Hamburg02.ps.gz
aachen_2001_inv_paper.ps.gz
aachen_etmcc_2001.ps.gz
pmccs_aCSL_2001.ps.gz
ifm2000.ps.gz
tacas2000.ps.gz
tipptool.ps.gz
cav99.ps.gz
nsmc99.ps.gz
mmb99_siegle.ps.gz
esm99.ps.gz
arts99.ps.gz
fbt99.ps.gz
williamsburg.ps.gz
durham.ps.gz
palma.ps.gz
papm98.ps.gz
dnbdd.ps.gz
ukpew97.ps.gz
gmds97.ps.gz
fmethods.ps.gz
mmb-fachgespraech.ps.gz
it-plus-ti.ps.gz
wien94.ps.gz
matrixsemantik.ps.gz
euromicro_markov.ps.gz
ieee.ps.gz
ieee.pads.ps.gz
parco93_struct_mod.ps.gz
pars.ps.gz
pasa.ps.gz
isca92.ps.gz
qmips_markov.ps.gz
interlock.ps.gz
pmccs03_kuntzsiegle.ps.gz
Multilevel_NSMC2010.pdf
OR2010_GS.pdf
ESE2010_MuCo_ModSim.pdf
MIMAR2011_switch.pdf
PZDD_Journal_2010.pdf
DYADEM2010.pdf
DYADEM_CASPA2010.pdf
ESREL2010.pdf
ESREL2009.pdf
[···]
pathbasedjournal2011.pdf
parco93_struct_mod.pdf
euromicro_markov.pdf
wien94.pdf
matrixsemantik.pdf
EPEW2012.pdf
MMB_DFT_Tool2012.pdf
MMRP2012.pdf
MA_Weak_Bisim_arXiv2012.pdf
SpezRS_Siegle_gesamt.pdf
SpezRS_Siegle_gesamt.pdf
MIC2013.pdf
MIC2013
VECOS2013.pdf
VECOS2013
multiformalism2013.pdf
multiformalism2013.pdf
MA_weakbisim_IuC2014.pdf
MA_weakbisim_IuC2014.pdf
INFINITY2013.pdf
INIFINITY2013.pdf
MMBandDFT2014.pdf
MMBandDFT2014.pdf
[···]
ROCKS_MRM_paper_2014.pdf
ROCKS_MRM_paper_2014.pdf
SYNCOP2015.pdf
SYNCOP2015.pdf
IJCCBS_2016_preprint.pdf
IJCCBS_2016_preprint.pdf
SYNCOP2016_preprint.pdf
SYNCOP2016_preprint.pdf
MAPSP2017_VOGL_SIEGLE.pdf
MAPSP2017_VOGL_SIEGLE.pdf
epew2017_final_vogl_Siegle.pdf
epew2017_final_vogl_Siegle.pdf