![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
9th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.