The Hanoi Omega-Automata Format.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Compositional Approach to Suspension and Other Improvements to LTL Translation.
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.
Proceedings of the Automated Technology for Verification and Analysis, 2013
LTL to Büchi Automata Translation: Fast and More Deterministic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness
CoRR, 2010
Almost Linear Büchi Automata
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009