학술논문

Computer aided verification. Part I.
Document Type
Proceedings Paper
Author
Source
Subject
68 Computer science
  68-06 Proceedings, conferences, collections, etc.
Language
English
Abstract
{\bf Papers in this collection include the following:}\tpar\{For the 28th Conference see [MR3536854; 3536884].\} \tparXiaowei Huang, Marta Kwiatkowska, Sen Wang andMin Wu, ``Safety verification of deep neural networks'', \nbp{3--29}.3693667\tparViktor Vafeiadis, ``Program verification under weak memory consistencyusing separation logic'', \nbp{30--46}. 3693668\tparLoris D'Antoni and Margus Veanes, ``The power of symbolic automataand transducers'', \nbp{47--67}. 3693669\tparXujie Si, Xin Zhang, Radu Grigore and Mayur Naik, ``Maximumsatisfiability in software analysis: applications and techniques'',\nbp{68--94}. 3693670\tparGuy Katz, Clark Barrett, David L. Dill, Kyle Julian and Mykel\J. Kochenderfer, ``Reluplex: an efficient SMT solver for verifyingdeep neural networks'', \nbp{97--117}. 3693671\tparKrishnendu Chatterjee, Hongfei Fu and Aniket Murhekar, ``Automatedrecurrence analysis for almost-linear expected-runtime bounds'',\nbp{118--139}. 3693672\tparTim Quatmann, Sebastian Junges and Joost-Pieter Katoen, ``Markovautomata with multiple objectives'', \nbp{140--159}. 3693673\tparChristel Baier, Joachim Klein, Linda Leuschner, David Parker andSascha Wunderlich, ``Ensuring the reliability of your model checker:interval iteration for Markov decision processes'', \nbp{160--180}.3693674\tparAws Albarghouthi, Loris D'Antoni and Samuel Drews, ``Repairingdecision-making programs under uncertainty'', \nbp{181--200}. 3693675\tparPranav Ashok, Krishnendu Chatterjee, Przemysław Daca, Jan Křetínský and Tobias Meggendorfer, ``Value iteration forlong-run average reward in Markov decision processes'', \nbp{201--221}.3693676\tparHendrik Roehm, Thomas Heinz and Eva Charlotte Mayer,``STLInspector: STL validation with guarantees'', \nbp{225--232}.3693677\tparPavol Bielik, Veselin Raychev and Martin Vechev, ``Learning astatic analyzer from data'', \nbp{233--253}. 3693678\tparDana Drachsler-Cohen, Sharon Shoham and Eran Yahav, ``Synthesiswith abstract examples'', \nbp{254--278}. 3693679\tparSarah Chasins and Phitchaya Mangpo Phothilimthana, ``Data-drivensynthesis of full probabilistic programs'', \nbp{279--304}. 3693681\tparMarcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin andSanjit A. Seshia, ``Logical clustering and learning for time-seriesdata'', \nbp{305--325}. 3693682\tparDogan Ulus, ``MONTRE: a tool for monitoring timed regularexpressions'', \nbp{329--335}.\tparKonstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl,Udo Hafner, Ezio Bartocci, Dejan Nickovic and Radu Grosu,``Runtime monitoring with recovery of the SENT communicationprotocol'', \nbp{336--355}.\tparDavid Basin, Felix Klaedtke and Eugen Zălinescu, ``Runtimeverification of temporal properties over out-of-order data streams'',\nbp{356--376}. 3693680\tparJacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott\A. Smolka and Radu Grosu, ``Lagrangian reachability'',\nbp{379--400}. 3693685\tparStanley Bak and Parasara Sridhar Duggirala, ``Simulation-equivalentreachability of large linear systems with inputs'', \nbp{401--420}.3693686\tparThomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho and Benjamin\Monmege, ``MIGHTYL: a compositional translation from MITL to timedautomata'', \nbp{421--440}.\tparChuchu Fan, Bolun Qi, Sayan Mitra and Mahesh Viswanathan, ``DRYVR:data-driven verification and compositional reasoning for automotivesystems'', \nbp{441--461}.\tparAlessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro,Cristina David, Pascal Kesseli, Daniel Kroening and Elizabeth\Polgreen, ``Automated formal synthesis of digital controllers forstate-space physical plants'', \nbp{462--482}.\tparArvind Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski andXiaoqing Jin, ``Classification and coverage-based falsification forembedded control systems'', \nbp{483--503}.\tparRajeev Alur, Joseph Devietti, Omar S. Navarro Leija and Nimit\Singhania, ``GPUDrano: detecting uncoalesced accesses in GPUprograms'', \nbp{507--525}.\tparElvira Albert, Puri Arenas, María García de la Banda,Miguel Gómez-Zamalloa and Peter J. Stuckey, ``Context-sensitivedynamic partial order reduction'', \nbp{526--543}. 3693692\tparMatt Windsor, Mike Dodds, Ben Simner and Matthew J. Parkinson,``Starling: lightweight concurrency verification with views'',\nbp{544--569}. 3693693\tparAnton Wijs and Thomas Neele, ``Compositional model checking withincremental counter-example construction'', \nbp{570--590}. 3693694\tparNikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva andDavid Šafránek, ``Pithya: a parallel tool for parameter synthesisof piecewise multi-affine dynamical systems'', \nbp{591--598}.\tpar

Online Access