Gregor Nitsche

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Adverse Selection

Structural Constraints

Principal Agent

Top Venues

Publications

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