Primary literature
Books
- Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, and Adam Watkins
ISBN: 978-3-030-68552-2
2021 (Publisher: Springer)
Web link - Structured Computer Organization
Andrew S. Tanenbaum and Todd Austin
ISBN: 978-0-273-76924-8 (Sixth edition)
2013 (Publisher: Pearson)
Web link - Formal methods and the certification of critical systems
John Rushby
Technical Report CSL-93-7
1993 (Publisher: SRI International, Computer Science Laboratory)
PDF
Articles
The role of computers in air defense
W.H. Tetley
Modern computers: objectives, designs, applications (papers and discussions presented at the December 3-5, 1958, eastern joint computer conference), pages 15–18
1958 (Publisher: ACM)
PDFThe Byzantine Generals Problem
Lesie Lamport, Robert Shostak, and Marshall Pease
ACM Transactions on Programming Languages and Systems, volume 4, number 3, pages 382–401
1982 (Publisher: ACM)
PDFReal-time computing: A new discipline of computer science and engineering
Kang G. Shin and Parameswaran Ramanathan
Proceedings of the IEEE, volume 82, number 1, pages 6–24
1994 (Publisher: IEEE)
PDFReal-time and embedded systems
John A. Stankovic
ACM Computing Surveys (CSUR), volume 28, number 1, pages 205–208
1996 (Publisher: ACM)
PDFReal-time nuclear power plant monitoring with neural network
Kunihiko Nabeshima, Tomoaki Suzudo, Katsuo Suzuki, and Erdinç Türkcan
Journal of nuclear science and technology, volume 35, number 2, pages 93–100
1998 (Publisher: Taylor & Francis)
PDFPartitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
John Rushby
Technical report
1999 (Publisher: SRI International)
PSSensor networks: evolution, opportunities, and challenges
Chee-Yee Chong and Srikanta P. Kumar
Proceedings of the IEEE, volume 91, number 8, pages 1247–1256
2003 (Publisher: IEEE)
PDFJust-in-time certification
John Rushby
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pages 15–24
2007 (Publisher: IEEE)
PDFAutomated Formal Methods Enter the Mainstream.
John Rushby
Journal of Universal Computer Science, volume 13, number 5, pages 650–660
2007 (Publisher: JUCS)
PDFSoftware verification and system assurance
John Rushby
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pages 3–10
2009 (Publisher: IEEE)
PDFseL4: Formal verification of an OS kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, and others
Proceedings of the ACM SIGOPS 22nd Symposium on Operating systems principles, pages 207–220
2009 (Publisher: ACM)
PDFA formal verification study on the Rotterdam storm surge barrier
Ken Madlener, Sjaak Smetsers, and Marko van Eekelen
International Conference on Formal Engineering Methods, pages 287–302
2010 (Publisher: Springer)
PDFSome trends in formal methods applications to railway signaling
Alessandro Fantechi, Wan Fokkink, and Angelo Morzenti
Formal methods for industrial critical systems: a survey of applications, pages 61–84
2012 (Publisher: Wiley Online Library)
PDFEnd-to-end verification of processors with ISA-Formal
Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, and Ali Zaidi
International Conference on Computer Aided Verification, pages 42–58
2016 (Publisher: Springer)
PDFUkraine cyber-induced power outage: Analysis and practical mitigation strategies
David E. Whitehead, Kevin Owens, Dennis Gammel, and Jess Smith
2017 70th Annual conference for protective relay engineers (CPRE), pages 1–8
2017 (Publisher: IEEE)
PDFSupervisory control synthesis for large-scale infrastructural systems
Martijn Angelo Goorden
PhD thesis
2019 (Technical University Eindhoven)
PDFOn the industrial application of critical software verification with VerCors
Marieke Huisman and Raúl E. Monti
International Symposium on Leveraging Applications of Formal Methods, pages 273–292
2020 (Publisher: Springer)
PDFAccessible real-time surveillance radar system for object detection
Seongha Park, Yongho Kim, Kyuhwan Lee, Anthony H. Smith, James E. Dietz, and Eric T. Matson
Sensors, volume 20, number 8, pages 2215
2020 (Publisher: MDPI)
PDFOn deductive verification of an industrial concurrent software component with VerCors
Raúl E. Monti, Robert Rubbens, and Marieke Huisman
International Symposium on Leveraging Applications of Formal Methods, pages 517–534
2022 (Publisher: Springer)
PDFA formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen, Peter Dieleman, and Jan Friso Groote
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, pages 1681–1684
2023 (Publisher: ACM)
PDFFormal methods in Industry
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J.A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, and others
Formal Aspects of Computing, volume 37, number 1, pages 1–38
2024 (Publisher: ACM)
PDFCyber-attacks on energy infrastructure: A literature overview and perspectives on the current situation
Doney Abraham, Siv Hilde Houmb, and Laszlo Erdodi
Applied Sciences, volume 15, number 17, pages 9233
2025 (Publisher: MDPI)
PDFRevaMp3D: Architecting the Processor Core and Cache Hierarchy for Systems with Monolithically-Integrated Logic and Memory
Nika Mansouri Ghiasi, Mohammad Sadrosadati, Geraldo Oliveira, Konstantinos Kanellopoulos, Rachata Ausavarungnirun, Juan Gómez Luna, João Ferreira, Jeremie S. Kim, Christina Giannoula, Nandita Vijaykumar, and others
ACM Transactions on Architecture and Code Optimization
2026 (Publisher: ACM)
PDF