Thomas A. Henzinger's Books

Hybrid Systems III

Verification and Control

By: Rajeev Alur,Thomas A. Henzinger,Eduardo D. Sontag

Write a review Read reviews Take a Quiz Solve Book Puzzle

Hybrid Systems III

Verification and Control

By: Rajeev Alur,Thomas A. Henzinger,Eduardo D. Sontag

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

636

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354061155X

ISBN 13

9783540611554

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

By: Thomas Ball

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

By: Thomas Ball

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

577

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354037406X

ISBN 13

9783540374060

Model Checking Software

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

By: Thomas Ball

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model Checking Software

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

By: Thomas Ball

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

252

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540401172

ISBN 13

9783540401179

STACS 2007

24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

By: Wolfgang Thomas

Write a review Read reviews Take a Quiz Solve Book Puzzle

STACS 2007

24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

By: Wolfgang Thomas

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

723

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540709177

ISBN 13

9783540709176

Book's by Thomas A. Henzinger

Hybrid Systems III

Hybrid Systems III

Computer Aided Verification

Computer Aided Verification

Model Checking Software

Model Checking Software

STACS 2007

STACS 2007

Username

Password

Username

Password

Password again

Birthday

Email