Export 329 results:
Sort by: Author [ Title (Asc)] Type Year
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 
M. Falaschi, C. Olarte, and C. Palamidessi, “Abstract interpretation of temporal concurrent constraint programs”, Theory and Practice of Logic Programming, vol. 15, p. 312–357, 2015.
B. Delahaye, et al., “Abstract Probabilistic Automata”, Information and Computation, vol. 232, p. 66 - 116, 2013.
B. Braitling, L. M. Ferrer Fioriti, H. Hatefi, R. Wimmer, B. Becker, and H. Hermanns, “Abstraction-Based Computation of Reward Measures for Markov Automata”, in Verification, Model Checking, and Abstract Interpretation - 16th International Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015.
N. Jansen, et al., “Accelerating Parametric Probabilistic Verification”, in Quantitative Evaluation of Systems (QEST'14), 2014.
M. S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, and G. Smith, “Additive and Multiplicative Notions of Leakage, and Their Capacities”, in Proceedings of the IEEE 27th Computer Security Foundations Symposium, (CSF) 2014, Vienna, Austria, 19-22 July, 2014, 2014.
D. Guck, H. Hatefi, H. Hermanns, J. - P. Katoen, and M. Timmer, “Analysis of Timed and Long-Run Objectives for Markov Automata”, Logical Methods in Computer Science, vol. 10, 2014.
S. Hamadou, V. Sassone, and M. Yang, “An analysis of trust in anonymity networks in the presence of adaptive attackers”, Mathematical Structures in Computer Science, p. to appear, 2013.
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)
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)
J. Klein, D. Müller, C. Baier, and S. Klüppelholz, “Are Good-for-Games Automata Good for Probabilistic Model Checking?”, in Proc. of the 8th International Conference on Language and Automata Theory and Applications (LATA), 2014.
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)
R. Degiovanni, D. Alrajeh, N. Aguirre, and S. Uchitel, “Automated goal operationalisation based on interpolation and {SAT} solving”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
P. F. Castro and T. S. E. Maibaum, “Automated Reasoning over Deontic Action Logics with Finite Vocabularies”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.PDF icon tableaux-open.pdf (1 MB)
E. Pavese, V. A. Braberman, and S. Uchitel, “Automated reliability estimation over partial systematic explorations”, in Proceedings of the 2013 International Conference on Software Engineering, Piscataway, NJ, USA, 2013, p. 602-611 .PDF icon Automated Reliability Estimation over Partial-icse2013.pdf (644.77 KB)
A. Arcuri, G. Fraser, and J. P. Galeotti, “Automated Unit Test Generation for Classes with Environment Dependencies”, in Proceedings of the 2014 International Conference on Automated Software Engineering (ASE), 2014.PDF icon arcuri-ase-2014.pdf (280.35 KB)
S. Merz and H. Vanzetto, “Automatic Verification of TLA + Proof Obligations with SMT Solvers”, in 18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), Mérida, Venezuela, 2012.
P. R. D'Argenio, D. Gebler, and M. D. Lee, “Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules”, in Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014.
D. Figueira, S. Figueira, and C. Areces, “Basic Model Theory of XPath on Data Trees”, in Proceedings of the 17th International Conference on Database Theory, Athens, Greece, 2014.
H. Czemerinski, V. A. Braberman, and S. Uchitel, “Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing”, Software Testing, Verification and Reliability, 2015.
H. Czemerinski, V. A. Braberman, and S. Uchitel, “Behaviour Abstraction Coverage as Black-Box Adequacy Criteria”, in ICST, Luxembourg, 2013.PDF icon Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf (221.23 KB)
R. Bruni, H. C. Melgratti, and U. Montanari, “Behaviour, Interaction and Dynamics”, in Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, 2014.
L. Bocchi and H. C. Melgratti, “On the behaviour of general purpose applications on cloud storages”, Service Oriented Computing and Applications, p. 1-15, 2014.
L. Bocchi and H. C. Melgratti, “On the Behaviour of General-Purpose Applications on Cloud Storages”, in Web Services and Formal Methods - 10th International Workshop, {WS-FM} 2013, Beijing, China, August 2013, Revised Selected Papers, 2013.
C. Bruni, G. Chari, I. Stasenko, and S. Ducasse, “Benzo: Reflective Glue for Low-level Programming”, in Proceedings of the International Workshop on Smalltalk Technologies, 2014.
F. Carreiro and S. Demri, “Beyond Regularity for Presburger Modal Logics”, in 9th Workshop on Advances in Modal Logics (AiML'12), Copenhagen, Denmark, 2012.PDF icon beyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)