Gregor Nitsche

According to our database, Gregor Nitsche authored at least 10 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a Contract-Based Definition of Update-Compatibility - Modelling Safety Integration Criteria.

Irune Yarza, Irune Agirre, Imanol Mugarza, Gregor Nitsche, Patrick Uven, Juan Maria Orbegozo

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

RISC-V Timing-Instructions for Open Time-Triggered Architectures.

Nithin Ravani Nanjundaswamy, Gregor Nitsche, Frank Poppen, Kim Grüttner

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2019

Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning.

Gregor Nitsche

CoRR, 2019

2017

Novel metrics for Analog Mixed-Signal coverage.

Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

2016

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

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

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

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

Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

Temporal decoupling with error-bounded predictive quantum control.

Georg Gläser, Gregor Nitsche, Eckhard Hennig

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014

Towards satisfaction checking of power contracts in Uppaal.

Gregor Nitsche, Kim Grüttner, Wolfgang Nebel

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

Power contracts: A formal way towards power-closure?!

Gregor Nitsche, Kim Grüttner, Wolfgang Nebel

Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013

2012

Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set Interpreter.

Gregor Nitsche, Georg Glaeser, Dirk Nuernbergk, Eckhard Hennig

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012