Bernard Schmidt

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 3

Top Topics

Hardware Designs

Monte Carlo Tree Search

Top Venues

Int. J. Comput. Integr. Manuf.

Publications

Richard Senington, Bernard Schmidt, Anna Syberfeldt
Monte Carlo Tree Search for online decision making in smart industrial production. Comput. Ind. 128 (2021)
Lihui Wang, Abdullah Mohammed, Xi Vincent Wang, Bernard Schmidt
Energy-efficient robot applications towards sustainable manufacturing. Int. J. Comput. Integr. Manuf. 31 (8) (2018)
Abdullah Mohammed, Bernard Schmidt, Lihui Wang
Active collision avoidance for human-robot collaboration driven by vision sensors. Int. J. Comput. Integr. Manuf. 30 (9) (2017)
Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz
Software in a hardware view: New models for HW-dependent software in SoC verification and test. ITC (2014)
Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
A property language for the specification of hardware-dependent embedded system software. FDL (2014)
Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
Efficient SAT/simulation-based model generation for low-level embedded software. MBMV (2014)
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
A New Formal Verification Approach for Hardware-dependent Embedded System Software. IPSJ Trans. Syst. LSI Des. Methodol. 6 (2013)
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. MBMV (2013)
Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
A computational model for SAT-based verification of hardware-dependent low-level embedded system software. ASP-DAC (2013)
Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
An equivalence checker for hardware-dependent embedded system software. MEMOCODE (2013)
Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction. MBMV (2011)
Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers. MBMV (2008)