Publications
Verifying Performance of Supervised Plants”, in ACSD, 2012.
, “ Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.
, “ Automata-Based CSL Model Checking”, Logical Methods in Computer Science, vol. 8, 2011.
1104.4983.pdf (230.89 KB)
, “![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies”, in 18th Workshop on Logic, Language, Information and Computation, 2011.
, “