Modern applications of automata theory /
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To th...
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore ; Hackensack :
World Scientific,
©2012.
|
| Series: | IISc research monographs series ;
2. |
| Subjects: | |
| Online Access: | CONNECT |
Table of Contents:
- pt. I. Basic chapters. 1. An introduction to finite automata and their connection to logic / Howard Straubing and Pascal Weil. 2. Finite-state automata on infinite inputs / Madhavan Mukund. 3. Basics on tree automata / Christof Loding. 4. An introduction to timed automata / Paritosh K. Pandya and P. Vijay Suman
- pt. II. Verification. 5. A language-theoretic view of verification / Kamal Lodaya. 6. A framework for decentralized physical access control using finite state automata / Namit Chaturvedi, Atish Datta Chowdhury and B. Meenakshi. 7. Reasoning about heap manipulating programs using automata techniques / Supratik Chakraborty. 8. Chop expressions and discrete duration calculus / S. Ajesh Babu and Paritosh K. Pandya. 9. Automata on distributed alphabets / Madhavan Mukund. 10. The theory of message sequence charts / K. Narayan Kumar. 11. Type checking of tree walking transducers / Sebastian Maneth, Sylvia Friese and Helmut Seidl. 12. Three case studies on verification of infinite-state systems / Javier Esparza and Jorg Kreiker. 13. Introduction to hybrid automata / Madhu Gopinathan and Pavithra Prabhakar. 14. The discrete time behavior of restricted linear hybrid automata / Manindra Agrawal [and others]
- pt. III. Automata and logic. 15. Specification and verification using temporal logics / Stephane Demri and Paul Gastin. 16. Finite automata and the analysis of infinite transition systems / Wolfgang Thomas. 17. Automata over infinite alpahabets / Amaldev Manuel and R. Ramanujam. 18. Automata and logics over signals / Fabrice Chevalier [and others]
- pt. IV. Compression. 19. Syntax directed compression of trees using pushdown automata / Priti Shankar. 20. Weighted finite automata and digital images / Kamala Krithivasan and Y. Sivasubramanyam.
