Wolfgang Nebel

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 Gregor Nitsche

> Home > Persons > Wolfgang Nebel

Publications

2016
[c130]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/BarkeFG0HHHLNNO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BarkeFG0HHHLNNO16
Erich Barke, Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyun-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher:
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis. DATE 2016: 1102-1111
2015
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/iess/NitscheGGN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iess/NitscheGGN15
Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel:
Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics. IESS 2015: 77-87
2014
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/NitscheGN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/NitscheGN14
Gregor Nitsche, Kim Grüttner, Wolfgang Nebel:
Towards satisfaction checking of power contracts in Uppaal. FDL 2014: 1-8
2013
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/NitscheGN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/NitscheGN13
Gregor Nitsche, Kim Grüttner, Wolfgang Nebel:
Power contracts: A formal way towards power-closure?! PATMOS 2013: 59-66

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.