Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / [electronic resource] :
edited by Abhik Roychoudhury, Meenakshi D'Souza.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
- 1 online resource (XII, 259 p. 74 ill.)
- Lecture Notes in Computer Science, 7521 0302-9743 ; .
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.