C. O'Halloran

423 total citations
20 papers, 144 citations indexed

About

C. O'Halloran is a scholar working on Software, Safety, Risk, Reliability and Quality and Computational Theory and Mathematics. According to data from OpenAlex, C. O'Halloran has authored 20 papers receiving a total of 144 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Software, 10 papers in Safety, Risk, Reliability and Quality and 8 papers in Computational Theory and Mathematics. Recurrent topics in C. O'Halloran's work include Software Reliability and Analysis Research (12 papers), Safety Systems Engineering in Autonomy (10 papers) and Formal Methods in Verification (8 papers). C. O'Halloran is often cited by papers focused on Software Reliability and Analysis Research (12 papers), Safety Systems Engineering in Autonomy (10 papers) and Formal Methods in Verification (8 papers). C. O'Halloran collaborates with scholars based in United Kingdom, China and United States. C. O'Halloran's co-authors include Ana Cavalcanti, Mark Adams, David King, Simon Foster, Ran Wei, Gunwant Dhadyalla, Ruizhe Yang, Olivier Haas, Tim Kelly and Ibrahim Habli and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Journal of Systems and Software and Science of Computer Programming.

In The Last Decade

C. O'Halloran

18 papers receiving 126 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
C. O'Halloran United Kingdom 6 90 60 54 30 25 20 144
Dennis Griffith United States 4 97 1.1× 55 0.9× 83 1.5× 19 0.6× 41 1.6× 7 179
Jean-Paul Bodeveix France 8 62 0.7× 57 0.9× 69 1.3× 10 0.3× 38 1.5× 26 143
Oscar Slotosch Germany 8 81 0.9× 85 1.4× 140 2.6× 7 0.2× 34 1.4× 19 207
Mamoun Filali France 8 49 0.5× 43 0.7× 54 1.0× 8 0.3× 40 1.6× 29 118
Ralf Huuck Australia 8 35 0.4× 96 1.6× 86 1.6× 27 0.9× 34 1.4× 29 161
Yakir Vizel United States 6 79 0.9× 101 1.7× 63 1.2× 13 0.4× 56 2.2× 14 172
Oksana Tkachuk United States 10 148 1.6× 107 1.8× 206 3.8× 66 2.2× 13 0.5× 26 298
Clara Benac Earle Spain 8 69 0.8× 43 0.7× 49 0.9× 4 0.1× 23 0.9× 28 141
Burkhart Wolff France 9 161 1.8× 80 1.3× 140 2.6× 11 0.4× 38 1.5× 45 249
Roland Groz France 8 84 0.9× 92 1.5× 183 3.4× 25 0.8× 36 1.4× 22 254

Countries citing papers authored by C. O'Halloran

Since Specialization
Citations

This map shows the geographic impact of C. O'Halloran's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by C. O'Halloran with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites C. O'Halloran more than expected).

Fields of papers citing papers by C. O'Halloran

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by C. O'Halloran. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by C. O'Halloran. The network helps show where C. O'Halloran may publish in the future.

Co-authorship network of co-authors of C. O'Halloran

This figure shows the co-authorship network connecting the top 25 collaborators of C. O'Halloran. A scholar is included among the top collaborators of C. O'Halloran based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with C. O'Halloran. C. O'Halloran is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
O'Halloran, C.. (2024). Verifying Critical Cyber-Physical Systems After Deployment. Technische Universität Berlin – Universitätsbibliothek.
2.
Wei, Ran, Simon Foster, Ruizhe Yang, et al.. (2024). ACCESS: Assurance Case Centric Engineering of Safety–critical Systems. Journal of Systems and Software. 213. 112034–112034. 4 indexed citations
3.
Foster, Simon, et al.. (2020). Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study. White Rose Research Online (University of Leeds, The University of Sheffield, University of York). 3 indexed citations
4.
Foster, Simon, et al.. (2020). Formal Model-Based Assurance Cases in Isabelle/SACM. 11–21. 1 indexed citations
5.
O'Halloran, C., et al.. (2017). Verifying cyber attack properties. Science of Computer Programming. 148. 3–25. 2 indexed citations
6.
Dhadyalla, Gunwant, et al.. (2017). PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems. SAE technical papers on CD-ROM/SAE technical paper series. 1. 2 indexed citations
7.
O'Halloran, C., et al.. (2013). Certification of Autonomous Systems. 1.1–1.1. 1 indexed citations
8.
O'Halloran, C.. (2012). Automated verification of code automatically generated from Simulink®. Automated Software Engineering. 20(2). 237–264. 11 indexed citations
9.
Cavalcanti, Ana, et al.. (2011). From control law diagrams to Ada viaCircus. Formal Aspects of Computing. 23(4). 465–512. 14 indexed citations
10.
O'Halloran, C.. (2005). Acceptance based assurance. 63–70. 1 indexed citations
11.
Adams, Mark, et al.. (2005). Auto-coding/auto-proving flight control software. 15. 6.E.4–61. 4 indexed citations
12.
O'Halloran, C., et al.. (2003). Verification of picture generated code. 3. 127–136. 7 indexed citations
13.
O'Halloran, C.. (2003). On requirements and security in a CCIS. 121–134. 1 indexed citations
14.
O'Halloran, C., et al.. (2002). ClawZ: control laws in Z. 169–176. 24 indexed citations
15.
O'Halloran, C., et al.. (2002). Don't verify, abstract!. 1212. 53–62. 3 indexed citations
16.
O'Halloran, C.. (2001). Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. 63–70. 1 indexed citations
17.
O'Halloran, C.. (2000). Issues for the automatic generation of safety critical software. 277–280. 8 indexed citations
18.
O'Halloran, C.. (1997). Controlling the risk of COTS via application programming interfaces. 1997. 6–6. 1 indexed citations
19.
O'Halloran, C., et al.. (1997). Using a formal specification contractually. Formal Aspects of Computing. 9(4). 349–358. 4 indexed citations
20.
O'Halloran, C.. (1990). A Calculus of Information Flow.. 147–159. 52 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Dennis Griffith Breakdown of academic impact, for papers by Jean-Paul Bodeveix Breakdown of academic impact, for papers by Oscar Slotosch Breakdown of academic impact, for papers by Mamoun Filali Breakdown of academic impact, for papers by Ralf Huuck Breakdown of academic impact, for papers by Yakir Vizel Breakdown of academic impact, for papers by Oksana Tkachuk Breakdown of academic impact, for papers by Clara Benac Earle Breakdown of academic impact, for papers by Burkhart Wolff Breakdown of academic impact, for papers by Roland Groz
Rankless by CCL
2026