Petra Kaufmann

Petra Kaufmann is an academic at TU Wien's Institut für Softwaretechnik und Interaktive Systeme. Her research focuses on formal verification techniques for software models, model-driven engineering, and model versioning. She has contributed to advancing methodologies for consistency checking in multiview models, semantic-aware merging of UML diagrams, and SAT-based model debugging tools. Her work integrates formal methods like OCL and CTL with practical software development challenges. Kaufmann collaborates on educational initiatives, such as modernizing UML teaching tools, and explores model versioning solutions for collaborative software projects.

Key research areas include:

• Formal verification of software models
• Model consistency and versioning
• UML-based system modeling
• Automated debugging and conflict resolution
• SAT-based analysis tools

Her recent publications emphasize semantic-aware approaches to model evolution and merging, addressing challenges in maintaining consistency across state machines and sequence diagrams. She has advised students like Robert Bill on software model checking and model-driven engineering topics. Her work bridges theoretical formal methods with practical software development workflows, particularly in collaborative environments.