Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing - ICTAC 2012

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Abhik Roychoudhury

    1. National University of Singapore, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Meenakshi D’Souza

    1. International Institute of Information Technology, Bangalore, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: ICTAC 2012.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  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. Using Semantics Specified in Maude to Generate Test Cases

    • Adrián Riesco
    Pages 90-104

  9. 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

  10. Modal Process Rewrite Systems

    • Nikola Beneš, Jan Křetínský
    Pages 120-135

  11. S-Narrowing for Constructor Systems

    • Adrián Riesco, Juan Rodríguez-Hortalá
    Pages 136-150

  12. Data Privacy Using MASKETEERTM

    • Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas
    Pages 151-158

  13. A Conformance Checker Tool CSPConCheck

    • Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos
    Pages 159-163

  14. SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage

    • S. Raviram, P. Peranandam, M. Satpathy, S. Ramesh
    Pages 164-167

  15. Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols

    • David M. Williams, Joeri de Ruiter, Wan Fokkink
    Pages 168-182

  16. Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling

    • Kenro Yatake, Toshiaki Aoki
    Pages 183-197

  17. A Cure for Stuttering Parity Games

    • Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse
    Pages 198-212

  18. Ensuring Reachability by Design

    • Benoît Caillaud, Jean-Baptiste Raclet
    Pages 213-227

  19. Approximate Verification and Enumeration Problems

    • Sylvain Peyronnet, Michel De Rougemont, Yann Strozecki
    Pages 228-242

  20. Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems

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

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2012

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation