-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Reversible Computation – 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Dueck, Gerhard W. ; Miller, D. Michael 2013 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
-
Logical Foundations of Computer Science – International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Artemov, Sergei N. ; Nerode, Anil 2013 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
-
Advances in Bioinformatics and Computational Biology – 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Souto, Marcilio C. P. de ; Kann, Maricel G. 2012 Springer Berlin Heidelberg
-
Inductive Logic Programming – 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. 2012 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
2011 Springer Berlin Heidelberg
-
Inductive Logic Programming – 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
Frasconi, Paolo ; Lisi, Francesca A. 2011 Springer Berlin Heidelberg
-
Algorithms and Computation – 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
Katoh, Naoki ; Kumar, Amit 2010 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Qin, Shengchao ; Qiu, Zongyan 2010 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Bloch, Isabelle ; Cesar, Jr., Roberto M. 2010 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Dix, Jürgen ; Fisher, Michael ; Novák, Peter 2010 Springer Berlin Heidelberg
-
Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Qin, Shengchao 2010 Springer Berlin Heidelberg
-
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
Lommen, Nils ; Meyer, Éléanore ; Giesl, Jürgen 2024 Universitätsbibliothek der RWTH Aachen
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2023 Universitätsbibliothek der RWTH Aachen