default search action

combined dblp search
author search
venue search
publication search

ask others

8th ATVA 2010: Singapore

> Home > Conferences and Workshops > ATVA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/atva/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2010
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

- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChatterjeeH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChatterjeeH10
Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. 1-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/atva/JaffarNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JaffarNS10
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa:
Abstraction Learning. 17
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Walukiewicz10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Walukiewicz10
Igor Walukiewicz:
Synthesis: Words and Traces. 18-21

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/atva/AlmagorHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AlmagorHK10
Shaull Almagor, Yoram Hirshfeld, Orna Kupferman:
Promptness in omega-Regular Automata. 22-36
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AsarinDMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AsarinDMT10
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier:
Using Redundant Constraints for Refinement. 37-51
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BensalemBGPQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BensalemBGPQ10
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. 52-66
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BogomolovMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BogomolovMP10
Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski:
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. 67-81
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Cassez10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Cassez10
Franck Cassez:
The Complexity of Codiagnosability for Discrete Event and Timed Systems. 82-96
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DangTG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DangTG10
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla:
On Scenario Synchronization. 97-111
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FiliotJR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FiliotJR10
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin:
Compositional Algorithms for LTL Synthesis. 112-127
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Furia10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Furia10
Carlo A. Furia:
What's Decidable about Sequences? 128-142
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GallaschB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GallaschB10
Guy Edward Gallasch, Jonathan Billington:
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. 143-157
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GeeraertsKGMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GeeraertsKGMR10
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin:
Lattice-Valued Binary Decision Diagrams. 158-172
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GherghinaD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GherghinaD10
Cristian Gherghina, Cristina David:
A Specification Logic for Exceptions and Beyond. 173-187
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GuptaPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GuptaPR10
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. 188-202
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Gupta10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Gupta10
Atul Gupta:
An Approach for Class Testing from Class Contracts. 203-217
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HerbreteauS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HerbreteauS10
Frédéric Herbreteau, B. Srivathsan:
Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. 218-232
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Lisitsa10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Lisitsa10
Alexei Lisitsa:
Reachability as Derivability, Finite Countermodels and Verification. 233-244
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LodayaS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LodayaS10
Kamal Lodaya, A. V. Sreejith:
LTL Can Be More Succinct. 245-258
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TakataS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TakataS10
Yoshiaki Takata, Hiroyuki Seki:
Automatic Generation of History-Based Access Control from Information Flow Specification. 259-275
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LongZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LongZ10
Teng Long, Wenhui Zhang:
Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. 276-290
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TraonouezGJLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TraonouezGJLR10
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux:
Symbolic Unfolding of Parametric Stopwatch Petri Nets. 291-305
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TrivediW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TrivediW10
Ashutosh Trivedi, Dominik Wojtczak:
Recursive Timed Automata. 306-324
- view
  authority control:
- export record
  dblp key:
  - conf/atva/XuGG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/XuGG10
Dana N. Xu, Gregor Gößler, Alain Girault:
Probabilistic Contracts for Component-Based Design. 325-340

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/atva/AlpuenteBER10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AlpuenteBER10
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero:
Model-Checking Web Applications with Web-TLR. 341-346
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChengBLK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChengBLK10
Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll:
GAVS: Game Arena Visualization and Synthesis. 347-352
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ElwakilYW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ElwakilYW10
Mohamed Elwakil, Zijiang Yang, Liqiang Wang:
CRI: Symbolic Debugger for MCAPI Applications. 353-358
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KatzP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KatzP10
Gal Katz, Doron A. Peled:
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. 359-364
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DavidLLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DavidLLNW10
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
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LiuSD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LiuSD10
Yang Liu, Jun Sun, Jin Song Dong:
Developing Model Checkers Using PAT. 371-377
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NdukwuM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NdukwuM10
Ukachukwu Ndukwu, A. K. McIver:
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. 378-386
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NguyenQNB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NguyenQNB10
An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui:
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. 387-395
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SoleC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SoleC10
Marc Solé, Josep Carmona:
Rbminer: A Tool for Discovering Petri Nets from Transition Systems. 396-402

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.