Publications
Search results for wp2 [Reset Search]
, “Definability for Downward and Vertical XPath on Data Trees”, in 21th Workshop on Logic, Language, Information and Computation, 2014.
, “Developing tools as plug-ins: TOPI 2012 special issue”, Software: Practice and Experience, vol. 44, p. 259–260, 2014.
, “The DynAlloy Visualizer”, in {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}, 2014.
, “The DynAlloy Visualizer”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution”, in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.
galeotti-issta-2014-2.pdf (379.45 KB)
galeotti-issta-2014-2.pdf (379.45 KB) , “From Hierarchical {BIP} to Petri Calculus”, in From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, 2014.
, “A Gentle Non-Disjoint Combination of Satisfiability Procedures”, in International Joint Conference on Automated Reasoning (IJCAR), 2014.
, “Hidden protocols: Modifying our expectations in an evolving world”, Artificial Intelligence, vol. 208, p. 18-40, 2014.
, “Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies”, Journal of Computer and System Sciences, vol. 80, p. 1102–1118, 2014.
, “Integrating SMT solvers in Rodin”, Science of Computer Programming, 2014.
, “JTACO: Test Execution for Faster Bounded Verification”, in TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs, 2014.kampmann-tap-2014.pdf (297.61 KB)
kampmann-tap-2014.pdf (297.61 KB) , “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.
, “A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings”, in A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings, 2014.
, “Optimizing Planning Domains by Automatic Action Schema Splitting”, in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS'14), Portsmouth, NH, USA, 2014.
, “Refinement Modal Logic”, Information and Computation, 2014.
, “Relation-Changing Modal Logics”, 2014.thesis.pdf (814.15 KB)
thesis.pdf (814.15 KB) , “Resolving Non-determinism in Choreographies”, in Programming Languages and Systems - 23rd European Symposium on Programming, {ESOP} 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.
, “Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions”, in Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014.
, “Summary-based inference of quantitative bounds of live heap objects”, Science of Computer Programming, vol. 92, p. 56–84, 2014.1-s2.0-S0167642313003298-main.pdf (515.25 KB)
1-s2.0-S0167642313003298-main.pdf (515.25 KB) , “Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories”, 2014.
, “TacoFlow: optimizing SAT program verification using dataflow analysis”, Software & Systems Modeling, p. 1–19, 2014.
, “Behaviour Abstraction Coverage as Black-Box Adequacy Criteria”, in ICST, Luxembourg, 2013.Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf (221.23 KB)
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf (221.23 KB) , “Computing Prime Implicants”, in 13th Intl. Conf. Formal Methods for Computer-Aided Design (FMCAD 2013), Portland, OR, U.S.A., 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.
