Viktor Kunčak
发表
Romain Edelmann,
Jad Hamza,
Viktor Kunčak,
2020,
PLDI.
Viktor Kuncak,
Romain Edelmann,
Jad Hamza,
2019,
ArXiv.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2004,
ArXiv.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2003,
ArXiv.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2002,
POPL '02.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2001,
LCPC.
Viktor Kuncak,
Viktor Kunčak,
2001
.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2014,
ACM Trans. Program. Lang. Syst..
Viktor Kuncak,
Rupak Majumdar,
Indranil Saha,
2013,
2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
R. Majumdar,
Viktor Kuncak,
Eva Darulova,
2013
.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
ArXiv.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2014,
ArXiv.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2013,
POPL.
Viktor Kuncak,
Mukund Raghothaman,
Etienne Kneuss,
2017,
ArXiv.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
ArXiv.
Viktor Kuncak,
Mikaël Mayer,
Jad Hamza,
2017,
Dagstuhl Artifacts Ser..
Viktor Kuncak,
Tihomir Gvero,
Tihomir Gvero,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Viktor Kuncak,
Cesare Tinelli,
Andrew Reynolds,
2015,
CAV.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2007,
CADE.
Viktor Kuncak,
Viktor Kunčak,
2007
.
Viktor Kuncak,
Viktor Kunčak,
2007
.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2006,
IEEE Transactions on Software Engineering.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2005,
AOSD '05.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013,
OOPSLA.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013,
RV.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013,
ArXiv.
Viktor Kuncak,
Andrew Reynolds,
Andrew Reynolds,
2015,
VMCAI.
Viktor Kunčak,
Simon Guilloud,
2021,
TACAS.
Viktor Kuncak,
Georg Stefan Schmid,
Viktor Kunčak,
2021,
ArXiv.
Viktor Kuncak,
Philippe Suter,
Robin Steiger,
2011,
VMCAI.
Viktor Kunčak,
Georg Stefan Schmid,
Viktor Kunčak,
2022,
VMCAI.
Viktor Kuncak,
Ravichandhran Madhavan,
Viktor Kunčak,
2014
.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013
.
Patrick Lam,
M. Rinard,
A. Podelski,
2005
.
Viktor Kuncak,
Viktor Kunčak,
2006
.
Viktor Kuncak,
Mirjana Ivanovic,
M. Ivanović,
2002,
Informatica.
Viktor Kuncak,
M. Ivanović,
Viktor Kunčak,
2000
.
Viktor Kuncak,
Andrey Rybalchenko,
A. Rybalchenko,
2012,
Lecture Notes in Computer Science.
Viktor Kuncak,
Philippe Suter,
Swen Jacobs,
2013,
VMCAI.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2010
.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2008
.
Viktor Kuncak,
S. Khurshid,
D. Marinov,
2008
.
Viktor Kuncak,
Olivier Blanvillain,
Jad Hamza,
2020,
ArXiv.
Viktor Kuncak,
Georg Stefan Schmid,
Viktor Kunčak,
2016,
SCALA@SPLASH.
Viktor Kuncak,
Thomas Wies,
Martin C. Rinard,
2007,
VMCAI.
Ruzica Piskac,
Viktor Kuncak,
Tihomir Gvero,
2013,
PLDI.
Viktor Kuncak,
Jad Hamza,
S. Felix,
2022,
NFM.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2011,
OOPSLA '11.
Viktor Kuncak,
Eva Darulova,
Eva Darulova,
2011
.
Viktor Kuncak,
K. Rustan M. Leino,
K. Leino,
2003,
ArXiv.
M. Rinard,
Viktor Kuncak,
Viktor Kunčak,
2003
.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
ArXiv.
M. Rinard,
Viktor Kuncak,
Viktor Kunčak,
2001
.
Viktor Kuncak,
Tihomir Gvero,
Tihomir Gvero,
2015,
OOPSLA.
Viktor Kuncak,
Martin C. Rinard,
Michael Taylor,
2007,
RV.
Viktor Kuncak,
Régis Blanc,
Régis Blanc,
2015,
Scala@PLDI.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013,
SCALA@ECOOP.
Viktor Kuncak,
Philippe Suter,
Ali Sinan Köksal,
2011,
SAS.
Viktor Kuncak,
Philippe Suter,
A. Köksal,
2011
.
Viktor Kuncak,
Nicolas Voirol,
Ravichandhran Madhavan,
2017
.
Martin Rinard,
Viktor Kuncak,
Karen Zee,
2007
.
M. Rinard,
Viktor Kunčak,
2006
.
JAD HAMZA,
NICOLAS VOIROL,
VIKTOR KUNČAK,
2019,
Proc. ACM Program. Lang..
Viktor Kuncak,
Nicolas Voirol,
Jad Hamza,
2019,
ArXiv.
Viktor Kuncak,
Nicolas Voirol,
Viktor Kunčak,
2016
.
Viktor Kuncak,
Nicolas Voirol,
Nicolas Voirol,
2016
.
Viktor Kuncak,
Philippe Suter,
Ali Sinan Köksal,
2012,
POPL '12.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2008,
PLDI '08.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Viktor Kuncak,
Martin C. Rinard,
Huu Hai Nguyen,
2005,
CADE.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2005,
CC.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
ArXiv.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2003,
SAS.
Martin Rinard,
Viktor Kuncak,
Patrick Lam,
2004
.
Viktor Kuncak,
Mladen Nikolic,
Milena Vujosevic-Janicic,
2012,
Inf. Softw. Technol..
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Martin Rinard,
Viktor Kuncak,
Patrick Lam,
2007
.
Clark W. Barrett,
C. Tinelli,
Andrew Reynolds,
2017,
Formal methods in system design.
Viktor Kuncak,
Andrew Reynolds,
Tim King,
2015,
ArXiv.
Viktor Kuncak,
Etienne Kneuss,
Manos Koukoutos,
2015,
CAV.
Viktor Kuncak,
Ravichandhran Madhavan,
Ravichandhran Madhavan,
2014,
CAV.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2011,
International Journal on Software Tools for Technology Transfer.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2012,
Commun. ACM.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
PLDI '10.
Ruzica Piskac,
Viktor Kuncak,
Kuat Yessenov,
2010,
VMCAI.
Ruzica Piskac,
Viktor Kuncak,
R. Piskac,
2008,
VMCAI.
Viktor Kuncak,
Martin C. Rinard,
Huu Hai Nguyen,
2006,
Journal of Automated Reasoning.
Viktor Kuncak,
Pierre-Évariste Dagand,
Dejan Kostic,
2009,
TLDI '09.
Rachid Guerraoui,
Viktor Kuncak,
Giuliano Losa,
2012,
PLDI.
Martin Rinard,
Viktor Kuncak,
Bruno Marnette,
2005,
Deduction and Applications.
Viktor Kunčak,
Dragana Milovančević,
2023,
Proc. ACM Program. Lang..
Viktor Kuncak,
Nicolas Voirol,
Etienne Kneuss,
2015,
Scala@PLDI.
Viktor Kunčak,
Simon Guilloud,
Dragana Milovančević,
2023,
International Conference on Computer Aided Verification.
Viktor Kuncak,
Philipp Rümmer,
Hossein Hojjat,
2013,
CAV.
Viktor Kuncak,
Maysam Yabandeh,
Dejan Kostic,
2009,
NSDI.
Viktor Kuncak,
Rodrigo Raya,
Rodrigo Raya,
2021,
VMCAI.
Viktor Kuncak,
Thomas Wies,
Marco Muñiz,
2012,
VSTTE.
Viktor Kuncak,
Andreas Podelski,
Thomas Wies,
2005,
VMCAI.
Patrick Lam,
M. Rinard,
Karen Zee,
2006,
IEEE Trans. Software Eng..
Viktor Kuncak,
Daniel Jackson,
Ivan Kuraj,
2015,
OOPSLA.
Viktor Kuncak,
Ivan Kuraj,
I. Kuraj,
2014,
SCALA@ECOOP.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Viktor Kuncak,
Philippe Suter,
Mirco Dotta,
2010,
POPL '10.
Viktor Kuncak,
Daniel Jackson,
Viktor Kunčak,
2005,
ESEC/FSE-13.
Viktor Kuncak,
D. Jackson,
Viktor Kunčak,
2005
.
Viktor Kuncak,
Andrej Spielmann,
A. Spielmann,
2012,
IJCAR.
Viktor Kuncak,
Barbara Jobstmann,
Jad Hamza,
2010,
Formal Methods in Computer Aided Design.
Ruzica Piskac,
Viktor Kuncak,
Tihomir Gvero,
2011,
CAV.
R. Piskac,
Philippe Suter,
M. Mayer,
2013
.
Viktor Kuncak,
Philipp Rümmer,
Radu Iosif,
2012,
ATVA.
Viktor Kuncak,
Romain Edelmann,
Romain Edelmann,
2019,
ArXiv.
M. Rinard,
Karen Zee,
Viktor Kunčak,
2006,
IEEE Transactions on Software Engineering.
Patrick Lam,
M. Rinard,
Karen Zee,
2022
.
Viktor Kuncak,
Ravichandhran Madhavan,
Sumith Kulal,
2017,
POPL.
Viktor Kuncak,
Viktor Kunčak,
2014,
ICALP.
Viktor Kuncak,
Thomas Wies,
Marco Muñiz,
2011,
CADE.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2009,
PLDI '09.
Viktor Kuncak,
Konstantine Arkoudas,
Martin C. Rinard,
2004,
ICFEM.
Viktor Kuncak,
Ravi Chugh,
Mikaël Mayer,
2018,
Proc. ACM Program. Lang..
Ruzica Piskac,
Viktor Kuncak,
Thomas Wies,
2010,
VMCAI.
Viktor Kuncak,
R. Lara,
Philippe Suter Lara,
2011
.
H. Seidel,
Seungyong Lee,
M. Rinard,
2006,
ArXiv.
Thomas Wies,
Marco Muñiz,
Viktor Kunčak,
2011
.
Viktor Kuncak,
Martin C. Rinard,
M. Rinard,
2004,
SAS.
Viktor Kuncak,
Christoph Koch,
Andres Nötzli,
2013,
SIGMOD '13.
Viktor Kuncak,
Emmanouil Koukoutos,
Viktor Kunčak,
2014,
RV.
Viktor Kuncak,
Philippe Suter,
Mirco Dotta,
2008
.
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.
R. Piskac,
I. Kuraj,
Tihomir Gvero,
2013,
PLDI.
Jad Hamza,
Rodrigo Raya,
Viktor Kunčak,
2023,
LPAR.
Martin Rinard,
Viktor Kuncak,
Bruno Marnette,
2005
.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013,
VSTTE.
Reiner Hähnle,
Silvio Ranise,
C. Fermüller,
2022
.
Valentin Touzeau,
Claire Maïza,
D. Monniaux,
2017,
Lecture Notes in Computer Science.
Viktor Kunčak,
Simon Guilloud,
2023,
Proc. ACM Program. Lang..
Viktor Kuncak,
Tihomir Gvero,
Tihomir Gvero,
2014
.
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015,
OOPSLA.
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015
.
Sumit Gulwani,
Viktor Kuncak,
Ravichandhran Madhavan,
2015
.
Viktor Kuncak,
Karen Zee,
Viktor Kuncak,
2004,
Arch. Formal Proofs.