The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ATVA"( http://dblp.L3S.de/Venues/ATVA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/atva

Publication years (Num. hits)
2004 (46) 2005 (37) 2006 (39) 2007 (41) 2008 (37) 2009 (30) 2010 (34) 2011 (42) 2012 (33) 2013 (46) 2014 (30) 2015 (36) 2016 (33) 2017 (31) 2018 (36)
Publication types (Num. hits)
inproceedings(536) proceedings(15)
Venues (Conferences, Journals, ...)
ATVA(551)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 39 keywords

Results
Found 551 publication records. Showing 551 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel Optimal Proofs for Linear Temporal Logic on Lasso Words. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anthony W. Lin, Rupak Majumdar Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zixin Huang, Zhenbang Wang, Sasa Misailovic PSense: Automatic Sensitivity Analysis for Probabilistic Programs. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuting Chen, Carlo A. Furia Robustness Testing of Intermediate Verifiers. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller Neural State Classification for Hybrid Systems. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julian Gutierrez 0001, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge EVE: A Tool for Temporal Equilibrium Analysis. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder Round-Bounded Control of Parameterized Systems. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Keerthi Adabala, Rüdiger Ehlers A Fragment of Linear Temporal Logic for Universal Very Weak Automata. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Christopher Hahn, Tobias Hans MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Mouhammad Sakr A Symbolic Algorithm for Lazy Synthesis of Eager Strategies. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Sharon Shoham, Yakir Vizel Quantifiers on Demand. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Tobias Meggendorfer, Salomon Sickert Owl: A Library for ω-Words, Automata, and LTL. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue Formal Specification for Deep Neural Networks. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carsten Gerstacker, Felix Klein 0001, Bernd Finkbeiner Bounded Synthesis of Reactive Programs. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernard Boigelot, Isabelle Mainz Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff A Formally Verified Motion Planner for Autonomous Vehicles. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu Maximum Realizability for Linear Temporal Logic Specifications. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric Verifying Rust Programs with SMACK. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shuvendu K. Lahiri, Chao Wang 0001 (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jaroslav Bendík, Ivana Cerná, Nikola Benes Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dmitry Chistikov, Andrzej S. Murawski, David Purser Bisimilarity Distances for Approximate Differential Privacy. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem Bounded Synthesis of Register Transducers. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu Synthesis in pMDPs: A Tale of 1001 Parameters. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pushpak Jagtap, Sadegh Soudjani, Majid Zamani Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dan Rasin, Orna Grumberg, Sharon Shoham Modular Verification of Concurrent Programs via Sequential Model Checking. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi Signal Convolution Logic. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood Information Leakage in Arbiter Protocols. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Ernst Moritz Hahn, Sven Schewe Accelerated Model Checking of Parametric Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Kretínský Continuous-Time Markov Decisions Based on Partial Exploration. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar Simulation Algorithms for Symbolic Automata. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi 0001 The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas Compositional Safety Refutation Techniques. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Boris Köpf, Pedro Valero 0001 A Language-Theoretic View on Network Protocols. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ankush Das, Akash Lal Precise Null Pointer Analysis Through Global Value Numbering. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal SamaTulyata: An Efficient Path Based Equivalence Checking Tool. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabrizio Biondi, Yusuke Kawamoto 0001, Axel Legay, Louis-Marie Traonouez HyLeak: Hybrid Analysis Tool for Information Leakage. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcio Diaz, Tayssir Touili Dealing with Priorities and Locks for Concurrent Programs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rüdiger Ehlers Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steven de Oliveira, Saddek Bensalem, Virgile Prevosto Synthesizing Invariants by Solving Solvable Loops. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Pierre Ganty, Peter J. Stuckey Fixing the State Budget: Approximation of Regular Languages with Small DFAs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still Model Checking of C and C++ with DIVINE 4. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Deepak D'Souza, K. Narayan Kumar (eds.) Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammad Torabi Dashti, David A. Basin Tests and Refutation. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu Attacking the V: On the Resiliency of Adaptive-Horizon MPC. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham Lifting CDCL to Template-Based Abstract Domains for Program Verification. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Georg Nührenberg, Harald Ruess Maximum Resilience of Artificial Neural Networks. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar An Equivalence Checking Framework for Array-Intensive Programs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller Loop Quasi-Invariant Chunk Detection. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis JTDec: A Tool for Tree Decompositions in Soot. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yijun Feng, Lijun Zhang 0001, David N. Jansen, Naijun Zhan, Bican Xia Finding Polynomial Loop Invariants for Probabilistic Programs. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Helmut Seidl, Ralf Vogler Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura Liquid Types for Array Invariant Synthesis. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh Knowledge Transfer and Information Leakage in Protocols. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar Concurrent Program Verification with Invariant-Guided Underapproximation. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák Synthesis of Optimal Resilient Control Strategies. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Pablo Gordillo May-Happen-in-Parallel Analysis with Returned Futures. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Tobias Meggendorfer Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antonio Anastasio Bruto da Costa, Pallab Dasgupta ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Hazem Torfah The Density of Linear-Time Properties. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nuno Macedo, Alcino Cunha, Eduardo Pessoa Exploiting Partial Knowledge for Efficient Model Analysis. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Masahiro Fujita Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Cadek, Jan Strejcek, Marek Trtík Tighter Loop Bound Analysis. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich Greener Bits: Formal Analysis of Demand Response. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp J. Meyer, Michael Luttenberger Solving Mean-Payoff Games on the GPU. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet Synchronous Products of Rewrite Systems. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Antonín Kucera 0001, Petr Novotný 0001 Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Salomon Sickert, Jan Kretínský MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Denis Kuperberg, Julien Brunel, David Chemouil On Finite Domains in First-Order Linear Temporal Logic. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Iosif, Arnaud Sangnier How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property? Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jinru Hua, Sarfraz Khurshid A Sketching-Based Approach for Debugging Using Test Cases. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xin Li, Naoki Kobayashi 0001 Equivalence-Based Abstraction Refinement for \mu HORS Model Checking. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King 0001 A Decision Procedure for Separation Logic in SMT. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri Efficient Verification of Program Fragments: Eager POR. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid Certified Symbolic Execution. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet Solving Language Equations Using Flanked Automata. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hendrik Roehm, Jens Oehlerking, Thomas Heinz 0001, Matthias Althoff STL Model Checking of Continuous and Hybrid Systems. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Skolem Functions for DQBF. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shoham Ben-David, Marsha Chechik, Sebastián Uchitel Observational Refinement and Merge for Disjunctive MTSs. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Deininger, Rayna Dimitrova, Rupak Majumdar Symbolic Model Checking for Factored Probabilistic Models. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Hazem Torfah Synthesizing Skeletons for Reactive Systems. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol Partial-Order Reduction for GPU Model Checking. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Milan Ceska Jr., Marta Kwiatkowska Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault Heuristics for Checking Liveness Properties with Partial Order Reductions. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steven de Oliveira, Saddek Bensalem, Virgile Prevosto Polynomial Invariants by Linear Algebra. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina Clause Sharing and Partitioning for Cloud-Based SMT Solving. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Romain Brenguier, Vojtech Forejt Decidability Results for Multi-objective Stochastic Games. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Axel Legay, Doron Peled (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Helmut Seidl, Christian Müller 0008 Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 551 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license