Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Yanlin Li, Jonathan M. McCune, Adrian Perrig |
VIPER: verifying the integrity of PERipherals' firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, pp. 3-16, 2011, ACM, 978-1-4503-0948-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIT (2) ![In: Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings, pp. 303-310, 2011, Springer, 978-3-642-24105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEAC ![In: International Conference on Energy Aware Computing, ICEAC 2011, Istanbul, Turkey, November 30 - December 2, 2011, pp. 1-6, 2011, IEEE, 978-1-4673-0466-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe, pp. 163-173, 2011, GI, 978-3-88579-278-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
16 | Soon-Suck Jarng, Mano Samuel, Je-Hyung Lee |
64 Channel Digital Hearing Aid Emdedded Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011, Jeju, Korea (South), December 12-15, 2011, pp. 395-401, 2011, IEEE Computer Society, 978-1-4673-0206-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Boldizsár Bencsáth, Levente Buttyán, Tamás Paulik |
XCS based hidden firmware modification on embedded devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 19th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2011, Split, Croatia, September 15-17, 2011, pp. 1-5, 2011, IEEE, 978-1-4577-1439-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SADFE ![In: 2011 IEEE Sixth International Workshop on Systematic Approaches to Digital Forensic Engineering, SADFE 2011, Oakland, CA, USA, May 26, 2011, pp. 1-5, 2011, IEEE Computer Society, 978-1-4673-1242-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Dimitri Diakopoulos, Ajay Kapur |
HIDUINO: A firmware for building driverless USB-MIDI devices using the Arduino microcontroller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 11th International Conference on New Interfaces for Musical Expression, NIME 2011, Oslo, Norway, May 30 - June 1, 2011, pp. 405-408, 2011, nime.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: Sixth International Symposium on Parallel Computing in Electrical Engineering (PARELEC 2011), 4-5 April 2011, Luton, United Kingdom, pp. 13-18, 2011, IEEE Computer Society, 978-0-7695-4397-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011, pp. 1140-1144, 2011, IEEE, 978-1-4577-0652-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011, pp. 1188-1195, 2011, IEEE Computer Society, 978-1-4577-2135-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, Melbourne, Australia, October 24-26, 2011, pp. 446-451, 2011, IEEE Computer Society, 978-1-4577-1822-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nets4Cars/Nets4Trains ![In: Communication Technologies for Vehicles - Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings, pp. 224-238, 2011, Springer, 978-3-642-19785-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Kovatsch |
Firm firmware and apps for the internet of things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESENA@ICSE ![In: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, Waikiki, Honolulu, HI, USA, May 22, 2011, pp. 61-62, 2011, ACM, 978-1-4503-0583-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC Workshops ![In: Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2), pp. 20, 2011, ACM, 978-1-4503-0789-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Liran Katzir 0002, Ido Schwartzman |
Secure firmware updates for smart grid Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Europe ![In: 2nd IEEE PES International Conference and Exhibition on `Innovative Smart Grid Technologies`, ISGT Europe 2011, Manchester, United Kingdom, December 5-7, 2011, pp. 1-5, 2011, IEEE, 978-1-4577-1422-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Peter Meerwald, Andreas Uhl |
Watermarking of Raw Digital Images in Camera Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSJ Trans. Comput. Vis. Appl. ![In: IPSJ Trans. Comput. Vis. Appl. 2, pp. 16-24, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jinsik Kim, Pai H. Chou |
Energy-Efficient Progressive Remote Update for Flash-Based Firmware of Networked Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 16(1), pp. 7:1-7:26, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 137-146, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
16 | Stephen E. McLaughlin, Dmitry Podkuiko, Adam Delozier, Sergei Miadzvezhanka, Patrick D. McDaniel |
Embedded Firmware Diversity for Smart Electric Meters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSec ![In: 5th USENIX Workshop on Hot Topics in Security, HotSec'10, Washington, D.C., USA, August 10, 2010, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 17th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2010, Athens, Greece, 12-15 December, 2010, pp. 1108-1111, 2010, IEEE, 978-1-4244-8155-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2010, part of ESWeek '10 Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010, pp. 257-266, 2010, ACM, 978-1-60558-905-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ted Tao, Shun-Feng Su |
The firmware controller - CMAC-Based supervisory controllers on FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010, pp. 3549-3554, 2010, IEEE, 978-1-4244-6588-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen Bregenzer |
GraphML-Based Exploration and Evaluation of Efficient Parallelization Alternatives for Automation Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing - 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers, pp. 389-390, 2010, Springer, 978-3-642-18468-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France, pp. 1216-1219, 2010, IEEE, 978-1-4244-5308-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 53(1), pp. 12, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 3(2-3), pp. 343-355, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Iain Sutherland, Gareth Davies 0002, Nick Pringle, Andrew Blyth |
The Impact of Hard Disk Firmware Steganography on Computer Forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Forensics Secur. Law ![In: J. Digit. Forensics Secur. Law 4(2), pp. 73-84, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Zimmer |
Cloud Net-Booting Beyond BIOS Using the Unified Extensible Firmware Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Management ![In: Proceedings of the 2009 International Conference on Security & Management, SAM 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes, pp. 331-339, 2009, CSREA Press, 1-60132-126-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Vincent Zimmer |
Access Control Beyond BIOS Using the Unified Extensible Firmware Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Management ![In: Proceedings of the 2009 International Conference on Security & Management, SAM 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes, pp. 351-359, 2009, CSREA Press, 1-60132-126-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
16 | Zhen-Long Du, Xiaoli Li 0005, Kangkang Shen |
Trusted Firmware Services Based on TPM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTRUST ![In: Trusted Systems, First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers, pp. 227-235, 2009, Springer, 978-3-642-14596-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Zimmer |
System Isolation Beyond BIOS using the Unified Extensible Firmware Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Management ![In: Proceedings of the 2008 International Conference on Security & Management, SAM 2008, Las Vegas, Nevada, USA, July 14-17, 2008, pp. 374-380, 2008, CSREA Press, 1-60132-085-X. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | Andreas Hofmann, Klaus Waldschmidt |
SDVM-R: A Scalable Firmware for FPGA-Based Multi-core Systems-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France, pp. 387-392, 2008, IEEE Computer Society, 978-0-7695-3170-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, September 3-5, 2008, pp. 609-617, 2008, IEEE Computer Society, 978-0-7695-3277-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: ReConFig'08: 2008 International Conference on Reconfigurable Computing and FPGAs, 3-5 December 2008, Cancun, Mexico, Proceedings, pp. 139-144, 2008, IEEE Computer Society, 978-0-7695-3474-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASA ![In: 9th Workshop on Parallel Systems and Algorithms (PASA) held at the 21st Conference on the Architecture of Computing Systems (ARCS), February 26th, 2008, in Dresden, Germany, pp. 49-58, 2008, GI, 978-3-88579-218-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
16 | V. Sinivee |
Simple yet efficient NMEA sentence generator for testing GPS reception firmware and hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TeNe ![In: Novel Algorithms and Techniques in Telecommunications and Networking, proceedings of the 2008 International Conference on Telecommunications and Networking (TeNe), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, Bridgeport, Connecticut, USA, pp. 207-210, 2008, Springer, 978-90-481-3661-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Hua-Ning Wang, Wei-Wei Dai, Hong-Zhou Tan, Zhi-Rui Chen |
Class Loader Firmware on Java SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSCT (1) ![In: 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes, pp. 224-227, 2008, IEEE Computer Society, 978-0-7695-3498-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Vaclav Dvorak |
Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 2(5), pp. 52-63, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 51(1/2), pp. 207-216, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 51(1/2), pp. 195-206, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 42(2), pp. 213-223, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Zimmer |
Platform Trust Beyond BIOS Using the Unified Extensible Firmware Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Management ![In: Proceedings of the 2007 International Conference on Security & Management, SAM 2007, Las Vegas, Nevada, USA, June 25-28, 2007, pp. 400-405, 2007, CSREA Press, 1-60132-048-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
16 | Václav Dvorák |
Implementation of Combinational and Sequential Functions in Embedded Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPC ![In: The 2007 International Conference on Intelligent Pervasive Computing, IPC 2007, Jeju Island, Korea, 11-13 October 2007, pp. 80-85, 2007, IEEE Computer Society, 0-7695-3006-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Romain Kamdem |
Hardware/Firmware Verification of Graphic IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil, pp. 48-56, 2007, IEEE Computer Society, 978-0-7695-2834-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PM2HW2N ![In: Proceedings of the 2nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2007, Chania, Crete Island, Greece, October 22, 2007, pp. 26-29, 2007, ACM, 978-1-59593-805-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 53(5), pp. 1713-1722, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Eckart, Martin Schnieringer |
Development and Verification of Embedded Firmware using Virtual System Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: International Symposium on System-on-Chip, SoC 2006, Tampere, Finland, November 13-16, 2006, pp. 1, 2006, IEEE, 1-4244-0621-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Russell Housley |
Using Cryptographic Message Syntax (CMS) to Protect Firmware Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4108, pp. 1-61, August 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Marwan Al-Zarouni |
Taxonomy of WRT54G(S) Hardware and Custom Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISM ![In: Proceedings of the 3rd Australian Information Security Management Conference, Perth, Western Australia, 30th September 2005, pp. 1-10, 2005, School of Computer and Information Science, Edith Cowan University, Western Australia, 0-7298-0611-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 48(3-4), pp. 543-556, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 48(3-4), pp. 583-594, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 48(3-4), pp. 569-582, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Robert Chun, Linda Yang 0001 |
Reuse of Firmware Tests in System-On-Chip Design Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI ![In: Proceedings of the International Conference on VLSI, VLSI '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, pp. 70-78, 2003, CSREA Press, 1-932415-10-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Weisi Lin |
On fast firmware/software-based video coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Consumer Electron. ![In: IEEE Trans. Consumer Electron. 48(2), pp. 209-219, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Christopher R. Lumb, Jiri Schindler, Gregory R. Ganger |
Freeblock Scheduling Outside of Disk Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAST ![In: Proceedings of the FAST '02 Conference on File and Storage Technologies, January 28-30, 2002, Monterey, California, USA, pp. 275-288, 2002, USENIX, 1-880446-03-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Sanjeev Kumar, Kai Li 0001 |
Using Model Checking to Debug Device Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 5th Symposium on Operating System Design and Implementation (OSDI 2002), Boston, Massachusetts, USA, December 9-11, 2002, 2002, USENIX Association, 978-1-4503-0111-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 41(3), pp. 417-429, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Brad Eckert |
Firmware Factory & Forth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 34(12), pp. 30-33, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
FORTH |
16 | T. Troy Pearse |
Using Software Metrics to Control Firmware Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1998 International Conference on Software Maintenance, ICSM 1998, Bethesda, Maryland, USA, November 16-19, 1998, pp. 72-73, 1998, IEEE Computer Society, 0-8186-8779-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 4th International Workshop, FSE '97, Haifa, Israel, January 20-22, 1997, Proceedings, pp. 166-171, 1997, Springer, 3-540-63247-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Fletcher J. Buckley |
Implementing configuration management - hardware, software, and firmware (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
16 | Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker |
Formally Verified Firmware Modules for Industrial Process Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 206-218, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Code Generation for Embedded Processors ![In: Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31 - September 2, 1994], pp. 67-84, 1994, Kluwer. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | M. Elzas |
Combined Discrete and Continuous Models: Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concise Encyclopedia of Modelling & Simulation ![In: Concise Encyclopedia of Modelling & Simulation, pp. 59-62, 1992, Pergamon Press / Elsevier, 978-0-08-036201-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Christos A. Papachristou, Satnamsingh B. Gambhir |
Microcontrol architectures with sequencing firmware and modular microcode development tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 29(5), pp. 303-328, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1991, Test: Faster, Better, Sooner, Nashville, TN, USA, October 26-30, 1991, pp. 1034-1041, 1991, IEEE Computer Society, 0-8186-9156-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Munke |
Eine Prolog-Umgebung für die Mikroarchitekturbeschreibung im Firmware-Entwurfssystem MIPES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
16 | Syed Riffat Ali |
Implementation of firmware on SPC switching systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 6(8), pp. 1401-1404, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Josef Kelbler |
A method of address tracing by firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 22(2), pp. 141-146, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | David L. Barton |
VHDL and Ada firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988, pp. 399-415, 1988, ACM, 978-0-89791-285-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
16 | Alberto Ciaramella, Giovanni Venuti |
Vector quantization firmware for an acoustical front-end using the TMS32020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '87, Dallas, Texas, USA, April 6-9, 1987, pp. 1895-1898, 1987, IEEE. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Subrata Dasgupta, Philip A. Wilsey, Juha Heinänen |
Axiomatic Specifications in Firmware Development Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 3(4), pp. 49-58, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Subrata Dasgupta, Robert A. Mueller |
Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 3(4), pp. 4-5, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt |
The AADL/S* Approach to Firmware Design Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 3(4), pp. 27-37, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | J. Fredrick Nixon, Stephen R. Schach, Robert I. Winner |
A microarchitecture description language for retargeting firmware tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 19th annual workshop on Microprogramming, New York, NY, USA, October 15-17, 1986, pp. 34-43, 1986, ACM/IEEE, 0-8186-0736-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications: Integrating the World Through Communications, ICC 1986, Toronto, Canada, June 22-25, 1986, Proceedings, pp. 1188-1189, 1986, IEEE. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
16 | Subrata Dasgupta, Bruce D. Shriver |
Developments in Firmware Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. ![In: Adv. Comput. 24, pp. 101-176, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | N. Haak, K. Kittmann |
Ein Hardware/Software/Firmware-Monitor für das Rechnernetz MICON. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Messung, Modellierung und Bewertung von Rechensystemen, 3. GI/NTG-Fachtagung, Dortmund, 1.-3. Oktober 1985, pp. 99-114, 1985, Springer, 3-540-15969-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Subrata Dasgupta |
A model of clocked micro-architectures for firmware engineering and design automation applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984, pp. 298-308, 1984, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
16 | David M. Proulx |
Applications of pipelining to firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984, pp. 37-46, 1984, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984, pp. 155-164, 1984, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
16 | Michael A. Lechter |
Protecting Software and Firmware Developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 16(8), pp. 73-82, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Graetsch, H. Kästner |
Betriebssystemmessungen mit einem Firmware-Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Messung, Modellierung und Bewertung von Rechensystemen, 2. GI/NTG-Fachtagung, Stuttgart, 21.-23. Februar 1983, pp. 63-77, 1983, Springer, 3-540-11990-6. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Christos A. Papachristou, Satnam Sing Gambhir |
A microsequencer architecture with firmware support for modular microprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 15th annual workshop on Microprogramming, MICRO 1982, Palo Alto, California, USA, October 5-7, 1982, pp. 105-113, 1982, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
16 | Bernhard Holtkamp, Horst Kaestner |
A firmware monitor to support vertical migration decisions in the UNIX operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 15th annual workshop on Microprogramming, MICRO 1982, Palo Alto, California, USA, October 5-7, 1982, pp. 153-162, 1982, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
16 | Kazutoshi Takahashi, Etsuo Takahashi, Tatsushige Bitoh, Toshinori Aoyama, Akihiko Yamada |
MDS: An improved total system for firmware development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 15th annual workshop on Microprogramming, MICRO 1982, Palo Alto, California, USA, October 5-7, 1982, pp. 50-56, 1982, ACM/IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 1(2), pp. 9-25, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Robert A. Mueller, Gearold R. Johnson |
Contrasting translation, verification and synthesis in software and firmware engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 14th annual workshop on Microprogramming, MICRO 1981, Chatham (Cape Cod), Massachusetts, USA, pp. 17-22, 1981, IEEE/ACM. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
16 | Helmut K. Berg |
Firmware testing and test data selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA, pp. 75-80, 1981, AFIPS Press, 978-1-4503-7921-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Helmut K. Berg |
Firmware-Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 3(2), pp. 87-104, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
16 | Rikio Maruta |
A Simple Firmware Realization of PCM Framing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 28(8), pp. 1228-1233, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Igor Hansen, Jacek Leszczylowski |
On fundamentals of computer-aided design of firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 13th annual workshop on Microprogramming, MICRO 1980, Colorado Springs, Colorado, USA, pp. 3-12, 1980, ACM. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
16 | A. Kroneberg |
Ein Firmware-Interpreter für blockorientierte Programmiersprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware für Software ![In: Hardware für Software, Tagung III/1980 des German Chapter of the ACM am 10. und 11.10.1980 in Konstanz, pp. 124-139, 1980, Teubner, 3-519-02425-X. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
16 | Helmut K. Berg |
Towards a Uniform Design Methodology for Software, Firmware, and Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 1-38, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Bruce D. Shriver |
Guest Editor's Introduction: Firmware the Lessons of Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 11(5), pp. 19-20, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Scott Davidson 0001, Bruce D. Shriver |
An Overview of Firmware Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 11(5), pp. 21-33, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | John E. Stockenberg, Andries van Dam |
Vertical Migration for Performance Enhancement in Layered Hardware/Firmware/Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 11(5), pp. 35-50, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Stanislaw Budkowski, Piotr Dembinski |
Firmware versus software verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 11th annual workshop on Microprogramming, MICRO 1978, Asilomar (Pacific Grove), California, USA, November 19-22, 1978, pp. 119-127, 1978, ACM. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|