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)
1104.4983.pdf (230.89 KB) , “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.
