Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ATVA 2010: Singapore
- Ahmed Bouajjani, Wei-Ngan Chin:
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Lecture Notes in Computer Science 6252, Springer 2010, ISBN 978-3-642-15642-7
Invited Talks
- Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. 1-16 - Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa:
Abstraction Learning. 17 - Igor Walukiewicz:
Synthesis: Words and Traces. 18-21
Regular Papers
- Shaull Almagor
, Yoram Hirshfeld, Orna Kupferman:
Promptness in omega-Regular Automata. 22-36 - Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier:
Using Redundant Constraints for Refinement. 37-51 - Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. 52-66 - Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski:
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. 67-81 - Franck Cassez:
The Complexity of Codiagnosability for Discrete Event and Timed Systems. 82-96 - Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla:
On Scenario Synchronization. 97-111 - Emmanuel Filiot, Naiyong Jin, Jean-François Raskin:
Compositional Algorithms for LTL Synthesis. 112-127 - Carlo A. Furia:
What's Decidable about Sequences? 128-142 - Guy Edward Gallasch, Jonathan Billington:
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. 143-157 - Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin:
Lattice-Valued Binary Decision Diagrams. 158-172 - Cristian Gherghina, Cristina David:
A Specification Logic for Exceptions and Beyond. 173-187 - Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. 188-202 - Atul Gupta:
An Approach for Class Testing from Class Contracts. 203-217 - Frédéric Herbreteau, B. Srivathsan:
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. 218-232 - Alexei Lisitsa:
Reachability as Derivability, Finite Countermodels and Verification. 233-244 - Kamal Lodaya, A. V. Sreejith:
LTL Can Be More Succinct. 245-258 - Yoshiaki Takata, Hiroyuki Seki:
Automatic Generation of History-Based Access Control from Information Flow Specification. 259-275 - Teng Long, Wenhui Zhang:
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. 276-290 - Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux:
Symbolic Unfolding of Parametric Stopwatch Petri Nets. 291-305 - Ashutosh Trivedi, Dominik Wojtczak:
Recursive Timed Automata. 306-324 - Dana N. Xu, Gregor Gößler, Alain Girault:
Probabilistic Contracts for Component-Based Design. 325-340
Tool Papers
- María Alpuente, Demis Ballis, Javier Espert, Daniel Romero:
Model-Checking Web Applications with Web-TLR. 341-346 - Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll:
GAVS: Game Arena Visualization and Synthesis. 347-352 - Mohamed Elwakil, Zijiang Yang, Liqiang Wang:
CRI: Symbolic Debugger for MCAPI Applications. 353-358 - Gal Katz, Doron A. Peled:
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. 359-364 - Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. 365-370 - Yang Liu, Jun Sun, Jin Song Dong:
Developing Model Checkers Using PAT. 371-377 - Ukachukwu Ndukwu, A. K. McIver:
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. 378-386 - An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui:
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. 387-395 - Marc Solé, Josep Carmona:
Rbminer: A Tool for Discovering Petri Nets from Transition Systems. 396-402
a service of 
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 2024-04-18 20:18 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
