Most cited papers in Safety Systems Engineering in Autonomy
What are the most cited papers in Safety Systems Engineering in Autonomy?
The most cited paper in Safety Systems Engineering in Autonomy is "PRISM 4.0: Verification of Probabilistic Real-Time Systems" (Marta Kwiatkowska, Gethin Norman, David A. Parker, 2011), with 2,390 citations. Next come "Protection in operating systems" (1,042) and "Model-checking algorithms for continuous-time markov chains" (774).
Showing 50 of 100 papers. Every paper with more than 143 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | PRISM 4.0: Verification of Probabilistic Real-Time Systems Marta Kwiatkowska, Gethin Norman, David A. Parker · Lecture notes in computer science | 2011 | 2,390 |
| 2 | Protection in operating systems Michael A. Harrison, Walter L. Ruzzo, Jeffrey David Ullman · Communications of the ACM | Aug 1976 | 1,042 |
| 3 | Model-checking algorithms for continuous-time markov chains Christel Baier, Boudewijn R. H. M. Haverkort, Holger Hermanns et al. · IEEE Transactions on Software Engineering | Jun 2003 | 774 |
| 4 | Business Process Management Workshops F CALORE, D LOMBARDI, E MUSSI et al. · Lecture notes in computer science | 2008 | 762 |
| 5 | Challenges in Autonomous Vehicle Testing and Validation Philip John Koopman, Michael Wagner · SAE International Journal of Transportation Safety | 5 Apr 2016 | 676 |
| 6 | A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates S. Prajna, Ali Jadbabaie, George J. Pappas · IEEE Transactions on Automatic Control | Aug 2007 | 657 |
| 7 | Safety analysis of timing properties in real-time systems Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering | Sep 1986 | 630 |
| 8 | Automatically Validating Temporal Safety Properties of Interfaces Thomas J. Ball, Sriram K. Rajamani | 2001 | 603 |
| 9 | Model checking and modular verification Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems | May 1994 | 529 |
| 10 | Model-based evaluation: from dependability to security David M. Nicol, William H. Sanders, Kishor Shridharbhai Trivedi · IEEE Transactions on Dependable and Secure Computing | 2004 | 511 |
| 11 | Motivation in Software Engineering: A systematic literature review Sarah Beecham, Nathan Baddoo, Tracy Hall et al. · Information and Software Technology | 26 Nov 2007 | 505 |
| 12 | Two formal analyses of attack graphs Somesh Jha, Oleg Sheyner, J.M. Wing | 25 Jun 2003 | 498 |
| 13 | Survey on Scenario-Based Safety Assessment of Automated Vehicles Stefan Riedmaier, Thomas Ponn, Dieter Ludwig et al. · IEEE Access | 2020 | 486 |
| 14 | Software safety: why, what, and how Nancy G. Leveson · ACM Computing Surveys | Jun 1986 | 473 |
| 15 | Security Requirements Engineering: A Framework for Representation and Analysis Charles B. Haley, Robin Laney, Jonathan Moffett et al. · IEEE Transactions on Software Engineering | 2008 | 464 |
| 16 | Safety and Security Analysis of Object-Oriented Models Kevin Lano, David Clark, Kelly Androutsopoulos · Lecture notes in computer science | 2002 | 457 |
| 17 | Safety climate: Conceptual and measurement issues. Dov M. Zohar · American Psychological Association eBooks | 2003 | 445 |
| 18 | An overview of fault tree analysis and its application in model based dependability analysis Sohag Kabir · Expert Systems with Applications | 4 Feb 2017 | 443 |
| 19 | Requirements for Safe Robots: Measurements, Analysis and New Insights Sami Haddadin, Alin Albu‐Schäffer, Gerd Hirzinger · The International Journal of Robotics Research | 20 Aug 2009 | 443 |
| 20 | Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems Klampfl, Lorenz, Wotawa, Franz · HAL (Le Centre pour la Communication Scientifique Directe) | 2024 | 442 |
| 21 | S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems Yashwanth Annpureddy, Che Liu, Georgios Fainekos et al. · Lecture notes in computer science | 2011 | 442 |
| 22 | The Goal Structuring Notation – A Safety Argument Notation Tim Kelly | 2004 | 437 |
| 23 | Online Verification of Automated Road Vehicles Using Reachability Analysis Matthias Althoff, John M. Dolan · IEEE Transactions on Robotics | 8 Apr 2014 | 419 |
| 24 | U.S. Consumer product safety commission Noreen Humphrey · Journal of Pediatric Health Care | Nov 1990 | 391 |
| 25 | Fault-tolerant drive-by-wire systems Rolf Isermann, Ralf Schwarz, Stefan Stölzl · IEEE Control Systems | Oct 2002 | 387 |
| 26 | Safety barriers: Definition, classification, and performance Snorre Sklet · Journal of Loss Prevention in the Process Industries | 23 Jan 2006 | 380 |
| 27 | A Vision of C-V2X: Technologies, Field Testing, and Challenges With Chinese Development Shanzhi Chen, Jinling Hu, Yan Shi et al. · IEEE Internet of Things Journal | 18 Feb 2020 | 375 |
| 28 | A survey of approaches combining safety and security for industrial control systems Siwar Kriaa, Ludovic Piètre-Cambacédès, Marc Bouissou et al. · Reliability Engineering & System Safety | 5 Mar 2015 | 367 |
| 29 | Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems Ali Balador, Anis Kouba, Dajana Cassioli et al. · Sensors | 21 Nov 2018 | 338 |
| 30 | Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems* Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone · European Journal of Control | 2012 | 336 |
| 31 | Casper: A compiler for the analysis of security protocols Gavin Lowe · Journal of Computer Security | 1998 | 320 |
| 32 | Towards a dynamic balance between humans and automation: authority, ability, responsibility and control in shared and cooperative control situations Frank Ole Flemisch, Matthias Heesen, Tobias Hesse et al. · Cognition Technology & Work | 17 Nov 2011 | 320 |
| 33 | The IEEE Global Initiative on Ethics of Autonomous and Intelligent Systems Raja Chatila, John C. Havens · International series on intelligent systems, control and automation: science and engineering | 2019 | 307 |
| 34 | Measuring Software Product Quality: A Survey of ISO/IEC 9126 Ho‐Won Jung, Seung-Gweon Kim, Chang-Shin Chung · IEEE Software | Sep 2004 | 305 |
| 35 | Identifying, categorizing and mitigating threats to validity in software engineering secondary studies Apostolos Ampatzoglou, Stamatia Bibi, Paris Avgeriou et al. · Information and Software Technology | 9 Oct 2018 | 304 |
| 36 | Safety-critical systems, formal methods and standards Jonathan P. Bowen, Victoria Stavridou · Software Engineering Journal | 1993 | 301 |
| 37 | Software Reliability—Status and Perspectives C. V. Ramamoorthy, Farokh Bastani · IEEE Transactions on Software Engineering | Jul 1982 | 296 |
| 38 | A Review of Safe Reinforcement Learning: Methods, Theories, and Applications Shangding Gu, Yang Long, Yali Du et al. · IEEE Transactions on Pattern Analysis and Machine Intelligence | 10 Sep 2024 | 295 |
| 39 | A consideration of lithium cell safety Shin‐ichi Tobishima, Jun‐ichi Yamaki · Journal of Power Sources | Sep 1999 | 291 |
| 40 | Evaluation of safety-critical software David Lorge Parnas, A. John van Schouwen, Shu Po Kwan · Communications of the ACM | Jun 1990 | 288 |
| 41 | Analyzing software requirements errors in safety-critical, embedded systems Robyn R. Lutz | 31 Dec 2002 | 286 |
| 42 | Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems S.J. Brown · Computing & Control Engineering Journal | Feb 2000 | 281 |
| 43 | Reasoning about partial goal satisfaction for requirements and design engineering Emmanuel Letier, Axel van Lamsweerde | 31 Oct 2004 | 268 |
| 44 | VTT TECHNICAL RESEARCH CENTRE OF FINLAND Mikko Malmivuo · IATSS Research | 2007 | 254 |
| 45 | The ins and outs of the probabilistic model checker MRMC Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation | 18 May 2010 | 253 |
| 46 | Working to rule or working safely? Part 2: The management of safety rules and procedures Andrew Hale, David A. Borys · Safety Science | 27 Jun 2012 | 244 |
| 47 | A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty Betty H. C. Cheng, Pete Sawyer, Nelly Bencomo et al. · Lecture notes in computer science | 2009 | 238 |
| 48 | Development of a Collision Avoidance System Peter J. Seiler, Bongsob Song, J. Karl Hedrick · SAE technical papers on CD-ROM/SAE technical paper series | 23 Feb 1998 | 238 |
| 49 | A new component concept for fault trees Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel | Oct 2003 | 237 |
| 50 | Automatic Abstraction without Counterexamples Kenneth L. McMillan, Nina Amla · Lecture notes in computer science | 2003 | 233 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.