Publications

Export 12 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is N  [Clear All Filters]
Journal Article
D. E. Nadales Agut, D. A. van Beek, and J. E. Rooda, “Syntax and semantics of the compositional interchange format for hybrid systems”, J. Log. Algebr. Program., vol. 82, p. 1-52, 2013.
L. Zhang, D. N. Jansen, F. Nielson, and H. Hermanns, “Automata-Based CSL Model Checking”, Logical Methods in Computer Science, vol. 8, 2011.PDF icon 1104.4983.pdf (230.89 KB)
Conference Proceedings
H. Hermanns, J. Krčál, and G. Nies, “Recharging Probably Keeps Batteries Alive”, CyPhy 2015. In Press.
Conference Paper
D. Guck, T. Han, J. - P. Katoen, and M. R. Neuhäußer, “Quantitative Timed Analysis of Interactive Markov Chains”, in 4th International Symposium NASA Formal Methods (NFM), Norfolk, USA, 2012, vol. 7226, p. 8-23.PDF icon 72260008.pdf (256.53 KB)
T. Brázdil, L. Korenciak, J. Krčál, P. Novotný, and V. Rehák, “Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis”, in QEST 2015, In Press.
R. de Nicola and H. C. Melgratti, “Multiparty Testing Preorders”, in Proceedings of TGC 2015 - Symposium on Trustworthy Global Computing 2015, 2015.
F. Biondi, A. Legay, B. F. Nielsen, and A. Wasowski, “Maximizing Entropy over Markov Processes”, in Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, 2013.PDF icon main.pdf (268.88 KB)
F. Biondi, A. Legay, B. F. Nielsen, P. Malacaria, and A. Wasowski, “Information Leakage of Non-Terminating Processes”, in FSTTCS, 2014.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “Geo-indistinguishability: A Principled Approach to Location Privacy”, in Distributed Computing and Internet Technology - 11th International Conference, (ICDCIT) 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings, 2015.
Y. Kawamoto, K. Chatzikokolakis, and C. Palamidessi, “Compositionality Results for Quantitative Information Flow”, in Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Florence, Italy, 2014.
G. Scilingo, M. M. Novaira, R. Degiovanni, and N. Aguirre, “Analyzing formal requirements specifications using an off-the-shelf model checker”, in XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013, 2013.PDF icon analisis-scr-model-checking.pdf (188.48 KB)
G. Scilingo, M. M. Novaira, and R. Degiovanni, “Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.PDF icon SCR_Scenarios-tool-paper.pdf (129.05 KB)