| 2012 | SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. | Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh |
| 2012 | Approximate Verification and Enumeration Problems. | Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki |
| 2012 | Definite Expression Aliasing Analysis for Java Bytecode. | Durica Nikolic, Fausto Spoto |
| 2012 | Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2012 | Data Privacy Using MASKETEERTM. | Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas |
| 2012 | Correctness of Object Oriented Models by Extended Type Inference. | Simon Foster, Ondrej Rypacek, Georg Struth |
| 2012 | A Compositional Hierarchical Monitoring Automaton Construction for LTL. | Deepak D'Souza, Raj Mohan Matteplackel |
| 2012 | Non-termination Sets of Simple Linear Loops. | Liyun Dai, Bican Xia |
| 2012 | A Cure for Stuttering Parity Games. | Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2012 | Ensuring Reachability by Design. | Benot Caillaud, Jean-Baptiste Raclet |
| 2012 | Modal Process Rewrite Systems. | Nikola Benes, Jan Kretnsk |
| 2012 | Symbolically Bounding the Drift in Time-Constrained MSC Graphs. | S. Akshay, Blaise Genest, Loc Hlout, Shaofa Yang |
| 2011 | Infinitely Often Testing - (Extended Abstract). | Willem Visser |
| 2011 | Formal Verification of a Lock-Free Stack with Hazard Pointers. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | Emulating Primality with Multiset Representations of Natural Numbers. | Paul Tarau |
| 2011 | The Use of Mathematics in Software Development - (Extended Abstract). | David Lorge Parnas |
| 2011 | A Framework for Instantiating Pedagogic mLearning Objects Applications. | Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide |
| 2011 | Computing Preconditions and Postconditions of While Loops. | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaes, Ali Mili |
| 2011 | Virtual Time and Timeout in Client-Server Networks - (Extended Abstract). | Jayadev Misra |
| 2011 | Ambiguity of Unary Symmetric Difference NFAs. | Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys |
| 2011 | WP Semantics and Behavioral Subtyping. | Yijing Liu, Zongyan Qiu, Quan Long |
| 2011 | Modal Interface Theories for Communication-Safe Component Assemblies. | Rolf Hennicker, Alexander Knapp |
| 2011 | Intersection Types for the Resource Control Lambda Calculi. | Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec |
| 2011 | Energy Games in Multiweighted Automata. | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jir Srba |
| 2011 | On the Complexity of Szilard Languages of Regulated Grammars. | Liliana Cojocaru, Erkki Mkinen |