default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ICTAC 2012: Bangalore, India
- Abhik Roychoudhury, Meenakshi D'Souza:
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Lecture Notes in Computer Science 7521, Springer 2012, ISBN 978-3-642-32942-5 - S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang:
Symbolically Bounding the Drift in Time-Constrained MSC Graphs. 1-15 - Deepak D'Souza, Raj Mohan Matteplackel:
A Compositional Hierarchical Monitoring Automaton Construction for LTL. 16-29 - César Sánchez
, Julián Samborski-Forlese:
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. 30-45 - Simon Foster, Ondrej Rypacek, Georg Struth:
Correctness of Object Oriented Models by Extended Type Inference. 46-60 - Liyun Dai, Bican Xia:
Non-termination Sets of Simple Linear Loops. 61-73 - Durica Nikolic, Fausto Spoto:
Definite Expression Aliasing Analysis for Java Bytecode. 74-89 - Adrián Riesco:
Using Semantics Specified in Maude to Generate Test Cases. 90-104 - Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. 105-119 - Nikola Benes, Jan Kretínský:
Modal Process Rewrite Systems. 120-135 - Adrián Riesco, Juan Rodríguez-Hortalá:
S-Narrowing for Constructor Systems. 136-150 - Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas:
Data Privacy Using MASKETEERTM. 151-158 - Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos:
A Conformance Checker Tool CSPConCheck. 159-163 - Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh:
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. 164-167 - David M. Williams, Joeri de Ruiter, Wan J. Fokkink:
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. 168-182 - Kenro Yatake, Toshiaki Aoki:
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. 183-197 - Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse:
A Cure for Stuttering Parity Games. 198-212 - Benoît Caillaud, Jean-Baptiste Raclet:
Ensuring Reachability by Design. 213-227 - Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki:
Approximate Verification and Enumeration Problems. 228-242 - Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. 243-258
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-15 00:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
