Carlos Villarraga

14 papers A 1C 4Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2017 J jnl
A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems.
J. Electron. Test.
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2017 C conf
Cycle-accurate software modeling for RTL verification of embedded systems.
DDECS
Michael Schwarz, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2017 — —
Formal Verification of Firmware-Based System-on-Chip Modules.
Carlos Villarraga
2016 — conf
A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems.
MBMV
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2016 — conf
A HW-dependent software model for cross-layer fault analysis in embedded systems.
LATS
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2016 C conf
A computer-algebraic approach to formal verification of data-centric low-level software.
MEMOCODE
Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
2016 — conf
Safety across the HW/SW interface - Can formal methods meet the challenge?
ISIC
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
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