| CoJaq: a hierarchical view on the Java bytecode formalised in Coq | Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert | Advances in Software Development, pgs 147-157 | Polish Conference on Software Engineering / Krajowa Konferencja Inżynierii Oprogramowania, Szczecin, Poland, 2013 | |
| Testing of Evolving Protocols | Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki | ICST, pgs 901-906 | TAIC PART colocated with International Conference on Software Testing and Verification, Montreal, Canada, 2012 | |
| A Dozen Instructions Make Java Bytecode | Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert | ENTCS 264(4), pgs 19-34 | Bytecode Workshop at ETAPS, Paphos, Cyprus, 2010 | |
| Extending Operational Semantics of the Java Bytecode | Patryk Czarnik, Aleksy Schubert | LNCS | Trustworthy Global Computing, Sophia Antipolis, France, 2008 | |
