Computer Aided Verification

    Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. It is one of the very best conferences in computer science. For example, several important model checking techniques were published in CAV, such as counterexample-guided abstraction refinement and partial order reduction methods.

    Author Distribution

    Top Authors ( author's name : number of papers / citations )

    2014
    Alessandro Cimatti: 2 / 290
    Sergio Mover: 2 / 290
    Alberto Griggio: 2 / 290
    Stefano Tonetta: 2 / 290
    Marco Roveri: 1 / 269
    Alessandro Mariotti: 1 / 269
    Roberto Cavada: 1 / 269
    Michele Dorigatti: 1 / 269
    Andrea Micheli: 1 / 269
    Clark Barrett: 2 / 127
    Cesare Tinelli: 2 / 127
    Morgan Deters: 1 / 90
    Tianyi Liang: 1 / 90
    Andrew Reynolds: 1 / 90
    Helmut Veith: 1 / 80
    Florian Zuleger: 1 / 80
    Moritz Sinn: 1 / 80
    Gennaro Parlato: 2 / 69
    Andrei Voronkov: 1 / 66
    Michael Emmi: 1 / 62
    2015
    Anvesh Komuravelli: 1 / 123
    Arie Gurfinkel: 1 / 123
    Jorge A. Navas: 1 / 123
    Temesghen Kahsai: 1 / 123
    Viktor Kuncak: 2 / 114
    Bernd Finkbeiner: 3 / 113
    Markus N Rabe: 2 / 104
    Sebastian Junges: 1 / 79
    Morgan Deters: 1 / 79
    Clark W. Barrett: 1 / 79
    Joost-Pieter Katoen: 1 / 79
    Matthias Volk: 1 / 79
    Cesare Tinelli: 1 / 79
    Nils Jansen: 1 / 79
    Harold Bruintjes: 1 / 79
    Erika ÁBraháM: 1 / 79
    Christian Dehnert: 1 / 79
    Andrew Reynolds: 1 / 79
    Florian Corzilius: 1 / 79
    Patrick Trentin: 1 / 68
    2016
    Min Wu: 1 / 204
    Marta Kwiatkowska: 1 / 204
    Sen Wang: 1 / 204
    Xiaowei Huang: 1 / 204
    Martin T. Vechev: 3 / 63
    Mahesh Viswanathan: 2 / 60
    Parasara Sridhar Duggirala: 2 / 60
    Frits W. Vaandrager: 1 / 46
    Roopsha Samanta: 1 / 46
    Rishabh Singh: 1 / 46
    Loris D'Antoni: 1 / 46
    Paul Fiterau-Brostean: 1 / 46
    Ramon Janssen: 1 / 46
    Sasa Misailovic: 1 / 39
    Timon Gehr: 1 / 39
    Sayan Mitra: 1 / 39
    Bolun Qi: 1 / 39
    Chuchu Fan: 1 / 39
    Krishnendu Chatterjee: 1 / 37
    Hongfei Fu: 1 / 37
    2017
    Clark W. Barrett: 3 / 308
    Guy Katz: 2 / 303
    Mykel J. Kochenderfer: 1 / 281
    David L. Dill: 1 / 281
    Kyle Julian: 1 / 281
    Joost-Pieter Katoen: 2 / 119
    Sebastian Junges: 2 / 119
    Matthias Volk: 1 / 117
    Christian Dehnert: 1 / 117
    Krishnendu Chatterjee: 3 / 29
    Andrew Reynolds: 2 / 27
    Cesare Tinelli: 2 / 27
    Loris D'Antoni: 2 / 23
    Burak Ekici: 1 / 22
    Alain Mebsout: 1 / 22
    Chantal Keller: 1 / 22
    Parasara Sridhar Duggirala: 1 / 21
    Stanley Bak: 1 / 21
    Margus Veanes: 2 / 20
    Daniel Kroening: 2 / 19
    2018
    Sanjit A. Seshia: 3 / 24
    Tommaso Dreossi: 1 / 18
    Somesh Jha: 1 / 18
    Daniel Kroening: 3 / 16
    Serdar Tasiran: 3 / 15
    Mathias Preiner: 2 / 14
    Aina Niemetz: 2 / 14
    Constantin Enea: 3 / 11
    Jun Zhang: 1 / 10
    Chao Wang: 1 / 10
    Byron Cook: 2 / 10
    Pengfei Gao: 1 / 10
    Fu Song: 1 / 10
    Ahmed Bouajjani: 2 / 10
    Aaron Tomb: 2 / 9
    Jan KretíNský: 2 / 9
    Andrew Reynolds: 1 / 9
    Shaz Qadeer: 2 / 9
    Cesare Tinelli: 1 / 9
    Clark Barrett: 1 / 9

    Publications

    Browse by Citation
    36
    Cited by35
    57
    Alastair Reid, Rick Chen,Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi
    (2016)
    Cited by26
    60
    Adrien Champion,Alain Mebsout, Christoph Sticksel,Cesare Tinelli
    (2016)
    Cited by25
    89
    Cited by17
    92
    Cited by17