Javier Esparza gave a talk at the PhDopen-talks of the University of Bordeaux about Verification of Distributed Algorithms.
A long time passed since the last news. This is, however, not due to a lack of activity but a lack of reporting. Thus, we use this post to report various publications from last year Read more…
The PaVeS people welcome a new member, Roland Guttenberg, in their midst. Roland joined us as a PhD student. He describes his research interest in his own words as follows: “Originally interested in Algebraic Geometry, Read more…
In this year’s test-of-time awards of CONCUR the paper “Reachability Analysis of Pushdown Automata: Application to Model-checking” of Ahmed Bouajjani, Javier Esparza, and Oded Maler is recognized as “a breakthrough paper that opened the way Read more…