Name Card

Full name Familienname, Vorname
Kaufmann, Petra
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 49 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina ; Gogolla, Martin ; Kappel, Gerti A Feature-Based Classification of Formal Verification Techniques for Software ModelsArtikel Article 2019
2Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
3Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsKonferenzbeitrag Inproceedings 2014
4Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
5Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina MocOCL: A Model Checker for CTL-Extended OCL SpecificationsBericht Report2014
6Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-based Debugging Tool for State Machines and Sequence DiagramsPräsentation Presentation2014
7Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Feature-Based Classification of Formal Verification Techniques for Software ModelsBericht Report2014
8Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsBericht Report2014
9Langer, Philip ; Wimmer, Manuel ; Brosch, Petra ; Herrmannsdörfer, Markus ; Seidl, Martina ; Wieland, Konrad ; Kappel, Gertrude A posteriori operation detection in evolving software modelsArtikel Article Feb-2013
10Scholz, Marion ; Kaufmann, Petra ; Seidl, Martina Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented ModellingKonferenzbeitrag Inproceedings 2013
11Kaufmann, Petra ; Seidl, Martina ; Widl, Magdalena Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine DiagramsKonferenzbeitrag Inproceedings2013
12Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Classification of Model Checking-Based Verification Approaches for Software ModelsKonferenzbeitrag Inproceedings 2013
13Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013
14Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2013
15Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State MachinesKonferenzbeitrag Inproceedings 2013
16Kaufmann, Petra ; Langer, Philip ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti Generic vs. Language-Specific Model Versioning - Adaptability to the RescueKonferenzbeitrag Inproceedings2012
17Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina On Formalizing EMF Modeling Operations with Graph TransformationsKonferenzbeitrag Inproceedings 2012
18Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2012
19Kaufmann, Petra ; Kappel, Gerti ; Langer, Philip ; Seidl, Martina ; Wieland, Konrad ; Wimmer, Manuel An Introduction to Model VersioningKonferenzbeitrag Inproceedings2012
20Kaufmann, Petra ; Seidl, Martina ; Wimmer, Manuel ; Kappel, Gerti Conflict Visualization for Evolving UML ModelsArtikel Article2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bill Robert - 2014 - Towards software model checking in the context of...pdf.jpgBill, Robert Towards software model checking in the context of model-driven engineeringThesis Hochschulschrift 2014
2Ungerboeck Georg - 2012 - Enterprise Mashups.pdf.jpgUngerböck, Georg Enterprise MashupsThesis Hochschulschrift 2012
3Weingartner Hannes - 2008 - A mobile blogging solution aggregation and...pdf.jpgWeingartner, Hannes A mobile blogging solution : aggregation and management of location-based content in the Java application domainThesis Hochschulschrift 2008