Gregor Nitsche
Orcid: 0000-0002-5232-0976
According to our database1,
Gregor Nitsche
authored at least 10 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
1
2
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Towards a Contract-Based Definition of Update-Compatibility - Modelling Safety Integration Criteria.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
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.
CoRR, 2019
2017
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.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015
Proceedings of the 2015 Forum on Specification and Design Languages, 2015
2014
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
2013
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.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012