Katalog der Deutschen Nationalbibliothek

"Eine virtuelle Maschine für Graphprogramme" : Bericht

"Graph programs for graph algorithms" : Bericht

Algorithms of computing the deadlock markings sets for Petri nets

An algorithmic framework for checking coverability in well-structured transition systems

Berge graphs

Bestimmung symbolischer Laufzeiten in eingebetteten Echtzeitsystemen

Characterisation of the state spaces of marked graph Petri nets

Characterising Petri net solvable binary words

Cliques in graphs of type WORDS

Combination of processes, data, and time

Connectedness based hierarchical decomposition of undirected graphs

Dienste intelligenter Netze : graphentheoretische Methoden in der Kontrollflussanalyse

Discrete time stochastic Petri box calculus

E-Book soft skills 2008 : von Informatikerinnen und Informatikern des Modul soft skills ; Bericht

Ein System zur Transformation von Konsistenz- in Anwendungsbedingungen

Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC

Equivalences for modular performance analysis in dtsPBC

Flowerfree finding of maximum matchings

Full-output siphons and deadlock freeness for free choice Petri nets

General graphs

GraJ : a system for executing graph programs in Java

Graph theoretical methods in the control flow analysis of object oriented real time software

Graphentheoretische Methoden in der Ablaufanalyse Objekt-orientierter Anwendungen

Integralrechnung

Investigating equivalence relations in dtsPBC

Knuth graphs

Live sequence charts : a graphical formalism for the specification of communication behavior

Matching equivalences on higher dimensional automata models

On depth and breadth in the π-calculus

On periodic graphs

Persistent systems with unique minimal cyclic parikh vectors

Playing with Knuth's words.dat

Reducing complexity for the verification of STATEMATE designs : Dissertation

RunSort : ein stabiler, sicherer und ordnungsverträglicher Sortieralgorithmus

Semitraps and deadlock freeness for reduced asymmetric choice nets

Separability in persistent petri nets : Bericht

Similarity, logic, and games : bridging modeling layers of hybrid systems

Slicing integrated formal specifications for verification

Solving consensus using structural failure models

Some considerations on the foundation of NP-completeness theory

Some evidence on the consistency of categorical semantics for timed interleaving behaviors

Specification and verification of mobile real-time systems

Standards für die medizinische Kommunikation und Dokumentation

Structural stationarity in the π-calculus

Summierbare Familien

The power of prime cycles and distance paths

Time, abstraction and heuristics : automatic verification and planning of timed systems using abstraction and heuristics

Timed transition systems with independence and marked Scott domains : an adjunction

Transformation of Edmonds' maximum matching algorithm into a graph program

Trustworthy software systems : a discussion of basic concepts and terminology

Type checking C++ template instantiation by graph programs : (long version) ; Bericht

Verification architectures for complex real-time systems

Vertex coloring the complements of Knuth graphs

Weakest preconditions for high-level programs

Zwei-Jahresbericht des Departments für Informatik

2002/04

Zwei-Jahresbericht des Departments für Informatik

2004/06

Zwei-Jahresbericht des Departments für Informatik

2006/08

Zwei-Jahresbericht des Departments für Informatik

2008/10