Wolfgang Küchlin

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010

2009

Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.

[BibT_eX]

[DOI]

Hendrik Post

Softw. Test. Verification Reliab., 2009

2008

SANchk: SQL-based SAN configuration checking.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2008

Towards SLA-based optimal workload distribution in SANs.

[BibT_eX]

[DOI]

Eray Gençay

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

2007

SANchk: An SQL-Based Validation System for SAN Confiuration.

[BibT_eX]

[DOI]

Eray Gençay

Thorsten Schäfer

Proceedings of the Integrated Network Management, 2007

Integrated Static Analysis for Linux Device Driver Verification.

[BibT_eX]

[DOI]

Hendrik Post

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Checking Consistency and Completeness of On-Line Product Manuals.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Automatic data environment construction for static device drivers analysis.

[BibT_eX]

[DOI]

Hendrik Post

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

2005

MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften.

[BibT_eX]

[DOI]

Michael Grossmann

Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

ZetaSAT - Boolean SATisfiability solving on Desktop Grids.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Canonical Hardware Representation Using Gröbner Bases.

[BibT_eX]

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

Einführung in die Informatik - objektorientiert mit Java, 3. überarbeitete Auflage.

[BibT_eX]

[DOI]

eXamen.press, Springer, ISBN: 978-3-540-20958-4, 2005

2004

Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Mobile Agents: A Construction Kit for Mobile Device Applications.

[BibT_eX]

Proceedings of the International Conference on Internet Computing, 2004

Mathematik für Informatik und BioInformatik.

[BibT_eX]

[DOI]

Manfred P. H. Wolff

Peter Hauck

Springer, ISBN: 978-3-540-20521-0, 2004

2003

Parallel propositional satisfiability checking with distributed dynamic learning.

[BibT_eX]

[DOI]

Parallel Comput., 2003

Formal methods for the validation of automotive product configuration data.

[BibT_eX]

[DOI]

Andreas Kaiser

Artif. Intell. Eng. Des. Anal. Manuf., 2003

Verifying CIM Models of Apache Web-Server Configurations.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

A Universal Parallel SAT Checking Kernel.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

The Design of an API for Strict Multithreading in C++.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Einführung in die Informatik - objektorientiert mit Java, 2. Auflage.

[BibT_eX]

Springer-Lehrbuch, Springer, ISBN: 978-3-540-43608-9, 2003

2002

Detection of dynamic execution errors in IBM system automation's rule-based expert system.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information.

[BibT_eX]

[DOI]

Frank Nestel

Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Maintenance of Distributed Systems with Mobile Agents.

[BibT_eX]

[DOI]

Michael Friedrich

Gerd Nusser

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Living Documents - Micro Servers for Documents.

[BibT_eX]

[DOI]

Proceedings of the XML-Based Data Management and Multimedia Engineering, 2002

2001

PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2001

Combining Parallel and Distributed Search in Automated Equational Deduction.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2001

The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

Automotive Product Documentation.

[BibT_eX]

[DOI]

Andreas Kaiser

Proceedings of the Engineering of Intelligent Systems, 2001

Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection.

[BibT_eX]

[DOI]

Dieter Bühler

Proceedings of the Engineering of Intelligent Systems, 2001

Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.

[BibT_eX]

[DOI]

Andreas Kaiser

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Deploying Distributed State Information in Mobile Agent Systems.

[BibT_eX]

[DOI]

Michael Friedrich

Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager.

[BibT_eX]

[DOI]

Thomas Lumpp

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Proving Consistency Assertions for Automotive Product Data Management.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

A Lightweight, Message-Oriented Application Server for the WWW.

[BibT_eX]

[DOI]

Stefan Müller

Proceedings of the Applied Computing 2000, 2000

A Service-Based Agent Framework for Distributed Symbolic Computation.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

Einführung in die Informatik - objektorientiert mit Java.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-540-67384-2, 2000

1999

Extending a Java Based Framework for Scientific Software-Components.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999

1998

Parallel Computer Algebra Software as a Web Component.

[BibT_eX]

[DOI]

Bernhard Eggers

Concurr. Pract. Exp., 1998

The Distributed Object-Oriented Threads System DOTS.

[BibT_eX]

[DOI]

Proceedings of the Solving Irregularly Structured Problems in Parallel, 1998

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip

[BibT_eX]

[DOI]

Alfons Geser

Proceedings of the Applied Formal Methods, 1998

1997

On the Walk.

[BibT_eX]

[DOI]

Beatrice Amrhein

Oliver Gloor

Theor. Comput. Sci., 1997

HighRobot: a high-performance universal robot control on parallel workstations.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

HighRobot: Distributed Objekt-Oriented Real-Time Systems.

[BibT_eX]

Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997

1996

Strategy Compliant Multi-Threaded Term Completion.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

A Case Study of Multi-Threaded Gröbner Basis Completion.

[BibT_eX]

[DOI]

Beatrice Amrhein

Oliver Gloor

Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996

Verification of the Sparrow Processor.

[BibT_eX]

[DOI]

Werner Lauterbach

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Walking Faster.

[BibT_eX]

[DOI]

Beatrice Amrhein

Oliver Gloor

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Parallel ReDuX -> PaReDuX.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance.

[BibT_eX]

[DOI]

Till Bubeck

Wolfgang Rosenstiel

Proceedings of the Languages, 1995

Distributed Symbolic Computation with DTS.

[BibT_eX]

[DOI]

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

1994

Multi-Threaded AC Term Rewriting.

[BibT_eX]

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

A Fine-Grained Parallel Completion Procedure.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1992

Experiments with Virtual C Threads.

[BibT_eX]

[DOI]

Jeffrey A. Ward

Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

1991

On multi-threaded list-processing and garbage collection.

[BibT_eX]

[DOI]

Nicholas J. Nevin

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

A space-efficient parallel garbage compaction algorithm.

[BibT_eX]

[DOI]

Proceedings of the 5th international conference on Supercomputing, 1991

On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991

Integer Multiplication in PARSAC-2 on Stock Microprocessors.

[BibT_eX]

[DOI]

David Raymond Lutz

Nicholas J. Nevin

Proceedings of the Applied Algebra, 1991

1990

The S-Threads Environment for Parallel Symbolic Computation.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra and Parallelism, 1990

Parallel Real Root Isolation Using the Coefficient Sign Variation Method.

[BibT_eX]

[DOI]

George E. Collins

Jeremy R. Johnson

Proceedings of the Computer Algebra and Parallelism, 1990

PARSAC-2: A Parallel SAC-2 Based on Threads.

[BibT_eX]

[DOI]

Proceedings of the Applied Algebra, 1990

1989

Computing Ground Reducability and Inductively Complete Positions.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1987

Public key encryption.

[BibT_eX]

[DOI]

SIGSAM Bull., 1987

1986

Equational completion by poof transformation.

[BibT_eX]

[DOI]

PhD thesis, 1986

1985

A Confluence Criterion Based on the Generalised Neman Lemma.

[BibT_eX]

[DOI]

Proceedings of the EUROCAL '85, 1985

1982

Some reduction strategies for algebraic term rewriting.

[BibT_eX]

[DOI]

SIGSAM Bull., 1982

A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm.

[BibT_eX]

[DOI]