Gregor Nitsche

11 papers A 1C 3Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
A Modular Architecture Template for Resource Modeling in Software-Defined Vehicles.
EDCC-C
Patrick Uven, Ralf Stemmer, Gregor Nitsche
2023 — conf
RISC-V Timing-Instructions for Open Time-Triggered Architectures.
DSN-W
Nithin Ravani Nanjundaswamy, Gregor Nitsche, Frank Poppen, Kim Grüttner
2023 — conf
Towards a Contract-Based Definition of Update-Compatibility - Modelling Safety Integration Criteria.
ITSC
Irune Yarza, Irune Agirre, Imanol Mugarza, Gregor Nitsche, Patrick Uven, Juan Maria Orbegozo
2019 J jnl
Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning.
CoRR
Gregor Nitsche
2017 C conf
Novel metrics for Analog Mixed-Signal coverage.
DDECS
Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher
2016 A conf
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis.
DATE
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
2015 — conf
Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics.
IESS
Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel
2015 C conf
Temporal decoupling with error-bounded predictive quantum control.
FDL
Georg Gläser, Gregor Nitsche, Eckhard Hennig
2014 C conf
Towards satisfaction checking of power contracts in Uppaal.
FDL
Gregor Nitsche, Kim Grüttner, Wolfgang Nebel
2013 — conf
Power contracts: A formal way towards power-closure?!
PATMOS
Gregor Nitsche, Kim Grüttner, Wolfgang Nebel
2012 — conf
Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set Interpreter.
MBMV
Gregor Nitsche, Georg Glaeser, Dirk Nuernbergk, Eckhard Hennig