Radoslaw Jan Rowicki

Orcid: 0009-0003-0758-722X

According to our database¹, Radoslaw Jan Rowicki authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report).

[DOI]

CoRR, August, 2025

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation.

[DOI]

Proc. ACM Program. Lang., 2025