Publications
Search results for wp5 [Reset Search]
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.analisis-scr-model-checking.pdf (188.48 KB)
, “ 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.
, “ Bounded Lazy Initialization”, in NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, 2013.
, “ A canonical proof-theoretic approach to model theory”, 2013.abstract.pdf (166.59 KB)
, “ 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.
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.
HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications”, in Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina, 2013.lafm2013.pdf (238.7 KB)
, “ Honesty by Typing”, in FMOODS/FORTE, Florence, Italy, 2013.
, “ 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.icst2013.pdf (285.71 KB)
, “ 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.
, “ 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.
, “ Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications”, in Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, 2013.
, “ Synthesizing Modal Transition Systems from Triggered Scenarios”, IEEE Transactions on Software Engineering, vol. 39, p. 975-1001, 2013.Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf (658.89 KB)
, “ 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.
, “ Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.Distribution_of_Modal_Transition_Systems.pdf (204.25 KB)
, “ Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations”, in ICE, 2012.
, “ Generating obstacle conditions for requirements completeness”, in Software Engineering (ICSE), 2012 34th International Conference on, 2012, p. 705-715.
, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.
, “ 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.
, “ 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.WorkflowPropVerification.pdf (433.21 KB)
, “ A survey on basic connectors and buffers”, in Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011. Revised Papers, 2012.
, “ 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.testsuite-reduction.pdf (262.31 KB)
, “