Bernard Schmidt

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