Dynamic travel time provision for road networks. - Dieter Pfoser; Sotiris Brakatsoulas; Petra Brosch; Martina Umlauft; Nectaria Tryfona; Giorgos Tsironis (GIS, 2008)

A Service Oriented Approach to Traffic Dependent Navigation Systems. - Petra Brosch (SERVICES I, 2008)

We can work it out: Collaborative Conflict Resolution in Model Versioning. - Petra Brosch; Martina Seidl; Konrad Wieland; Manuel Wimmer (ECSCW, 2009)

Towards end-user adaptable model versioning: The By-Example Operation Recorder. - Petra Brosch; Philip Langer; Martina Seidl; Manuel Wimmer (CVSM@ICSE, 2009)

Improving conflict resolution in model versioning systems. - Petra Brosch (ICSE Companion, 2009)

An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. - Petra Brosch; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer; Gerti Kappel; Werner Retschitzegger; Wieland Schwinger (MoDELS, 2009)

By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. - Petra Brosch; Martina Seidl; Konrad Wieland; Manuel Wimmer; Philip Langer (OOPSLA Companion, 2009)

The operation recorder: specifying model refactorings by-example. - Petra Brosch; Martina Seidl; Konrad Wieland; Manuel Wimmer; Philip Langer (OOPSLA Companion, 2009)

On Realizing a Framework for Self-tuning Mappings. - Manuel Wimmer; Martina Seidl; Petra Brosch; Horst Kargl; Gerti Kappel (TOOLS (47), 2009)

Concurrent Modeling in Early Phases of the Software Development Life Cycle. - Petra Brosch; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer; Gerti Kappel (CRIWG, 2010)

Colex: a web-based collaborative conflict lexicon. - Petra Brosch; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer (IWMCP@ICMT, 2010)

Adaptable Model Versioning in Action. - Petra Brosch; Gerti Kappel; Martina Seidl; Konrad Wieland; Manuel Wimmer; Horst Kargl; Philip Langer (Modellierung, 2010)

Conflicts as First-Class Entities: A UML Profile for Model Versioning. - Petra Brosch; Horst Kargl; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer; Gerti Kappel (MoDELS (Workshops), 2010)

A recommender for conflict resolution support in optimistic model versioning. - Petra Brosch; Martina Seidl; Gerti Kappel (SPLASH/OOPSLA Companion, 2010)

Guiding modelers through conflict resolution: a recommender for model versioning. - Petra Brosch; Martina Seidl; Konrad Wieland (SPLASH/OOPSLA Companion, 2010)

Position Paper: m2n - A Tool for Translating Models to Natural Language Descriptions. - Petra Brosch; Andrea Randak (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Towards Semantics-Aware Merge Support in Optimistic Model Versioning. - Petra Brosch; Uwe Egly; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl; Hans Tompits; Magdalena Widl; Manuel Wimmer (MoDELS (Workshops), 2011)

An Introduction to Model Versioning. - Petra Brosch; Gerti Kappel; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer (SFM, 2012)

Guided Merging of Sequence Diagrams. - Magdalena Widl; Armin Biere; Petra Brosch; Uwe Egly; Marijn Heule; Gerti Kappel; Martina Seidl; Hans Tompits (SLE, 2012)

Towards Scenario-Based Testing of UML Diagrams. - Petra Brosch; Uwe Egly; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl; Hans Tompits; Magdalena Widl; Manuel Wimmer (TAP@TOOLS, 2012)

Conflict Visualization for Evolving UML Models. - Petra Brosch; Martina Seidl; Manuel Wimmer; Gerti Kappel (J. Object Technol., 2012)

On formalizing EMF modeling operations with graph transformations. - Petra Brosch; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl (ACM SIGSOFT Softw. Eng. Notes, 2012)

Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. - Petra Brosch; Philip Langer; Martina Seidl; Manuel Wimmer; Gerti Kappel (Softwaretechnik-Trends, 2012)

OCL meets CTL: Towards CTL-Extended OCL Model Checking. - Robert Bill; Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl (OCL@MoDELS, 2013)

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (MoDeVVa@MoDELS, 2013)

Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. - Marion Scholz; Petra Kaufmann; Martina Seidl (EduSymp@MoDELS, 2013)

A posteriori operation detection in evolving software models. - Philip Langer; Manuel Wimmer; Petra Brosch; Markus Herrmannsdörfer; Martina Seidl; Konrad Wieland; Gerti Kappel (J. Syst. Softw., 2013)

Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. - Petra Brosch; Martina Seidl; Magdalena Widl (Softwaretechnik-Trends, 2013)

Model Checking of CTL-Extended OCL Specifications. - Robert Bill; Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl (SLE, 2014)

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (SLE, 2014)

MocOCL: A Model Checker for CTL-Extended OCL Specifications. - Sebastian Gabmeyer; Robert Bill; Petra Kaufmann; Martina Seidl (VOLT@STAF, 2014)

Intra- and interdiagram consistency checking of behavioral multiview models. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (Comput. Lang. Syst. Struct., 2015)

A feature-based classification of formal verification techniques for software models. - Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl; Martin Gogolla; Gerti Kappel (Softw. Syst. Model., 2019)

Privacy-Preserving Linkage of Genomic and Clinical Data Sets. - Dixie B. Baker; Bartha M. Knoppers; Mark Phillips 002; David van Enckevort; Petra Kaufmann; Hanns Lochmüller; Domenica Taruscio (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)