Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th ATVA 2017: Pune, India
- Deepak D'Souza, K. Narayan Kumar:
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. Lecture Notes in Computer Science 10482, Springer 2017, ISBN 978-3-319-68166-5
Invited Talk
- Helmut Seidl, Ralf Vogler:
Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. 3-22
Program Analysis
- Ankush Das, Akash Lal:
Precise Null Pointer Analysis Through Global Value Numbering. 25-41 - Elvira Albert, Samir Genaim
, Pablo Gordillo:
May-Happen-in-Parallel Analysis with Returned Futures. 42-58 - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis:
JTDec: A Tool for Tree Decompositions in Soot. 59-66 - Graeme Gange, Pierre Ganty, Peter J. Stuckey:
Fixing the State Budget: Approximation of Regular Languages with Small DFAs. 67-83 - Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
An Equivalence Checking Framework for Array-Intensive Programs. 84-90 - Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller:
Loop Quasi-Invariant Chunk Detection. 91-108 - Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal:
SamaTulyata: An Efficient Path Based Equivalence Checking Tool. 109-116
Model Checking and Temporal Logics
- Mohammad Torabi Dashti, David A. Basin:
Tests and Refutation. 119-138 - Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-Time Properties. 139-155 - Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
HyLeak: Hybrid Analysis Tool for Information Leakage. 156-163 - Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas:
Compositional Safety Refutation Techniques. 164-183 - Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. 184-200 - Zuzana 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. 201-207 - Marcio Diaz, Tayssir Touili:
Dealing with Priorities and Locks for Concurrent Programs. 208-224 - Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh:
Knowledge Transfer and Information Leakage in Protocols. 225-240 - Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar:
Concurrent Program Verification with Invariant-Guided Underapproximation. 241-248
Neural Networks
- Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:
Maximum Resilience of Artificial Neural Networks. 251-268 - Rüdiger Ehlers:
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. 269-286
Learning and Invariant Synthesis
- Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura:
Liquid Types for Array Invariant Synthesis. 289-306 - Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham:
Lifting CDCL to Template-Based Abstract Domains for Program Verification. 307-326 - Steven de Oliveira, Saddek Bensalem, Virgile Prevosto:
Synthesizing Invariants by Solving Solvable Loops. 327-343 - Nuno Macedo, Alcino Cunha, Eduardo Pessoa:
Exploiting Partial Knowledge for Efficient Model Analysis. 344-362 - Pierre Ganty, Boris Köpf, Pedro Valero:
A Language-Theoretic View on Network Protocols. 363-379 - Jan Kretínský, Tobias Meggendorfer:
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. 380-399 - Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding Polynomial Loop Invariants for Probabilistic Programs. 400-416 - Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Synthesis of Optimal Resilient Control Strategies. 417-434
Hybrid Systems and Control
- Antonio Anastasio Bruto da Costa, Pallab Dasgupta:
ForFET: A Formal Feature Evaluation Tool for Hybrid Systems. 437-445 - Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. 446-462 - Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. 463-479
a service of 
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.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
