Discussions - comp.doc.techreports

	AIB 2009-18: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies
	The following technical report is available from [link] Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies Paul Hänsch, Michaela Slaats, Wolfgang Thomas AIB 2009-18 Given a set $P$ of natural numbers, we consider infinite games where the winning condition is a regular $\omega$-language parametrized by... more » By Carsten Fuhs - Sep 24 - 1 new of 1 message

	AIB 2009-17: Learning Communicating and Nondeterministic Automata
	The following technical report is available from [link] Learning Communicating and Nondeterministic Automata Carsten Kern AIB 2009-17 The results of this dissertation are two-fold. On the one hand, inductive learning techniques are extended and two new inference algorithms for inferring nondeterministic, and universal,... more » By Carsten Fuhs - Sep 24 - 1 new of 1 message

	AIB 2009-16: Vertex Splitting and the Recognition of Trapezoid Graphs
	The following technical report is available from [link] Vertex Splitting and the Recognition of Trapezoid Graphs George B. Mertzios, Derek G. Corneil AIB 2009-16 Trapezoid graphs are the intersection family of trapezoids where every trapezoid has a pair of opposite sides lying on two parallel lines.... more » By Carsten Fuhs - Sep 24 - 1 new of 1 message

	AIB 2009-02: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
	The following technical report is available from [link] Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre AIB 2009-02 We study the following problem: given a continuous-time Markov... more » By Carsten Fuhs - Sep 9 - 1 new of 1 message

	AIB 2008-19: Empirical Studies for the Application of Agile Methods to Embedded Systems
	The following technical report is available from [link] Empirical Studies for the Application of Agile Methods to Embedded Systems Dirk Wilking AIB 2008-19 Agile Methods are a collection of software engineering techniques with specific differences to traditional software engineering processes.... more » By Carsten Fuhs - Jul 6 - 1 new of 1 message

	AIB 2009-15: Compositional Abstraction for Stochastic Systems
	The following technical report is available from [link] Compositional Abstraction for Stochastic Systems Joost-Pieter Katoen, Daniel Klink, Martin Neuhäußer AIB 2009-15 We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive... more » By Carsten Fuhs - Jun 26 - 1 new of 1 message

	AIB 2009-14: Doctoral Symposium on Systems Software Verification (DS SSV'09)
	The following technical report is available from [link] Doctoral Symposium on Systems Software Verification (DS SSV'09) Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) AIB 2009-14 This report contains the proceedings of the Doctoral Symposium on Systems Software Verification (DS SSV'09), which was held during the... more » By Carsten Fuhs - Jun 23 - 1 new of 1 message

AIB 2009-13: Time-optimal Winning Strategies for Poset Games

The following technical report is available from [link] Time-optimal Winning Strategies for Poset Games Martin Zimmermann AIB 2009-13 We introduce a novel winning condition for infinite two-player games on graphs which extends the request-response condition and better matches concrete applications in scheduling or project planning. In... more »

By Carsten Fuhs - May 28 - 1 new of 1 message

	AIB 2009-10: Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm
	The following technical report is available from [link] Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm Felix Reidl, Fernando Sánchez Villaamil AIB 2009-10 Kneis, Langer and Rossmanith presented a new exact algorithm for the... more » By Carsten Fuhs - May 18 - 1 new of 1 message

	AIB 2009-09: Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem
	The following technical report is available from [link] Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem Michael Nett AIB 2009-09 Kneis, Langer, and Rossmanith proposed an algorithm that solves the maximum independent set problem for graphs with $n$ vertices in... more » By Carsten Fuhs - May 18 - 1 new of 1 message