Carlos Villarraga

ORCID

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 6

Top Venues

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Michael Schwarz, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
Cycle-accurate software modeling for RTL verification of embedded systems. DDECS (2017)
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems. J. Electron. Test. 33 (1) (2017)
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
A HW-dependent software model for cross-layer fault analysis in embedded systems. LATS (2016)
Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
Safety across the HW/SW interface - Can formal methods meet the challenge? ISIC (2016)
Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems. MBMV (2016)
Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz
A computer-algebraic approach to formal verification of data-centric low-level software. MEMOCODE (2016)
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)

Carlos Villarraga.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlos Villarraga