University of Ulm, Faculty of Computer Science, Dept. of Artificial Intelligence

up: Dept. of AI

Publications

From this page you can access abstracts of most of the publications of the department; some of these are also available online as postscript files. The papers are listed roughly in temporal order, most recent ones first. If you are interested in the publications of a particular project, follow the corresponding links to the project pages.

Index

2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992

See also:

Publications related to particular projects
Dissertation theses

2007

B. Schattemberg, J. Bidot, S. Biundo
On the Construction and Evaluation of Flexible Plan-Refinement Strategies
Proceedings of the 30th German Conference on Artificial Intelligence (KI 2007), 2007.
J. Bidot, T. Vidal, P. Laborie, J.C. Beck
Une architecture générale pour ordonnancer dans un environnement stochastique
2^es Journées Francophones Planification, Décision, Apprentissage pour la conduite de systèmes (JFPDA 2007), 2007.
J. Bidot, T. Vidal, P. Laborie, J.C. Beck
A General Framework for Scheduling in a Stochastic Environment
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 2007.
H. Pfeifer, F. von Henke
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Reliability Engineering & System Safety, 92(11):1538-1550, Nov. 2007
Special Issue on Safety, Reliability and Security of Industrial Computer Systems, Elsevier Ltd.
This is an extended version of a paper presented at SAFECOMP 2004.

2006

A.-Y. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaporn and T. Weithöner
DIG 2.0 — Towards a Flexible Framework for Description Logics Reasoners
Workshop on OWL Experiences and Directions 2006- OWL Experiences 2006
Athens, GA, USA November 2006

O. Noppens, T. Liebig
Interactive Visualization of Large OWL Instance Sets
Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI 2006)
Athens, GA, USA November 2006

T. Weithöner, T. Liebig, M. Luther, and S. Böhm
What's Wrong with OWL Benchmarks?
Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006)
Athens, GA, USA November 2006

T. Liebig
Reasoning with OWL - System Support and Insights -
Ulmer Informatik-Berichte Nr. 2006-04, Ulm University, September 2006

O. Noppens, M. Luther, T. Liebig, M. Wagner, M. Paolucci
Ontology-supported Preference Handling for Mobile Music Selection
Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, in conjunction with the ECAI 2006
Riva del Garda, Italy, August 28 - 29, 2006

J. Bidot, P. Laborie, J.C. Beck, T. Vidal
Using Constraint Programming and Simulation for Execution Monitoring and Progressive Scheduling
Proceedings of the Twelfth IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), 2006.
B. Schattenberg, S. Biundo
Unifying Framework for Hybrid Planning and Scheduling
29th German Conference on Artificial Intelligence (KI-2006)
Bremen, Germany, 2006.

