Niels Thole

According to our database, Niels Thole authored at least 8 papers between 2014 and 2016.

Collaborative distances:

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

2016

Formal Verification throughout the Development of Robust Systems.

Niels Thole

PhD thesis, 2016

A Hybrid Algorithm to Conservatively Check the Robustness of Circuits.

Niels Thole, Görschwin Fey, Alberto García Ortiz

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Equivalence checking on ESL utilizing a priori knowledge.

Niels Thole, Heinz Riener, Görschwin Fey

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

A hybrid algorithm to conservatively check the robustness of circuits.

Niels Thole, Lorena Anghel, Görschwin Fey

Proceedings of the 21th IEEE European Test Symposium, 2016

2015

Formal Verification of Robustness.

Niels Thole, Görschwin Fey

Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015

Conservatively Analyzing Transient Faults.

Niels Thole, Görschwin Fey, Alberto García Ortiz

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Equivalence Checking on System Level Using a Priori Knowledge.

Niels Thole, Heinz Riener, Görschwin Fey

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

2014

Equivalence Checking on System Level using Stepwise Induction.

Niels Thole, Görschwin Fey

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014