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) 2019 (32)
Publication types (Num. hits)
inproceedings(567) proceedings(16)
Venues (Conferences, Journals, ...)
ATVA(583)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 39 keywords

Results
Found 583 publication records. Showing 583 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rüdiger Ehlers, Keerthi Adabala Reactive Synthesis of Graphical User Interface Glue Code. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan Deciding Fast Termination for Probabilistic VASS with Nondeterminism. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Bernd Finkbeiner Program Repair for Hyperproperties. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Swen Jacobs, Yakir Vizel Efficient Information-Flow Verification Under Speculative Execution. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hoang M. Le KLUZZER: Whitebox Fuzzing on Top of LLVM. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis Can We Trust Autonomous Systems? Boundaries and Risks. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Alexander Manta, Tobias Meggendorfer Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Thomas Lemberger 0002 Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer A Note on Game Theory and Verification. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos DEQ: Equivalence Checker for Deterministic Register Automata. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah Approximate Automata for Omega-Regular Languages. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck Lazy Abstraction-Based Controller Synthesis. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Kölbl, Stefan Leue An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne André, Jun Sun 0001 Parametric Timed Model Checking for Guaranteeing Timed Opacity. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Marijn J. H. Heule, Armin Biere Truth Assignments as Conditional Autarkies. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hussein Sibai, Navid Mokhlesi, Sayan Mitra Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jip Spel, Sebastian Junges, Joost-Pieter Katoen Are Parametric Markov Chains Monotonic? Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Laura Kovács, Miroslav Stankovic Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku Chain-Free String Constraints. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog Model Checking Data Flows in Concurrent Network Updates. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001, Shengchao Qin Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anastasiia Izycheva, Eva Darulova, Helmut Seidl Synthesizing Efficient Low-Precision Kernels. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel Multi-head Monitoring of Metric Temporal Logic. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christof Löding, Anton Pirogov New Optimizations and Heuristics for Determinization of Büchi Automata. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jesko Hecking-Harbusch, Niklas O. Metzger Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joshua Schneider 0001, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel Adaptive Online First-Order Monitoring. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pavel Parízek BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein 0001, David Müller 0001, Jan Strejcek Generic Emptiness Check for Fun and Profit. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
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 0001, 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
Displaying result #1 - #100 of 583 (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