Viktor Kuncak und Software - Info zur Person

(1 - 19 von 22

)

More reliable software thanks to mathematical demonstrations

phys.org

Viktor Kuncak and post-doctoral researcher Andrew Reynolds are currently working to develop automatic software verification tools. Just like a ...

Viktor Kuncak

people.epfl.ch

Viktor Kunčak develops algorithms and software tools for constructing reliable systems. He works in the broad area of programming languages and formal ...

Marco Muñiz — Software Engineering - uni-freiburg.de

swt.informatik.uni-freiburg.de

Deciding Functional Lists with Sublists Sets in VSTTE 2012, together with Thomas Wies and Viktor Kuncak. An efficient decision procedure for imperative tree data structures in CADE 2011, together with Thomas Wies and Viktor Kuncak. Decision Procedures for List Manipulating Programs, Master thesis, University of Freiburg, Tools

Formal Methods and Software Engineering: 6th International Conference...

books.google.de

Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and...

Formal Verification of Object-Oriented Software: International...

books.google.de

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software,...

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG...

books.google.de

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even...

Verified Software: Theories, Tools, Experiments: 4th International...

books.google.ae

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in...

Program Analysis for Software Tools and Engineering (PASTE ...

www.st.cs.uni-saarland.de

Viktor Kuncak - Verifying File System Implementation Patrick Lam, MIT - Modular Pluggable Analyses Ed Mitchell, UVA - Discovering useful Patterns in Event Traces

Viktor Kuncak - Navedbe iz Google Učenjaka

scholar.google.si

M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov. Proceedings of the 32nd ACM/IEEE International Conference on Software ...,

Center for Mathematics and Statistics | Seminar

imft.ftn.uns.ac.rs

Viktor Kuncak: Ecole Polytechnique Fédérale de Lausanne: Automated Reasoning for Reliable Software: : 9:00: Silvia Likavec: Dipartimento di Informatica Universita' di Torino: On the semantics of untyped calculus of Curien and Herbelin

Isabelle World Map - TUM

isabelle.in.tum.de

Viktor Kuncak: Jahob. Concordia University. Dependable Software Research Group: Patrice Chalin. Basque Country University. Paqui Lucio. Université Bordeaux. Pierre Castéran. ETH Zürich. Jürgen Doser: Model-Driven Security with Secure UML, Christoph Sprenger: Cryptographically Faithful Proofs of Security Protocols.

Carsten Sinz
Etienne Kneuss
Ivan Kuraj

Personen
Vorname "Viktor" (8483)
Name "Kuncak" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Viktor Kuncak und Software Person-Info

More reliable software thanks to mathematical demonstrations

Viktor Kuncak

Marco Muñiz — Software Engineering - uni-freiburg.de

Formal Methods and Software Engineering: 6th International Conference...

Formal Verification of Object-Oriented Software: International...

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG...

Verified Software: Theories, Tools, Experiments: 4th International...

Program Analysis for Software Tools and Engineering (PASTE ...

Viktor Kuncak - Navedbe iz Google Učenjaka

Center for Mathematics and Statistics | Seminar

Isabelle World Map - TUM

Multikonferenz Software Engineering & Management

POPL 2014: 41st ACM SIGACT-SIGPLAN Symposium on …

Ali Sinan Köksal

Center for Mathematics and Statistics | Seminar /...

Organization | CAV 2017, Heidelberg Germany

The proof is in the testing: The Swiss breakthrough that will make...

Alle Infos zum Namen "Viktor Kuncak"