Theoretical Aspects of Computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D'Souza.

Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata -- Correctness of Object Oriented Models by Extended Type Inference -- Non-termination Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using Semantics Specified in Maude to Generate Test Cases -- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation -- Modal Process Rewrite Systems -- S-Narrowing for Constructor Systems -- Data Privacy Using MASKETEERTM -- For Industry Day A Conformance Checker Tool CSPConCheck -- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage -- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols -- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling -- A Cure for Stuttering Parity Games -- Ensuring Reachability by Design -- Approximate Verification and Enumeration Problems -- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.