The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CAV (1)"( http://dblp.L3S.de/Venues/CAV_(1) )

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

Publication years (Num. hits)
2015 (45) 2016 (30) 2017 (30) 2018 (40) 2019 (38)
Publication types (Num. hits)
inproceedings(178) proceedings(5)
Venues (Conferences, Journals, ...)
CAV (1)(183)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 183 publication records. Showing 183 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik Membership-Based Synthesis of Linear Hybrid Automata. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta Quantified Invariants via Syntax-Guided Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Kölbl, Stefan Leue, Thomas Wies Clock Bound Repair for Timed Systems. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva 0001 Symbolic Register Automata. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, Anthony Vandikas Automated Hypersafety Verification. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Moshe Y. Vardi Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi 0001 Quantitative Mitigation of Timing Side Channels. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel Property Directed Self Composition. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup Verifying Hyperliveness. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis Automated Synthesis of Secure Platform Mappings. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma 0001 Overfitting in Synthesis: Theory and Practice. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Masaki Waga, Étienne André, Ichiro Hasuo Symbolic Monitoring Against Specifications Parametric in Time and Data. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Serdar Tasiran (eds.) Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng 0001, Zhen Zhang 0006 STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Gastin, Sayan Mukherjee 0002, B. Srivathsan Fast Algorithms for Handling Diagonal Constraints in Timed Automata. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mitesh Jain, Panagiotis Manolios Local and Compositional Reasoning for Optimized Reactive Systems. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samuel Drews, Aws Albarghouthi, Loris D'Antoni Efficient Synthesis with Probabilistic Constraints. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger Run-Time Optimization for Learned Controllers Through Quantitative Games. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah Synthesizing Approximate Implementations for Unrealizable Specifications. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps Proving Unrealizability for Syntax-Guided Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue 0001 Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahmoud Elfar, Yu Wang 0044, Miroslav Pajic Security-Aware Synthesis Using Delayed-Action Games. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor Roussanaly, Ocan Sankur, Nicolas Markey Abstraction Refinement Algorithms for Timed Automata. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu 0001, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett The Marabou Framework for Verification and Analysis of Deep Neural Networks. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eric S. Kim, Murat Arcak, Sanjit A. Seshia Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Julien Lange, Nobuko Yoshida Verifying Asynchronous Interactions via Communicating Session Automata. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito Temporal Stream Logic: Synthesis Beyond the Bools. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, Jan Kretínský Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Jan Kretínský, Maximilian Weininger PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup Synthesizing Reactive Systems from Hyperproperties. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp J. Meyer, Salomon Sickert, Michael Luttenberger Strix: Explicit Reactive Synthesis Strikes Back! Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Christopher Hahn, Hazem Torfah Model Checking Quantitative Hyperproperties. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia Semantic Adversarial Deep Learning. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar Synthesis of Asynchronous Reactive Programs from Temporal Specifications. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah What's Hard About Boolean Functional Synthesis? Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ilya Grishchenko, Matteo Maffei, Clara Schneidewind Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Georg Weissenbacher (eds.) Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel J. Fremont, Sanjit A. Seshia Reactive Control Improvisation. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan 0001 Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lauren Pick, Grigory Fedyukovich, Aarti Gupta Exploiting Synchrony and Symmetry in Relational Verification. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qinheping Hu, Loris D'Antoni Syntax-Guided Synthesis with Quantitative Syntactic Objectives. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax Peregrine: A Tool for the Analysis of Population Protocols. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan Monitoring CTMCs by Multi-clock Timed Automata. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Weichao Zhou, Wenchao Li Safety-Aware Apprenticeship Learning. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan Learning Abstractions for Program Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard Kragl, Shaz Qadeer Layered Concurrent Programs. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere Btor2 , BtorMC and Boolector 3.0. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar ADAC: Automated Design of Approximate Circuits. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kenneth L. McMillan Eager Abstraction for Symbolic Model Checking. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Justin Hsu Constraint-Based Synthesis of Coupling Proofs. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hui Kong, Ezio Bartocci, Thomas A. Henzinger Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Emmi, Constantin Enea Monitoring Weak Consistency. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gagandeep Singh, Markus Püschel, Martin T. Vechev Fast Numerical Program Analysis with Reinforcement Learning. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eran Yahav From Programs to Interpretable Deep Models and Back. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1George Argyros, Loris D'Antoni The Learnability of Symbolic Automata. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck A Counting Semantics for Monitoring LTL Specifications over Finite Traces. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen Counterexample Guided Inductive Synthesis Modulo Theories. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Joost-Pieter Katoen Sound Value Iteration. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Eilers, Peter Müller 0001 Nagini: A Static Verifier for Python. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anna Becchi, Enea Zaffanella A Direct Encoding for NNC Polyhedra. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Yueling Zhang, Aarti Gupta Syntax-Guided Termination Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qiyi Tang, Franck van Breugel Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Byron Cook Formal Reasoning About the Security of Amazon Web Services. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger Space-Time Interpolants. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuki Satake, Hiroshi Unno 0001 Propositional Dynamic Logic for Higher-Order Functional Programs. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu Safety Verification of Deep Neural Networks. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia Logical Clustering and Learning for Time-Series Data. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hendrik Roehm, Thomas Heinz 0001, Eva Charlotte Mayer STLInspector: STL Validation with Guarantees. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Margus Veanes The Power of Symbolic Automata and Transducers. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Joachim Klein 0001, Linda Leuschner, David Parker 0001, Sascha Wunderlich Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan 0001 DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu 0001, Aniket Murhekar Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Viktor Kuncak (eds.) Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Viktor Vafeiadis Program Verification Under Weak Memory Consistency Using Separation Logic. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stanley Bak, Parasara Sridhar Duggirala Simulation-Equivalent Reachability of Large Linear Systems with Inputs. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David A. Basin, Felix Klaedtke, Eugen Zalinescu Runtime Verification of Temporal Properties over Out-of-Order Data Streams. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik Maximum Satisfiability in Software Analysis: Applications and Techniques. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson Starling: Lightweight Concurrency Verification with Views. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey Context-Sensitive Dynamic Partial Order Reduction. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege MightyL: A Compositional Translation from MITL to Timed Automata. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dogan Ulus Montre: A Tool for Monitoring Timed Regular Expressions. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Loris D'Antoni, Samuel Drews Repairing Decision-Making Programs Under Uncertainty. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu Runtime Monitoring with Recovery of the SENT Communication Protocol. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anton Wijs, Thomas Neele Compositional Model Checking with Incremental Counter-Example Construction. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer Value Iteration for Long-Run Average Reward in Markov Decision Processes. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu Lagrangian Reachabililty. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavol Bielik, Veselin Raychev, Martin T. Vechev Learning a Static Analyzer from Data. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 183 (100 per page; Change: )
Pages: [1][2][>>]
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