Accepted Papers
The list of accepted papers is also available with abstracts.
- Marisa Navarro and Fernando Orejas. A refutation procedure for proving satisfiability of constraint specifications on XML documents (details)
- Helmut Seidl, Thomas Martin Gawlitza and Martin Schwarz. Parametric Strategy Iteration (details)
- Karsten Martiny and Ralf Moeller. PDT Logic for Stream Reasoning in Multi-agent Systems (details)
- Daniel Franzen and David Aspinall. Towards an amortized type system for JavaScript (details)
- Cezary Kaliszyk, Lionel Mamane and Josef Urban. Machine Learning of Coq Proof Guidance: First Experiments (details)
- Amina Saâdaoui, Nihel Ben Youssef and Adel Bouhoula. Automated detection and resolution of firewall misconfigurations (details)
- Alexey Kytmanov and Alexey Shchuplev. Symbolic algorithm for construction of toric compactifications (details)
- Maherzia Belaazi, Hanene Boussi Rahmouni and Adel Bouhoula. A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds (details)
- Wided Ghardallou, Nafi Diallo and Ali Mili. Merging Termination with Abort Freedom (details)
- Nafi Diallo and Wided Ghardallou. Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis (details)
- Alexander Baumgartner and Temur Kutsia. A Library of Anti-Unification Algorithms (details)
