Dipl.-Ing. Gregor Nitsche Senior Researcher

Dipl.-Ing. Gregor Nitsche
Kontaktdaten
Tätigkeiten

Position im OFFIS

Senior Researcher

Forschungsbereiche

Verkehr / Hardware/Software-Entwurfsmethodik

Competence Center

Embedded Systems Design Automation

Forschungsinteresse

Entwurfsmethodik - insbesondere formale Spezifikation und formale Verifikation - für heterogene HW-/SW-Systeme sowie Extra-Funktionale Eigenschaften gemischt Analog-Digitaler Systeme
News

+49 441 9722 - 425

+49 441 9722 - 278

gregor.nitsche(at)offis.de

www.offis.de

O 25

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Dipl.-Ing. Gregor Nitsche

2016

ANCONA - Analog/Mixed-Signal Verifikationsmethoden für die AMS-Coverage-Analyse

A. Fürtig and G. Gläser and C. Grimm and L. Hedrich and S. Heinen and H.-S. L. Lee and G. Nitsche and M. Olbrich and R. Popp and T. Purusothaman and C. Radojicic and R. Sommer and F. Speicher and D. Treytnar; newsletter edacentrum 01/02 2016; 12 / 2016

Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis

Erich Barke and Andreas Fuertig and Georg Glaeser and Christoph Grimm and Lars Hedrich and Stefan Heinen and Eckhard Hennig and Hyun-Sek Lukas Lee and Wolfgang Nebel and Gregor Nitsche and Markus Olbrich and Carna Radojicic and Fabian Speicher; 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016; 5 / 2016

2015

AMS-/EF-Contracts - A Proposal of Contracts for AMS-Verification and AMS-Coverage-Analysis

Gregor Nitsche and Kim Grüttner; Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015; 9 / 2015

BIB
Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics

Gregor Nitsche and Ralph Görgen and Kim Grüttner and Wolfgang Nebel; In Proceedings of the fifth IFIP International Embedded Systems Symposium (IESS 2015); 11 / 2015

BIB
Temporal Decoupling with Error-Bounded Predictive Quantum Control

Gläser, G. and Nitsche, G. and Hennig, E.; Forum on Specification and Design Languages (FDL), 2015; 9 / 2015

Towards Satisfaction Checking of Power Contracts in Uppaal

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel ; 12 / 2015

2014

Towards Satisfaction Checking of Power Contracts in Uppaal

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel; Forum on specification & Design Languages (FDL 2014); 10 / 2014

BIB

2013

Power Contracts: A Formal Way Towards Power-Closure?!

Nitsche, Gregor and Grüttner, Kim and Nebel, Wolfgang; 09 / 2013

BIB

Projekte
von Dipl.-Ing. Gregor Nitsche

A

ANCONA

Analog-Coverage in der Nanoelektronik

Laufzeit: 2014 - 2017