Mattias Ulbrich

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 Michael Kirsten

> Home > Persons > Mattias Ulbrich

Publications

2020
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeckertKKU20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeckertKKU20
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich:
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) 2020: 60-80
2017
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/WeiglWUUCKBV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/WeiglWUUCKBV17
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser:
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN 2017: 875-882

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.