13 papers:
DAC-2015-KleebergerRC #design #verification- Design & verification of automotive SoC firmware (VBK, SR, RC), p. 6.
ICSME-2015-StanciulescuSW #open source- Forked and integrated variants in an open-source firmware project (SS, SS, AW), pp. 151–160.
FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling- Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
- DAC-2014-AbarbanelSV #challenge #validation
- Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
SAC-2009-DavtyanKKMNRSSS- Taking total control of voting systems: firmware manipulations on an optical scan voting terminal (SD, SK, AK, LDM, NCN, AR, AS, NS, AAS), pp. 2049–2053.
- FM-2008-KuritaCN #development #mobile #specification
- Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone (TK, MC, YN), pp. 425–429.
SPLC-2007-MebaneO #complexity #product line- Dynamic Complexity and the Owen Firmware Product Line Program (HM, JTO), pp. 212–222.
OSDI-2002-KumarL #debugging #model checking #using- Using Model Checking to Debug Device Firmware (SK, KL), pp. 61–74.
- ICSM-1998-Pearse #evolution #metric #using
- Using Software Metrics to Control Firmware Evolution (TTP), pp. 72–73.
ASPLOS-1982-KamibayashiONA #named #operating system- Heart: An Operating System Nucleus Machine Implemented by Firmware (NK, HO, KN, HA), pp. 195–204.
- ASPLOS-1982-MaekawaSI #architecture #migration #monitoring
- Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming (MM, KS, CI), pp. 185–194.
- FM-1979-Berg #design #hardware #towards
- Towards a Uniform Design Methodology for Software, Firmware, and Hardware (HKB), pp. 1–38.
- DAC-1974-Hasterlik #automation #design #named
- RTL — The firmware Design Automation system (RLH), pp. 284–299.
