2010
CLEF 2010 LABs and Workshops
The LogAnswer Project at ResPubliQA 2010
Ingo Glöckner, Björn Pelzer
Ingo Glöckner, Björn Pelzer
Doctoral Dissertation
Hybrid Multi-agent Systems: Modeling, Specification and Verification
Ammar Mohammed
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)
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
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
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
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
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
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)
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
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
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
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
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
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
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
Ammar Mohammed, Ulrich Furbach, Frieder Stolzenburg
In Robot Soccer, ed. Vladan Papic, IN-TECH, ISBN 978-953-307-036-0, 2010