Petra Kaufmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2013–2014
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SLE | Model Checking of CTL-Extended OCL Specifications. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2014 | SLE | A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2013 | MODELS | OCL meets CTL: Towards CTL-Extended OCL Model Checking. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2013 | MODELS | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
| 2013 | MODELS | Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. | Marion Scholz, Petra Kaufmann, Martina Seidl |