Publications

Search results for wp2  [Reset Search]
2014
S. Abriola, M. E. Descotte, and S. Figueira, “Definability for Downward and Vertical XPath on Data Trees”, in 21th Workshop on Logic, Language, Information and Computation, 2014.
D. Garbervetsky and S. Kim, “Developing tools as plug-ins: TOPI 2012 special issue”, Software: Practice and Experience, vol. 44, p. 259–260, 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. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
J. P. Galeotti, G. Fraser, and A. Arcuri, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution”, in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.PDF icongaleotti-issta-2014-2.pdf (379.45 KB)
R. Bruni, H. C. Melgratti, and U. Montanari, “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.
P. Chocron, P. Fontaine, and C. Ringeissen, “A Gentle Non-Disjoint Combination of Satisfiability Procedures”, in International Joint Conference on Automated Reasoning (IJCAR), 2014.
H. van Ditmarsch, S. Ghosh, R. Verbrugge, and Y. Wang, “Hidden protocols: Modifying our expectations in an evolving world”, Artificial Intelligence, vol. 208, p. 18-40, 2014.
S. Figueira, D. Goriın, and R. Grimson, “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.
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “Integrating SMT solvers in Rodin”, Science of Computer Programming, 2014.
A. Kampmann, J. P. Galeotti, and A. Zeller, “JTACO: Test Execution for Faster Bounded Verification”, in TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs, 2014.PDF iconkampmann-tap-2014.pdf (297.61 KB)
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.
S. Abriola and S. Figueira, “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.
C. Areces, F. Bustos, M. Dominguez, and J. Hoffmann., “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.
L. Bozzelli, H. van Ditmarsch, T. French, J. Hales, and S. Pinchinat, “Refinement Modal Logic”, Information and Computation, 2014.
R. Fervari, “Relation-Changing Modal Logics”, 2014.PDF iconthesis.pdf (814.15 KB)
L. Bocchi, H. C. Melgratti, and E. Tuosto, “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.
P. Chocron, P. Fontaine, and C. Ringeissen, “Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions”, in Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014.
V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, “Summary-based inference of quantitative bounds of live heap objects”, Science of Computer Programming, vol. 92, p. 56–84, 2014.PDF icon1-s2.0-S0167642313003298-main.pdf (515.25 KB)
C. Areces, R. Fervari, and G. Hoffmann, “Swap logic”, Logic Journal of IGPL, vol. 22, no. 2, p. 309-332, 2014.PDF iconswap-op.pdf (459.55 KB)
E. Orbe, “Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories”, 2014.
B. C. Parrino, J. P. Galeotti, D. Garbervetsky, and M. F. Frias, “TacoFlow: optimizing SAT program verification using dataflow analysis”, Software & Systems Modeling, p. 1–19, 2014.

Pages