Search Results - "Villarraga, Carlos"

Agroecological Transformation: Implementation of an Agroforestry System in a Construction Debris Area Focusing on Vegetables Development through Microbial Treatments by Rodrigues, Thiago Fernandes, Itkes, Marina Paes Machado, Brogiato, Giovanne, Marques, Victor Augusto Reis, Martins, Valdir, Villarraga, Carlos Orlando, Esposito, Elisa

“…Soil microorganisms play an important role on plant development and the homogenization of soil microbiomes is harmful to agri-environments. It is essential…”
Get full text

A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems by Bartsch, Christian, Villarraga, Carlos, Stoffel, Dominik, Kunz, Wolfgang

“…Hardware devices of recent technology nodes are intrinsically more susceptible to faults than previous devices. This demands further improvements of error…”
Get full text

Software in a hardware view: New models for HW-dependent software in SoC verification and test by Villarraga, Carlos, Schmidt, Bernard, Bao, Binghao, Raman, Rakesh, Bartsch, Christian, Fehmel, Thomas, Stoffel, Dominik, Kunz, Wolfgang

“…In current practices of SoC design a trend can be observed to integrate more and more low-level software components into the hardware at different levels of…”
Get full text

Cycle-accurate software modeling for RTL verification of embedded systems by Schwarz, Michael, Villarraga, Carlos, Stoffel, Dominik, Kunz, Wolfgang

“…Today's applications for HW/SW-systems, such as the Internet-of-Things, often demand SoC architectures where sophisticated firmware is running on fairly simple…”
Get full text

A computer-algebraic approach to formal verification of data-centric low-level software by Marx, Oliver, Villarraga, Carlos, Stoffel, Dominik, Kunz, Wolfgang

“…Methods of Computer Algebra have shown to be useful when formally verifying data-centric hardware designs. This has been demonstrated especially for cases…”
Get full text

Safety across the HW/SW interface - Can formal methods meet the challenge? by Bartsch, Christian, Villarraga, Carlos, Stoffel, Dominik, Kunz, Wolfgang

“…In the design of Systems-on-Chip and Embedded Systems measures for increasing their error resilience can benefit from a precise understanding of the effects…”
Get full text

A HW-dependent software model for cross-layer fault analysis in embedded systems by Bartsch, Christian, Rodel, Nico, Villarraga, Carlos, Stoffel, Dominik, Kunz, Wolfgang

“…With the advent of new microelectronic fabrication technologies new hardware devices are emerging which suffer from an intrinsically higher susceptibility to…”
Get full text

An equivalence checker for hardware-dependent embedded system software by Villarraga, Carlos, Schmidt, Bernard, Bormann, Jorg, Bartsch, Christian, Stoffel, Dominik, Kunz, Wolfgang

“…This paper presents a novel approach to formally prove the equivalence of low-level hardware-dependent programs. Inspired by hardware verification techniques,…”
Get full text

A property language for the specification of hardware-dependent embedded system software by Binghao Bao, Villarraga, Carlos, Schmidt, Bernard, Stoffel, Dominik, Kunz, Wolfgang

“…This paper introduces a new property language for describing the behavior of low-level hardware-dependent software. The design of the language is motivated by…”
Get full text

A Comparison of Neural Networks to Detect Failures in Micro-electro-mechanical Systems by Angel F, Julian M, Higuera, Juan C Gamboa, Bernal, Alba G Ávila, Pinzon, Carlos E Villarraga

“…The development of microelectronic industry has been related with the development of methodologies for detection of faults, either in production lines or in…”
Get full text

A computational model for SAT-based verification of hardware-dependent low-level embedded system software by Schmidt, B., Villarraga, C., Bormann, J., Stoffel, D., Wedler, M., Kunz, W.

“…This paper describes a method to generate a computational model for formal verification of hardware-dependent software in embedded systems. The computational…”
Get full text