© 2012

Theoretical Aspects of Computing – ICTAC 2012

9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

  • Abhik Roychoudhury
  • Meenakshi D’Souza
Conference proceedings ICTAC 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7521)

Table of contents

  1. Front Matter
  2. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
    Pages 1-15
  3. Deepak D’Souza, Raj Mohan Matteplackel
    Pages 16-29
  4. César Sánchez, Julian Samborski-Forlese
    Pages 30-45
  5. Simon Foster, Ondřej Rypáček, Georg Struth
    Pages 46-60
  6. Liyun Dai, Bican Xia
    Pages 61-73
  7. Đurica Nikolić, Fausto Spoto
    Pages 74-89
  8. Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
    Pages 105-119
  9. Nikola Beneš, Jan Křetínský
    Pages 120-135
  10. Adrián Riesco, Juan Rodríguez-Hortalá
    Pages 136-150
  11. Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas
    Pages 151-158
  12. Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
    Pages 159-163
  13. S. Raviram, P. Peranandam, M. Satpathy, S. Ramesh
    Pages 164-167
  14. David M. Williams, Joeri de Ruiter, Wan Fokkink
    Pages 168-182
  15. Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
    Pages 198-212
  16. Benoît Caillaud, Jean-Baptiste Raclet
    Pages 213-227
  17. Sylvain Peyronnet, Michel De Rougemont, Yann Strozecki
    Pages 228-242
  18. Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
    Pages 243-258

About these proceedings


This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.


automata automated verification formal methods model checking semantics

Editors and affiliations

  • Abhik Roychoudhury
    • 1
  • Meenakshi D’Souza
    • 2
  1. 1.National University of SingaporeSingaporeSingapore
  2. 2.International Institute of Information TechnologyBangaloreIndia

Bibliographic information

Industry Sectors
IT & Software