Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

Powrót do listy instytutów

Publikacje

Patryk Czarnik

2018

Patryk Czarnik, Jacek Chrząszcz i Aleksy Andrzej Schubert, A Java Bytecode Formalisation, w: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Springer, 2018.zobacz w PBN

2013

Patryk Czarnik, Jacek Ludwik Chrząszcz i Aleksy Andrzej Schubert, CoJaq: a hierarchical view on the Java bytecode formalised in Coq, w: Advances in Software Development, 2013, r. 11, s. 147–157.zobacz w PBN

2012

Jacek Ludwik Chrząszcz, Patryk Czarnik, Aleksy Andrzej Schubert i Andrzej Tarlecki, Testing of Evolving Protocols, w: ICST, 2012, s. 901–906.zobacz w PBN

2011

Patryk Czarnik, Jacek Chrząszcz i Aleksy Schubert, A Dozen Instructions Make Java Bytecode, Electronic Notes In Theoretical Computer Science 264 (4) 2011, s. 19–34.zobacz w PBN

2010

Jacek Chrząszcz, Patryk Czarnik i Aleksy Schubert, A dozen instructions make Java bytecode, w: Bytecode, 2010.zobacz w PBN

2008

Patryk Czarnik i Aleksy Schubert, Extending Operational Semantics of the Java Bytecode, w: Trustworthy Global Computing, 2008, s. 57–72.zobacz w PBN