2010

CLEF 2010 LABs and Workshops

The LogAnswer Project at ResPubliQA 2010
Ingo Glöckner, Björn Pelzer

Doctoral Dissertation

Hybrid Multi-agent Systems: Modeling, Specification and Verification
Ammar Mohammed

ICTSS 2010

Test Data Generation For Programs with Quantified First-order Logic Specifications
Christoph Gladisch
In Proceedings of the 22nd IFIP International Conference on Testing Software and Systems, November, 2010, Natal, Brazil
PDF - BibTeX - Abstract (coming soon)

Journal of Logic and Computation

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
Journal of Logic and Computation
Abstract

KI Journal

Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
KI Journal
BibTeX - Abstract

Journal of Automated Reasoning

Special Issue on Tests and Proofs
Bernhard Beckert, Reiner Hähnle (eds.)
Journal of Automated Reasoning
BibTeX - Springer-Verlag, JAR

ICPC 2010

Vivisection of a non-executable, domain-specific language
Ralf Lämmel and Ekaterina Pek
18th IEEE International Conference on Program Comprehension, Braga, Portugal
PDF - BibTeX - Abstract

KI Journal

Logic-Based Question Answering
Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
KI, Special Issue on Automated Deduction
PDF - BibTeX - Abstract

FoVeOOS 2010

Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas
Christoph Gladisch
Formal Verification of Object-Oriented Software, Papers Presented at the International Conference, June, 2010, Paris, France (peer reviewed)
PDF - BibTex - Abstract (coming soon)

TAP 2010

Generating Regression Unit Tests using a Combination of Verification and Capture & Replay
Christoph Gladisch, Shmuel Tyszberowicz, Bernhard Beckert, Amiram Yehudai
In proceedings of The 4th International Conference on Tests And Proofs (TAP 2010), Malaga, Spain
PDF - BibTeX - Abstract

MSVVEIS 2010

Extending CTL to Specify Quantitative Temporal Requirements
Ammar Mohammed,Ulrich Furbach
In proceedings of the 8th International Workshop on Modeling,Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2010), Madeira, Funchal, Portugal.
BibTeX - Abstract

ICAART 2010

A Tool Environment for Specifying and Verifying Multi-Agent Systems
Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg
In Proceedings of the Second International Conference on Agents and Artificial Intelligence (ICAART 2010), 22nd- 24th January 2010, Valencia, Spain
BibTeX - Abstract

Post - ProMAS2009

Multi-agent Systems:Modeling and verification Using Hybrid Automata
Ammar Mohammed,Ulrich Furbach
In Lars Braubach, Jean-Pierre Briot, and John Thangarajah, editors, Revised and Invited Papers of the post-proceedings of 7th International Workshop on Programming Multi-Agent Systems (ProMAS2009), LNAI 5919, pages 49-66, Springer.
BibTeX - Abstract

KI Journal

Deductive Verification of System Software in the VerisoftXT Project
Bernhard Beckert, Michal Moskal
KI Journal
BibTeX - Abstract

AI Communications

An Application of Automated Reasoning in Natural Language Question Answering
Ulrich Furbach, Ingo Glöckner, Björn Pelzer
In AI Communications, Special Issue on Practical Aspects of Automated Reasoning, Volume 23, Number 2-3, IOS Press, 2010
PDF - BibTeX - Abstract

Book Chapter

Multi-robot:Modeling, Specification and Model Checking
Ammar Mohammed, Ulrich Furbach, Frieder Stolzenburg
In Robot Soccer, ed. Vladan Papic, IN-TECH, ISBN 978-953-307-036-0, 2010