Bernard Schmidt

According to our database, Bernard Schmidt authored at least 13 papers between 2008 and 2021.

Collaborative distances:

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

2021

Monte Carlo Tree Search for online decision making in smart industrial production.

Richard Senington, Bernard Schmidt, Anna Syberfeldt

Comput. Ind., 2021

2020

Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen.

Bernard Schmidt

PhD thesis, 2020

2018

Energy-efficient robot applications towards sustainable manufacturing.

Lihui Wang, Abdullah Mohammed, Xi Vincent Wang, Bernard Schmidt

Int. J. Comput. Integr. Manuf., 2018

2017

Active collision avoidance for human-robot collaboration driven by vision sensors.

Abdullah Mohammed, Bernard Schmidt, Lihui Wang

Int. J. Comput. Integr. Manuf., 2017

2014

Efficient SAT/simulation-based model generation for low-level embedded software.

Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

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

Software in a hardware view: New models for HW-dependent software in SoC verification and test.

Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2014 International Test Conference, 2014

A property language for the specification of hardware-dependent embedded system software.

Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

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

2013

A New Formal Verification Approach for Hardware-dependent Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

IPSJ Trans. Syst. LSI Des. Methodol., 2013

An equivalence checker for hardware-dependent embedded system software.

Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

A computational model for SAT-based verification of hardware-dependent low-level embedded system software.

Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2011

Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction.

Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2008

Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers.

Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008