Publications

Search results for wp5  [Reset Search]
2013
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 iconanalisis-scr-model-checking.pdf (188.48 KB)
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.
J. Geldenhuys, N. Aguirre, M. F. Frias, and W. Visser, “Bounded Lazy Initialization”, in NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, 2013.
C. G. López Pombo, P. Chocron, I. Vissani, and T. S. E. Maibaum, “A canonical proof-theoretic approach to model theory”, 2013.PDF iconabstract.pdf (166.59 KB)
R. Demasi, P. F. Castro, T. S. E. Maibaum, and N. Aguirre, “Characterizing Fault-Tolerant Systems by Means of Simulation Relations”, in Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, 2013.
CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8052. 2013.
R. Bruni, H. C. Melgratti, U. Montanari, and P. Sobocinski, “Connector algebras for C/E and P/T nets interactions”, Logical Methods in Computer Science, vol. 9, no. 16, p. 1–65, 2013.
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings”, FORMATS, vol. 8053. 2013.
M. Gimenez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications”, in Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina, 2013.PDF iconlafm2013.pdf (238.7 KB)
M. Bartoletti, A. Scalas, E. Tuosto, and R. Zunino, “Honesty by Typing”, in FMOODS/FORTE, Florence, Italy, 2013.
P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.PDF iconicst2013.pdf (285.71 KB)
N. Rosner, C. G. López Pombo, N. Aguirre, A. Jaoua, A. Mili, and M. F. Frias, “Parallel Bounded Verification of Alloy Models by TranScoping”, in Verified Software: Theories, Tools, Experiments - 5th International Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, 2013.
N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid, and M. F. Frias, “Ranger: Parallel analysis of alloy models by range partitioning”, in 2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013.
R. Demasi, P. F. Castro, T. S. E. Maibaum, and N. Aguirre, “Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications”, in Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, 2013.
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Synthesizing Modal Transition Systems from Triggered Scenarios”, IEEE Transactions on Software Engineering, vol. 39, p. 975-1001, 2013.PDF iconSynthesising Modal Transition Systems from Triggered Scenarios_2013.pdf (658.89 KB)
2012
P. F. Castro, N. Aguirre, C. G. López Pombo, and T. S. E. Maibaum, “A Categorical Approach to Structuring and Promoting Z Specifications”, in 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, USA, 2012.
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.PDF iconDistribution_of_Modal_Transition_Systems.pdf (204.25 KB)
K. Poyias and E. Tuosto, “Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations”, in ICE, 2012.
D. Alrajeh, J. Kramer, A. Van Lamsweerde, A. Russo, and S. Uchitel, “Generating obstacle conditions for requirements completeness”, in Software Engineering (ICSE), 2012 34th International Conference on, 2012, p. 705-715.
A. Acosta, C. Kilmurray, P. F. Castro, and N. Aguirre, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics”, in Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012.
G. Regis, N. Ricci, N. Aguirre, and T. S. E. Maibaum, “Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows”, in Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012.PDF iconWorkflowPropVerification.pdf (433.21 KB)
R. Bruni, H. C. Melgratti, and U. Montanari, “A survey on basic connectors and buffers”, in Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011. Revised Papers, 2012.
V. S. Bengolea, N. Aguirre, D. Marinov, and M. F. Frias, “Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites”, in International Conference on Tests and Proofs TAP 2012, vol. 7305, 2012, p. 19 - 34.PDF icontestsuite-reduction.pdf (262.31 KB)

Pages