{"id":185,"date":"2018-06-27T19:37:22","date_gmt":"2018-06-27T19:37:22","guid":{"rendered":"http:\/\/atva-conference.org\/?page_id=185"},"modified":"2018-06-27T19:37:22","modified_gmt":"2018-06-27T19:37:22","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2018\/call-for-papers\/accepted-papers\/","title":{"rendered":"Accepted Papers"},"content":{"rendered":"
    \n
  1. Optimal Proofs for Linear Temporal Logic on Lasso Words<\/strong>, David Basin, Bhargav Bhatt and Dmitriy Traytel.<\/li>\n
  2. What\u2019s to Come is Still Unsure: Synthesizing Controllers Resilient to Delayed Interaction<\/strong>, Mingshuai Chen, Martin Fr\u00e4nzle, Yangjia Li, Peter Nazier Mosaad and Naijun Zhan.\u00a0
    \n<\/strong><\/li>\n
  3. A Formally Verified Motion Planners for Autonomous Vehicles<\/strong>, Albert Rizaldi, Fabian Immler, Bastian Sch\u00fcrmann and Matthias Althoff.<\/li>\n
  4. Robustness Testing of Intermediate Verifiers<\/strong>, Yu-Ting Chen and Carlo A. Furia.<\/li>\n
  5. Simulation Algorithms for Symbolic Automata<\/strong>, Lukas Holik, Ondrej Lengal, Juraj S\u00ed\u010d, Margus Veanes and Tomas Vojnar.<\/li>\n
  6. Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems<\/strong>, Chih-Hong Cheng, Chung-Hao Huang and Hirotoshi Yasuoka.<\/li>\n
  7. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets<\/strong>, Jaroslav Bend\u00edk, Ivana Cerna and Nikola Benes.<\/li>\n
  8. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode<\/strong>, Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio and Ilya Sergey.<\/li>\n
  9. MGHyper: Checking Satisfiability of HyperLTL formulas beyond the exists-forall Fragment<\/strong>, Bernd Finkbeiner, Christopher Hahn and Tobias Hans.<\/li>\n
  10. Verifying Rust Programs with SMACK<\/strong>, Marek Baranowski, Shaobo He and Zvonimir Rakamaric.
    \n<\/strong><\/li>\n
  11. SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems<\/strong>, Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay and Saddek Bensalem.<\/li>\n
  12. Synthesis in pMDPs: A Tale of 1001 Parameters<\/strong>, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu.<\/li>\n
  13. Owl: A Library for Omega-Words, Automata, and LTL<\/strong>, Salomon Sickert, Jan Kretinsky and Tobias Meggendorfer.<\/li>\n
  14. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates<\/strong>, Pushpak Jagtap, Sadegh Soudjani and Majid Zamani.<\/li>\n
  15. Bisimilarity Distances for Approximate Differential Privacy<\/strong>, Dmitry Chistikov, Andrzej Murawski and David Purser.<\/li>\n
  16. A Symbolic Algorithm for Lazy Synthesis of Eager Strategies<\/strong>, Swen Jacobs and Mouhammad Sakr.<\/li>\n
  17. Modular Verification of Concurrent Programs via Sequential Model Checking<\/strong>, Dan Rasin, Orna Grumberg and Sharon Shoham.<\/li>\n
  18. Quantifiers on Demand<\/strong>, Arie Gurfinkel, Sharon Shoham and Yakir Vizel.<\/li>\n
  19. Signal Convolution Logic<\/strong>, Simone Silvetti, Laura Nenzi, Ezio Bartocci and Luca Bortolussi.<\/li>\n
  20. EVE: A Tool for Temporal Equilibrium Analysis<\/strong>, Julian Gutierrez, Muhammad Najib, Giuseppe Perelli and Michael Wooldridge.<\/li>\n
  21. Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces<\/strong>, Bernard Boigelot and Isabelle Mainz.<\/li>\n
  22. Accelerated Model Checking of Parametric Markov Chains<\/strong>, Paul Gainer, Ernst Moritz Hahn and Sven Schewe.<\/li>\n
  23. Continuous-Time Markov Decisions based on Partial Exploration<\/strong>, Pranav Ashok, Yuliya Butkova, Holger Hermanns and Jan Kretinsky.<\/li>\n
  24. A Fragment of Linear Temporal Logic for Universal Very Weak Automata<\/strong>, Keerthi Adabala and R\u00fcdiger Ehlers.<\/li>\n
  25. Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility<\/strong>, Anthony Lin and Rupak Majumdar.<\/li>\n
  26. Round-Bounded Control of Parameterized Systems<\/strong>, Benedikt Bollig, Mathieu Lehaut and Nathalie Sznajder.<\/li>\n
  27. PSense: Automatic Sensitivity Analysis for Probabilistic Programs<\/strong>, Zixin Huang, Zhenbang Wang and Sasa Misailovic.<\/li>\n
  28. Information Leakage in Arbiter Protocols<\/strong>, Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan and Timothy Sherwood.<\/li>\n
  29. Neural State Classification for Hybrid Systems<\/strong>, Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott Stoller and Scott Smolka.<\/li>\n
  30. Bounded Synthesis of Reactive Programs<\/strong>, Carsten Gerstacker, Felix Klein and Bernd Finkbeiner.<\/li>\n
  31. Maximum Realizability for Linear Temporal Logic Specifications<\/strong>, Rayna Dimitrova, Mahsa Ghasemi and Ufuk Topcu.<\/li>\n
  32. Ranking and Repulsing Supermartingales for Approximating Reachability<\/strong>, Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe and Ichiro Hasuo.<\/li>\n
  33. Reactive Synthesis of Register Transducers<\/strong>, Ayrat Khalimov, Benedikt Maderbacher and Roderick Bloem.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

    Optimal Proofs for Linear Temporal Logic on Lasso Words, David Basin, Bhargav Bhatt and Dmitriy Traytel. What\u2019s to Come is Still Unsure: Synthesizing Controllers Resilient to Delayed Interaction, Mingshuai Chen, Martin Fr\u00e4nzle, Yangjia Li, Peter Nazier Mosaad and Naijun Zhan.\u00a0 A Formally Verified Motion Planners for Autonomous Vehicles, Albert Rizaldi, Fabian Immler, Bastian Sch\u00fcrmann and…<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":32,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-185","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/185","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/comments?post=185"}],"version-history":[{"count":0,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/185\/revisions"}],"up":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/32"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/media?parent=185"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}