default search action

combined dblp search
author search
venue search
publication search

ask others

10th ATVA 2012: Thiruvananthapuram, India

> 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/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2012
Supratik Chakraborty, Madhavan Mukund:
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Lecture Notes in Computer Science 7561, Springer 2012, ISBN 978-3-642-33385-9

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/atva/ZhangMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ZhangMM12
Shuyuan Zhang, Sharad Malik, Rick McGeer:
Verification of Computer Switching Networks: An Overview. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/atva/PalaniappanT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/PalaniappanT12
Sucheendra K. Palaniappan, P. S. Thiagarajan:
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. 17-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/atva/Podelski12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Podelski12
Andreas Podelski:
Interpolant Automata - (Invited Talk). 26

Automata Theory

- view
  authority control:
- export record
  dblp key:
  - conf/atva/HalamishK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HalamishK12
Shulamit Halamish, Orna Kupferman:
Approximating Deterministic Lattice Automata. 27-41
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ScheweV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ScheweV12
Sven Schewe, Thomas Varghese:
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. 42-56
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CasselJHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CasselJHS12
Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen:
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. 57-71
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GaiserKE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GaiserKE12
Andreas Gaiser, Jan Kretínský, Javier Esparza:
Rabinizer: Small Deterministic Automata for LTL(F, G). 72-76

Logics and Proofs

- view
  authority control:
- export record
  dblp key:
  - conf/atva/PandyaS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/PandyaS12
Paritosh K. Pandya, Simoni S. Shah:
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. 77-91
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DonzeMBNGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DonzeMBNGS12
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka:
On Temporal Logic and Signal Processing. 92-106
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Gupta12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Gupta12
Ashutosh Gupta:
Improved Single Pass Algorithms for Resolution Proof Reduction. 107-121

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/atva/GrumbergKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GrumbergKS12
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
Model Checking Systems and Specifications with Parameterized Atomic Propositions. 122-136
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SassiTDG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SassiTDG12
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard:
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. 137-151
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AtigBKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AtigBKS12
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. 152-166

Software Verification

- view
  authority control:
- export record
  dblp key:
  - conf/atva/BouajjaniDES12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BouajjaniDES12
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu:
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. 167-182
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Furia12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Furia12
Carlo A. Furia:
A Verifier for Functional Properties of Sequence-Manipulating Programs. 183-186
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HojjatIKKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HojjatIKKR12
Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer:
Accelerating Interpolants. 187-202
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SeryFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SeryFS12
Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. 203-207

Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/atva/FearnleyPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FearnleyPS12
John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of Succinct Systems. 208-222
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BulychevCDLRR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BulychevCDLRR12
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Controllers with Minimal Observation Power (Application to Timed Systems). 223-237
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GudemannSO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GudemannSO12
Matthias Güdemann, Gwen Salaün, Meriem Ouederni:
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. 238-253

Verification and Parallelism

- view
  authority control:
- export record
  dblp key:
  - conf/atva/Schwartz-NarbonneWM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Schwartz-NarbonneWM12
Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik:
Parallel Assertions for Architectures with Weak Memory Models. 254-268
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EvangelistaLPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EvangelistaLPP12
Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol:
Improved Multi-Core Nested Depth-First Search. 269-283
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SaadDB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SaadDB12
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu:
An Experiment on Parallel Model Checking of a CTL Fragment. 284-299

Probabilistic Verification

- view
  authority control:
- export record
  dblp key:
  - conf/atva/FioritiHHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FioritiHHW12
Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter:
Variable Probabilistic Abstraction Refinement. 300-316
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ForejtKP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ForejtKP12
Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. 317-332
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GiroR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GiroR12
Sergio Giro, Markus N. Rabe:
Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. 333-348
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JansenAVWKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JansenAVWKB12
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. 349-353

Constraint Solving and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/atva/Neider12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Neider12
Daniel Neider:
Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. 354-369
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BeckerELM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BeckerELM12
Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin:
ALLQBF Solving by Computational Learning. 370-384

Probabilistic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/atva/ChatterjeeCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ChatterjeeCM12
Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar:
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. 385-399
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BolligGMZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BolligGMZ12
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun:
A Probabilistic Kleene Theorem. 400-415
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SoudjaniA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SoudjaniA12
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Higher-Order Approximations for Verification of Stochastic Hybrid Systems. 416-434

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.