Viktor Kuncak

发表

Viktor Kuncak, Nicolas Voirol, Etienne Kneuss, 2015, Scala@PLDI.
Viktor Kuncak, Ravichandhran Madhavan, 2014 .
Viktor Kuncak, Philippe Suter, Ali Sinan Köksal, 2011, SAS.
Wei-Ngan Chin, Viktor Kuncak, Huu Hai Nguyen, 2008, VMCAI.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2001, LCPC.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2015, Formal Methods Syst. Des..
Viktor Kuncak, Romain Edelmann, Romain Edelmann, 2019, ArXiv.
Viktor Kuncak, Andreas Podelski, Thomas Wies, 2006, ArXiv.
Viktor Kuncak, Etienne Kneuss, Emmanouil Koukoutos, 2015, LOPSTR 2015.
Viktor Kuncak, Andrew Reynolds, Andrew Reynolds, 2015, VMCAI.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2010, RV.
Viktor Kuncak, Cesare Tinelli, Andrew Reynolds, 2015, ArXiv.
Viktor Kuncak, Swen Jacobs, 2011, VMCAI.
Viktor Kuncak, Ravichandhran Madhavan, Ravichandhran Madhavan, 2014, CAV.
Viktor Kuncak, Philipp Rümmer, Radu Iosif, 2012, ATVA.
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa, 2012, PLDI.
Viktor Kuncak, Eva Darulova, Eva Darulova, 2010 .
Viktor Kuncak, Viktor Kuncak, 2000 .
Viktor Kuncak, Rupak Majumdar, Indranil Saha, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Lars Hupel, Viktor Kuncak, Viktor Kuncak, 2016, ArXiv.
Viktor Kuncak, Mikaël Mayer, 2013, Onward!.
Viktor Kuncak, Philippe Suter, Mirco Dotta, 2008 .
Martin Rinard, Viktor Kuncak, Patrick Lam, 2004 .
Viktor Kuncak, Viktor Kuncak, 2004, Arch. Formal Proofs.
Ruzica Piskac, Viktor Kuncak, Thomas Wies, 2010, VMCAI.
Sumit Gulwani, Viktor Kuncak, Ravichandhran Madhavan, 2015 .
Ruzica Piskac, Viktor Kuncak, R. Piskac, 2008, VMCAI.
Viktor Kuncak, Andrey Rybalchenko, A. Rybalchenko, 2012, Lecture Notes in Computer Science.
Sarfraz Khurshid, Viktor Kuncak, Darko Marinov, 2008 .
Viktor Kuncak, Viktor Kunčak, 2007 .
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa, 2012, Arch. Formal Proofs.
Viktor Kuncak, Martin C. Rinard, Huu Hai Nguyen, 2006, Journal of Automated Reasoning.
Viktor Kuncak, Thomas Wies, Marco Muñiz, 2011, CADE.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2010, FSE '10.
Viktor Kuncak, Christoph Koch, Andres Nötzli, 2013, SIGMOD '13.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013, ArXiv.
Martin Rinard, Viktor Kuncak, Patrick Lam, 2003 .
Viktor Kuncak, Nicolas Voirol, Nicolas Voirol, 2016 .
Viktor Kuncak, Thomas Wies, Martin C. Rinard, 2007, VMCAI.
Viktor Kuncak, Viktor Kuncak, 2011, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
Viktor Kuncak, Eva Darulova, 2012, RV.
Viktor Kuncak, Martin C. Rinard, Huu Hai Nguyen, 2005, CADE.
Viktor Kuncak, Martin C. Rinard, 2005, Electron. Notes Theor. Comput. Sci..
Viktor Kuncak, Daniel Jackson, Viktor Kunčak, 2005, ESEC/FSE-13.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2003, ArXiv.
Ruzica Piskac, Viktor Kuncak, Tihomir Gvero, 2013, PLDI.
Viktor Kuncak, Ravichandhran Madhavan, Sumith Kulal, 2017, POPL.
Viktor Kuncak, Andrew Reynolds, Tim King, 2017, Formal Methods Syst. Des..
Viktor Kuncak, Madhusudan Parthasarathy, Pavol vCern'y, 2016 .
Ruzica Piskac, Viktor Kuncak, Slobodan Mitrovic, 2019, ArXiv.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, ArXiv.
Viktor Kuncak, Andrew Reynolds, Tim King, 2015, ArXiv.
Viktor Kuncak, Mikaël Mayer, Jad Hamza, 2017, ECOOP.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2004, ArXiv.
Viktor Kuncak, Eva Darulova, Eva Darulova, 2014, ArXiv.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2002, POPL '02.
Martin Rinard, Viktor Kuncak, M. Rinard, 2004 .
Viktor Kuncak, Cesare Tinelli, Andrew Reynolds, 2019, Formal Methods Syst. Des..
Viktor Kuncak, Romain Edelmann, Jad Hamza, 2019, ArXiv.
Viktor Kuncak, Mirjana Ivanović, Viktor Kuncak, 2000 .
Viktor Kuncak, Eva Darulova, Eva Darulova, 2011 .
Viktor Kuncak, Konstantine Arkoudas, Martin C. Rinard, 2004, ICFEM.
Viktor Kuncak, K. Rustan M. Leino, K. Leino, 2003, ArXiv.
Viktor Kuncak, Viktor Kuncak, 2009, Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation.
Viktor Kuncak, Emmanouil Koukoutos, Viktor Kunčak, 2014, RV.
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2010, CAV.
Viktor Kuncak, Martin C. Rinard, 2004, VMCAI.
Viktor Kuncak, Andreas Podelski, Thomas Wies, 2005, VMCAI.
Viktor Kuncak, Philippe Suter, Mirco Dotta, 2010, POPL '10.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, VSTTE.
Viktor Kuncak, Mikaël Mayer, Jad Hamza, 2017, Dagstuhl Artifacts Ser..
Viktor Kuncak, Karen Zee, Viktor Kuncak, 2004, Arch. Formal Proofs.
Ruzica Piskac, Viktor Kuncak, Thomas Wies, 2010, International Conference on Verification, Model Checking and Abstract Interpretation.
Viktor Kuncak, Etienne Kneuss, Manos Koukoutos, 2016, SYNT@CAV.
Viktor Kuncak, Daniel Jackson, Ivan Kuraj, 2015, OOPSLA.
Viktor Kuncak, Georg Stefan Schmid, Viktor Kunčak, 2016, SCALA@SPLASH.
Ruzica Piskac, Viktor Kuncak, Tihomir Gvero, 2013, PLDI.
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2010, PLDI '10.
Viktor Kuncak, Mladen Nikolic, Milena Vujosevic-Janicic, 2012, Inf. Softw. Technol..
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2012, Commun. ACM.
Viktor Kuncak, Martin C. Rinard, Karen Zee, 2009, PLDI '09.
Martin Rinard, Viktor Kuncak, Karen Zee, 2007 .
Ruzica Piskac, Viktor Kuncak, 2008, CAV.
Viktor Kuncak, Régis Blanc, Régis Blanc, 2015, Scala@PLDI.
Viktor Kuncak, Madhusudan Parthasarathy, Pavol Černý, 2016 .
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2010 .
Viktor Kuncak, Pierre-Évariste Dagand, Dejan Kostic, 2009, TLDI '09.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2006, IEEE Transactions on Software Engineering.
Ruzica Piskac, Viktor Kuncak, Tihomir Gvero, 2011, CAV.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013, SCALA@ECOOP.
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2011, International Journal on Software Tools for Technology Transfer.
Martin Rinard, Viktor Kuncak, M. Rinard, 2004 .
Ruzica Piskac, Viktor Kuncak, Tihomir Gvero, 2015, Software Engineering & Management.
Viktor Kuncak, Tihomir Gvero, Tihomir Gvero, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Viktor Kuncak, Tihomir Gvero, Tihomir Gvero, 2014 .
Viktor Kuncak, Martin C. Rinard, Karen Zee, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.
Viktor Kuncak, Eva Darulova, Eva Darulova, 2014, ACM Trans. Program. Lang. Syst..
Viktor Kuncak, Ravi Chugh, Mikaël Mayer, 2018, Proc. ACM Program. Lang..
Viktor Kuncak, Silvia Ghilezan, 2001, ICTCS.
Viktor Kuncak, Martin C. Rinard, 2004, ArXiv.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013, RV.
Viktor Kuncak, Cesare Tinelli, Andrew Reynolds, 2015, CAV.
Martin Rinard, Viktor Kuncak, Bruno Marnette, 2005, Deduction and Applications.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, CAV.
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2010, CAV 2010.
Viktor Kuncak, Viktor Kunčak, 2001 .
Viktor Kuncak, Philipp Rümmer, Radu Iosif, 2012, FM.
Viktor Kuncak, Martin C. Rinard, Karen Zee, 2008, PLDI '08.
Sarfraz Khurshid, Viktor Kuncak, Darko Marinov, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2005, AOSD '05.
Viktor Kuncak, Olivier Blanvillain, Jad Hamza, 2020, ArXiv.
Martin Rinard, Viktor Kuncak, Patrick Lam, 2005 .
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013, VSTTE.
Viktor Kuncak, Eva Darulova, Eva Darulova, 2013, POPL.
Viktor Kuncak, Maysam Yabandeh, Dejan Kostic, 2009, HotOS.
Ruzica Piskac, Viktor Kuncak, Kuat Yessenov, 2010, VMCAI.
Viktor Kuncak, Nicolas Voirol, Ravichandhran Madhavan, 2017 .
Viktor Kuncak, Rupak Majumdar, 2017, Lecture Notes in Computer Science.
Sumit Gulwani, Viktor Kuncak, Ravichandhran Madhavan, 2015 .
Ruzica Piskac, Viktor Kuncak, Tihomir Gvero, 2011 .
Viktor Kuncak, Philippe Suter, Swen Jacobs, 2013, VMCAI.
Viktor Kuncak, Etienne Kneuss, Manos Koukoutos, 2015 .
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2004, SAS.
Viktor Kuncak, Martin C. Rinard, Michael Taylor, 2007, RV.
Viktor Kuncak, Andrey Rybalchenko, A. Rybalchenko, 2012 .
Viktor Kuncak, Philippe Suter, Robin Steiger, 2011, VMCAI.
Viktor Kuncak, Mukund Raghothaman, Etienne Kneuss, 2017, ArXiv.
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2010 .
Viktor Kuncak, Andrej Spielmann, A. Spielmann, 2012, IJCAR.
Ruzica Piskac, Viktor Kuncak, Thomas Wies, 2009, FroCoS.
Ruzica Piskac, Viktor Kuncak, 2010, IJCAR.
Viktor Kuncak, Koen Claessen, Barbara Jobstmann, 2014, FMCAD 2014.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2005, VSTTE.
Viktor Kuncak, Martin C. Rinard, Bruno Marnette, 2007, FoSSaCS.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2003, SAS.
Viktor Kuncak, Eva Darulova, Eva Darulova, 2011, OOPSLA '11.
Viktor Kuncak, Rustan Leino, 2003 .
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2010, CSL.
Viktor Kuncak, Etienne Kneuss, Manos Koukoutos, 2015, CAV.
Viktor Kuncak, Régis Blanc, 2013, 2013 Formal Methods in Computer-Aided Design.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013, OOPSLA.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2004, SIGP.
Viktor Kuncak, Nicolas Voirol, Jad Hamza, 2019, ArXiv.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Sumit Gulwani, Viktor Kuncak, Ravichandhran Madhavan, 2015, OOPSLA.
Viktor Kuncak, Thomas Wies, Marco Muñiz, 2012, VSTTE.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Viktor Kuncak, Philippe Suter, Ali Sinan Köksal, 2011, CADE.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2004, ArXiv.
Viktor Kuncak, Barbara Jobstmann, Jad Hamza, 2010, Formal Methods in Computer Aided Design.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2013 .
Viktor Kuncak, Mirjana Ivanovic, M. Ivanović, 2002, Informatica.
Viktor Kuncak, Philipp Rümmer, Hossein Hojjat, 2013, ArXiv.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2005, VMCAI.
Viktor Kuncak, Philippe Suter, Ali Sinan Köksal, 2012, POPL '12.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2004, ArXiv.
Viktor Kuncak, Tihomir Gvero, Tihomir Gvero, 2015, OOPSLA.
Viktor Kuncak, Patrick Lam, Martin C. Rinard, 2005, CC.
Viktor Kuncak, Martin C. Rinard, M. Rinard, 2004, ArXiv.
Viktor Kuncak, Etienne Kneuss, Philippe Suter, 2010 .
Viktor Kuncak, Georg Stefan Schmid, Viktor Kunčak, 2021, ArXiv.
Viktor Kuncak, Rodrigo Raya, Rodrigo Raya, 2021, VMCAI.
Viktor Kuncak, Samuel Chassot, 2021, ArXiv.
Viktor Kuncak, Jad Hamza, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).
Viktor Kuncak, Eva Darulova, Viktor Kuncak, 2013, ACM-SIGACT Symposium on Principles of Programming Languages.
Viktor Kuncak, Thomas Wies, 2009 .
Ruzica Piskac, Viktor Kuncak, Tihomir Gvero, 2012 .
Ruzica Piskac, Viktor Kuncak, Viktor Kuncak, 2010 .
Ruzica Piskac, Viktor Kuncak, Philippe Suter, 2010 .