2008

SEFM 2008

Verification-based Testing for Full Feasible Branch Coverage
Christoph Gladisch
6th IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'08)
PDF - BibTeX - Abstract

C&O-2008

Precompiling ALC Tboxes and Query Answering
Ulrich Furbach, Claudia Obermaier
Proceedings of the 4th Workshop on Contexts and Ontologies (C&O-2008) at the 18th European Conference on Artificial Intelligence, Patras, Greece
PDF - BibTeX - Abstract

WLP 2008

Implementing Hierarchical Hybrid Automata Using Constraint Logic Programming
Ammar Mohammed, Frieder Stolzenburg
In Sibylle Schwarz, editor, Proceedings of 22nd Workshop on (Constraint) Logic Programming, pages 60-71, Dresden, 2008. University Halle Wittenberg, Institute of Computer Science. Technical Report 2008/08.
PDF - BibTeX - Abstract
 

MSVVEIS

Modeling Multi-agent Logistic Process System using Hybrid Automata
Ammar Mohammed,Ulrich Furbach
In Ulrich Ultes-Nitsche and Daniel Moldt and Juan C . Augusto (Ed.s): proceedings of the 6th International Workshop on Modeling,Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS),In conjunction with 10th International Conference on Enterprise Information Systems (ICEIS) 2008,Barcelona,Spain, pages 141-149. INSTICC PRESS
PDF - BibTeX - Abstract
 

ERCIM 2008

Using CLP to model Hybrid Systems
Ammar Mohammed, Ulrich Furbach
In proceedings of the Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP) 2008, Rome, Italy.
PDF - BibTeX - Abstract

Diploma Thesis

Extending KeY for the Verification of C Programs
Christoph Gladisch
Diploma thesis, Gladisch
BibTeX - Abstract

IJCAR 2006

Special Issue: SelectedPapers from the 3rd International Joint Conference of Automated Reasoning
Ulrich Furbach (ed)
Journal of Automated Reasonig, Vol. 40, Numbers 2-3
BibTeX

EvoWorkshops 2008

Composing Music with Neural Networks and Probabilistic Finite-State Machines
Tomasz Oliwa and Markus Wagner
Applications of Evolutionary Computing, EvoWorkshops2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, EvoTHEORY, EvoTransLog
PDF - BibTeX - Abstract

TAP 2008

Integrating Verification and Testing of Object-Oriented Software
Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer
In proceedings of the Second International Conference on Tests and Proofs
PDF - BibTeX - Abstract

TAP 2008

Tests and Proofs
Bernhard Beckert, Reiner Hähnle (eds.)
Proceedings of the Second International Conference
BibTeX - Conference Website

TAP 2008

Tests and Proofs
Bernhard Beckert, Reiner Hähnle (eds.)
Papers presented at the Second International Conference that were not included in the main proceedings
Pdf - BibTeX - Abstract - Conference Website

TAP 2008

Verification-based Test Case Generation with Loop Invariants and Method Specifications
Christoph Gladisch
In Tests and Proofs: Papers Presented at the Second International Conference, TAP 2008, Prato, Italy
BibTeX - Abstract

 

Diploma Thesis

IASON - Mobile personalisierte Applikation
Markus Maron
Publication of the diploma thesis, VDM-Verlag
PDF Abstract

Book

Information systems for Spatial Metro

Ulrich Furbach, Markus Maron, Kevin Read
In Street-level desires - Discovering the city on foot.
Delft University of Technology, Department of Urbanism
Bib PDF Abstract

Technical Report

Team Description, RoboCup 2008 Mixed Reality League
Oliver Abert and Markus Maron and Matthias Bohnen and Lina
Brühl and Sebastian Bzdak and Carsten Effert and Martin Freidank and
Eckhard Großmann and Thorsten Habelitz and Andreas Koch and David Mann
and Bastian Sdorra
Reports of the Faculty of Informatics, 6/2008, Universität
Koblenz-Landau
PDF BIB Abstract 

Technical Report

CAMPUS NEWS -- Artificial Methods Combined for an Intelligent Information Network

Markus Maron, Kevin Read, Michael Schulze
Reports of the Faculty of Informatics, 1/2008, Universität
Koblenz-Landau
PDF  BIB
Abstract

 

Software and System Modelling

Special Issue on Software Engineering and Formal Methods
Bernhard Aichernig, Bernhard Beckert (eds.)
Software and System Modelling (Springer Journal)
BibTeX - Springer-Verlag, SoSyM

PAAR 2008

Combining Theorem Proving with Natural Language Processing
Ingo Glöckner, Björn Pelzer
IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR2008)
PDF - BibTeX - Abstract

KES 2008

Exploring Robustness Enhancements for Logic-Based Passage Filtering
Ingo Glöckner, Björn Pelzer
KES2008 - 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
PDF - BibTeX - Abstract

IJCAR 2008

LogAnswer: A Deduction-Based Question Answering System
Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
IJCAR 2008 - 4th International Joint Conference on Automated Reasoning
PDF - BibTeX - Abstract

GEM 2008

Better Huffman Coding Using Genetic Algorithm
Cody Boisclair, Markus Wagner 
Proceedings of the 2008 International Conference on Genetic and Evolutionary Methods, GEM 2008, Las Vegas Nevada, USA 
PDF - BibTeX - Abstract

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
PDF - BibTeX - Abstract