Franjo Ivančić

3.3k total citations
53 papers, 1.0k citations indexed

About

Franjo Ivančić is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, Franjo Ivančić has authored 53 papers receiving a total of 1.0k indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Computational Theory and Mathematics, 29 papers in Software and 15 papers in Hardware and Architecture. Recurrent topics in Franjo Ivančić's work include Formal Methods in Verification (28 papers), Software Testing and Debugging Techniques (27 papers) and Software Reliability and Analysis Research (11 papers). Franjo Ivančić is often cited by papers focused on Formal Methods in Verification (28 papers), Software Testing and Debugging Techniques (27 papers) and Software Reliability and Analysis Research (11 papers). Franjo Ivančić collaborates with scholars based in United States, Japan and France. Franjo Ivančić's co-authors include Aarti Gupta, Rajeev Alur, Sriram Sankaranarayanan, Thao Dang, Georgios Fainekos, Malay Ganai, George J. Pappas, Oleg Sokolsky, Zijiang Yang and Houssam Abbas and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Theoretical Computer Science.

In The Last Decade

Franjo Ivančić

49 papers receiving 974 citations

Peers

Franjo Ivančić

CTM

SOFTW

AI

HA

CNC

Jyotirmoy V. Deshmukh United States

Guillaume Brat United States

Michael W. Whalen United States

Christian Schallhart United Kingdom

Bernd Fischer United Kingdom

Clark Barrett United States

Bruno Dutertre United States

Helmut Veith Austria

Cesare Tinelli United States

Jean-Raymond Abrial Switzerland

Jyotirmoy V. Deshmukh United States

Franjo Ivančić

473 ×0.8

CTM

372 ×0.8

SOFTW

376 ×1.2

AI

159 ×0.6

HA

104 ×0.6

CNC

Citations per year, relative to Franjo Ivančić Franjo Ivančić (= 1×) peers Jyotirmoy V. Deshmukh

Countries citing papers authored by Franjo Ivančić

Since Specialization

Citations

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

Fields of papers citing papers by Franjo Ivančić

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Franjo Ivančić

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

1.

Arora, Nipun, Franjo Ivančić, & Gail E. Kaiser. (2015). Parikshan: Live Debugging of Production Systems in Isolation. Columbia Academic Commons (Columbia University). 1 indexed citations

2.

Sharma, Abhishek, Franjo Ivančić, Alexandru Niculescu-Mizil, Haifeng Chen, & Guofei Jiang. (2014). Modeling and analytics for cyber-physical systems in the age of big data. ACM SIGMETRICS Performance Evaluation Review. 41(4). 74–77. 35 indexed citations

3.

Yuan, Yifei, Franjo Ivančić, Cristian Lumezanu, Shuyuan Zhang, & Aarti Gupta. (2014). Generating consistent updates for software-defined network configurations. 221–222. 4 indexed citations

4.

Garg, Pranav, Franjo Ivančić, Gogul Balakrishnan, Naoto Maeda, & Aarti Gupta. (2013). Feedback-directed unit test generation for C/C++ using concolic execution. International Conference on Software Engineering. 132–141. 20 indexed citations

5.

Gao, Sicun, Malay Ganai, Franjo Ivančić, et al.. (2010). Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. 81–90. 17 indexed citations

6.

Balakrishnan, Gogul, Malay Ganai, Aarti Gupta, et al.. (2010). Scalable and precise program analysis at NEC. 273–274.

7.

Ivančić, Franjo, Malay Ganai, Sriram Sankaranarayanan, & Aarti Gupta. (2010). Numerical stability analysis of floating-point computations using software model checking. 49–58. 16 indexed citations

8.

Harris, William R., Sriram Sankaranarayanan, Franjo Ivančić, & Aarti Gupta. (2010). Program analysis via satisfiability modulo path programs. 71–82. 29 indexed citations

9.

Jiang, Guofei, et al.. (2009). Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. 35 indexed citations

10.

Balakrishnan, Gogul, et al.. (2008). SLR(統語的言語洗練):実行不可能な経路検出と統語的言語の洗練化を通した経路感受性解析. Lecture notes in computer science. 5079. 238–254. 1 indexed citations

11.

Ivančić, Franjo, Zijiang Yang, Malay Ganai, Aarti Gupta, & Pranav Ashar. (2008). Efficient SAT-based bounded model checking for software verification. Theoretical Computer Science. 404(3). 256–274. 39 indexed citations

12.

Cadambi, Srihari, et al.. (2008). Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture. 294. 435–440. 4 indexed citations

13.

Sankaranarayanan, Sriram, Franjo Ivančić, Ilya Shlyakhter, & Aarti Gupta. (2006). Static analysis in disjunctive numerical domains. 3 indexed citations

14.

Alur, Rajeev, Thao Dang, & Franjo Ivančić. (2006). Predicate abstraction for reachability analysis of hybrid systems. ACM Transactions on Embedded Computing Systems. 5(1). 152–199. 52 indexed citations

15.

Alur, Rajeev, Thao Dang, & Franjo Ivančić. (2005). Counterexample-guided predicate abstraction of hybrid systems. Theoretical Computer Science. 354(2). 250–271. 64 indexed citations

16.

Wang, Chao, Franjo Ivančić, Malay Ganai, & Aarti Gupta. (2005). Deciding separation logic formulae by SAT and incremental negative cycle elimination. 322–336. 4 indexed citations

17.

Ivančić, Franjo & Rajeev Alur. (2003). Modeling and analysis of hybrid systems. Scholarly Commons (University of Pennsylvania). 13 indexed citations

18.

Alur, Rajeev, Thao Dang, J.M. Esposito, et al.. (2003). Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE. 91(1). 11–28. 117 indexed citations

19.

Alur, Rajeev, et al.. (2003). Generating embedded software from hierarchical hybrid models. 171–182. 18 indexed citations

20.

Ivančić, Franjo, et al.. (2001). ECLIPSE Feature Logic Analysis. 10 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