Patryk Czarnik

According to our database, Patryk Czarnik authored at least 4 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Java Bytecode Formalisation.

Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2012

Testing of Evolving Protocols.

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2010

A Dozen Instructions Make Java Bytecode.

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert

Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

2007

Extending Operational Semantics of the Java Bytecode.

Patryk Czarnik, Aleksy Schubert

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007