Petra Kaufmann

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 3

Top Topics

Formal Verification

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Dixie B. Baker, Bartha M. Knoppers, Mark Phillips, David van Enckevort, Petra Kaufmann, Hanns Lochmüller, Domenica Taruscio
Privacy-Preserving Linkage of Genomic and Clinical Data Sets. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (4) (2019)
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18 (1) (2019)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. 44 (2015)
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
Model Checking of CTL-Extended OCL Specifications. SLE (2014)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE (2014)
Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl
MocOCL: A Model Checker for CTL-Extended OCL Specifications. VOLT@STAF (2014)
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
OCL meets CTL: Towards CTL-Extended OCL Model Checking. OCL@MoDELS (2013)
Marion Scholz, Petra Kaufmann, Martina Seidl
Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. EduSymp@MoDELS (2013)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS (2013)