Publications

@inproceedings{graf2019cutting,
   title = {Cutting a Path Through the IoT Ontology Jungle - a Meta Survey},
   author = {Graf, David and Kapsammer, Elisabeth and Retschitzegger, Werner and Schwinger, Wieland and Norbert Baumgartner},
   year = {2019},
   booktitle = {Accepted for Proc. of the 2019 Int. Conf. on Internet of Things and Intelligence Systems},
   organization = {IEEE}
}								

@inproceedings{DBLP:conf/ecmdafa/LeroyBMCW18,
   title = {Trace Comprehension Operators for Executable DSLs},
   author = {Dorian Leroy, Erwan Bousse, Anaël Megna, Benoît Combemale, Manuel Wimmer},
   year = {2018},
   booktitle = {Modelling Foundations and Applications - 14th European Conference,               {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June               26-28, 2018, Proceedings},
   pages = {293--310},
   isbn = {978-3-319-92996-5}
}								

@inproceedings{DBLP:conf/iiwas/KapsammerPRSWS18,
   title = {The Blockchain Muddle: {A} Bird's-Eye View on Blockchain Surveys},
   author = {Elisabeth Kapsammer and               Birgit Pr{\"{o}}ll and               Werner Retschitzegger and               Wieland Schwinger and               Markus Wei{\ss}enbek and               Johannes Sch{\"{o}}nb{\"{o}}ck},
   year = {2018},
   booktitle = {Proceedings of the 20th International Conference on Information Integration               and Web-based Applications {\&} Services, iiWAS 2018, Yogyakarta,               Indonesia, November 19-21, 2018},
   pages = {370--374},
   isbn = {978-1-4503-6479-9}
}								

@inproceedings{DBLP:conf/medes/GrafRSPK18,
   title = {Cross-domain informativeness classification for disaster situations},
   author = {David Graf and               Werner Retschitzegger and               Wieland Schwinger and               Birgit Pr{\"{o}}ll and               Elisabeth Kapsammer},
   year = {2018},
   booktitle = {Proceedings of the 10th International Conference on Management of               Digital EcoSystems, {MEDES} 2018, Tokyo, Japan, September 25-28, 2018},
   pages = {183--190}
}								

@inproceedings{DBLP:conf/worldcist/SchonbockAKKPRS18,
   title = {A Semantic MatchMaking Framework for Volunteering MarketPlaces},
   author = {Johannes Sch{\"{o}}nb{\"{o}}ck and               Josef Altmann and               Elisabeth Kapsammer and               Eugen Kimmerstorfer and               Birgit Pr{\"{o}}ll and               Werner Retschitzegger and               Wieland Schwinger},
   year = {2018},
   booktitle = {Trends and Advances in Information Systems and Technologies - Volume               1 [WorldCIST'18, Naples, Italy, March 27-29, 2018].},
   pages = {701--711}
}								

@inproceedings{DBLP:conf/cyphy/0015MSP18,
   title = {A Component-Based Hybrid Systems Verification and Implementation Tool               in KeYmaera {X} (Tool Demonstration)},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   year = {2018},
   booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,               CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,               October 4-5, 2018, Revised Selected Papers},
   pages = {91--110}
}								

@article{DBLP:journals/sttt/MullerMRSP18,
   title = {Tactical contract composition for hybrid system component verification},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   journal = {{STTT}},
   year = {2018},
   pages = {615--643},
   volume = {20},
   number = {6}
}								

@article{DBLP:journals/jss/BousseLCWB18,
   title = {Omniscient debugging for executable DSLs},
   author = {Erwan Bousse and Dorian Leroy and Benoît Combemale and               Manuel Wimmer and               Benoit Baudry},
   journal = {Journal of Systems and Software},
   year = {2018},
   pages = {261--288},
   volume = {137}
}								

@inproceedings{DBLP:conf/ecmdafa/RuscioEIPS17,
   title = {A Feature-Based Approach for Variability Exploration and Resolution               in Model Transformation Migration},
   author = {Davide Di Ruscio and               Juergen Etzlstorfer and               Ludovico Iovino and               Alfonso Pierantonio and               Wieland Schwinger},
   year = {2017},
   publisher = {Springer},
   booktitle = {Modelling Foundations and Applications - 13th European Conference,               {ECMFA} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July               19-20, 2017, Proceedings},
   pages = {71--89},
   month = {07}
}								

@inproceedings{ARCH17:Benchmark_for_Component_based_Hybrid,
   title = {A Benchmark for Component-based Hybrid Systems Safety Verification},
   author = {Andreas M{\"u}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'e} Platzer},
   year = {2017},
   publisher = {EasyChair},
   booktitle = {4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
   pages = {65-74},
   volume = {48 },
   month = {04},
   series = {EPiC Series in Computing}
}								

@inproceedings{DBLP:conf/fase/0002MRSP17,
   title = {Change and Delay Contracts for Hybrid System Component Verification},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   year = {2017},
   booktitle = {Fundamental Approaches to Software Engineering - 20th International               Conference, {FASE} 2017, Held as Part of the European Joint Conferences               on Theory and Practice of Software, {ETAPS} 2017, Proceedings},
   pages = {134--151},
   volume = {10202 },
   month = {04},
   series = {Lecture Notes in Computer Science},
   address = {Uppsala, Sweden}
}								

@inproceedings{DBLP:conf/modelsward/EtzlstorferKS17,
   title = {On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution               Approaches},
   author = {Juergen Etzlstorfer and               Elisabeth Kapsammer and               Wieland Schwinger},
   year = {2017},
   publisher = {SCITEPRESS},
   booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering               and Software Development, {MODELSWARD} 2017, Porto, Portugal, February               19-21, 2017.},
   pages = {90--99},
   volume = {1},
   month = {02}
}								

@phdthesis{DISS_Etzelstorfer,
   title = {{Co-evolution in model-driven engineering : contributions to variability and consistency},},
   author = {Etzelstorfer, {J\"urgen}},
   year = {2017},
   type = {{DISS}}
}								

@inproceedings{DBLP:conf/iiwas/KapsammerKPRSSD17,
   title = {iVOLUNTEER: a digital ecosystem for life-long volunteering},
   author = {Elisabeth Kapsammer and               Eugen Kimmerstorfer and               Birgit Pr{\"{o}}ll and               Werner Retschitzegger and               Wieland Schwinger and               Johannes Sch{\"{o}}nb{\"{o}}ck and               Nikolaus D{\"{u}}rk and               Gustavo Rossi and               Silvia E. Gordillo},
   year = {2017},
   publisher = {ACM},
   booktitle = {Proceedings of the 19th International Conference on Information Integration               and Web-based Applications {\&} Services, iiWAS 2017, Salzburg,               Austria, December 4-6, 2017},
   pages = {366--372}
}								

@inproceedings{DBLP:conf/models/LeroyWBCS17,
   title = {Create and Play Your Pac-Man Game with the {GEMOC} Studio},
   author = {Dorian Leroy and Manuel Wimmer and Erwan Bousse and Benoît Combemale and Wieland Schwinger},
   year = {2017},
   publisher = {CEUR},
   booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,               ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,               MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student               Research},
   pages = {84--87}
}								

@inproceedings{DBLP:conf/modelsward/EtzlstorferKSS17,
   title = {Surveying Co-evolution in Modeling Ecosystems},
   author = {J{\"{u}}rgen Etzlstorfer and               Elisabeth Kapsammer and               Wieland Schwinger and               Johannes Sch{\"{o}}nb{\"{o}}ck},
   year = {2017},
   booktitle = {Model-Driven Engineering and Software Development - 5th International               Conference, {MODELSWARD} 2017, Porto, Portugal, February 19-21, 2017,               Revised Selected Papers},
   pages = {354--376}
}								

@inproceedings{DBLP:conf/models/BousseWSK16,
   title = {On Leveraging Executable Language Engineering for Domain-Specific               Transformation Languages},
   author = {Erwan Bousse and               Manuel Wimmer and               Wieland Schwinger and               Elisabeth Kapsammer},
   year = {2016},
   booktitle = {Proceedings of the 2nd International Workshop on Executable Modeling               co-located with {ACM/IEEE} 19th International Conference on Model               Driven Engineering Languages and Systems {(MODELS} 2016), Saint-Malo,               France, },
   pages = {41--43},
   volume = {Vol. 1760 },
   month = {10},
   series = {CEUR Workshop Proceedings},
   address = {Saint-Malo, France}
}								

@inproceedings{Girtelschmid.2016,
   title = {Near Real-time Detection of Crisis Situations},
   author = {Girtelschmid, Sylva and Salfinger, Andrea and Pr{\"o}ll, Birgit and Retschitzegger, Werner and Schwinger, Wieland},
   year = {2016},
   booktitle = {39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)},
   month = {06}
}								

@inproceedings{DBLP:conf/ifm/MullerMRSP16,
   title = {A Component-Based Approach to Hybrid Systems Safety Verification},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger and               Andr{\'{e}} Platzer},
   year = {2016},
   publisher = {Springer},
   booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
   pages = {441--456},
   volume = {9681 },
   month = {06},
   series = {Lecture Notes in Computer Science},
   address = {Reykjavik, Iceland}
}								

@article{DBLP:journals/cluster/ZaitsevSRP16,
   title = {Security of grid structures under disguised traffic attacks},
   author = {Retschitzegger, Werner and Pröll, Birgit and Zaitsev, D. and Shmeleva, T.R.},
   journal = {Cluster Computing},
   year = {2016},
   pages = {1183-1200},
   volume = {19},
   month = {06}
}								

@inproceedings{Salfinger.2016c,
   title = {Pinpointing the Eye of the Hurricane - Creating a Gold-Standard Corpus for Situative Geo-Coding of Crisis Tweets Based on Linked Open Data},
   author = {Salfinger, Andrea and Salfinger, Caroline and Pr{\"o}ll, Birgit and Retschitzegger, Werner and Schwinger, Wieland},
   year = {2016},
   booktitle = {Proceedings of the LREC 2016 Workshop "LDL 2016 – 5th Workshop on Linked Data in Linguistics: Managing, Building and Using Linked Language Resources"},
   pages = {27 - 35},
   month = {05}
}								

@inproceedings{Salfinger.2016b,
   title = {Mining the Disaster Hotspots - Situation-Adaptive Crowd Knowledge Extraction for Crisis Management},
   author = {Salfinger, Andrea and Schwinger, Wieland and Retschitzegger, Werner and Pr{\"o}ll, Birgit},
   year = {2016},
   publisher = {IEEE},
   booktitle = {Proceedings of the 2016 IEEE International Multi-Disciplinary Conference on Cognitive Methods  in Situation Awareness and Decision Support (CogSIMA)},
   pages = {219 - 225},
   month = {03}
}								

@inproceedings{DBLP:conf/hicss/SchonbockRAKKPR16,
   title = {A Survey on Volunteer Management Systems},
   author = {Kusel, Angelika and Kapsammer, Elisabeth and Pröll, Birgit and Retschitzegger, Werner and Schwinger, Wieland and Innreiter-Moser, Cäcilia and Schönböck, Johannes and Raab, Markus and Altmann, Josef and Funk, Gerhard},
   year = {2016},
   publisher = {{IEEE} Computer Society},
   booktitle = {Proceedings of Hawaii International Conference on System Sciences (HICSS 2016), Jan. 5-8, 2016},
   pages = {767-776},
   month = {01}
}								

@inbook{Sal.2016a,
   title = {Towards a Crowd-Sensing Enhanced Situation Awareness System for Crisis Management},
   author = {Andrea Salfinger and Werner Retschitzegger and Wieland Schwinger and Birgit Pr\"{o}ll},
   year = {2016},
   publisher = {Springer International Publishing},
   booktitle = {Fusion Methodologies in Crisis Management: Higher Level Fusion and Decision Making},
   chapter = {Towards a Crowd-Sensing Enhanced Situation Awareness System for Crisis Management},
   pages = {177-211}
}								

@inproceedings{DiRuscio2016,
   title = {Supporting Variability Exploration and Resolution During Model Migration},
   author = {Davide Di Ruscio and Jürgen Etzlstorfer and Ludovico Iovino and Alfonso Pierantonio and Wieland Schwinger},
   year = {2016},
   publisher = {Springer},
   booktitle = {European Conference on Modelling Foundations and Applications}
}								

@phdthesis{DISS_Salfinger,
   title = {{Staying Aware in an Evolving World: Evolution Support for Situation Awareness in Control Centers}},
   author = {"Salfinger, Andrea"},
   year = {2016},
   type = {{DISS}}
}								

@inproceedings{DBLP:conf/icwe/FrajbergURS16,
   title = {Volatile Functionality in Action: Methods, Techniques and Assessment},
   author = {Darian Frajberg and               Matias Urbieta and               Gustavo Rossi and               Wieland Schwinger},
   year = {2016},
   booktitle = {Web Engineering - 16th International Conference, {ICWE} 2016, Lugano,               Switzerland, June 6-9, 2016. Proceedings},
   pages = {59--76}
}								

@inproceedings{Kusel2015b,
   title = {{Consistent Co-Evolution of Models and Transformations}},
   author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck},
   year = {2015},
   publisher = {IEEE},
   booktitle = {Proc. of the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)},
   month = {10},
   address = {Ottawa, Canada}
}								

@inproceedings{DBLP:conf/itsc/0002MP15,
   title = {Verified Traffic Networks: Component-Based Verification of Cyber-Physical               Flow Systems},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Andr{\'{e}} Platzer},
   year = {2015},
   publisher = {IEEE},
   booktitle = {{IEEE} 18th International Conference on Intelligent Transportation               Systems, {ITSC} 2015, Gran Canaria, Spain, September 15-18, 2015},
   pages = {757--764},
   month = {09},
   address = {Gran Canaria, Spain}
}								

@inproceedings{DBLP:conf/cade/FultonMQVP15,
   title = {KeYmaera {X:} An Axiomatic Tactical Theorem Prover for Hybrid Systems},
   author = {Nathan Fulton and               Stefan Mitsch and               Jan{-}David Quesel and               Marcus V{\"{o}}lp and               Andr{\'{e}} Platzer},
   year = {2015},
   publisher = {Springer},
   booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
   pages = {527--538},
   volume = {9195},
   month = {08},
   note = {http://www.cs.cmu.edu/~smitsch/pdf/keymaerax.pdf},
   series = {Lecture Notes in Computer Science}
}								

@inproceedings{Mueller2015,
   title = {{Component-based CPS Verification: A Recipe for Reusability}},
   author = {Andreas M{\"{u}}ller},
   year = {2015},
   booktitle = {Doctoral Symposium of Formal Methods, co-located with the 20th International Symposium on Formal Methods (FM 2015)},
   pages = {33-37},
   month = {06},
   address = {Oslo, Norway}
}								

@inproceedings{Salfinger2015a,
   title = {crowdSA - Towards Adaptive and Situation-Driven Crowd-Sensing for Disaster Situation Awareness},
   author = {Salfinger, Andrea and Retschitzegger, Werner and Schwinger, Wieland and Pröll, Birgit},
   year = {2015},
   publisher = {IEEE},
   booktitle = {Proceedings of the 2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)},
   pages = {14-20},
   month = {03},
   address = {Orlando, USA},
   isbn = {978-1-4799-8015-4},
   type = {PAPREFCONF}
}								

@inproceedings{DBLP:conf/hicss/SchonbockEKKRS15,
   title = {Model-Driven Co-evolution for Agile Development},
   author = {Johannes Sch{\"{o}}nb{\"{o}}ck and               Juergen Etzlstorfer and               Elisabeth Kapsammer and               Angelika Kusel and               Werner Retschitzegger and               Wieland Schwinger},
   year = {2015},
   booktitle = {48th Hawaii International Conference on System Sciences, {HICSS} 2015,               Kauai, Hawaii, USA, January 5-8, 2015},
   pages = {5094--5103},
   month = {01},
   address = {Kauai, Hawaii}
}								

@inproceedings{Salfinger2015,
   title = {{Crowd-Sensing Meets Situation Awareness - A Research Roadmap for Crisis Management}},
   author = {Andrea Salfinger and Sylva Girtelschmid and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger},
   year = {2015},
   booktitle = {Procceedings of the 48th Annual Hawaii Intl. Conf. on System Sciences (HICSS)},
   month = {01},
   address = {Kauai, Hawaii}
}								

@inproceedings{DBLP:conf/apccm/KuselEKRSSW15,
   title = {Systematic Co-Evolution of {OCL} Expressions},
   author = {Angelika Kusel and               Juergen Etzlstorfer and               Elisabeth Kapsammer and               Werner Retschitzegger and               Johannes Schoenboeck and               Wieland Schwinger and               Manuel Wimmer},
   year = {2015},
   booktitle = {11th Asia-Pacific Conference on Conceptual Modelling, {APCCM} 2015,               Sydney, Australia, January 2015},
   pages = {33--42},
   month = {01},
   address = {Sydney, Australia}
}								

@article{DBLP:journals/sttt/QueselMLAP15,
   title = {How to Model and Prove Hybrid Systems               with {KeYmaera}: A Tutorial on Safety},
   author = {Jan-David Quesel and               Stefan Mitsch and               Sarah Loos and               Nikos Ar{\'e}chiga and               Andr{\'e} Platzer},
   journal = {STTT},
   year = {2015},
   note = {http://www.cs.cmu.edu/~smitsch/pdf/KeYmaera-tutorial.pdf}
}								

@article{DBLP:journals/csur/MitschPRS15-copy,
   title = {Logic-based modeling approaches for qualitative                and hybrid reasoning in dynamic spatial systems},
   author = {Stefan Mitsch and               Andr{\'e} Platzer and               Werner Retschitzegger and                Wieland Schwinger},
   journal = {ACM Computing Surveys},
   year = {2015},
   pages = {3:1--3:40},
   volume = {48},
   number = {1},
   note = {http://www.cs.cmu.edu/~smitsch/pdf/surveydynamicspatial.pdf}
}								

@article{DBLP:journals/sosym/KuselSWKRS15,
   title = {Reuse in model-to-model transformation languages: are we there yet?},
   author = {Angelika Kusel and               Johannes Sch{\"{o}}nb{\"{o}}ck and               Manuel Wimmer and               Gerti Kappel and               Werner Retschitzegger and               Wieland Schwinger},
   journal = {Software and Systems Modeling},
   year = {2015},
   pages = {537--572},
   volume = {14},
   number = {2}
}								

@article{Baumgartner2014,
   title = {{A Tour of BeAware! A Situation-Awareness Framework for Control Centers}},
   author = {Norbert Baumgartner and Stefan Mitsch and Andreas M{\"u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
   journal = {Journal of Information Fusion, Elsevier},
   year = {2014},
   pages = {155–173},
   volume = {20},
   month = {11}
}								

@inproceedings{DBLP:conf/models/KuselEKLRSSW14,
   title = {A Systematic Taxonomy of Metamodel Evolution Impacts on {OCL} Expressions},
   author = {Angelika Kusel and               Juergen Etzlstorfer and               Elisabeth Kapsammer and               Philip Langer and               Werner Retschitzegger and               Johannes Schoenboeck and               Wieland Schwinger and               Manuel Wimmer},
   year = {2014},
   booktitle = {Proceedings of the Workshop on Models and Evolution co-located with               {ACM/IEEE} 17th International Conference on Model Driven Engineering               Languages and Systems (MoDELS 2014), Valencia, Spain, Sept 28, 2014.},
   pages = {2--11},
   month = {10},
   address = {Valencia, Spain}
}								

@inproceedings{DBLP:conf/ksem/MullerMRS14,
   title = {A Conceptual Reference Model of Modeling and Verification Concepts               for Hybrid Systems},
   author = {Andreas M{\"{u}}ller and               Stefan Mitsch and               Werner Retschitzegger and               Wieland Schwinger},
   year = {2014},
   publisher = {Springer},
   booktitle = {Knowledge Science, Engineering and Management - 7th International               Conference, {KSEM} 2014, Sibiu, Romania, October 16-18, 2014. Proceedings},
   pages = {368--379},
   month = {10},
   address = {Sibiu, Romania}
}								

@inproceedings{DBLP:conf/iri/SalfingerNRSM14,
   title = {SEM2 suite - Towards a tool suite for supporting knowledge               management in situation awareness systems},
   author = {Andrea Salfinger and               Daniel Neidhart and               Werner Retschitzegger and               Wieland Schwinger and               Stefan Mitsch},
   year = {2014},
   booktitle = {Proceedings of the 15th {IEEE} International Conference on Information               Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,               2014},
   pages = {351--360},
   month = {08},
   address = {San Francisco, CA, USA}
}								

@inproceedings{Mitsch2014a,
   title = {{From Safety to Guilty and from Liveness to Niceness}},
   author = {Stefan Mitsch and Jan-David Quesel and Andr{\'e} Platzer},
   year = {2014},
   booktitle = {Proceedings of the 5th Workshop on Formal Methods for Robotics and Automation},
   month = {07},
   address = {Berkeley, CA, USA}
}								

@inproceedings{Mitsch2014,
   title = {{Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems}},
   author = {Stefan Mitsch and Jan-David Quesel and Andr{\'e} Platzer},
   year = {2014},
   publisher = {Springer},
   booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM)},
   month = {05},
   address = {Singapore}
}								

@inproceedings{Salfinger2014,
   title = {{Staying Aware in an Evolving World - Specifying and Tracking Evolving Situations}},
   author = {Andrea Salfinger and Werner Retschitzegger and Wieland Schwinger},
   year = {2014},
   booktitle = {IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) (CogSIMA 2014)},
   pages = {180-186},
   month = {03},
   address = {San Antonio, USA}
}								

@article{DBLP:journals/mics/MitschPP14,
   title = {Collaborative Verification-Driven Engineering of Hybrid Systems},
   author = {Stefan Mitsch and               Grant Olney Passmore and               Andr{\'{e}} Platzer},
   journal = {Mathematics in Computer Science},
   year = {2014},
   pages = {71--97},
   volume = {8},
   number = {1},
   month = {03}
}								

@inproceedings{Zaitsev2014,
   title = {{Blocking Communication Grid via Ill-intended Traffic}},
   author = {Dmitry A. Zaitsev and Tatiana R. Shmeleva and Werner Retschitzegger and Birgit Pr\"{o}ll},
   year = {2014},
   booktitle = {Proceedings of the Middle Eastern Simulation and Modelling Conference (MESM)},
   month = {02},
   address = {Muscat, Oman}
}								

@inproceedings{Schoenboeck2014,
   title = {{CARE - A Constraint-Based Approach for Re-Establishing Conformance-Relationships}},
   author = {Johannes Sch\"{o}nb\"{o}ck and Angelika Kusel and J\"{u}rgen Etzlstorfer and Elisabeth Kapsammer and Wieland Schwinger and Manuel Wimmer and Martin Wischenbart},
   year = {2014},
   booktitle = {Proceedings of the 10th Asian-Pacific Conference on Conceptual Modelling},
   month = {01},
   address = {Auckland, New Zealand}
}								

@inproceedings{Bergmayr2013,
   title = {{Taking the Pick out of the Bunch - Type-Safe Shrinking of Metamodels}},
   author = {Alexander Bergmayr and Manuel Wimmer and Werner Retschitzegger and Uwe Zdun},
   year = {2013},
   booktitle = {Proceedings of Software Engineering},
   pages = {85 - 98}
}								

@inproceedings{Kusel2013b,
   title = {{A Survey on Incremental Model Transformation Approaches}},
   author = {Angelika Kusel and J\"{u}rgen Etzlstorfer and Elisabeth Kapsammer and Philip Langer and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger and Manuel Wimmer},
   year = {2013},
   booktitle = {Proceedings of Models and Evolution Workshop (ME) @ MoDELS}
}								

@article{Kusel2013,
   title = {{Reuse in model-to-model transformation languages: are we there yet?}},
   author = {Angelika Kusel and Johannes Sch\"{o}nb\"{o}ck and Manuel Wimmer and Gerti Kappel and Werner Retschitzegger and Wieland Schwinger},
   journal = {Software \& Systems Modeling},
   year = {2013},
   publisher = {Springer-Verlag},
   pages = {1-36}
}								

@inproceedings{Kusel2013a,
   title = {{Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study}},
   author = {Angelika Kusel and Johannes Sch\"{o}nb\"{o}ck and Manuel Wimmer and Werner Retschitzegger and Wieland Schwinger and Gerti Kappel},
   year = {2013},
   booktitle = {Proceedings of 2nd Workshop on the Analysis of Model Transformations (AMT) @ MoDELS}
}								

@inproceedings{Mitsch2013a,
   title = {{On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles}},
   author = {Stefan Mitsch and Khalil Ghorbal and Andr{\'e} Platzer},
   year = {2013},
   booktitle = {Robotics: Science and Systems IX}
}								

@inproceedings{Mitsch2013,
   title = {{A Survey on Clustering Techniques for Situation Awareness}},
   author = {Stefan Mitsch and Andreas M{\"u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
   year = {2013},
   publisher = {Springer},
   booktitle = {{P}roc. of the 15th {A}sia-{P}acific {W}eb {C}onference ({A}{P}{W}eb 2013)},
   pages = {815--826},
   series = {Lecture Notes in Computer Science},
   address = {Heidelberg},
   isbn = {978-3-642-37400}
}								

@inproceedings{Mitsch2013b,
   title = {{A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems}},
   author = {Stefan Mitsch and Grant Olney Passmore and Andr{\'e} Platzer},
   year = {2013},
   booktitle = {Proceedings of Enabling Domain Experts to use Formalised Reasoning - Symposium AISB, Do-Form},
   pages = {8-17}
}								

@inproceedings{Proell2013,
   title = {{crowdSA - Crowdsourced Situation Awareness for Crisis Management}},
   author = {Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Elisabeth Kapsammer and Stefan Mitsch and Norbert Baumgartner and Gustavo Rossi and Gerald Czech and J\"{u}rgen H\"{o}gl},
   year = {2013},
   booktitle = {Proceedings of Social Media and Semantic Technologies in Emergency Response (SMERST)}
}								

@inproceedings{Salfinger2013,
   title = {{Maintaining Situation Awareness Over Time - A Survey on the Evolution Support of Situation Awareness Systems}},
   author = {Andrea Salfinger and Werner Retschitzegger and Wieland Schwinger},
   year = {2013},
   booktitle = {Proceedings of the IEEE 18th International Conference on Technologies and Applications of Artifical Intelligence (TAAI)}
}								

@inproceedings{Schoenboeck2013,
   title = {{TetraBox - A Generic White-Box Testing Framework for Model Transformations}},
   author = {Johannes Sch\"{o}nb\"{o}ck and Gerti Kappel and Manuel Wimmer and Angelika Kusel and Werner Retschitzegger and Wieland Schwinger},
   year = {2013},
   booktitle = {Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC)}
}								

@inproceedings{Urbieta2013,
   title = {{Managing Volatile Requirements in Web Applications}},
   author = {Urbieta Matias and Rossi Gustavo and Distante Damiano and Schwinger Wieland},
   year = {2013},
   publisher = {IEEE},
   booktitle = {15th IEEE International Symposium on Web Systems Evolution (WSE)},
   pages = {77--82}
}								

@inproceedings{Wischenbart2013,
   title = {{Automatic data transformation: breaching the walled gardens of social network platforms}},
   author = {Martin Wischenbart and Stefan Mitsch and Elisabeth Kapsammer and Angelika Kusel and Stephan Lechner and Birgit Pr\"{o}ll and Werner Retschitzegger and  Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger and Manuel Wimmer },
   year = {2013},
   publisher = {Australian Computer Society, Inc.},
   booktitle = {Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143},
   pages = {89--98},
   series = {APCCM '13}
}								

@inproceedings{Baumgartner2012,
   title = {{The Situation Radar - Visualizing Collaborative Situation Awareness in Traffic Control Systems}},
   author = {Norbert Baumgartner and Stefan Mitsch and Andreas M\"{u}ller and Werner Retschitzegger and Andrea Salfinger and Wieland Schwinger},
   year = {2012},
   booktitle = {Proceedings of the 19th World Congress on Intelligent Transport Systems}
}								

@article{Guerra2012,
   title = {{Automated verification of model transformations based on visual contracts}},
   author = {Esther Guerra and Juan de Lara and Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   journal = {Journal of Automated Software Engineering},
   year = {2012},
   pages = {5-46},
   volume = {20},
   number = {1}
}								

@incollection{Kappel2012,
   title = {{Model transformation by-example: a survey of the first wave}},
   author = {Kappel Gerti and Langer Philip and Retschitzegger Werner and Schwinger Wieland and Wimmer Manuel},
   year = {2012},
   publisher = {Springer-Verlag},
   booktitle = {Conceptual Modelling and Its Theoretical Foundations},
   pages = {197--215},
   number = {7260},
   series = {Springer LNCS},
   isbn = {978-3-642-28278-2}
}								

@inproceedings{Kapsammer2012,
   title = {{User Profile Integration Made Easy - Model-Driven Extraction and Transformation of Social Network Schemas}},
   author = {Elisabeth Kapsammer and Angelika Kusel and Stefan Mitsch and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Johannes Sch\"{o}nb\"{o}ck and Manuel Wimmer and Martin Wischenbart and Stephan Lechner},
   year = {2012},
   publisher = {ACM},
   booktitle = {Int. Workshop on Interoperability of User Profiles in Multi-Application Web Environments (WWW 2012)},
   pages = {939--948},
   series = {WWW '12 Companion}
}								

@inproceedings{Kusel2012,
   title = {{Ontology-Driven Generation of Multi-View Modeling Tools}},
   author = {Angelika Kusel and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Ralph Mayr and Johannes Sch\"{o}nb\"{o}ck},
   year = {2012},
   publisher = {ACTA Press},
   booktitle = {Proceedings of 11th IASTED International Conference on Software Engineering (SE 2012)},
   pages = {45-51},
   series = {WWW '12 Companion}
}								

@inproceedings{Mitsch2012,
   title = {{Towards Formal Verification of Freeway Traffic Control}},
   author = {Stefan Mitsch and Sarah M. Loos and Andr{\'e} Platzer},
   year = {2012},
   publisher = {IEEE},
   booktitle = {Proceedings of ACM/IEEE Third International Conference on Cyber-Physical Systems},
   pages = {171-180}
}								

@inproceedings{Schoenboeck2012,
   title = {{Debugging Model-To-Model Transformations}},
   author = {Johannes Sch\"{o}nb\"{o}ck and Gerti Kappel and Manuel Wimmer and Angelika Kusel and Werner Retschitzegger and Wieland Schwinger},
   year = {2012},
   booktitle = {Proceedings of the 19th Asia-Pacific Software Engineering Conference},
   pages = {164-173}
}								

@inproceedings{Urbieta2012,
   title = {{Modelling adaptations requirements in web workflows}},
   author = {Urbieta M. and Retschitzegger W. and Rossi G. and Schwinger W. and Gordillo S. and Luna E. Robles},
   year = {2012},
   publisher = {ACM},
   booktitle = {Proceedings of the 14th International Conference on Information Integration and Web-based Applications \&\#38; Services},
   pages = {72--81},
   series = {IIWAS '12}
}								

@inproceedings{Urbieta2012a,
   title = {{Identifying and modelling complex workflow requirements in web applications}},
   author = {Urbieta Mario Matias and Rossi Gustavo and Gordillo Silvia and Schwinger Wieland and Retschitzegger Werner and Escalona Mar\'{i}a Jos{\'e}},
   year = {2012},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the 3rd Workshop on the Web and Requirements Engineering, in conjunction with ICWE 2012},
   pages = {146--157},
   series = {ICWE'12}
}								

@inproceedings{Wimmer2012,
   title = {{Fact or Fiction - Reuse in Model-to-Model Transformations}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2012},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the 5th International Conference on Model Transformation (ICMT'12)},
   pages = {280--295}
}								

@article{Wimmer2012a,
   title = {{Surveying Rule Inheritance in Model-to-Model Transformation Languages}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Werner Schwinger and Dimitris Kolovos and Richard Paige and Marius Lauder and Andy Sch\"{u}rr and Dennis Wagelaar},
   journal = {Journal of Object Technology},
   year = {2012},
   pages = {3:1-46},
   volume = {11},
   number = {2}
}								

@inproceedings{Baumgartner2011a,
   title = {{SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2011},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the 4th International Workshop on Data Quality in Integration Systems in conjunction with DASFAA 2011},
   pages = {490-501}
}								

@inproceedings{Baumgartner2011,
   title = {{Reasoning on Data Streams for Situation Awareness}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2011},
   booktitle = {Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD)}
}								

@incollection{Kappel2011,
   title = {{Leveraging Model-Based Tool Integration by Conceptual Modeling Techniques}},
   author = {Gerti Kappel and Manuel Wimmer and Werner Retschitzegger and Wieland Schwinger},
   year = {2011},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {The Evolution of Conceptual Modeling},
   pages = {254-284},
   volume = {6520},
   series = {LNCS},
   isbn = {978-3-642-17504-6}
}								

@inproceedings{Kapsammer2011,
   title = {{Towards a Reference Model for Social User Profiles: Concept \& Implementation}},
   author = {Elisabeth Kapsammer and Stephan Lechner and Stefan Mitsch and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Manuel Wimmer and Martin Wischenbart},
   year = {2011},
   booktitle = {Proceedings of the International Workshop on Personalized Access, Profile Management, and Context Awareness in Databases, at 37th International Conference on Very Large Data Bases (VLDB)}
}								

@inproceedings{Kapsammer2011a,
   title = {{A First Step Towards a Conceptual Reference Model for Comparing Social User Profiles}},
   author = {Elisabeth Kapsammer and Stefan Mitsch and Birgit Pr\"{o}ll and Wieland Schwinger and Manuel Wimmer and Martin Wischenbart},
   year = {2011},
   booktitle = {Proceedings of the International Workshop on User Profile Data on the Social Semantic Web, at 8th Extended Semantic Web Conference (ESWC)}
}								

@inproceedings{Mitsch2011,
   title = {{Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations}},
   author = {Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2011},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the 5th International Workshop on Semantic and Conceptual Issues in GIS (SeCoGIS 2011)},
   pages = {271--280}
}								

@inproceedings{Retschitzegger2011,
   title = {{Making Workflows Situation Aware - An Ontology-Driven Framework for Dynamic Spatial Systems}},
   author = {Werner Retschitzegger and Wieland Schwinger and Stefan Mitsch and Wolfgang Gottesheim and Birgit Pr\"{o}ll and Gustavo Rossi and Norbert Baumgartner and Robert Hutter},
   year = {2011},
   booktitle = {Proceedings of the 13th International Conference on Information Integration and Web-based Applications \& Services (iiWAS2011)},
   pages = {182-188}
}								

@inproceedings{Wimmer2011b,
   title = {{From the Heterogeneity Jungle to Systematic Benchmarking}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2011},
   booktitle = {Proceedings of Models in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers},
   pages = {150-164}
}								

@inproceedings{Wimmer2011c,
   title = {A Comparison of Rule Inheritance in Model-to-Model Transformation Languages},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger and Dimitris S. Kolovos and Richard F. Paige and Marius Lauder and Andy Sch\"{u}rr and Dennis Wagelaar},
   year = {2011},
   booktitle = {Proceedings of the 4th International Conference on Model Transformation (ICMT 2011)},
   pages = {31-46}
}								

@inproceedings{Wimmer2011,
   title = {{Reusing Model Transformations across Heterogeneous Metamodels}},
   author = {Manuel Wimmer and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger and Jesus Sanchez Cuadrado and Esther Guerra and Juan {de Lara}},
   year = {2011},
   booktitle = {Proceedings of the 5th International Workshop on Multi-Paradigm Modeling @ MoDELS'11, Online Publication}
}								

@article{Wimmer2011a,
   title = {{A survey on UML-based aspect-oriented design modeling}},
   author = {Manuel Wimmer and Andrea Schauerhuber and Gerti Kappel and Werner Retschitzegger and Wieland Schwinger and Elisabeth Kapsammer},
   journal = {ACM Computing Surveys},
   year = {2011},
   pages = {1-33},
   volume = {43},
   number = {4}
}								

@inproceedings{Baumgartner2010c,
   title = {{Towards Duplicate Detection for Situation Awareness Based on Spatio-Temporal Relations}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2010},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the 9th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2010)},
   pages = {1097-1107}
}								

@inproceedings{Baumgartner2010,
   title = {{Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2010},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the 29th International Conference on Conceptual Modeling (ER)},
   pages = {202--218},
   series = {ER'10}
}								

@article{Baumgartner2010a,
   title = {{BeAware! - Situation Awareness, the Ontology-Driven Way}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   journal = {Data \& Knowledge Engineering},
   year = {2010},
   pages = {1181-1193},
   volume = {69},
   number = {11}
}								

@inproceedings{Baumgartner2010b,
   title = {{Improving Situation Awareness in Traffic Management}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2010},
   booktitle = {Proceedings of the 8th International Workshop on Quality in Databases, QDB 2010 @ VLDB}
}								

@inproceedings{Gottesheim2010,
   title = {{WorkAware - Situation-Aware Workflow Management}},
   author = {Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2010},
   booktitle = {Proceedings of International Conference on Knowledge Management and Information Sharing (KMIS 2010)},
   pages = {246-252}
}								

@inproceedings{Kappel2010,
   title = {TheHiddenU - A Social Nexus for Privacy-Assured Personalisation Brokerage},
   author = {Gerti Kappel and Johannes Sch\"{o}nb\"{o}ck, and Manuel Wimmer and Gabriele Kotsis and Angelika Kusel and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Roland R. Wagner and Stephan Lechner},
   year = {2010},
   publisher = {SciTePress},
   booktitle = {Proceedings of the 12th International Conference on Enterprise Information Systems (ICEIS)},
   pages = {158-162}
}								

@inproceedings{Schoenboeck2010,
   title = {{Catch Me If You Can - Debugging Support for Model Transformations}},
   author = {Johannes Sch\"{o}nb\"{o}ck and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Wieland Schwinger and Manuel Wimmer},
   year = {2010},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the Models in Software Engineering Workshops and Symposia at MoDELS, Reports and Revised Selected Papers},
   pages = {5-20}
}								

@inproceedings{Wimmer2010d,
   title = {{Surviving the Heterogeneity Jungle with Composite Mapping Operators}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2010},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the 3rd International Conference on Model Transformation (ICMT 2010)},
   pages = {260-275}
}								

@inproceedings{Wimmer2010,
   title = {{Towards an Expressivity Benchmark for Mappings based on a Systematic Classification of Heterogeneities}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2010},
   publisher = {ACM},
   booktitle = {Proceedings of the First International Workshop on Model-Driven Interoperability (MDI 2010) @ MoDELS},
   pages = {32--41},
   series = {MDI '10}
}								

@inproceedings{Wimmer2010a,
   title = {{Plug \& Play Model Transformations - A DSL for Resolving Structural Metamodel Heterogeneities}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2010},
   publisher = {ACM},
   booktitle = {Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM 2010) @ Splash},
   pages = {7:1--7:6},
   series = {DSM 2010}
}								

@inproceedings{Wimmer2010c,
   title = {{Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2010},
   booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering},
   pages = {141-157}
}								

@inproceedings{Wimmer2010b,
   title = {{On using Inplace Transformations for Model Co-evolution}},
   author = {Manuel Wimmer and Angelika Kusel and Johannes Sch\"{o}nb\"{o}ck and Werner Retschitzegger and Wieland Schwinger and Gerti Kappel},
   year = {2010},
   booktitle = {Proceedings of 2nd International Workshop on Model Transformation with ATL}
}								

@inproceedings{Baumgartner2009,
   title = {{On Optimization of Predictions in Ontology-Driven Situation Awareness}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management (KSEM 2009)},
   pages = {297-309}
}								

@inproceedings{Baumgartner2009a,
   title = {{Same, Same but Different - A Survey on Duplicate Detection Methods for Situation Awareness}},
   author = {Norbert Baumgartner and Wolfgang Gottesheim and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the 8th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2009)},
   pages = {1050--1068}
}								

@inproceedings{Brosch2009,
   title = {{An Example is Worth a Thousand Words: Composite Operation Modeling By-Example}},
   author = {Petra Brosch and Philip Langer and Martina Seidl and Konrad Wieland and Manuel Wimmer and Gerti Kappel and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems},
   pages = {271--285}
}								

@inproceedings{Kusel2009,
   title = {{TROPIC - A Framework for Building Reusable Transformation Components}},
   author = {Angelika Kusel},
   year = {2009},
   booktitle = {Proceedings of the Doctoral Symposium at ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems}
}								

@inproceedings{Kusel2009a,
   title = {{Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy}},
   author = {Angelika Kusel and Wieland Schwinger and Manuel Wimmer and Werner Retschitzegger},
   year = {2009},
   publisher = {IEEE Computer Society},
   booktitle = {Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)},
   pages = {329--334},
   series = {ICECCS '09}
}								

@inproceedings{Schoenboeck2009,
   title = {{Transformation Nets - A Runtime Model for Transformation Languages}},
   author = {Johannes Sch\"{o}nb\"{o}ck},
   year = {2009},
   booktitle = {Proceedings of the Doctoral Symposium at ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems}
}								

@inproceedings{Wimmer2009a,
   title = {{Right or Wrong? - Verification of Model Transformations using Colored Petri Nets}},
   author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Sch\"{o}nb\"{o}ck and Wieland Schwinger},
   year = {2009},
   booktitle = {Proceedings of 9th OOPSLA Workshop on Domain-Specific Modeling}
}								

@inproceedings{Wimmer2009,
   title = {{A Petri Net based Debugging Environment for QVT Relations}},
   author = {Manuel Wimmer and Gerti Kappel and Johannes Sch\"{o}nb\"{o}ck and Angelika Kusel and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   booktitle = {Proceedings of the 24th International Conference on Automated Software Engineering (ASE 2009)},
   pages = {3 - 14}
}								

@inproceedings{Wimmer2009b,
   title = {{TROPIC: A Framework for Model Transformations on Petri Nets in Color}},
   author = {Wimmer Manuel and Gerti Kappel and Johannes Sch\"{o}nb\"{o}ck and Angelika Kusel and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   publisher = {ACM},
   booktitle = {Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications},
   pages = {783--784},
   series = {OOPSLA '09}
}								

@inproceedings{Wimmer2009e,
   title = {{Lost in Translation? Transformation Nets to the Rescue!}},
   author = {Manuel Wimmer and Angelika Kusel and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger and Gerti Kappel},
   year = {2009},
   booktitle = {Proceedings of the 3rd International United Information Systems Conference UNISCON 2009},
   pages = {315-327}
}								

@inproceedings{Wimmer2009c,
   title = {{Reviving QVT Relations: Model-based Debugging using Colored Petri Nets}},
   author = {Manuel Wimmer and Angelika Kusel and Johannes Sch\"{o}nb\"{o}ck and Gerti Kappel and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems},
   pages = {727-732}
}								

@inproceedings{Wimmer2009d,
   title = {{Let's Play the Token Game - Model Transformations Powered By Transformation Nets}},
   author = {Manuel Wimmer and Angelika Kusel and Johannes Sch\"{o}nb\"{o}ck and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger},
   year = {2009},
   booktitle = {Proceedings of International Workshop on Petri Nets and Software Engineering, a satellite event of 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency},
   pages = {35 - 50}
}								

@inproceedings{Altmanninger2008,
   title = {{AMOR - Towards Adaptable Model Versioning}},
   author = {Kerstin Altmanninger and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Wieland Schwinger and Martina Seidl and Manuel Wimmer},
   year = {2008},
   booktitle = {Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM'08)}
}								

@inproceedings{Baumgartner2008,
   title = {{Application Scenarios of Ontology-Driven Situation Awareness Systems}},
   author = {Norbert Baumgartner and Werner Retschitzegger and Wieland Schwinger},
   year = {2008},
   publisher = {IOS Press},
   booktitle = {Proceedings of the 3rd Workshop on Formal Ontologies Meet Industry (FOMI2008)},
   pages = {77--87}
}								

@inproceedings{Baumgartner2008a,
   title = {{A Software Architecture for Ontology-Driven Situation Awareness}},
   author = {Norbert Baumgartner and Werner Retschitzegger and Wieland Schwinger},
   year = {2008},
   publisher = {ACM},
   booktitle = {Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACM SAC)},
   pages = {2326--2330},
   series = {SAC 2008}
}								

@inproceedings{Buttinger2008,
   title = {{JobOlize - Headhunting by Information Extraction in the era of Web 2.0}},
   author = {Christina Buttinger and Birgit Pr\"{o}ll and J\"{u}rgen Palkoska and Werner Retschitzegger and Manfred Schauer and Reinhold Immler},
   year = {2008},
   booktitle = {Proceedings of the 7th International Workshop on Web-Oriented Software Technologies (IWWOST 2008)}
}								

@inproceedings{Gruen2008,
   title = {{Assisting Tourists on the Move - An Evaluation of Mobile Tourist Guides}},
   author = {Christoph Gr\"{u}n and Birgit Pr\"{o}ll and Werner Retschitzegger and Wieland Schwinger and Hannes Werthner},
   year = {2008},
   booktitle = {Proceedings of the 7th International Conference on Mobile Business},
   pages = {171 - 180}
}								

@inproceedings{Kappel2008,
   title = {{A Framework for Building Mapping Operators Resolving Structural Heterogeneities}},
   author = {Gerti Kappel and Horst Kargl and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger and Michael Strommer and Manuel Wimmer},
   year = {2008},
   publisher = {Springer},
   booktitle = {Proceedings of the 7th International Conference on Information Systems Technology and its Applications (ISTA)},
   pages = {158 - 174}
}								

@inbook{Schwinger2008,
   title = {{Handbook of Research in Mobile Multimedia}},
   author = {Wieland Schwinger and Christoph Gr\"{u}n and Birgit Pr\"{o}ll and Werner Retschitzegger},
   year = {2008},
   publisher = {IGI Global},
   chapter = {Context-awareness in Mobile Tourism Guides},
   pages = {534-552}
}								

@article{Schwinger2008a,
   title = {{A Survey on Web Modeling Approaches for Ubiquitous Web Applications}},
   author = {Wieland Schwinger and Werner Retschitzegger and Andrea Schauerhuber and Gerti Kappel and Manuel Wimmer and Birgit Pr\"{o}ll and Cristina Cachero Castro and Sven Casteleyn and Olga De Troyer and Piero Fraternali and Irene Garrigos and Franca Garzotto and Athula Ginige and Geert-Jan Houben and Nora Koch and Nathalie Moreno and Oscar Pastor and Paolo Paolini and Vicente Pelechano Ferragud and Gustavo Rossi and Daniel Schwab and Massimo Tisi and Antonio Vallecillo and Kees van der Sluijs and Gefei Zhang},
   journal = {International Journal of Web Information Systems (IJWIS)},
   year = {2008},
   pages = {234 - 305},
   volume = {4},
   number = {3}
}								

@inproceedings{Baumgartner2007b,
   title = {{Towards a Situation Awareness Framework Based on Primitive Relations}},
   author = {Norbert Baumgartner and Werner Retschitzegger},
   year = {2007},
   booktitle = {Proceedings of the Conference on Information, Decision, and Control (IDC 2007)}
}								

@inproceedings{Baumgartner2007a,
   title = {{Lost in Space and Time and Meaning - An Ontology-Based Approach to Road Traffic Situation Awareness}},
   author = {Norbert Baumgartner and Werner Retschitzegger and Wieland Schwinger},
   year = {2007},
   booktitle = {Proceedings of the 3rd Workshop on Context Awareness for Proactive Systems (CAPS 2007)}
}								

@inproceedings{Baumgartner2007,
   title = {{Of Situations and Their Neighbors: Evolution and Similarity in Ontology-Based Approaches to Situation Awareness}},
   author = {Norbert Baumgartner and Werner Retschitzegger and Wieland Schwinger and Gabriele Kotsis and Christoph Schwietering},
   year = {2007},
   publisher = {Springer-Verlag},
   booktitle = {Proceedings of the 6th International and Interdisciplinary Confernce on Modeling and Using Context (CONTEXT 2007)},
   pages = {29--42}
}								

@inproceedings{Reiter2007,
   title = {{Models in Conflict - Detection of Semantic Conflicts in Model-based Development}},
   author = {Thomas Reiter and Kerstin Altmanninger and Gabriele Kostis and Wieland Schwinger and Alexander Bergmayr},
   year = {2007},
   booktitle = {Proceedings of the 3rd Intl. Workshop on Model-Driven Enterprise Information Systems - MDEIS 2007, in conjuction with ICEIS 2007},
   pages = {29-40}
}								

@techreport{Schauerhuber2007,
   title = {{Applying Aspect-Orientation to WebML}},
   author = {Andrea Schauerhuber and Werner Retschitzegger and Wieland Schwinger},
   year = {2007},
   institution = {Vienna University of Technology}
}								

@inproceedings{Schauerhuber2007b,
   title = {{Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach}},
   author = {Andrea Schauerhuber and Manuel Wimmer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger},
   year = {2007},
   booktitle = {Proceedings of 5th Workshop on Model-Based Development for Computer-Based Systems: Domain-Specific Approaches to Model-Based Development (MBD 2007)},
   pages = {569 - 576}
}								

@article{Schauerhuber2007a,
   title = {{Bridging WebML to model-driven engineering: from document type definitions to meta object facility}},
   author = {Andrea Schauerhuber and Manuel Wimmer and Elisabeth Kapsammer and Wieland Schwinger and Werner Retschitzegger},
   journal = {IET Software, The Institution of Engineering and Technology},
   year = {2007},
   pages = {81-97},
   volume = {1},
   number = {3}
}								

@article{Shen2007,
   title = {{Analysis of business process integration in Web service context}},
   author = {Jun Shen and Georg Grossmann and Yun Yang and Markus Stumptner and Michael Schrefl and Thomas Reiter},
   journal = {Future Generation Computer Systems (FGCS), The International Journal of Grid Computing: Theory, Methods and Applications, Elsevier Science B.V./North-Holland, Peter Sloot (ed.)},
   year = {2007},
   pages = {283-294},
   volume = {23},
   number = {3}
}								

@inproceedings{Vallecillo2007,
   title = {MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods},
   author = {Antonio Vallecillo and Nora Koch and Cristina Cachero and Sara Comai and Piero Fraternali and Irene Garrigos and Jaime Gomez and Gerti Kappel and Alexander Knapp and Maristella Matera and Santiago Melia and Nathalie Moreno and Birgit Pr\"{o}ll and Thomas Reiter and Werner Retschitzegger and Jose E. Rivera and Andrea Schauerhuber and Wieland Schwinger and Manuel Wimmer and Gefei Zhang},
   year = {2007},
   booktitle = {Proceedings of the 7th International Conference on Web Engineering},
   pages = {246-254}
}								

@inproceedings{Baumgartner2006,
   title = {{A Survey of Upper Ontologies for Situation Awareness}},
   author = {Norbert Baumgartner and Werner Retschitzegger},
   year = {2006},
   booktitle = {Proceedings of the International Conference on Knowledge Sharing and Collaborative Engineering (KSCE '06)},
   pages = {1-9}
}								

@inproceedings{Kappel2006b,
   title = {{On Models and Ontologies - A Layered Approach for Model-based Tool Integration}},
   author = {Gerti Kappel and Elisabeth Kapsammer and Horst Kargl and Gerhard Kramler, and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger and Manuel Wimmer},
   year = {2006},
   booktitle = {Proceedings of Modellierung 2006, GI-Edition, Lecture Notes in Informatics},
   pages = {11--27}
}								

@inproceedings{Kappel2006,
   title = {{Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages}},
   author = {Gerti Kappel and Elisabeth Kapsammer and Horst Kargl and Gerhard Kramler and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger and Manuel Wimmer},
   year = {2006},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006)},
   pages = {528-542}
}								

@inproceedings{Kappel2006a,
   title = {{Towards A Semantic Infrastructure Supporting Model-based Tool Integration}},
   author = {Gerti Kappel and Elisabeth Kapsammer and Gerhard Kramler and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger},
   year = {2006},
   publisher = {ACM},
   booktitle = {Proceedings of the 1st International Workshop on Global integrated Model Management (GaMMa2006)},
   pages = {43--46},
   series = {GaMMa '06}
}								

@inproceedings{Kapsammer2006a,
   title = {{XML-based EIS - A Meta Schema for Mapping XML Schema to Relational DBS}},
   author = {Elisabeth Kapsammer},
   year = {2006},
   publisher = {Springer US},
   booktitle = {Proceedings of the IFIP International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2006)},
   pages = {73-84}
}								

@inproceedings{Kapsammer2006,
   title = {{Model-Based Tool Integration - State of the Art and Future Perspectives}},
   author = {Elisabeth Kapsammer and Thomas Reiter and Wieland Schwinger},
   year = {2006},
   booktitle = {Proceedings of the 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2006)}
}								

@inproceedings{Reiter2006b,
   title = {{A Generator Framework for Domain-Specific Model Transformation Languages}},
   author = {Thomas Reiter and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Markus Stumpner},
   year = {2006},
   booktitle = {Proceedings of at the 8th International Conference on Enterprise Information Systems (ICEIS 2006)}
}								

@inproceedings{Reiter2006,
   title = {{Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages}},
   author = {Thomas Reiter and Werner Retschitzegger and Kerstin Altmanninger},
   year = {2006},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the Workshop on Multi-Paradigm Modeling: Concepts and Tools at the 9th International Conference on Model-Driven Engineering Languages and Systems},
   pages = {263-276}
}								

@inproceedings{Reiter2006a,
   title = {{Enabling API-based Tool Integration through Aspect-Orientation}},
   author = {Thomas Reiter and Werner Retschitzegger and Andrea Schauerhuber and Wieland Schwinger and Elisabeth Kapsammer},
   year = {2006},
   booktitle = {Proceedings of the 2nd Workshop on Models and Aspects, (ECOOP'06)}
}								

@inproceedings{Schauerhuber2006,
   title = {{Towards a Common Reference Architecture for Aspect-Oriented Modeling}},
   author = {Andrea Schauerhuber and Wieland Schwinger and Elisabeth Kapsammer and Werner Retschitzegger and Manuel Wimmer},
   year = {2006},
   booktitle = {Proceedings of the 8th International Workshop on Aspect-Oriented Modeling (AOM), held together with AOSD06}
}								

@inproceedings{Schwinger2006,
   title = {{Pinpointing Tourism Information onto Mobile Maps - A Light-Weight Approach}},
   author = {Wieland Schwinger and Christoph Gr\"{u}n and Birgit Pr\"{o}ll and Werner Retschitzegger and Hannes Werthner},
   year = {2006},
   booktitle = {Proceedings of ENTER 2006},
   pages = {29-43}
}								

@techreport{Kappel2005,
   title = {{ModelCVS - A Semantic Infrastructure for Model-based Tool Integration}},
   author = {Gerti Kappel and Gerhard Kramler and Elisabeth Kapsammer and Thomas Reiter and Werner Retschitzegger and Wieland Schwinger},
   year = {2005},
   institution = {Vienna University of Technology}
}								

@inproceedings{Kapsammer2005,
   title = {{Bridging Relational Databases to Context-Aware Services}},
   author = {Elisabeth Kapsammer and Wieland Schwinger and Werner Retschitzegger},
   year = {2005},
   booktitle = {Proceedings of the CAiSE Workshop Ubiquitous Mobile Information and Collaboration Systems (UMICS2005)},
   pages = {703-716}
}								

@inproceedings{Kramler2005,
   title = {{Towards Using UML 2 for Modelling Web Service Collaboration Protocols}},
   author = {Gerhard Kramler and Elisabeth Kapsammer and Werner Retschitzegger and Gerti Kappel},
   year = {2005},
   publisher = {Springer London},
   booktitle = {Proceedings of the First International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA'05)},
   pages = {227-238}
}								

@inproceedings{Reiter2005,
   title = {{Model Integration Through Mega Operations}},
   author = {Thomas Reiter and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger},
   year = {2005},
   booktitle = {Proceedings of the Workshop on Model-driven Web Engineering (MDWE2005)}
}								

@inproceedings{Schwinger2005a,
   title = {{A light-weight Framework for Location-based Services}},
   author = {Wieland Schwinger and Christoph Gr\"{u}n and Birgit Pr\"{o}ll and Werner Retschitzegger},
   year = {2005},
   publisher = {Springer Berlin Heidelberg},
   booktitle = {Proceedings of the OTM 2005 Workshop on Context-Aware Mobile Systems (CAMS'05)},
   pages = {206-210}
}								

@inproceedings{Schwinger2005,
   title = {{Towards an Ontology-based Customization Approach for Supporting People with special Needs}},
   author = {Wieland Schwinger and Werner Retschitzegger and Franz P\"{u}hretmair and Gerhard Nussbaum},
   year = {2005},
   booktitle = {Proceedings of the 7th International Conference on Information Integration and Web Based Applications \& Services (iiWAS2005)}
}								

@book{Hitz2005,
   title = {{UML@Work, Objektorientierte Modellierung mit UML 2}},
   author = {Hitz, Martin and Kappel, Gerti and Kapsammer, Elisabeth and Retschitzegger, Werner},
   year = {2005},
   publisher = {dpunkt.verlag},
   address = {Heidelberg},
   isbn = {3-89864-261-5}
}