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]