Publications

Search results for wp5  [Reset Search]
2015
N. Rosner, J. Geldenhuys, N. Aguirre, W. Visser, and M. F. Frias, “BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support”, {IEEE} Trans. Software Eng., vol. 41, p. 639–660, 2015.
R. Bruni, H. C. Melgratti, and U. Montanari, “cJoin: Join with communicating transactions”, Mathematical Structures in Computer Science, vol. 25, p. 566–618, 2015.
I. Vissani, C. G. López Pombo, and E. Tuosto, “Communicating machines as a dynamic binding mechanism of services”, in Proceedings of the 8th Programming Language Approaches to Concurrency- and Communication-cEntric Software - PLACES 2015, 2015.
R. de Nicola and H. C. Melgratti, “Multiparty Testing Preorders”, in Proceedings of TGC 2015 - Symposium on Trustworthy Global Computing 2015, 2015.
R. Bruni, H. C. Melgratti, and U. Montanari, “A Normal Form for Stateful Connectors”, in Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, 2015.
G. Regis, R. Degiovanni, N. D'Ippolito, and N. Aguirre, “Specifying Event-Based Systems with a Counting Fluent Temporal Logic”, in 37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1, Florence, Italy, 2015.
R. Demasi, P. F. Castro, N. Ricci, T. S. E. Maibaum, and N. Aguirre, “syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications”, in Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings, 2015.
2014
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 iconSCR_Scenarios-tool-paper.pdf (129.05 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 icontableaux-open.pdf (1 MB)
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.
N. Rosner, et al., “Bounded exhaustive test input generation from hybrid invariants”, in Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014, 2014.
C. G. López Pombo and T. S. E. Maibaum, “Concrete models for modal logics via proof theory”. 2014.
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, 2014.
M. M. Moscato, C. G. López Pombo, and M. F. Frias, “Dynamite: A tool for the verification of alloy models based on PVS”, {ACM} Trans. Softw. Eng. Methodol., vol. 23, p. 20, 2014.
P. Ponzio, N. Rosner, N. Aguirre, and M. F. Frias, “Efficient Tight Field Bounds Computation Based on Shape Predicates”, in FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014., 2014.PDF iconsltb.pdf (413.09 KB)
G. Regis, F. Villar, and N. Ricci, “Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.PDF iconWorkflowAnalyser.pdf (245.34 KB)
I. Vissani, C. G. López Pombo, I. Tutu, and J. e L. Fiadeiro, “A Full Operational Semantics of Asynchronous Relational Networks”. 2014.PDF iconTSARN.pdf (110.65 KB)
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting”, in Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014.PDF iconcompodesign-main.pdf (413 KB)
M. Giménez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications”, 2014.PDF icongimenez-lafm14.pdf (241.92 KB)
N. D'Ippolito, V. A. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, “Hope for the best, prepare for the worst: multi-tier control for adaptive systems”, in ICSE, 2014.PDF iconhope for the best.pdf (519.23 KB)
V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias, “RepOK-based reduction of bounded exhaustive testing”, Softw. Test., Verif. Reliab., vol. 24, p. 629–655, 2014.
I. Krka, N. D'Ippolito, N. Medvidovic, and S. Uchitel, “Revisiting Compatibility of Input-Output Modal Transition Systems”, in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014.

Pages