Jiri Srba View

Jiri Srba is a Full Professor in computer science at Aalborg University, Denmark. He holds MSc from Faculty of Informatics, Masaryk University in Brno and PhD degree from Aarhus University. Since 2005, he has been employed at Aalborg University. Jiri Srba is interested in applying formal methods such as model checking into industrial cases from computer networking, supervisory control and wireless adhoc networks.

Jiri Srba

Posts by Jiri Srba

Toward Polynomial-Time Verification of Networks with Infinite State Spaces: An Automata-Theoretic Approach

With the increasing scale of communication networks, failures (e.g. link failures) are becoming the norm rather than theexception. Given the critical role such networks play for ourdi...

In research, network, verification, By Stefan Schmid, Jiri Srba, Jul 20, 2020