Carlos Villarraga

According to our database, Carlos Villarraga authored at least 13 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Formal Verification of Firmware-Based System-on-Chip Modules.

Carlos Villarraga

PhD thesis, 2017

A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems.

Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

J. Electron. Test., 2017

Cycle-accurate software modeling for RTL verification of embedded systems.

Michael Schwarz, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

2016

A computer-algebraic approach to formal verification of data-centric low-level software.

Oliver Marx, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems.

Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Safety across the HW/SW interface - Can formal methods meet the challenge?

Christian Bartsch, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

Proceedings of the International Symposium on Integrated Circuits, 2016

2014

Efficient SAT/simulation-based model generation for low-level embedded software.

Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Software in a hardware view: New models for HW-dependent software in SoC verification and test.

Carlos Villarraga, Bernard Schmidt, Binghao Bao, Rakesh Raman, Christian Bartsch, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2014 International Test Conference, 2014

A property language for the specification of hardware-dependent embedded system software.

Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

A New Formal Verification Approach for Hardware-dependent Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

IPSJ Trans. Syst. LSI Des. Methodol., 2013

An equivalence checker for hardware-dependent embedded system software.

Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

A computational model for SAT-based verification of hardware-dependent low-level embedded system software.

Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013