Radu I. Siminiceanu

1.1k total citations
19 papers, 363 citations indexed

About

Radu I. Siminiceanu is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Safety, Risk, Reliability and Quality. According to data from OpenAlex, Radu I. Siminiceanu has authored 19 papers receiving a total of 363 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 6 papers in Safety, Risk, Reliability and Quality. Recurrent topics in Radu I. Siminiceanu's work include Formal Methods in Verification (12 papers), Safety Systems Engineering in Autonomy (6 papers) and Software Reliability and Analysis Research (5 papers). Radu I. Siminiceanu is often cited by papers focused on Formal Methods in Verification (12 papers), Safety Systems Engineering in Autonomy (6 papers) and Software Reliability and Analysis Research (5 papers). Radu I. Siminiceanu collaborates with scholars based in United States, Portugal and United Kingdom. Radu I. Siminiceanu's co-authors include Ellen J. Bass, Matthew L. Bolton, Gianfranco Ciardo, Andrew S. Miner, Gerald Lüttgen, César Muñoz, Ijaz Ahmed, Jonathan Aldrich, Ricky W. Butler and Ashish Tiwari and has published in prestigious journals such as IEEE Transactions on Systems Man and Cybernetics Systems, International Journal of Human-Computer Studies and IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans.

In The Last Decade

Radu I. Siminiceanu

17 papers receiving 352 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Radu I. Siminiceanu United States	8	139	117	88	85	61	19	363
Victor A. Carreño United States	9	89 0.6×	36 0.3×	52 0.6×	54 0.6×	40 0.7×	26	284
Neil Storey United Kingdom	5	74 0.5×	21 0.2×	133 1.5×	67 0.8×	84 1.4×	11	380
Hélène Waeselynck France	11	89 0.6×	35 0.3×	329 3.7×	132 1.6×	53 0.9×	37	561
Barbara Gallina Sweden	12	75 0.5×	37 0.3×	238 2.7×	113 1.3×	296 4.9×	95	520
Mario Trapp Germany	12	60 0.4×	17 0.1×	198 2.3×	165 1.9×	138 2.3×	45	408
Ewen Denney United States	13	121 0.9×	22 0.2×	312 3.5×	142 1.7×	358 5.9×	69	632
Matt Luckcuck United Kingdom	6	90 0.6×	8 0.1×	81 0.9×	103 1.2×	26 0.4×	15	231
Christian Heinzemann Germany	10	92 0.7×	16 0.1×	143 1.6×	173 2.0×	55 0.9×	36	359
Ganesh Pai United States	12	61 0.4×	21 0.2×	397 4.5×	100 1.2×	323 5.3×	32	623
Marie Farrell United Kingdom	7	99 0.7×	7 0.1×	92 1.0×	113 1.3×	27 0.4×	25	253

Countries citing papers authored by Radu I. Siminiceanu

Since Specialization

Citations

This map shows the geographic impact of Radu I. Siminiceanu'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 Radu I. Siminiceanu with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Radu I. Siminiceanu more than expected).

Fields of papers citing papers by Radu I. Siminiceanu

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Radu I. Siminiceanu. 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 Radu I. Siminiceanu. The network helps show where Radu I. Siminiceanu may publish in the future.

Co-authorship network of co-authors of Radu I. Siminiceanu

This figure shows the co-authorship network connecting the top 25 collaborators of Radu I. Siminiceanu. A scholar is included among the top collaborators of Radu I. Siminiceanu 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 Radu I. Siminiceanu. Radu I. Siminiceanu is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

19 of 19 papers shown

Siminiceanu, Radu I., et al.. (2024). Automated Verification of Specifications with Typestates and Access Permissions. Technische Universität Berlin – Universitätsbibliothek. 53.

Ahmed, Ijaz, et al.. (2013). A case study on the lightweight verification of a multi-threaded task server. Science of Computer Programming. 80. 169–187. 4 indexed citations

Butler, Ricky W., Radu I. Siminiceanu, & César Muñoz. (2013). The Anmlite Language and Logic for Specifying Planning Problems. 2 indexed citations

Bolton, Matthew L., Ellen J. Bass, & Radu I. Siminiceanu. (2013). Using Formal Verification to Evaluate Human-Automation Interaction: A Review. IEEE Transactions on Systems Man and Cybernetics Systems. 43(3). 488–503. 116 indexed citations

Muñoz, César, Radu I. Siminiceanu, Victor A. Carreño, & Gilles Dowek. (2013). Kb3d Reference Manual: Version 1.a.

Bolton, Matthew L., Ellen J. Bass, & Radu I. Siminiceanu. (2012). Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking. International Journal of Human-Computer Studies. 70(11). 888–906. 49 indexed citations

Bolton, Matthew L., Radu I. Siminiceanu, & Ellen J. Bass. (2011). A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models. IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans. 41(5). 961–976. 80 indexed citations

Siminiceanu, Radu I., et al.. (2010). Model Checking with Edge Valued Decision Diagrams. 222–226. 9 indexed citations

Lüttgen, Gerald, et al.. (2009). To Parallelize or to Optimize?. Journal of Logic and Computation. 21(1). 85–120. 1 indexed citations

10.

Dutertre, Bruno, John Rushby, Ashish Tiwari, César Muñoz, & Radu I. Siminiceanu. (2008). Formal Verification and Automated Testing for Diagnostic and Monitoring Systems. AIAA Guidance, Navigation and Control Conference and Exhibit. 2 indexed citations

11.

Muñoz, César & Radu I. Siminiceanu. (2007). In-Trail Procedure (ITP) Algorithm Design. NASA Technical Reports Server (NASA). 2 indexed citations

12.

Siminiceanu, Radu I.. (2007). Model Checking Abstract PLEXIL Programs with SMART. NASA STI Repository (National Aeronautics and Space Administration). 1 indexed citations

13.

Lüttgen, Gerald, et al.. (2006). Can saturation be parallelised?: on the parallelisation of a symbolic state-space generator. 331–346. 7 indexed citations

14.

Siminiceanu, Radu I., et al.. (2006). Comments on the "Byzantine Self-Stabilizing Pulse Synchronization" Protocol: Counter-examples. NASA Technical Reports Server (NASA). 6 indexed citations

15.

Siminiceanu, Radu I. & Gianfranco Ciardo. (2006). Formal verification of the NASA runway safety monitor. International Journal on Software Tools for Technology Transfer. 9(1). 63–76. 12 indexed citations

16.

Ciardo, Gianfranco, et al.. (2005). The saturation algorithm for symbolic state-space exploration. International Journal on Software Tools for Technology Transfer. 8(1). 18 indexed citations

17.

Siminiceanu, Radu I. & Gianfranco Ciardo. (2005). Formal Verification of the NASA Runway Safety Monitor. Electronic Notes in Theoretical Computer Science. 128(6). 179–194. 1 indexed citations

18.

Ciardo, Gianfranco, et al.. (2005). Logic and stochastic modeling with S m A r T. Performance Evaluation. 63(6). 578–608. 41 indexed citations

19.

Ciardo, Gianfranco, et al.. (2003). SMART: stochastic model-checking analyzer for reliability and timing. 545–545. 12 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