Informatik (15 757 Artikel)

The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, n...

Time and Petri Nets

Time and Petri Nets

This book is the result of the International Workshop on Time, Mind, and Behavior, which was held at the University of Groningen in September 1984. The aim of the workshop was to produce an up to d...

The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the rele...

This book is Open Access under a CC BY licence.

Invited Talk.- Hardware Verification: Techniques, Methodology and Solutions.- Parameterized Systems.- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.- G...

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009...

Invited Talks.- Embedded Systems Design -- Scientific Challenges and Work Directions.- Antichain Algorithms for Finite Automata.- Probabilistic Systems and Optimization.- Assume-Guarantee Verificat...

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Confe...

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April...

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7 Com...