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 (MBMV, 2012)

Power contracts: A formal way towards power-closure?! - Gregor Nitsche; Kim Grüttner; Wolfgang Nebel (PATMOS, 2013)

Towards satisfaction checking of power contracts in Uppaal. - Gregor Nitsche; Kim Grüttner; Wolfgang Nebel (FDL, 2014)

Temporal decoupling with error-bounded predictive quantum control. - Georg Gläser; Gregor Nitsche; Eckhard Hennig (FDL, 2015)

Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics. - Gregor Nitsche; Ralph Görgen; Kim Grüttner; Wolfgang Nebel (IESS, 2015)

Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis. - Erich Barke; Andreas Furtig; Georg Glaeser; Christoph Grimm 001; Lars Hedrich; Stefan Heinen; Eckhard Hennig; Hyun-Sek Lukas Lee; Wolfgang Nebel; Gregor Nitsche; Markus Olbrich; Carna Radojicic; et al. (DATE, 2016)

Novel metrics for Analog Mixed-Signal coverage. - Andreas Furtig; Georg Glaeser; Christoph Grimm 001; Lars Hedrich; Stefan Heinen; Hyun-Sek Lukas Lee; Gregor Nitsche; Markus Olbrich; Carna Radojicic; Fabian Speicher (DDECS, 2017)

Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning. - Gregor Nitsche (CoRR, 2019)

RISC-V Timing-Instructions for Open Time-Triggered Architectures. - Nithin Ravani Nanjundaswamy; Gregor Nitsche; Frank Poppen; Kim Grüttner (DSN-W, 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 (ITSC, 2023)