| 2012 | A Compositional Hierarchical Monitoring Automaton Construction for LTL. Deepak D'Souza, Raj Mohan Matteplackel |
| 2012 | A Conformance Checker Tool CSPConCheck. Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos |
| 2012 | A Cure for Stuttering Parity Games. Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2012 | A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
| 2012 | Approximate Verification and Enumeration Problems. Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki |
| 2012 | Correctness of Object Oriented Models by Extended Type Inference. Simon Foster, Ondrej Rypacek, Georg Struth |
| 2012 | Data Privacy Using MASKETEERTM. Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas |
| 2012 | Definite Expression Aliasing Analysis for Java Bytecode. Durica Nikolic, Fausto Spoto |
| 2012 | Ensuring Reachability by Design. Benoît Caillaud, Jean-Baptiste Raclet |
| 2012 | How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. César Sánchez, Julián Samborski-Forlese |
| 2012 | Modal Process Rewrite Systems. Nikola Benes, Jan Kretínský |
| 2012 | Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. Kenro Yatake, Toshiaki Aoki |
| 2012 | Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. David M. Williams, Joeri de Ruiter, Wan J. Fokkink |
| 2012 | Non-termination Sets of Simple Linear Loops. Liyun Dai, Bican Xia |
| 2012 | S-Narrowing for Constructor Systems. Adrián Riesco, Juan Rodríguez-Hortalá |
| 2012 | SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh |
| 2012 | Symbolically Bounding the Drift in Time-Constrained MSC Graphs. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang |
| 2012 | Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings Abhik Roychoudhury, Meenakshi D'Souza |
| 2012 | Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2012 | Using Semantics Specified in Maude to Generate Test Cases. Adrián Riesco |