Skip to main content
  • Conference proceedings
  • © 2012

Theoretical Aspects of Computing - ICTAC 2012

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

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ICTAC: International Colloquium on Theoretical Aspects of Computing

Conference proceedings info: ICTAC 2012.

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (19 papers)

  1. Front Matter

  2. Symbolically Bounding the Drift in Time-Constrained MSC Graphs

    • S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
    Pages 1-15
  3. A Compositional Hierarchical Monitoring Automaton Construction for LTL

    • Deepak D’Souza, Raj Mohan Matteplackel
    Pages 16-29
  4. How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata

    • César Sánchez, Julian Samborski-Forlese
    Pages 30-45
  5. Correctness of Object Oriented Models by Extended Type Inference

    • Simon Foster, Ondřej Rypáček, Georg Struth
    Pages 46-60
  6. Non-termination Sets of Simple Linear Loops

    • Liyun Dai, Bican Xia
    Pages 61-73
  7. Definite Expression Aliasing Analysis for Java Bytecode

    • Đurica Nikolić, Fausto Spoto
    Pages 74-89
  8. A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation

    • Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
    Pages 105-119
  9. Modal Process Rewrite Systems

    • Nikola Beneš, Jan Křetínský
    Pages 120-135
  10. S-Narrowing for Constructor Systems

    • Adrián Riesco, Juan Rodríguez-Hortalá
    Pages 136-150
  11. Data Privacy Using MASKETEERTM

    • Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas
    Pages 151-158
  12. A Conformance Checker Tool CSPConCheck

    • Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
    Pages 159-163
  13. SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage

    • S. Raviram, P. Peranandam, M. Satpathy, S. Ramesh
    Pages 164-167
  14. Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols

    • David M. Williams, Joeri de Ruiter, Wan Fokkink
    Pages 168-182
  15. A Cure for Stuttering Parity Games

    • Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
    Pages 198-212
  16. Ensuring Reachability by Design

    • Benoît Caillaud, Jean-Baptiste Raclet
    Pages 213-227
  17. Approximate Verification and Enumeration Problems

    • Sylvain Peyronnet, Michel De Rougemont, Yann Strozecki
    Pages 228-242
  18. Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems

    • Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
    Pages 243-258

Other Volumes

  1. Theoretical Aspects of Computing – ICTAC 2012

About this book

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.

Editors and Affiliations

  • National University of Singapore, Singapore, Singapore

    Abhik Roychoudhury

  • International Institute of Information Technology, Bangalore, India

    Meenakshi D’Souza

Bibliographic Information

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access