Extending Operational Semantics of the Java Bytecode. - Patryk Czarnik; Aleksy Schubert (TGC, 2007)

A Dozen Instructions Make Java Bytecode. - Jacek Chrzaszcz; Patryk Czarnik; Aleksy Schubert (Bytecode@ETAPS, 2010)

Testing of Evolving Protocols. - Jacek Chrzaszcz; Patryk Czarnik; Aleksy Schubert; Andrzej Tarlecki (ICST, 2012)

A Java Bytecode Formalisation. - Patryk Czarnik; Jacek Chrzaszcz; Aleksy Schubert (VSTTE, 2018)