B. Schattenberg, S. Balzer, and S. Biundo
Semantic Web Technology as a Basis for Planning and Scheduling Systems
20th Workshop ``Planen und Konfigurieren´´ (PuK'06)
Bremen, Germany, 2006.

B. Schattenberg, S. Balzer, and S. Biundo
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
16th International Conference on Automated Planning and Scheduling (ICAPS-06)
Ambleside, The English Lake District, UK, 2006.

F. Müller, M. Hanselmann, T. Liebig, O. Noppens
A Tableaux-based Mobile DL Reasoner - An Experience Report
2006 International Workshop on Description Logics - DL '06
Lake District, United Kingdom, May 30 - June 1, 2006

2005

Matthias Wagner, Olaf Noppens, Thorsten Liebig, Marko Luther, Massimo Paolucci
Semantic-based Service Discovery on mobile Devices
Demo Track of the 4th International Semantic Web Conference (ISWC 2005)
Galway, Ireland, November 2005

Thorsten Liebig, Marko Luther, Olaf Noppens, Massimo Paolucci, Matthias Wagner, Friedrich von Henke
Building Applications and Tools for OWL — Experiences and Suggestions
Workshop on OWL Experiences and Directions - OWL Experiences 2005
Galway, Ireland, November 2005

T. Liebig, F. von Henke, O. Noppens
Explaination Support for OWL Authoring
AAAI Symposium on Explanation-aware Computing - ExaCt 2005
Washington, D.C., November 2005

B. Schattenberg, A. Weigl, and S. Biundo
Hybrid Planning Using Flexible Strategies
28th German Conference on Artificial Intelligence (KI 2005)
Koblenz, Germany, September 2005
T. Liebig, M. Halfmann
A Tableau-based Explainer for DL Subsumption
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2005
Koblenz, Germany, September 2005

T. Liebig, O. Noppens
OntoTrack: A semantic approach for ontology authoring
Journal of Web Semantics, Volume 3, Issue 2-3, 2005

T. Liebig, M. Halfmann
Explaining Subsumption in ALEHF_R⁺ TBoxes
2005 International Workshop on Description Logics - DL2005
Edinburgh, Scotland, July 2005

K. Pantschenko, O. Noppens, T. Liebig
Grounding Web Services Semantically: Why and How?
W3C Workshop on Frameworks for Semantics in Web Services - W3C SWSF
Innsbruck, Austria., June 2005

S. Biundo, R. Holzer, and B. Schattenberg
Project Planning Under Temporal Uncertainty
L. Castillo, D. Borrajo, M. A. Salido, and A. Oddi (eds.) Planning, Scheduling, and Constraint Satisfaction: From Theory to Practice, volume 117 of Frontiers in Artificial Intelligence and Applications, pages 189-198. IOS Press, 2005.

2004

H. Pfeifer, F. von Henke
Formal Modelling and Analysis of Fault Tolerance Properties in the Time-Triggered Architecture
5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT)
Braunschweig, Germany, December 2-3, 2004

S. Balzer, T. Liebig, M. Wagner
Pitfalls of OWL-S — A practical Semantic Web Use Case
2nd International Conference on Service Oriented Computing ICSOC 2004
New York, USA, November 15-18, 2004

T. Liebig, O. Noppens
OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies
3rd International Semantic Web Conference ISWC 2004
Hiroshima, Japan, November 8-11, 2004

S. Balzer, T. Liebig
Bridging the Gap Between Abstract and Concrete Services — A Semantic Approach for Grounding OWL-S —
Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications
Located at the 3rd International Semantic Web Conference ISWC 2004
Hiroshima, Japan, November 8, 2004

M. Wagner, T. Liebig, O. Noppens, S. Balzer, W. Kellerer
Towards Semantic-based Service Discovery on Tiny Mobile Devices
Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications
Located at the 3rd International Semantic Web Conference ISWC 2004
Hiroshima, Japan, November 7, 2004

T. Liebig, O. Noppens
OntoTrack A New Ontology Authoring Approach
Demo Track of the 3rd International Semantic Web Conference ISWC 2004
Hiroshima, Japan, November 8, 2004

T. Weithöner, T. Liebig, G. Specht
Efficient Processing of Huge Ontologies in Logic and Relational Databases
International Conference on Ontologies, Databases and Applications of Semantics ODBASE 2004
Larnaca, Cyprus, October 26, 2004

