Export 22 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Nazareno Aguirre  [Clear All Filters]
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.
P. F. Castro, N. Aguirre, C. G. López Pombo, and T. S. E. Maibaum, “Categorical Foundations for Structured Specifications in Z”, Formal Aspects of Computing, vol. 27, p. TBD, 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.
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.
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.
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}, 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 icon sltb.pdf (413.09 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 icon compodesign-main.pdf (413 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.
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. 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.
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.
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 icon icst2013.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.
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.
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 icon WorkflowPropVerification.pdf (433.21 KB)
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 icon testsuite-reduction.pdf (262.31 KB)