TY  - BOOK
AU  - Roychoudhury,Abhik
AU  - D'Souza,Meenakshi
TI  - Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings 
SN  - 9783642329432
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-32943-2
ER  -