| 2012 | EuroPar | Distribution of Liveness Property Connectivity Interval in Selected Mobility Models of Wireless Ad Hoc Networks. | Jerzy Brzezinski, Michal Kalewski, Marcin Kosiba, Marek Libuda |
| 2012 | SRDS | Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness Property. | Jerzy Brzezinski, Michal Kalewski, Jacek Kobusinski |
| 2011 | ACIIDS | MDL: Metrics Definition Language. | Jerzy Brzezinski, Dariusz Dwornikowski, Michal Kalewski, Tomasz Pawlak, Michal Sajkowski |
| 2011 | PPAM | Lightweight Information Flow Control for Web Services. | Bartosz Brodecki, Michal Kalewski, Piotr Sasak, Michal Szychowiak |
| 2011 | PPAM | On Time Constraints of Reliable Broadcast Protocols for Ad Hoc Networks with the Liveness Property. | Jerzy Brzezinski, Michal Kalewski, Dariusz Wawrzyniak |
| 2009 | PDP | FAST Failure Detection Service for Large Scale Distributed Systems. | Michal Kalewski, Anna Kobusinska, Jacek Kobusinski |
| 2007 | PPAM | Safety of a Session Guarantees Protocol Using Plausible Clocks. | Jerzy Brzezinski, Michal Kalewski, Cezary Sobaniec |