Ivan Ruchkin

479 total citations
29 papers, 250 citations indexed

About

Ivan Ruchkin is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Ivan Ruchkin has authored 29 papers receiving a total of 250 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 14 papers in Software and 9 papers in Computational Theory and Mathematics. Recurrent topics in Ivan Ruchkin's work include Advanced Software Engineering Methodologies (12 papers), Model-Driven Software Engineering Techniques (8 papers) and Formal Methods in Verification (8 papers). Ivan Ruchkin is often cited by papers focused on Advanced Software Engineering Methodologies (12 papers), Model-Driven Software Engineering Techniques (8 papers) and Formal Methods in Verification (8 papers). Ivan Ruchkin collaborates with scholars based in United States, Belgium and Sweden. Ivan Ruchkin's co-authors include Bradley Schmerl, David Garlan, André Platzer, Ajinkya Bhave, Akshay Rajhans, Bruce H. Krogh, David Garlan, Dionisio de Niz, Xi Zheng and Sagar Chaki and has published in prestigious journals such as IEEE Transactions on Automatic Control, Future Generation Computer Systems and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

In The Last Decade

Ivan Ruchkin

25 papers receiving 244 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Ivan Ruchkin United States	9	103	74	57	48	48	29	250
Pierre de Saqui‐Sannes France	11	96 0.9×	91 1.2×	61 1.1×	77 1.6×	42 0.9×	47	334
Swarup Kumar Mohalik India	9	63 0.6×	107 1.4×	59 1.0×	52 1.1×	20 0.4×	45	269
Ken Pierce United Kingdom	9	42 0.4×	44 0.6×	61 1.1×	74 1.5×	41 0.9×	28	217
Michele Lora Italy	9	43 0.4×	70 0.9×	39 0.7×	39 0.8×	96 2.0×	50	295
Achim Rettberg Germany	8	68 0.7×	87 1.2×	53 0.9×	31 0.6×	75 1.6×	63	318
Yunwei Dong China	8	64 0.6×	45 0.6×	64 1.1×	140 2.9×	16 0.3×	81	280
Stefan Kugele Germany	10	119 1.2×	105 1.4×	52 0.9×	58 1.2×	23 0.5×	38	257
Daniel Balasubramanian United States	8	110 1.1×	69 0.9×	67 1.2×	85 1.8×	10 0.2×	36	234
Mario Gleirscher Germany	8	84 0.8×	27 0.4×	47 0.8×	93 1.9×	48 1.0×	30	230
Erwin Schoitsch Austria	8	52 0.5×	27 0.4×	54 0.9×	39 0.8×	20 0.4×	45	210

Countries citing papers authored by Ivan Ruchkin

Since Specialization

Citations

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

Fields of papers citing papers by Ivan Ruchkin

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Ivan Ruchkin

This figure shows the co-authorship network connecting the top 25 collaborators of Ivan Ruchkin. A scholar is included among the top collaborators of Ivan Ruchkin 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 Ivan Ruchkin. Ivan Ruchkin 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:

20 of 20 papers shown

Zheng, Xi, et al.. (2025). NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. 566–570.

Sokolsky, Oleg, et al.. (2024). Repairing Learning-Enabled Controllers While Preserving What Works. 1–11. 1 indexed citations

Cunha, Jácome, Ivan Ruchkin, Ana Moreira, et al.. (2024). Modelling sustainability in cyber–physical systems: A systematic mapping study. Sustainable Computing Informatics and Systems. 45. 101051–101051. 1 indexed citations

Ruchkin, Ivan, et al.. (2023). Table of Contents. 5–7. 1 indexed citations

Ruchkin, Ivan, Christopher P. Bonafide, Sara B. DeMauro, et al.. (2022). Evaluating Alarm Classifiers with High-confidence Data Programming. 3(4). 1–24. 1 indexed citations

Ruchkin, Ivan, Christopher P. Bonafide, Sara B. DeMauro, et al.. (2021). High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms. 70–81. 1 indexed citations

Ruchkin, Ivan, et al.. (2021). Multi-paradigm modeling for cyber–physical systems: A systematic mapping review. Journal of Systems and Software. 183. 111081–111081. 24 indexed citations

Weyns, Danny, Tomáš Bureš, Radu Călinescu, et al.. (2021). Six Software Engineering Principles for Smarter Cyber-Physical Systems. Lirias (KU Leuven). 198–203. 5 indexed citations

Ruchkin, Ivan, et al.. (2021). Data Generation With Prospect: A Probability Specification Tool. 1–12. 1 indexed citations

10.

Ruchkin, Ivan, et al.. (2020). Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11). 3288–3299.

11.

Aldrich, Jonathan, David Garlan, Claire Le Goues, et al.. (2019). Model-Based Adaptation for Robotics Software. IEEE Software. 36(2). 83–90. 16 indexed citations

12.

Ruchkin, Ivan, Vishal Dwivedi, David Garlan, & Bradley Schmerl. (2018). Architectural Modeling of Ozone Widget Framework End-User Compositions (CMU-ISR-14-108). Figshare. 1 indexed citations

13.

Ruchkin, Ivan, Bradley Schmerl, & David Garlan. (2018). Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. Figshare. 2015. 3–10.

14.

Zhou, Xiaokang, Guangquan Xu, Jianhua Ma, & Ivan Ruchkin. (2018). Scalable platforms and advanced algorithms for IoT and cyber-enabled applications. Journal of Parallel and Distributed Computing. 118. 1–4. 8 indexed citations

15.

Ruchkin, Ivan, et al.. (2017). Towards a Formal Framework for Hybrid Planning in Self-Adaptation. 109–115. 7 indexed citations

16.

Zhou, Xiaokang, Albert Y. Zomaya, Weimin Li, & Ivan Ruchkin. (2017). Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications. Future Generation Computer Systems. 79. 350–353. 9 indexed citations

17.

Ruchkin, Ivan. (2016). Integration Beyond Components and Models: Research Challenges and Directions. 8–11. 1 indexed citations

18.

Ruchkin, Ivan, Ashwini K. Rao, Dionisio de Niz, Sagar Chaki, & David Garlan. (2015). Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems. 11–22. 6 indexed citations

19.

Ruchkin, Ivan. (2015). Towards Integration of Modeling Methods for Cyber-Physical Systems.. 2 indexed citations

20.

Ruchkin, Ivan, Dionisio de Niz, David Garlan, & Sagar Chaki. (2014). Contract-based integration of cyber-physical analyses. Figshare. 1–10. 16 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