Carlos Villarraga

14 papers A 1C 4Journal 2Unranked 6

Year	Rank	Type	Title / 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