Petra Kaufmann

According to our database, Petra Kaufmann authored at least 34 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Privacy-Preserving Linkage of Genomic and Clinical Data Sets.

Dixie B. Baker, Bartha M. Knoppers, Mark Phillips, David van Enckevort, Petra Kaufmann, Hanns Lochmüller, Domenica Taruscio

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

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

2015

Intra- and interdiagram consistency checking of behavioral multiview models.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Comput. Lang. Syst. Struct., 2015

2014

MocOCL: A Model Checker for CTL-Extended OCL Specifications.

Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Model Checking of CTL-Extended OCL Specifications.

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

Proceedings of the Software Language Engineering - 7th International Conference, 2014

2013

Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams.

Petra Brosch, Martina Seidl, Magdalena Widl

Softwaretechnik-Trends, 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

Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling.

Marion Scholz, Petra Kaufmann, Martina Seidl

Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

OCL meets CTL: Towards CTL-Extended OCL Model Checking.

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2012

Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue.

Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel

Softwaretechnik-Trends, 2012

On formalizing EMF modeling operations with graph transformations.

Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl

ACM SIGSOFT Softw. Eng. Notes, 2012

Conflict Visualization for Evolving UML Models.

Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel

J. Object Technol., 2012

Towards Scenario-Based Testing of UML Diagrams.

Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Guided Merging of Sequence Diagrams.

Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits

Proceedings of the Software Language Engineering, 5th International Conference, 2012

An Introduction to Model Versioning.

Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

2011

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

Proceedings of the Models in Software Engineering, 2011

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

Guiding modelers through conflict resolution: a recommender for model versioning.

Petra Brosch, Martina Seidl, Konrad Wieland

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A recommender for conflict resolution support in optimistic model versioning.

Petra Brosch, Martina Seidl, Gerti Kappel

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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

Proceedings of the Models in Software Engineering, 2010

Adaptable Model Versioning in Action.

Petra Brosch, Gerti Kappel, Martina Seidl, Konrad Wieland, Manuel Wimmer, Horst Kargl, Philip Langer

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Colex: a web-based collaborative conflict lexicon.

Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer

Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

Concurrent Modeling in Early Phases of the Software Development Life Cycle.

Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel

Proceedings of the Collaboration and Technology - 16th International Conference, 2010

2009

On Realizing a Framework for Self-tuning Mappings.

Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

The operation recorder: specifying model refactorings by-example.

Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer, Philip Langer

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Improving conflict resolution in model versioning systems.

Petra Brosch

Proceedings of the 31st International Conference on Software Engineering, 2009

Towards end-user adaptable model versioning: The By-Example Operation Recorder.

Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer

Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009

We can work it out: Collaborative Conflict Resolution in Model Versioning.

Petra Brosch, Martina Seidl, Konrad Wieland, Manuel Wimmer

Proceedings of the Eleventh European Conference on Computer Supported Cooperative Work, 2009

2008

A Service Oriented Approach to Traffic Dependent Navigation Systems.

Petra Brosch

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Dynamic travel time provision for road networks.

Dieter Pfoser, Sotiris Brakatsoulas, Petra Brosch, Martina Umlauft, Nectaria Tryfona, Giorgos Tsironis

Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008