Search results for "firmware"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Helmut K. Berg, Prakash Rao, Bruce D. Shriver	Firmware quality assurance.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
92	Wolfgang K. Giloi, Reinhold Güth, Bruce D. Shriver	Firmware engineering: methods and tools for firmware specification and design.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
88	Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman	Taking total control of voting systems: firmware manipulations on an optical scan voting terminal.	SAC	2009	DBLP DOI BibTeX RDF
87	Václav Dvorák	Embedded Firmware Development with Multi-way Branching.	ICONS	2008	DBLP DOI BibTeX RDF	Embedded firmware, iterative disjunctive decomposition, multi-valued functions, decision diagrams, space complexity
87	Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi	Firmware-Level Latency Analysis on a Gigabit Network.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	latency analysis, gigabit network, Asynchronous UDP, cluster, Myrinet, firmware
80	Bruce D. Shriver, Scott Davidson 0001	Firmware Engineering - Firmware Engineering.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
72	T. Troy Pearse, Tracy Freeman, Paul W. Oman	Using Metrics to Manage the End-Game of a Software Project.	IEEE METRICS	1999	DBLP DOI BibTeX RDF
64	Helmut K. Berg, Reinhold Güth	Software Engineering - Firmware Engineering.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
64	Helmar Prechtl	Firmware-Entwurfs- und Test-Systeme - Fallstudie.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
64	Peter Kornerup	Firmware Development Systems, a Survey.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
64	Reinhard Hartwich	Firmware Dokumentation und Wartung.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
64	Helmut Berndt	Firmware - Heute.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
64	Frank Adelstein, Matthew Stillerman, Dexter Kozen	Malicious Code Detection for Open Firmware.	ACSAC	2002	DBLP DOI BibTeX RDF
64	L. K. Nahar, Sourav Bhattacharya	Dynamic Network Management for Firmware Controlled Network Topology.	COMPSAC	1996	DBLP DOI BibTeX RDF
59	Hyong-youb Kim, Vijay S. Pai, Scott Rixner	Exploiting task-level concurrency in a programmable network interface.	PPoPP	2003	DBLP DOI BibTeX RDF	programmable network interface, parallel programming, ethernet, firmware
58	Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric	A graphical paradigm facilitating correct programming of complex computer control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control engineering computing, graphical paradigm, correct programming, complex computer control systems, graphical software development paradigm, off-the-shelf application-oriented standard software function blocks, interconnection pattern, invoked function block instances, complexity, formal methods, graphical user interfaces, computer graphics, software metrics, firmware, firmware
52	Jinsik Kim, Pai H. Chou	Remote progressive firmware update for flash-based networked embedded systems.	ISLPED	2009	DBLP DOI BibTeX RDF	clycomatic complexity, progressive code update
52	Bill Greene	Agile Methods Applied to Embedded Firmware Development.	Agile Development Conference	2004	DBLP DOI BibTeX RDF
52	Roland Westrelin	A New Software Architecture for the BIP/Myrinet Firmware.	CCGRID	2001	DBLP DOI BibTeX RDF
52	Hiroshi G. Okuno, Nobuyasu Osato, Ikuo Takeuchi	Firmware approach to fast Lisp interpreter.	MICRO	1987	DBLP DOI BibTeX RDF
52	Mamoru Maekawa, Ken Sakamura, Chiaki Ishikawa	Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming.	ASPLOS	1982	DBLP DOI BibTeX RDF
51	Peter Meerwald, Andreas Uhl	Watermarking of Raw Digital Images in Camera Firmware: Embedding and Detection.	PSIVT	2009	DBLP DOI BibTeX RDF	demosaicking, Watermarking, firmware, signal detection
48	Wolfgang K. Giloi (eds.)	Firmware Engineering, Seminar veranstaltet von der gemeinsamen Fachgruppe "Mikroprogrammierung" des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12.-14. März 1980 in Berlin, Proceedings	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	Helmut K. Berg	Correctness of Fireware - An Overview.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	Wolfgang K. Giloi	Spezifikation von Fireware.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	G. Schleich	Die vertikale Verlagerung von Systemfunktionen im System Nixdorf 8864.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	Lutz Richter	Höhere Programmiersprachen für die Mikroprogrammierung.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	Peter Albrich	Vertikale Verlagerung - Verfahren, Voraussetzungen, Anwendung.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	Rolf Klett	Ein mikroprogrammiertes Unterbrechungswerk für einen Prozessrechner.	Firmware Engineering	1980	DBLP DOI BibTeX RDF
48	Dutta Gupta Tirtho, Liuchen Chang	Web based remote operations on inverters.	CCECE	2009	DBLP DOI BibTeX RDF
48	Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha	Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.	SPIN	2002	DBLP DOI BibTeX RDF
48	Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li 0001	ESP: A Language for Programmable Devices.	PLDI	2001	DBLP DOI BibTeX RDF
48	Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind	Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards.	IPDPS	2000	DBLP DOI BibTeX RDF	Message Passing Mechanisms, Network Interface Unit Architecture, One-poll Mechanism
40	Holt Mebane, Joni T. Ohta	Dynamic Complexity and the Owen Firmware Product Line Program.	SPLC	2007	DBLP DOI BibTeX RDF
40	Matthew Stillerman, Dexter Kozen	Efficient Code Certification for Open Firmware.	DISCEX (2)	2003	DBLP DOI BibTeX RDF
36	Jongmin Lee, Eujoon Byun, Hanmook Park, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	CPS-SIM: configurable and accurate clock precision solid state drive simulator.	SAC	2009	DBLP DOI BibTeX RDF	SSD (solid state drive), clock precision SSD simulator, configurability, NAND flash memory, FTL (flash translation layer)
36	Joakim Eriksson, Fredrik Österlind, Niclas Finne, Nicolas Tsiftes, Adam Dunkels, Thiemo Voigt, Robert Sauter, Pedro José Marrón	COOJA/MSPSim: interoperability testing for wireless sensor networks.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, wireless sensor networks, interoperability
36	Jun Li 0008, Keith Moore	Enabling Rapid Feature Deployment on Embedded Platforms with JeCOM Bridge.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
36	Sanjeev Kumar, Kai Li 0001	Dynamic memory management for programmable devices.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	programmable devices, model checking, reference counting, dynamic memory management
36	Liwen Shih	Microprogramming heritage of RISC design.	MICRO	1990	DBLP BibTeX RDF
32	Ibrahim Nadir, Haroon Mahmood, Ghalib Asadullah Shah	A taxonomy of IoT firmware security and principal firmware analysis techniques.	Int. J. Crit. Infrastructure Prot.	2022	DBLP DOI BibTeX RDF
32	Wei Zhou 0026, Lan Zhang, Le Guan, Peng Liu 0005, Yuqing Zhang 0001	What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation.	CoRR	2022	DBLP DOI BibTeX RDF
32	Wei Zhou 0026, Lan Zhang, Le Guan, Peng Liu 0005, Yuqing Zhang 0001	What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation.	CCS	2022	DBLP DOI BibTeX RDF
32	Duha Ibdah, Nada Lachtar, Abdulrahman Abu Elkhail, Anys Bacha, Hafiz Malik	Dark Firmware: A Systematic Approach to Exploring Application Security Risks in the Presence of Untrusted Firmware.	RAID	2020	DBLP BibTeX RDF
32	Henry Cox, Harry H. Chen	Hardware and firmware verification and validation: an algorithm-to-firmware development methodology.	DATE	2019	DBLP DOI BibTeX RDF
32	Ondrej Kachman, Marcel Baláz	Firmware Update Manager: A remote firmware reprogramming tool for low-power devices.	DDECS	2017	DBLP DOI BibTeX RDF
32	Geancarlo Palavicini Jr., Josiah Bryan, Eaven Sheets, Megan Kline, John San Miguel	Towards Firmware Analysis of Industrial Internet of Things (IIoT) - Applying Symbolic Analysis to IIoT Firmware Vetting.	IoTBDS	2017	DBLP DOI BibTeX RDF
32	Sunha Ahn, Sharad Malik	Automated firmware testing using firmware-hardware interaction patterns.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
28	Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa	Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.	FM	2008	DBLP DOI BibTeX RDF
28	Michael Andrews, F. Lam	A new rapid prototyping firmware (RPF) tool.	MICRO	1988	DBLP BibTeX RDF
28	Noriyuki Kamibayashi, H. Ogawana, K. Nagayama, Hideo Aiso	Heart: An Operating System Nucleus Machine Implemented by Firmware.	ASPLOS	1982	DBLP DOI BibTeX RDF
28	Perng-Yi Ma	The design of a firmware engineering tool: the microcode compiler.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
24	Youjip Won, Jongmin Kim, Wonmin Jung	Energy-aware disk scheduling for soft real-time I/O requests.	Multim. Syst.	2008	DBLP DOI BibTeX RDF	Multimedia, Mobile device, Energy management, Disk scheduling, Soft real-time
24	Robert G. Lupu, Andrei Stan, Florina Ungureanu	Patient Monitoring: Wearable Device for Patient Monitoring.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	wearable medical Device, monitoring device, Wearable Device, Patient Monitoring
24	Petr Mikusek, Vaclav Dvorak	On Lookup Table Cascade-Based Realizations of Arbiters.	DSD	2008	DBLP DOI BibTeX RDF
24	Cédric Chevillat, David A. Carrington, Paul A. Strooper, Jörn Guy Süß, Luke Wildman	Model-Based Generation of Interlocking Controller Software from Control Tables.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
24	Raghu K. Ganti, Praveen Jayachandran, Haiyun Luo, Tarek F. Abdelzaher	Datalink streaming in wireless sensor networks.	SenSys	2006	DBLP DOI BibTeX RDF	datalink layer, sensor networks, wireless networks, throughput optimization, reliable communication
24	Neil Smyth, Máire McLoone, John V. McCanny	An Adaptable And Scalable Asymmetric Cryptographic Processor.	ASAP	2006	DBLP DOI BibTeX RDF
24	Peter Bellows	High-Visibility Debug-By-Design for FPGA Platforms.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	platform development, FPGA, debugging, device driver, co-simulation
24	Joost J. P. Schalken, Sjaak Brinkkemper, Hans van Vliet	Measuring IT Infrastructure Project Size: Infrastructure Effort Points.	CAiSE	2005	DBLP DOI BibTeX RDF
24	James Hendricks, Leendert van Doorn	Secure bootstrap is not enough: shoring up the trusted computing base.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
24	Ali Sayinta, Gorkem Canverdi, Marc Pauwels, Amer Alshawa, Wim Dehaene	A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification.	DATE	2003	DBLP DOI BibTeX RDF
24	Spyros Blionas, Kostas Masselos, Chrissavgi Dre, Christos Drosos, F. Z. Ieromnimon, T. Pagonis, Aristodemos Pneymatikakis, Anna Tatsaki, T. Trimis, A. Vontzalidis, Dimitris Metafas	A HIPERLAN/2 - IEEE 802.11a Reconfigurable System-on-Chip.	FPL	2002	DBLP DOI BibTeX RDF
24	David J. Barnes	Teaching introductory Java through LEGO MINDSTORMS models.	SIGCSE	2002	DBLP DOI BibTeX RDF
24	Jeffrey Tang, Angelos Bilas	Tolerating Network Failures in System Area Networks.	ICPP	2002	DBLP DOI BibTeX RDF
24	Andrew Heller, Andries van Dam	Vertical and outboard migration: a progress report.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
24	John Whiting, Sandy Newman	Microprocessors in CRT terminals.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
23	Linda Dailey Paulson	New Lithography Approach Promises Powerful Chips.	Computer	2010	DBLP DOI BibTeX RDF	bootup, BIOS, United Extensible Firmware Interface, extreme ultraviolet lithography, deep ultraviolet lithography, medical camera, accelerometer, data glove, OS, CMOS image sensor
23	Baohua Tan, Shuhai Quan	A High-Speed Data Acquisition Card Based on USB Bus.	MVHI	2010	DBLP DOI BibTeX RDF	Data Acquisition Card, Micro Control Unit, Firmware, USB
23	Massimo Bernaschi, Francesco Ferreri, Leonardo Valcamonici	Access points vulnerabilities to DoS attacks in 802.11 networks.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Denial of service, Access points, Firmware
23	Mingdi Xu, Jian He, Bo Zhang, Huanguo Zhang	A New Data Protecting Scheme Based on TPM.	SNPD (3)	2007	DBLP DOI BibTeX RDF	trusted platform model (TPM), storage protocol, trusted firmware
23	Eric Clark	Hacking as a form of "self-improvement".	ITiCSE	2005	DBLP DOI BibTeX RDF	cell phones, digital cameras, firmware, hacking, DVDs
23	Stamatis Vassiliadis, Stephan Wong, Georgi Gaydadjiev, Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte	The MOLEN Polymorphic Processor.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Custom computing machines, reconfigurable microcode, polymorphic processors, FPGA, reconfigurable processors, firmware
23	Wei Zhao, Christos A. Papachristou	Architectural partitioning of control memory for application specific programmable processors.	ICCAD	1995	DBLP DOI BibTeX RDF	application specific programmable processors, control memory, distributed microcode memory model, microcode memory, repetitive microcodes, distributed memory systems, memory architecture, programmability, microprogram, datapaths, firmware, memory module
23	Stuart W. Daniel, Jennifer Rexford, James W. Dolter, Kang G. Shin	A programmable routing controller for flexible communications in point-to-point networks.	ICCD	1995	DBLP DOI BibTeX RDF	programmable routing controller, flexible communications, communication characteristics, custom ASIC, programmable processor, multiple routing-switching microcode routines, multiprocessor interconnection networks, packet switching, packet switching, application specific integrated circuits, wormhole switching, programmable controllers, firmware, performance requirements, virtual cut-through switching, point-to-point networks
23	Lennart Lindh, Johan Stärner, John Furunäs	From single to multiprocessor real-time kernels in hardware.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware
23	Takanobu Baba, Ken Ishikawa, Kenzo Okuda	A Two-Level Microprogrammed Multiprocessor Computer with Nonnumeric Functions.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	two-level microprogramming, nonnumeric processing, parallel processing, multiprocessor, emulation, Database system, symbol manipulation, firmware
23	Hiroshi Hagiwara, Shinji Tomita, Shigeru Oyanagi, Kiyoshi Shibayama	A Dynamically Microprogammable Computer with Low-Level Parallelism.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	virtual control storage, parallel processing, Computer animation, emulation, real-time applications, microprogramming, firmware
16	Mauricio D. O. Farina, Daniel Henrique Pohren, Alexandre dos Santos Roque, Antonio Santos da Silva, João Paulo C. L. da Costa, Lisandra Manzoni Fontoura, Julio C. S. dos Anjos, Edison Pignaton de Freitas	Hardware-Independent Embedded Firmware Architecture Framework.	J. Internet Serv. Appl.	2024	DBLP DOI BibTeX RDF
16	Leandro Gagliardi, Federico Di Nardo, Gabriel A. Sanca, Federico Izraelevitch, Matias Cveczilberg, Federico Golmar	LabOSat-02: Hardware and Firmware Development of an On-Board Computer for Small Satellites.	IEEE Embed. Syst. Lett.	2024	DBLP DOI BibTeX RDF
16	Peng Liu, Yasu Cao, Yujun Yan, Yong Wang	Firmware Vulnerability Detection Algorithm Based on Matching Pattern-Specific Numerical Features With Structural Features.	IEEE Access	2024	DBLP DOI BibTeX RDF
16	Raifa Akkaoui, Alexandru Stefanov, Peter Palensky, Dick H. J. Epema	Resilient, Auditable, and Secure IoT-Enabled Smart Inverter Firmware Amendments With Blockchain.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
16	Andrea Aspesi, Vittorio Zaccaria	ConceptOS: A Micro-Kernel Approach to Firmware Updates of Always-On Resource-Constrained Hubris-Based IoT Systems.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
16	Amjad Abu-Mahfouz, Saed Alrabaee, Mahmoud Khasawneh, Marton Gergely, Kim-Kwang Raymond Choo	A Deep Learning Approach to Discover Router Firmware Vulnerabilities.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
16	Vishal Bhargava, N. S. Raghava 0001	Version Control System Gateway to Optimize Firmware over the Air (FOTA) Update for IoT Wireless Devices.	Wirel. Pers. Commun.	2024	DBLP DOI BibTeX RDF
16	Wei-Lun Huang, Kang G. Shin	Refinement of MMIO Models for Improving the Coverage of Firmware Fuzzing.	CoRR	2024	DBLP DOI BibTeX RDF
16	Islam Obaidat, Meera Sridhar, Fatemeh Tavakoli	DAEDALUS: Defense Against Firmware ROP Exploits Using Stochastic Software Diversity.	CoRR	2024	DBLP DOI BibTeX RDF
16	Taimur Bakhshi, Bogdan Ghita 0003, Ievgeniia Kuzminykh	A Review of IoT Firmware Vulnerabilities and Auditing Techniques.	Sensors	2024	DBLP DOI BibTeX RDF
16	Victor Malumbres, Jose Saldana, Gonzalo Berné, Julio Modrego	Firmware Updates over the Air via LoRa: Unicast and Broadcast Combination for Boosting Update Speed.	Sensors	2024	DBLP DOI BibTeX RDF
16	Sultan Almutairi, Yogev Neumann, Khaled Harfoush	Fingerprinting VPNs with Custom Router Firmware: A New Censorship Threat Model.	CCNC	2024	DBLP DOI BibTeX RDF
16	Austen Knapp, Emmanuel Wamuo, Minhajul Alam Rahat, Santiago Torres-Arias, Gedare Bloom, Yanyan Zhuang	Should Smart Homes Be Afraid of Evil Maids? : Identifying Vulnerabilities in IoT Device Firmware.	CCWC	2024	DBLP DOI BibTeX RDF
16	Feng Tian, Baojiang Cui, Chen Chen 0061	Binary Firmware Static Vulnerability Mining Based on Semantic Attributes and Graph Embedding Network.	EIDWT	2024	DBLP DOI BibTeX RDF
16	Huan Yu, Baojiang Cui	IoTaint: An Optimized Static Taint Analysis Method in Embedded Firmware.	EIDWT	2024	DBLP DOI BibTeX RDF
16	Amisha Srivastava, Sneha Thakur, Abraham Peedikayil Kuruvila, Poras T. Balsara, Kanad Basu	Hardware-based Detection of Malicious Firmware Modification in Microgrids.	VLSID	2024	DBLP DOI BibTeX RDF
16	Zigang Chen, Zhiquan Cheng, Wenjun Luo, Jin Ao, Yuhong Liu, Kai Sheng, Long Chen	FSMFA: Efficient firmware-secure multi-factor authentication protocol for IoT devices.	Internet Things	2023	DBLP DOI BibTeX RDF
16	Hanyeoreum Bae, Donghyun Gouk, Seungjun Lee, Jiseon Kim, Sungjoon Koh, Jie Zhang 0048, Myoungsoo Jung	Intelligent SSD Firmware for Zero-Overhead Journaling.	IEEE Comput. Archit. Lett.	2023	DBLP DOI BibTeX RDF
16	Luigi Catuogno, Clemente Galdi	Secure Firmware Update: Challenges and Solutions.	Cryptogr.	2023	DBLP DOI BibTeX RDF
16	Jin Xue, Renhai Chen, Tianyu Wang, Zili Shao	SoftSSD: enabling rapid flash firmware prototyping for solid-state drives.	Frontiers Inf. Technol. Electron. Eng.	2023	DBLP DOI BibTeX RDF
16	Rafael B. Oliva	Hardware and Firmware Design and Implementation of Twin 8-Bit and 32-Bit Microcontroller Boards for Research and Educational Applications.	IEEE Embed. Syst. Lett.	2023	DBLP DOI BibTeX RDF
16	Ching-Hu Lu, Chi-Hsien Liu, Zhi-Hong Chen	Secure and efficient firmware update for increasing IoT-enabled smart devices.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF