Publications
xMOF
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=sle2013,modelsACMSRC2013,modelsdemo2013,dsm2012,mrt2012]
Generic model analysis facilities and tools
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=grand2017,sosym2017,mdebug2017,sle2016b,ecmfa2015]
Semantic model differencing
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=se2015,models2014,modelsposter2014,mrt2012]
Testing fUML models
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=tap2015,minopro2014,modevva2013,icseDS2012,mrt2012]
Non-functional analysis with fUML
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=indin16,qosa2013,nimalp2013,mrt2012]
EXE workshop proceedings
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=exe2017,exe2016,exe2015]
Other
[bibtex file=http://modelexecution2.big.tuwien.ac.at/wp-content/uploads/publications/bibtex/tanja-bib.txt key=mdetools2017,sle2016a,gemoc2016,mise2016,ttc2015,gemoc2014,modellierung2014,mrt2012]