Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Petra Kaufmann

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Sebastian Gabmeyer

> Home > Persons > Petra Kaufmann

Publications

2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/GabmeyerKSGK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/GabmeyerKSGK19
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): 473-498 (2019)
2014
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/BillGKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/BillGKS14
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl:
Model Checking of CTL-Extended OCL Specifications. SLE 2014: 221-240
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/GabmeyerBKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/GabmeyerBKS14
Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl:
MocOCL: A Model Checker for CTL-Extended OCL Specifications. VOLT@STAF 2014: 10-15
2013
[c22]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/BillGKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BillGKS13
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl:
OCL meets CTL: Towards CTL-Extended OCL Model Checking. OCL@MoDELS 2013: 13-22
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/BroschGKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/BroschGKS12
Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl:
On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/BroschEGKSTWW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/BroschEGKSTWW12
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer:
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS 2012: 149-155
2011
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BroschEGKSTWW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BroschEGKSTWW11
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer:
Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) 2011: 246-256

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.