Franjo Ivancic

发表

Ansgar Fehnker, Franjo Ivancic, A. Fehnker, 2004, HSCC.
Guofei Jiang, Alexandru Niculescu-Mizil, Franjo Ivancic, 2014, PERV.
Aarti Gupta, Franjo Ivancic, S. Sankaranarayanan, 2008 .
Sriram Sankaranarayanan, Edmund M. Clarke, Sicun Gao, 2010, Formal Methods in Computer Aided Design.
Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2009 .
Malay K. Ganai, M. Ganai, Aarti Gupta, 2008 .
Sriram Sankaranarayanan, George J. Pappas, Truong Nghiem, 2010, HSCC '10.
Rajeev Alur, Franjo Ivancic, R. Alur, 2003 .
Sriram Sankaranarayanan, Houssam Abbas, Georgios E. Fainekos, 2013, TECS.
Swarat Chaudhuri, Sriram Sankaranarayanan, Aarti Gupta, 2008, ISSTA '08.
Sriram Sankaranarayanan, Chao Wang, Weihong Li, 2010, Formal Methods in Computer Aided Design.
Chao Wang, Sriram Sankaranarayanan, Franjo Ivancic, 2009, Formal Methods Syst. Des..
Chao Wang, Zijiang Yang, Aarti Gupta, 2009, TODE.
Chao Wang, Zijiang Yang, Vineet Kahlon, 2005, 2005 International Conference on Computer Design.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, CAV.
Malay K. Ganai, Aarti Gupta, Pranav Ashar, 2008, Theor. Comput. Sci..
Chao Wang, Zijiang Yang, Aarti Gupta, 2007, TODE.
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Vijay Kumar, Insup Lee, George J. Pappas, 2001, EMSOFT.
Calin Belta, Rajeev Alur, Franjo Ivancic, 2001, HSCC.
Vijay Kumar, Insup Lee, George J. Pappas, 2003, Proc. IEEE.
Sriram Sankaranarayanan, Aarti Gupta, Franjo Ivancic, 2007, SAS.
Wei Wang, Yaohui Chen, Domagoj Babic, 2019, ESEC/SIGSOFT FSE.
Gail E. Kaiser, Baishakhi Ray, Jonathan Bell, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Gail E. Kaiser, Nipun Arora, Franjo Ivancic, 2015 .
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, 2008, TACAS.
Sriram Sankaranarayanan, Aarti Gupta, Ilya Shlyakhter, 2006, SAS.
Sriram Sankaranarayanan, Rajeev Alur, Aditya Kanade, 2009, CAV.
Vineet Kahlon, Aarti Gupta, Franjo Ivancic, 2005, CAV.
Vitaly Shmatikov, Sriram Sankaranarayanan, Guofei Jiang, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Rajeev Alur, Thao Dang, Franjo Ivancic, 2003, Theor. Comput. Sci..
Calin Belta, Franjo Ivancic, C. Belta, 2013, International Conference on Hybrid Systems: Computation and Control.
Sharad Malik, Yifei Yuan, Aarti Gupta, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Sriram Sankaranarayanan, Guofei Jiang, Franjo Ivancic, 2007, ESEC-FSE '07.
Vineet Kahlon, Aarti Gupta, Franjo Ivancic, 2012, RP.
Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Gogul Balakrishnan, Aarti Gupta, Franjo Ivancic, 2012, VMCAI.
Dimitris N. Metaxas, Franjo Ivancic, Eric Aaron, 2002, Proceedings of Computer Animation 2002 (CA 2002).
Dimitris N. Metaxas, Franjo Ivancic, Eric Aaron, 2001, IVA.
Shantanu Gupta, Martin Rötteler, Srihari Cadambi, 2009, 2009 IEEE International Symposium on Parallel & Distributed Processing.
Shantanu Gupta, Martin Rötteler, Srihari Cadambi, 2008, SPAA '08.