Publications

Export 8 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
V
L. M. Ferrer Fioriti, E. M. Hahn, H. Hermanns, and B. Wachter, “Variable Probabilistic Abstraction Refinement”, in Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, 2012, vol. 7561, p. 300-316.
T. Brázdil, H. Hermanns, J. Krčál, J. Kret\'ınský, and V. Rehák, “Verification of Open Interactive Markov Chains”, in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012.
E. E. S. Musa, “Verification of Stochastic Requirements in Supervised Plants”, SE Report, TUE. 2012.
K. Bhargavan, C. Fournet, R. Corin, and E. Zalinescu, “Verified Cryptographic Implementations for TLS”, ACM Trans. Inf. Syst. Secur., vol. 15, p. 3, 2012.
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.
J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.
R. Castaño, J. P. Galeotti, D. Garbervetsky, J. Tapicer, and E. Zoppi, “On verifying resource contracts using Code Contracts”, in 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13, 2013.PDF icon 1401.0968v1.pdf (380.35 KB)
R. Castaño, J. P. Galeotti, D. Garbervetsky, J. Tapicer, and E. Zoppi, “On Verifying Resource Contracts using Code Contracts”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.