M. Sorea
Lazy Approximation for Dense Real-Time Systems
Joint Conferences on Formal Modelling and Analysis of Timed Systems and
Formal Techniques in Real-Time and Fault-Tolerant Systems (FORMATS / FTRTFT)
Grenoble, France, September 22-24, 2004
B. Dutertre, M. Sorea
Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata
Joint Conferences on Formal Modelling and Analysis of Timed Systems and
Formal Techniques in Real-Time and Fault-Tolerant Systems (FORMATS / FTRTFT)
Grenoble, France, September 22-24, 2004
H. Pfeifer, F. von Henke
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Potsdam, Germany, September 21-24, 2004
S. Biundo, R. Holzer, and B. Schattenberg
Project Planning Under Temporal Uncertainty
In: Proceedings of the Workshop on Planning and Scheduling: Bridging Theory to Practice.
Held in conjunction with: The 16th European Conference on Artificial Intelligence (ECAI'04)
Valencia, Spain, August 2004.
M. Sorea
Verification of Real-Time Systems through Lazy Approximations
Ph.D. thesis, University of Ulm, 2004
W. Steiner, J. Rushby, M. Sorea, H. Pfeifer
Model Checking a Fault-Tolerant Startup Algorithm:
From Design Exploration To Exhaustive Fault Simulation
Proc. of the International Conference on Dependable Systems and Networks (DSN 2004)
Florence, Italy, June 28 - July 1, 2004
S. Biundo, R. Holzer, and B. Schattenberg
Dealing with Continuous Resources in AI Planning
Proceedings of the 4th International Workshop on Planning and Scheduling for Space, ESOC
Darmstadt, Germany, June 2004
T. Liebig, H. Pfeifer, F. von Henke
Reasoning Services for an OWL Authoring Tool: An Experience Report
2004 International Workshop on Description Logics - DL2004
Collocated with KR2004
Whistler, British Columbia, Canada, June 6-8, 2004

2003

T. Liebig, O. Noppens
OntoTrack: Fast Browsing and Easy Editing of Large Ontologies
Proceedings of the 2^nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2^nd International Semantic Web Conference (ISWC 2003)
Florida, USA, 2003.
M. Luther
Elaboration and Erasure in Type Theory
Ph.D. thesis, University of Ulm, 2003
Joachim Herbst
Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen
Ph.D. thesis, University of Ulm, 2003
H. Pfeifer
Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture
PhD Thesis, Univ. Ulm, 2003
T. Weithöner, T. Liebig, G. Specht
Storing and Querying Ontologies in Logic Databases
Proceedings of the First International Workshop on Semantic Web and Databases (SWDB'03) at the VLDB 2003
Berlin, Germany, p. 329 - 348, 2003
W. Zimmermann, A. Dold
A Framework for Modelling the Semantics of Expression Evaluation with Abstract State Machines
Proceedings of the 9th International Workshop on Abstract State Machines (ASM 2003), Springer LNCS 2589.

2002

B.Schattenberg and S.Biundo
On the Identification and Use of Hierarchical Resources in Planning and Scheduling
Proceedings of the 6th International Conference on AI Planning & Scheduling, Toulouse, France, April 2002, AAAI Press, Menlo Park, California, 263-272, 2002.
J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. von Henke
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Trans. on Computers, 2002.
A. Dold, F. W. von Henke, V. Vialard, W. Goerigk
A Mechanically Verified Compiling Specification for a Realistic Compiler
Technical Report UIB 03-02, Universität Ulm, Fakultät für Informatik, Dec. 2002
M. Schalk, T. Liebig, T. Illmann, F. Kargl
Combining FIPA ACL With DAML OIL - A Case Study
Proceedings of the Second International Workshop on Ontologies in Agent Systems, Bologna, Italy, July 2002.
A. Seitz und M. Dannenberg
Docs 'n Drugs - Gegenwart und Zukunft
Proceedings of the 6. Workshop der AG CBT in der Medizin der GMDS, Ulm (D), 2002.
A. Seitz, M. Dannenberg, H. Liebhart
An Authoring System for Instructionally Designed Tutoring Processes
Proceedings of the International Conference on Computers in Education, Auckland (New Zealand), 2002.
E. Volz , A. Martens, A. Seitz
An Execution System For Variable Tutoring Processes
Proceedings of the International Conference on Computers in Education, Auckland (New Zealand), 2002.

2001

S. Biundo, B. Schattenberg
From Abstract Crisis to Concrete Relief - A Preliminary Report on Combining State Abstraction and HTN Planning
Proceedings of the 6th European Conference on Planning (ECP-01), September 12-14, 2001, Toledo, Spain, LNCS, to appear.
A. Dold, V. Vialard
A Mechanically Verified Compiling Specification for a Lisp Compiler
Proceedings of FSTTCS 2001, December 13-15, Bangalore, India.
A. Dold, V. Vialard
A Mechanically Verified Bootstrap Compiler
Proc. of Kolloquium Programmiersprachen und Grundlagen der Programmierung
Technical report AIB-2001-11, RWTH Aachen, Department of Computer Science, December 2001.
T. Illmannn, A. Martens, A. Seitz, M. Weber
Structure of Training Cases in Web-Based Case-Oriented Training Systems
Proceedings of the ICALT'01, Madison (USA), August 2001.
M. Luther
More On Implicit Syntax
Proceedings of IJCAR'01, LNAI 2083, pp. 386-400, 2001, Â© Springer-Verlag
A. Martens, J. Bernauer, T. Illmann, A. Seitz
Docs 'n Drugs - The Virtual Polyclinic. An Intelligent Tutoring System for Web-Based and Case-Oriented Training in Medicine
Proceedings of the AMIA' 01, Washington (USA), Nov 2001.
H. Pfeifer, F. von Henke
Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example
8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001)
Antibes Juan-les-Pins, France, October 15-18, 2001
B. Schattenberg, A.M. Uhrmacher
Planning Agents in James
Proceedings of the IEEE, Vol. 89, No. 2, 158-173, 2001.

2000

A. Dold
Formal Software Development using Generic Development Steps
PhD thesis, Universität Ulm, 2000.
A. Dold
Software Development in PVS using Generic Development Steps
In Generic Programming - International Seminar on Generic Programming
Schloss Dagstuhl, April 27 - May 1, 1998, Selected Papers.
Springer LNCS 1766, 2000.
T. Illmannn, A. Martens, A. Seitz, M. Weber
A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine
Proceedings of the 5th World Conference on Integrated Design & Process Technology, Dallas (USA), 2000.
T. Liebig, D. Finkenzeller, M. Luther
KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
10th European - Japanese Conference on Information Modelling and Knowledge Bases EJC 2000, SaariselkÃ¤, Finland, May 2000
A. Martens, J. Bernauer, T. Illmann, C. Scheuerer, A. Seitz
A Flexible Architecture for Constructing and Executing Tutoring Processes.
Proc. 45.Jahrestagung der Gmds, Hannover 2000, pp. 494-498.
A. Martens, T. Illmann, A. Seitz, C. Scheuerer, M. Weber, J. Bernauer
CSCW in webbasierten Lehrsystemen.
Proc. 5.Workshop der AG CBT in der Medizin der GMDS, KÃ¶ln, Mai 2000, pp. 90-95.
A.Martens, A.M. Uhrmacher
How to Execute a Tutoring Process
Artificial Intelligence, Simulation and Planning, Tucson 6-8.3.2000, SCS San Diego, 114-122.
H. Pfeifer
Formal Verification of the TTP Group Membership Algorithm
IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), FORTE/PSTV 2000, Pisa, Italy, October, 2000
A.M. Uhrmacher, B.Kullick
Plug and Test Software Agents in Virtual Environments
Wintersimulation Conference, Orlando 10-13.12.2000, Fl.
A.M. Uhrmacher, K.Gugler
Distributed, Parallel Simulation of Multiple, Deliberative Agents
Parallel and Distributed Simulation (Pads'2000), Bologna 28-31.5.2000, IEEE, Los Alamitos, 101-110.
A.M. Uhrmacher, A. Seitz:
Case-based Simulation of Ecological and Biological Systems.
Journal on Systems Analysis Modelling Simulation Vol. 39, No. 2, 2000, pp. 215-234.

1999

A.G. Bruzzone, A.M. Uhrmacher, E.H. Page (eds.)
1999 International Conference on Web-Based Modeling and Simulation.
SCS, Simulation Series, Vol. 31, No.3, San Diego, CA, 1999.
E. Canver
Model-Checking zur Analyse von Messages Sequence Charts Ã¼ber Statecharts
Ulmer Informatik Berichte UIB-99-04, 1999.
J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. W. von Henke
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
FTCS-29, Madison, Wisconsin, USA, June 15-18, 1999.
E. Canver, F.W. von Henke
Formal Development of Object-Based Systems in a Temporal Logic Setting
FMOODS'99, Florence, Italy, Feb. 15-18, 1999.
Axel Dold, Vincent Vialard
Formal Verification of a Compiler Back-end Generic Checker Program
Proc. of 3rd Int. Conference Perspectives of System Informatics (PSI'99) (LNCS 1755).
A. Dold
Formal Software Development using Generic Development Steps
Proc. of the 11th Nordic Workshop on Programming Theory
Uppsala, Sweden, October 6-8, 1999.
T. Illmann, M. Weber, A. Martens, A. Seitz
A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine
4th World Conference on Integrated Design & Process Technology '99, Kusadasi, Turkey.
Friedemann Kienzler
Synthese versus Analyse in modellbasierten KI-Planungssystemen?
DIAKON - ein auto-adaptiver diagnostischer LÃ¶sungsansatz fÃ¼r Aktionsplanungs- und Konfigurierungsprobleme
Ph.D.thesis, University of Ulm 1999
A. Martens, J. Bernauer, T. Illmann, C. Scheuerer, A. Seitz, M. Weber
Docs'n Drugs - Ein webbasiertes, multimediales Lehrsystem fÃ¼r die Medizin
4. Workshop der AG CBT in der Medizin der GMDS, Heidelberg, April 1999
A. Martens, J. Bernauer, A. Seitz, T. Illmann, C. Scheuerer
Docs 'n Drugs - A System for Case-Oriented and Web-based Training in Medicine
Proceedings of the AMIA'99, Washington DC (USA), 1999.
A. Martens, A.M. Uhrmacher
Modeling Tutoring as a Dynamic Process - A Discrete Event Simulation Approach.
In: Proc. European Simulation Multiconference ESM'99, Warsaw 1.-4.6.1999, SCS, Ghent.
H. Pfeifer, H. RueÃ
Polytypic Proof Construction
Proc. Intl. Conf. on Theorem Proving in Higher Order Logics, Sept. 1999
S. Pfab, H. RueÃ, S. Owre, F. von Henke,
Towards light-weight verification and heavy-weight testing
In Tool Support for System Specification, Development and Verification, R. Berghammer, Y. Lakhnech, eds., pp. 189-200, Springer-Verlag Wien, 1999.
H. Pfeifer, D. Schwier, F. W. von Henke
Formal Verification for Time-Triggered Clock Synchronization
Proc. Dependable Computing for Critical Applications (DCCA) 7
San Jose, CA, 6-8 Jan. 1999.
J. Rintanen
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research, 10, pages 323-352.
J. Rintanen
Improvements to the evaluation of quantified Boolean formulae
in Proceedings of the 16th International Joint Conference on Artificial Intelligence, Thomas Dean, ed., pages 1192-1197, August 1999, Morgan Kaufmann Publishers.
J. Rintanen and H. Jungholt
Numeric state variables in constraint-based planning
in Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, S. Biundo and M. Fox, ed., pages 109-121, Lecture Notes in Artificial Intelligence 1809, 2000. Springer-Verlag, Berlin, Germany.
C. Scheuerer, A. Martens, J. Bernauer, T. Illmann, A. Seitz, M. Weber
Docs 'n Drugs - a Web-Based and Case-Oriented Training System in Medicine
In: Proc. 44.Jahrestagung der Gmds, Heidelberg 1999.
A. Seitz:
A Case-Based Methodology for Planning Individualized Case Oriented Tutoring
In: Althoff, K.-D., Bergmann, R., Branting, L.K. (Eds.): Case-Based Reasoning Research and Development: Proceedings of the ICCBR '99, Seeon Monastery, Germany, 1999.
A. Seitz, A. Martens, J. Bernauer, C. Scheuerer, J. Thomsen
An Architecture for Intelligent Support of Authoring and Tutoring in Medical Multimedia Learning Environments
In: B. Collis and R. Oliver (eds.): Proceedings of ED-Media 99, pp 852-857, Charlottesville, USA, 1999, AACE.
A. Seitz, A.M. Uhrmacher, D. Damm
A Case-Based Prediction of Experimental Studies.
International Journal on Artificial Intelligence in Medicine, Vol. 15, 255-273, 1999.
Martin Strecker
Construction and Deduction in Type Theories
Ph.D. University of Ulm

1998

E. Canver
Formal Verification of a Coordinated Atomic Action Based Design
Technical Report UIB-98-05, Universität Ulm, Fakultät für Informatik, Mar. 1998
D. Damm, F.W. von Henke, A. Seitz, A.M. Uhrmacher, L. Claes, S. Wolf
Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung.
Technical Report UIB-98-01, Ulmer Informatik-Berichte, Universität Ulm, Fakultät für Informatik, Jan. 1998.
A. Dold, T. Gaul, W. Zimmermann
Mechanized Verification of Compiler Backends
Proc. of the Internat. Workshop on Software Tools for Technology Transfer (STTT'98),
Aalborg, Denmark, July 12-13, 1998.
A. Dold, T. Gaul, V. Vialard, W. Zimmermann
ASM-Based Mechanized Verification of Compiler Backends
Proc. 5th International Workshop on Abstract State Machines,
Magdeburg, Germany, September 21-22, 1998.
F. W. von Henke, S. Pfab, H. Pfeifer, H. Rueß
Case Studies in Meta-Level Theorem Proving
Proc. Intl. Conf. on Theorem Proving in Higher Order Logics
Springer LNCS, Vol. 1479, pp. 461-478, Sept. 1998
M. Luther, M. Strecker
A guided tour through Typelab
Technical Report UIB-98-03, Universität Ulm, Fakultät für Informatik, Jan. 1998
H. Pfeifer, H. RueÃ
Polytypic Abstraction in Type Theory
Informal Proc. of Workshop on Generic Programming (WGP'98). Marstrand, Sweden, 18 June 1998.
J. Rintanen
Lexicographic priorities in default logic
Artificial Intelligence Journal, 106(2), pages 221-265.
J. Rintanen
Complexity of prioritized default logics
Journal of Artificial Intelligence Research, 9, pages 423-461.
J. Rintanen
A planning algorithm not based on directional search
In: A. G. Cohn, L. K. Schubert, and S. C. Shapiro, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 617-624, Morgan Kaufmann Publishers, San Francisco, California.
D. Schwier, F.W. von Henke
Mechanical Verification of Clock Synchronization Algorithms
Proc. FTRTFT'98, 5th Intl. Symp. Formal Techniques in Real-Time Fault-Tolerant Systems
Springer LNCS 1486, pp. 262--271, Sept. 1998
A. Seitz, A.M. Uhrmacher,
The Treatment of Time in A Case-Based Analysis of Experimental Medical Studies.
In: Proc. KI-98 Advances in Artificial Intelligenc, LNAI 1504, Springer, Berlin, 213-224, 1998.
M. Strecker, M. Luther, F. W. von Henke
Interactive and automated proof construction in type theory
In: Automated Deduction - A Basis for Applications, W. Bibel und P. Schmitt, Kluwer Academic Publishers, 1998.
Volume I: Foundations, Chapter 3: Interactive Theorem Proving.
A.M. Uhrmacher, B. Schattenberg,
Agents in Discrete Event Simulation
In: Proc. of the ESS'98, October 26-28, Nottingham, SCS Publications, Ghent, 129-136, 1998.
A.M.Uhrmacher, P.Tyschler, D.Tyschler
Modeling Mobile Agents.
International Conference on Web-based Modeling and Simulation. Part of the 1998 SCS Western Multiconference on Computer Simulation. 15-20, 1998.
A.M. Uhrmacher, A. Seitz
Fallbasierte Simulation ökologischer und biologischer Systeme.
8th Workshop, AK5, GI-Fachgruppe 4.5.9/4.6.3: Werkzeuge für die Simulation und Modellierung in Umweltanwendungen. Metropolis Verlag, 102-118, 1998.

1997

E. Canver, J. Gayen, A. Moik
Formale Spezifikation von Steuerungssoftware am Beispiel einer Weiche
atp -- Automatisierungstechnische Praxis, 5(39), pp. 57-64, May 1997
D. Cyrluk, O. Möller, H. Rueß
An Efficient Decision Procedure for the Theory of Fixed-Sized Bitvectors
CAV'97.
A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
Formal Verification of Transformations for Peephole Optimization
Proc. of FME'97, Springer LNCS 1313, pp. 459 - 472, September 1997
M. Strecker, M. Luther, F.W. von Henke
Typelab: An Environment for Modular Program Development
Proc. of TAPSOFT'97, Springer LNCS 1214, pp. 851-854, 1997
M. Strecker, M. Sorea
Integrating an Equality Prover into a Software Development System based on Type Theory
Proc. of KI'97, Springer LNAI 1303, pp. 147-158, 1997
A.M. Uhrmacher
Concepts of Object- and Agent-Oriented Simulation.
Transactions on SCS, Vol. 14. No. 2, 59-67, 1997.
A.M. Uhrmacher, F.E. Cellier, R.J. Frye
Applying Fuzzy-Based Inductive Reasoning to Analyze Qualitatively the Dynamic Behavior of an Ecological System.
In: AI Applications, Vol. 11(2), 1-10, 1997.

1996

F.W. von Henke, M. Luther, H. Pfeifer, H. Rueß, D. Schwier, M. Strecker, M. Wagner
The Typelab Specification and Verification Environment
Proc. of AMAST'96, Springer LNCS 1101, pp. 604-607, Munich, 1996
H. Rueß
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study
Proc. of FMCAD'96, Springer LNCS 1166, pp. 79-93, Palo Alto, CA, Nov. 1996
H. Rueß, N. Shankar, and M. Srivas
Modular Verification of SRT Division
Proc. of CAV'96, Springer LNCS 1102, pp. 123-134, New Brunswick, NJ, July 1996
A. Seitz, A.M. Uhrmacher
Cases vs. Model-Based Knowledge - An Application in the Area of Bone Healing.
In: H.-D. Burkhard, M. Lenz (Eds.): Proceedings of the 4th German Workshop on Case-Based Reasoning. Informatik-Berichte der Humboldt-Universität Berlin, Berlin, 1996.
M. Strecker, M. Luther, M. Wagner
Structuring and Using a Knowledge Base of Mathematical Concepts: A Type-Theoretic Approach
Proc. of ECAI'96, pp. 23-26, 1996
A.M. Uhrmacher and B.P. Zeigler
Variable Structure Modelling in Object-Oriented Simulation
International Journal on General Systems, Vol. 24(4), 359-375, 1996.
A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
Generic Compilation Schemes for Simple Programming Constructs
Technical report UIB 96-12, Universität Ulm, Fakultät für Informatik, Dec. 1996
H. Pfeifer, A. Dold, F. W. v. Henke, and H. Rueß
Mechanized Semantics of Imperative Programming Constructs
Technical report UIB 96-11, Universität Ulm, Fakultät für Informatik, Dec. 1996
F. Bartels, A. Dold, F. W. v. Henke, H. Pfeifer, and H. Rueß
Formalizing Fixed-Point Theory in PVS
Technical report UIB 96-10, Universität Ulm, Fakultät für Informatik, Dec. 1996
D. Cyrluk, O. Möller, H. Rueß
An Efficient Decision Procedure for a Theory of Fixed-Sized Bitvectors with Composition and Extraction
Technical report UIB-96-8, Universität Ulm, Fakultät für Informatik, Dec. 1996
E. Canver, J. Gayen, A. Moik
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Technical report UIB-96-1, Universität Ulm, Fakultät für Informatik, Feb. 1996
A.M. Uhrmacher
Object-Oriented and Agent-Oriented Simulation - Implications for Social Science Applications.
In: J. Doran, N. Gilbert, U.Mueller, K.G. Troitzsch (eds.): Social Science Micro Simulation - A Challenge for Computer Science. Springer Lecture Notes in Economics and Mathematical Systems, Berlin, 432-447, 1996.
W. Goerigk, A. Dold, Th. Gaul, G. Goos, A. Heberle, F.W. von Henke, U. Hoffmann, H. Langmaack, H. Pfeifer, H. Rueß, and W. Zimmermann.
Compiler Correctness and Implementation Verification: The Verifix Approach.
In P. Fritzson (ed.) Proceedings of the Poster Session of CC '96 - International Conference on Compiler Construction, IDA Technical Report LiTH-IDA-R-96-12, Linkøping University, Sweden, April 1996.
A.M. Uhrmacher
Concepts of Object- and Agent-Oriented Simulation
Workshop on Multiagent Systems and Simulation MASSIM'96, Ulm, 5.-6.3.1996, ASIM Mitteilungen, Heft 53, 1-8, 1996.
A.M. Uhrmacher
Variable Structure Modelling - Discrete Events in Simulation
Proc. of the 6th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems. California, San Diego, March 1996, IEEE-Press, 133-140, 1996.

1995

A. Dold
Representing, Verifying and Applying Software Development Steps using the PVS System
Proc. of AMAST'95, Springer LNCS 936, pp. 431-445, Montreal, 1995
A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
A Generic Specification for Verifying Peephole Optimizations
Technical report UIB 95-14, Universität Ulm, Fakultät für Informatik.
F.W. von Henke, A. Dold , H. Rueß, D. Schwier, and M. Strecker
Construction and Deduction Methods for the Formal Development of Software
in KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Springer LNCS 1009, 1995.
H. RueÃ, H. Pfeifer, F.W. von Henke
Formalization and Reasoning in a Reflective Architecture
Proc. of the IJCAI 1995 Workshop on Reflection and Meta Level Architecture and their Application in AI Montreal, Canada, August 1995
Harald Ruess
Formal Meta-Programming in the Calculus of Constructions
Ph.D.thesis, University of Ulm 1995
A.M. Uhrmacher
Reasoning about Changing Structure, A Modelling Concept for Ecological Systems
Applied Artificial Intelligence, 1995, 9(2),157-180.
A.M. Uhrmacher
Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2.
Technical Report LSA-95-01, Informatik Berichte der Universität Kaiserslautern, Kaiserslautern, 1995, 95-104.
C. Willy, A.M. Uhrmacher, J. Schröder, H. Gerngross
Leucozyte-Endothelium Interaction in Traumatology - A Knowledge-Based Systems Approach
EFFORD Congress, Munich, Poster, Juli 1995.

1994

A. Dold
Formalisierung schematischer Algorithmen
Technical report UIB 94-10, Universität Ulm, Fakultät für Informatik, Jan. 1994.
F.W. von Henke, A. Dold , H. Rueß, D. Schwier, and M. Strecker
Construction and Deduction Methods for the Formal Development of Software
Technical report UIB 94-09, Universität Ulm, Fakultät für Informatik.
A.M. Uhrmacher, R. Arnold
Distributing and Maintaining Knowledge - Agents in Variable Structure Environments
Proc. of the 5th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems. Florida, Gainesville, December, IEEE-Press, San Diego, 1994, 178-184.
A.M. Uhrmacher
Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2
GI-Fachgruppe Maschinelles Lernen, Informatik Berichte der Universität Kaiserslautern, 1994, 95-104.

1993

Förster, Kejwal, Baur, Göhner, Cleve, Drexler, Hutter, Sengler, Siekmann, Stephan, Wolpers, Reif, Canver, von Henke
Verification Support Environment (VSE)
Proc. of 3. Deutscher IT-Sicherheitskongress des BSI, 1993
A.M. Uhrmacher
Variable Structure Models: Autonomy and Control - Answers from Two Different Modeling Approaches
Proc. of the 4th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems. Arizona, Tucson, September, IEEE-Press, San Diego, 1993, 133-142.

1992

Baur, Plasa, Kejwal, Drexler, Reif, Stephan, Wolpers, Hutter, Sengler, Canver
The Verification Support Environment VSE
Proc. of IFA Symposium on Safety, Security and Reliability of Computers, 1992
A.M. Uhrmacher
EMSY - An Extended Modelling System
In: E.N. Houstis, J.R. Rice (eds.): AI, Expert Systems, and Symbolic Computing for Scientific Computation. North Holland, Amsterdam, 1992.
A.M. Uhrmacher
Qualitative and Quantitative Simulation - Some Comparative Aspects
F. Faulbaum (ed.): SoftStat'91. Advances in Statistical Software. Gustav Fischer Stuttgart, 1992, 343-352.

Sorted By Project

DeVa: Design for Validation
GUARDS: Generic Upgradable Architecture for Realtime Dependable Systems
James: Agent-Oriented Simulation
KORSO: Construction of Correct Software
Next-TTA: High-Confidence Architecture for Distributed Control Applications
Oases: Cases-Based Simulation
PVS related (PVS @ Ulm)
SafeRail
SFB 527, subproject D1: Knowledge Representation for Autonomous Systems
SFB 527, subproject D2: Task Planning for Autonomous Systems
TTA: Time-Triggered Architecture
Typelab
Verifix: Verified Compilers
VSE: Verification Support Environment

Dept. of AI Homepage

Help

Mail to Webmaster

B.Schattenberg - updated: Dec 11, 2007