Search results for "firmware"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Yanlin Li, Jonathan M. McCune, Adrian Perrig	VIPER: verifying the integrity of PERipherals' firmware.	CCS	2011	DBLP DOI BibTeX RDF
16	Young-Jun Kim 0003, Do-Eun Oh, Jong-min Ko, Young-Il Kim, Shin Jae Kang, Seung-Hwan Choi	A Remote Firmware Upgrade Method of NAN and HAN Devices to Support AMI's Energy Services.	ICHIT (2)	2011	DBLP DOI BibTeX RDF
16	Rahul Khanna, Fadi Zuhayri, Murugasamy Nachimuthu, Christian Le, Mohan J. Kumar	Unified extensible firmware interface: An innovative approach to DRAM power control.	ICEAC	2011	DBLP DOI BibTeX RDF
16	Philipp Nenninger, Tilo Merlin, Dirk John, Florian Kantz	Komponentenbasierte Entwicklung von Firmware für Sensorsysteme in der industriellen Praxis.	Software Engineering (Workshops)	2011	DBLP BibTeX RDF
16	Soon-Suck Jarng, Mano Samuel, Je-Hyung Lee	64 Channel Digital Hearing Aid Emdedded Firmware.	APSCC	2011	DBLP DOI BibTeX RDF
16	Boldizsár Bencsáth, Levente Buttyán, Tamás Paulik	XCS based hidden firmware modification on embedded devices.	SoftCOM	2011	DBLP BibTeX RDF
16	Jiang Wang 0008, Fengwei Zhang, Kun Sun 0001, Angelos Stavrou	Firmware-assisted Memory Acquisition and Analysis tools for Digital Forensics.	SADFE	2011	DBLP DOI BibTeX RDF
16	Dimitri Diakopoulos, Ajay Kapur	HIDUINO: A firmware for building driverless USB-MIDI devices using the Arduino microcontroller.	NIME	2011	DBLP DOI BibTeX RDF
16	Jürgen Bregenzer, Julian Hartmann	An Approach towards Automation Firmware Modeling for an Exploration and Evaluation of Efficient Parallelization Alternatives.	PARELEC	2011	DBLP DOI BibTeX RDF
16	Camille Jaggernauth, Benny Hung, Philip Lin, Yindar Chuo, Bozena Kaminska	Test firmware architecture for a flexible wireless physiological multi-sensor.	SMC	2011	DBLP DOI BibTeX RDF
16	Hongfei Yin, Hongjun Dai, Zhiping Jia	Verification-Based Multi-backup Firmware Architecture, an Assurance of Trusted Boot Process for the Embedded Systems.	TrustCom	2011	DBLP DOI BibTeX RDF
16	Seung-Won Shin, Nam-Yeol Yun, Hui-Jin Cho, Ji-Eon Kim, Jin-Young Lee, Imtiaz Ahmed Khan, Soo-Hyun Park	The UMO (Underwater Moving Object) Firmware Design and Implementation Based on Underwater Acoustic Communication.	EUC	2011	DBLP DOI BibTeX RDF
16	Muhammad Sabir Idrees, Hendrik Schweppe, Yves Roudier, Marko Wolf, Dirk Scheuermann, Olaf Henniger	Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates.	Nets4Cars/Nets4Trains	2011	DBLP DOI BibTeX RDF
16	Matthias Kovatsch	Firm firmware and apps for the internet of things.	SESENA@ICSE	2011	DBLP DOI BibTeX RDF
16	Jun Otsuka, Kouichi Kawarabata, Takashi Iwasaki, Makoto Uchiba, Tsuneo Nakanishi, Kenji Hisazumi	Small inexpensive core asset construction for large gainful product line development: developing a communication system firmware product line.	SPLC Workshops	2011	DBLP DOI BibTeX RDF
16	Liran Katzir 0002, Ido Schwartzman	Secure firmware updates for smart grid Devices.	ISGT Europe	2011	DBLP DOI BibTeX RDF
16	Peter Meerwald, Andreas Uhl	Watermarking of Raw Digital Images in Camera Firmware.	IPSJ Trans. Comput. Vis. Appl.	2010	DBLP DOI BibTeX RDF
16	Jinsik Kim, Pai H. Chou	Energy-Efficient Progressive Remote Update for Flash-Based Firmware of Networked Embedded Systems.	ACM Trans. Design Autom. Electr. Syst.	2010	DBLP DOI BibTeX RDF
16	Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch	Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models.	MBMV	2010	DBLP BibTeX RDF
16	Stephen E. McLaughlin, Dmitry Podkuiko, Adam Delozier, Sergei Miadzvezhanka, Patrick D. McDaniel	Embedded Firmware Diversity for Smart Electric Meters.	HotSec	2010	DBLP BibTeX RDF
16	Federico Baronti, Andrea Lazzeri, Roberto Roncella, Roberto Saletti	Firmware/software platform for rapid development of PC-based data acquisition systems.	ICECS	2010	DBLP DOI BibTeX RDF
16	Hao Li, Dong Tong 0001, Kan Huang, Xu Cheng 0001	FEMU: a firmware-based emulation framework for SoC verification.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
16	Ted Tao, Shun-Feng Su	The firmware controller - CMAC-Based supervisory controllers on FPGA.	SMC	2010	DBLP DOI BibTeX RDF
16	Jürgen Bregenzer	GraphML-Based Exploration and Evaluation of Efficient Parallelization Alternatives for Automation Firmware.	GD	2010	DBLP DOI BibTeX RDF
16	Yu-Cheng Su, Huan Chen 0002, Ching-Lun Hung, Shuenn-Yuh Lee	Wireless ECG detection system with low-power analog front-end circuit and bio-processing ZigBee firmware.	ISCAS	2010	DBLP DOI BibTeX RDF
16	Stefan Koerner, Andreas Kohler, J. Babinsky, H. Pape, Felix Eickhoff, S. Kriese, Herwig Elfering	IBM System z10 firmware simulation.	IBM J. Res. Dev.	2009	DBLP DOI BibTeX RDF
16	Taro Kurita, Yasumasa Nakatsugawa	The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip.	Int. J. Softw. Informatics	2009	DBLP BibTeX RDF
16	Iain Sutherland, Gareth Davies 0002, Nick Pringle, Andrew Blyth	The Impact of Hard Disk Firmware Steganography on Computer Forensics.	J. Digit. Forensics Secur. Law	2009	DBLP DOI BibTeX RDF
16	Vincent Zimmer	Cloud Net-Booting Beyond BIOS Using the Unified Extensible Firmware Interface.	Security and Management	2009	DBLP BibTeX RDF
16	Vincent Zimmer	Access Control Beyond BIOS Using the Unified Extensible Firmware Interface.	Security and Management	2009	DBLP BibTeX RDF
16	Zhen-Long Du, Xiaoli Li 0005, Kangkang Shen	Trusted Firmware Services Based on TPM.	INTRUST	2009	DBLP DOI BibTeX RDF
16	Vincent Zimmer	System Isolation Beyond BIOS using the Unified Extensible Firmware Interface.	Security and Management	2008	DBLP BibTeX RDF
16	Andreas Hofmann, Klaus Waldschmidt	SDVM-R: A Scalable Firmware for FPGA-Based Multi-core Systems-on-Chip.	ISVLSI	2008	DBLP DOI BibTeX RDF
16	Jan W. M. Jacobs, Leroy van Engelen, Jan Kuper, Gerard J. M. Smit, Rui Dai	IRIS: A Firmware Design Methodology for SIMD Architectures.	DSD	2008	DBLP DOI BibTeX RDF
16	Juan Galindo, Eric Peskin, Brad Larson, Gene Roylance	Leveraging Firmware in Multichip Systems to Maximize FPGA Resources: An Application of Self-Partial Reconfiguration.	ReConFig	2008	DBLP DOI BibTeX RDF	color-space conversion, CSC, FPGA, dynamic reconfiguration, partial reconfiguration, self reconfiguration, ICAP
16	Andreas Hofmann, Klaus Waldschmidt	SDVMR: A Scalable Firmware for FPGA-based Multi-Core Systems-on-Chip.	PASA	2008	DBLP BibTeX RDF
16	V. Sinivee	Simple yet efficient NMEA sentence generator for testing GPS reception firmware and hardware.	TeNe	2008	DBLP DOI BibTeX RDF
16	Hua-Ning Wang, Wei-Wei Dai, Hong-Zhou Tan, Zhi-Rui Chen	Class Loader Firmware on Java SoC.	ISCSCT (1)	2008	DBLP DOI BibTeX RDF
16	Vaclav Dvorak	Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware.	J. Softw.	2007	DBLP DOI BibTeX RDF
16	Klaus Theurich, Alexander Albus, Felix Eickhoff, Daniela Immel, Andreas Kohler, Eberhard Lange, Joachim von Buttlar	Advanced firmware verification using a code simulator for the IBM System z9.	IBM J. Res. Dev.	2007	DBLP DOI BibTeX RDF
16	Christine Axnix, Torsten Hendel, Michael Mueller, Angel Nuñez Mencias, Hartmut Penner, Stefan Usenbinz	Open-standard development environment for IBM System z9 host firmware.	IBM J. Res. Dev.	2007	DBLP DOI BibTeX RDF
16	Ren-Junn Hwang, Feng-Fu Su, Loang-Shing Huang	Fast Firmware Implementation of RSA-Like Security Protocol for Mobile Devices.	Wirel. Pers. Commun.	2007	DBLP DOI BibTeX RDF
16	Vincent Zimmer	Platform Trust Beyond BIOS Using the Unified Extensible Firmware Interface.	Security and Management	2007	DBLP BibTeX RDF
16	Václav Dvorák	Implementation of Combinational and Sequential Functions in Embedded Firmware.	IPC	2007	DBLP DOI BibTeX RDF
16	Romain Kamdem	Hardware/Firmware Verification of Graphic IP.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
16	Kasra G. Nezami, Peter W. Stephens, Stuart D. Walker	Enhanced communications firmware platform for co-verification of complex algorithms.	PM2HW2N	2007	DBLP DOI BibTeX RDF	TETRA release 2, co-implementation, hardware/software co-design, co-verification
16	Timothy N. Chang, Biao Cheng, Paiboon Sriwilaijaroen	Motion Control Firmware for High-Speed Robotic Systems.	IEEE Trans. Ind. Electron.	2006	DBLP DOI BibTeX RDF
16	Thomas Eckart, Martin Schnieringer	Development and Verification of Embedded Firmware using Virtual System Prototypes.	SoC	2006	DBLP DOI BibTeX RDF
16	Russell Housley	Using Cryptographic Message Syntax (CMS) to Protect Firmware Packages.	RFC	2005	DBLP DOI BibTeX RDF
16	Marwan Al-Zarouni	Taxonomy of WRT54G(S) Hardware and Custom Firmware.	AISM	2005	DBLP BibTeX RDF
16	Wolfgang Gellerich, Torsten Hendel, Rudolf Land, Helge Lehmann, Michael Mueller, Peter H. Oden, Hartmut Penner	The GNU 64-bit PL8 compiler: Toward an open standard environment for firmware development.	IBM J. Res. Dev.	2004	DBLP DOI BibTeX RDF
16	Michael Stetter, Joachim von Buttlar, Ping T. (Danny) Chan, Dietmar Decker, Herwig Elfering, Paul M. Gioquindo, Thomas Hess, Stefan Koerner, Andreas Kohler, Heinrich Lindner, Karlo Petri, Mooheng Zee	IBM eServer z990 improvements in firmware simulation.	IBM J. Res. Dev.	2004	DBLP DOI BibTeX RDF
16	Klaus-Dieter Schubert, Edward C. McCain, Hermann Pape, Karin Rebmann, Patrick M. West, Ralf Winkelmann	Accelerating system integration by enhancing hardware, firmware, and co-simulation.	IBM J. Res. Dev.	2004	DBLP DOI BibTeX RDF
16	Robert Chun, Linda Yang 0001	Reuse of Firmware Tests in System-On-Chip Design Verification.	VLSI	2003	DBLP BibTeX RDF
16	Weisi Lin	On fast firmware/software-based video coding.	IEEE Trans. Consumer Electron.	2002	DBLP DOI BibTeX RDF
16	Christopher R. Lumb, Jiri Schindler, Gregory R. Ganger	Freeblock Scheduling Outside of Disk Firmware.	FAST	2002	DBLP BibTeX RDF
16	Sanjeev Kumar, Kai Li 0001	Using Model Checking to Debug Device Firmware.	OSDI	2002	DBLP BibTeX RDF
16	Ming-Dou Ker, Yu-Yu Sung	Hardware/firmware co-design in an 8-bits microcontroller to solve the system-level ESD issue on keyboard.	Microelectron. Reliab.	2001	DBLP DOI BibTeX RDF
16	Brad Eckert	Firmware Factory & Forth.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF	FORTH
16	T. Troy Pearse	Using Software Metrics to Control Firmware Evolution.	ICSM	1998	DBLP DOI BibTeX RDF
16	David M'Raïhi, David Naccache, Jacques Stern, Serge Vaudenay	XMX: A Firmware-Oriented Block Cipher Based on Modular Multiplications.	FSE	1997	DBLP DOI BibTeX RDF
16	Fletcher J. Buckley	Implementing configuration management - hardware, software, and firmware (2. ed.).		1996	RDF
16	Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker	Formally Verified Firmware Modules for Industrial Process Automation.	SAFECOMP	1995	DBLP DOI BibTeX RDF
16	Pierre G. Paulin, Clifford Liem, Trevor C. May, Shailesh Sutarwala	Flexware: A flexible firmware development environment for embedded systems.	Code Generation for Embedded Processors	1994	DBLP BibTeX RDF
16	M. Elzas	Combined Discrete and Continuous Models: Firmware.	Concise Encyclopedia of Modelling & Simulation	1992	DBLP DOI BibTeX RDF
16	Christos A. Papachristou, Satnamsingh B. Gambhir	Microcontrol architectures with sequencing firmware and modular microcode development tools.	Microprocessing and Microprogramming	1991	DBLP DOI BibTeX RDF
16	Yutaka Tashiro, Hironori Yamauchi, Toshihiro Minami, Tetsuo Tajiri, Yutaka Suzuki	An Organized Firmware Verification Environment for the Programmable Image DSP.	ITC	1991	DBLP DOI BibTeX RDF
16	Andreas Munke	Eine Prolog-Umgebung für die Mikroarchitekturbeschreibung im Firmware-Entwurfssystem MIPES.		1989	RDF
16	Syed Riffat Ali	Implementation of firmware on SPC switching systems.	IEEE J. Sel. Areas Commun.	1988	DBLP DOI BibTeX RDF
16	Josef Kelbler	A method of address tracing by firmware.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
16	David L. Barton	VHDL and Ada firmware.	TRI-Ada	1988	DBLP DOI BibTeX RDF
16	Horst G. Günther	Entwurf und Realisierung schneller GKS-Graphiksysteme mit innovativer Systemarchitektur sowie Funktionsmigration in Firmware und spezielle Hardware.		1988	RDF
16	Alberto Ciaramella, Giovanni Venuti	Vector quantization firmware for an acoustical front-end using the TMS32020.	ICASSP	1987	DBLP DOI BibTeX RDF
16	Subrata Dasgupta, Philip A. Wilsey, Juha Heinänen	Axiomatic Specifications in Firmware Development Systems.	IEEE Softw.	1986	DBLP DOI BibTeX RDF
16	Subrata Dasgupta, Robert A. Mueller	Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology.	IEEE Softw.	1986	DBLP DOI BibTeX RDF
16	Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt	The AADL/S* Approach to Firmware Design Verification.	IEEE Softw.	1986	DBLP DOI BibTeX RDF
16	J. Fredrick Nixon, Stephen R. Schach, Robert I. Winner	A microarchitecture description language for retargeting firmware tools.	MICRO	1986	DBLP DOI BibTeX RDF
16	Warren L. G. Koontz	Experience with Software Inspections in the Development of Firmware for a Digital Loop Carrier System.	ICC	1986	DBLP BibTeX RDF
16	Subrata Dasgupta, Bruce D. Shriver	Developments in Firmware Engineering.	Adv. Comput.	1985	DBLP DOI BibTeX RDF
16	N. Haak, K. Kittmann	Ein Hardware/Software/Firmware-Monitor für das Rechnernetz MICON.	MMB	1985	DBLP DOI BibTeX RDF
16	Subrata Dasgupta	A model of clocked micro-architectures for firmware engineering and design automation applications.	MICRO	1984	DBLP BibTeX RDF
16	David M. Proulx	Applications of pipelining to firmware.	MICRO	1984	DBLP BibTeX RDF
16	Christos A. Papachristou, Venkata R. Immaneni, D. B. Sarma	An automatic migration scheme based on modular microcode and structured firmware sequencing.	MICRO	1984	DBLP BibTeX RDF
16	Michael A. Lechter	Protecting Software and Firmware Developments.	Computer	1983	DBLP DOI BibTeX RDF
16	Wolfgang Graetsch, H. Kästner	Betriebssystemmessungen mit einem Firmware-Monitor.	MMB	1983	DBLP DOI BibTeX RDF
16	Christos A. Papachristou, Satnam Sing Gambhir	A microsequencer architecture with firmware support for modular microprogramming.	MICRO	1982	DBLP BibTeX RDF
16	Bernhard Holtkamp, Horst Kaestner	A firmware monitor to support vertical migration decisions in the UNIX operating system.	MICRO	1982	DBLP BibTeX RDF
16	Kazutoshi Takahashi, Etsuo Takahashi, Tatsushige Bitoh, Toshinori Aoyama, Akihiko Yamada	MDS: An improved total system for firmware development.	MICRO	1982	DBLP BibTeX RDF
16	Ritchie L. Tabachnick, Paul J. Zsombor-Murray, Louis J. Vroomen, Tho Le-Ngoc	Sequence Controllers with Standard Hardware and Custom Firmware.	IEEE Micro	1981	DBLP DOI BibTeX RDF
16	Robert A. Mueller, Gearold R. Johnson	Contrasting translation, verification and synthesis in software and firmware engineering.	MICRO	1981	DBLP BibTeX RDF
16	Helmut K. Berg	Firmware testing and test data selection.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
16	Helmut K. Berg	Firmware-Engineering.	Inform. Spektrum	1980	DBLP BibTeX RDF
16	Rikio Maruta	A Simple Firmware Realization of PCM Framing Systems.	IEEE Trans. Commun.	1980	DBLP DOI BibTeX RDF
16	Igor Hansen, Jacek Leszczylowski	On fundamentals of computer-aided design of firmware.	MICRO	1980	DBLP BibTeX RDF
16	A. Kroneberg	Ein Firmware-Interpreter für blockorientierte Programmiersprachen.	Hardware für Software	1980	DBLP BibTeX RDF
16	Helmut K. Berg	Towards a Uniform Design Methodology for Software, Firmware, and Hardware.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
16	Bruce D. Shriver	Guest Editor's Introduction: Firmware the Lessons of Software Engineering.	Computer	1978	DBLP DOI BibTeX RDF
16	Scott Davidson 0001, Bruce D. Shriver	An Overview of Firmware Engineering.	Computer	1978	DBLP DOI BibTeX RDF
16	John E. Stockenberg, Andries van Dam	Vertical Migration for Performance Enhancement in Layered Hardware/Firmware/Software Systems.	Computer	1978	DBLP DOI BibTeX RDF
16	Stanislaw Budkowski, Piotr Dembinski	Firmware versus software verification.	MICRO	1978	DBLP BibTeX RDF