Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Frank Hilken

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 Philipp Niemann 0001

> Home > Persons > Frank Hilken

Publications

2017
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ecmdafa/GogollaHNW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecmdafa/GogollaHNW17
Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille:
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA 2017: 232-247
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PrzigodaNPHWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PrzigodaNPHWD17
Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler:
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. MEMOCODE 2017: 77-86
2016
[c26]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/modellierung/HilkenNGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/HilkenNGW16
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung 2016: 117-124
[c20]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/NiemannHGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/NiemannHGW16
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. Software Engineering 2016: 89-90
2015
[c17]
- view
- export record
  dblp key:
  - conf/date/NiemannHGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NiemannHGW15
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Assisted generation of frame conditions for formal models. DATE 2015: 309-312
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/HilkenNGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/HilkenNGW15
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT 2015: 149-165
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/models/NiemannHGW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/NiemannHGW15
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. MoDELS 2015: 266-275
2014
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/models/HilkenNWG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HilkenNWG14
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla:
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS 2014: 59-68
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HilkenNGW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HilkenNGW14
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF 2014: 99-116

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.