Holger Hermanns's Books

Interactive Markov Chains

The Quest for Quantified Quality

By: Holger Hermanns

Write a review Read reviews Take a Quiz Solve Book Puzzle

Interactive Markov Chains

The Quest for Quantified Quality

By: Holger Hermanns

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains. Based on principles known from process algebra, the author systematically develops an algebra of interactive Markov chains. By presenting a number of distinguishing results, of both theoretical and practical nature, the author substantiates the claim that interactive Markov chains are more than just another formalism: Among other, an algebraic theory of interactive Markov chains is developed, devise algorithms to mechanize compositional aggregation are presented, and state spaces of several million states resulting from the study of an ordinary telefone system are analyzed.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

223

Publisher

Springer

Published Date

ISBN 10

3540458042

ISBN 13

9783540458043

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

By: Holger Hermanns

Write a review Read reviews Take a Quiz Solve Book Puzzle

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

By: Holger Hermanns

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

519

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540330569

ISBN 13

9783540330561

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

By: Stefan Neumann,Holger Giese

Write a review Read reviews Take a Quiz Solve Book Puzzle

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

By: Stefan Neumann,Holger Giese

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869562269

ISBN 13

9783869562261

Interactive Markov Chains

The Quest for Quantified Quality

By: Holger Hermanns

Write a review Read reviews Take a Quiz Solve Book Puzzle

Interactive Markov Chains

The Quest for Quantified Quality

By: Holger Hermanns

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

223

Publisher

Springer

Published Date

ISBN 10

3540458042

ISBN 13

9783540458043

Interactive Markov Chains

The Quest for Quantified Quality

By: Holger Hermanns

Write a review Read reviews Take a Quiz Solve Book Puzzle

Interactive Markov Chains

The Quest for Quantified Quality

By: Holger Hermanns

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

217

Publisher

Springer

Published Date

ISBN 10

3540442618

ISBN 13

9783540442615

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

By: Holger Hermanns

Write a review Read reviews Take a Quiz Solve Book Puzzle

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

By: Holger Hermanns

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

519

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540330569

ISBN 13

9783540330561

Lectures on Formal Methods and Performance Analysis

First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

By: Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Lectures on Formal Methods and Performance Analysis

First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

By: Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen

Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis. The 11 chapters in this book present the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540424792

ISBN 13

9783540424796

Process Algebra and Probabilistic Methods. Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

By: Holger Hermanns,Roberto Segala

Write a review Read reviews Take a Quiz Solve Book Puzzle

Process Algebra and Probabilistic Methods. Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

By: Holger Hermanns,Roberto Segala

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

232

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540439137

ISBN 13

9783540439134

Book's by Holger Hermanns

Interactive Markov Chains

Interactive Markov Chains

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

Interactive Markov Chains

Interactive Markov Chains

Interactive Markov Chains

Interactive Markov Chains

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Process Algebra and Probabilistic Methods. Performance Modeling and Verification

Process Algebra and Probabilistic Methods. Performance Modeling and Verification

Username

Password

Username

Password

Password again

Birthday

Email