| Temporal logics for hyperproperties MR Clarkson, B Finkbeiner, M Koleini, KK Micinski, MN Rabe, C Sánchez International Conference on Principles of Security and Trust, 265-284, 2014 | 420 | 2014 |
| LOLA: runtime monitoring of synchronous systems B d'Angelo, S Sankaranarayanan, C Sánchez, W Robinson, B Finkbeiner, ... 12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005 | 411 | 2005 |
| Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013 | 231 | 2013 |
| Algorithms for model checking HyperLTL and HyperCTL B Finkbeiner, MN Rabe, C Sánchez International Conference on Computer Aided Verification, 30-48, 2015 | 227 | 2015 |
| Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005 | 212 | 2005 |
| Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007 | 194 | 2007 |
| Checking Finite Traces using Alternating Automata B Finkbeiner, H Sipma Runtime Verification 2001 55 (2), 147–163, 2001 | 181 | 2001 |
| Verifying temporal properties of reactive systems: A STeP tutorial NS Bjørner, A Browne, MA Colón, B Finkbeiner, Z Manna, HB Sipma, ... Formal Methods in System Design 16 (3), 227-270, 2000 | 154 | 2000 |
| Checking finite traces using alternating automata B Finkbeiner, H Sipma Formal Methods in System Design 24 (2), 101-127, 2004 | 138 | 2004 |
| Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002 | 118 | 2002 |
| StreamLAB: stream-based monitoring of cyber-physical systems P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ... International Conference on Computer Aided Verification, 421-431, 2019 | 105 | 2019 |
| Verifying hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup International Conference on Computer Aided Verification, 121-139, 2019 | 102 | 2019 |
| Synthesis of reactive systems B Finkbeiner Dependable Software Systems Engineering, 72-98, 2016 | 101 | 2016 |
| Bosy: An experimentation framework for bounded synthesis P Faymonville, B Finkbeiner, L Tentrup International Conference on Computer Aided Verification, 325-332, 2017 | 95 | 2017 |
| Model checking information flow in reactive systems R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl International Workshop on Verification, Model Checking, and Abstract …, 2012 | 95 | 2012 |
| Directed model checking with distance-preserving abstractions K Dräger, B Finkbeiner, A Podelski International SPIN Workshop on Model Checking of Software, 19-34, 2006 | 92 | 2006 |
| Deciding hyperproperties B Finkbeiner, C Hahn arXiv preprint arXiv:1606.07047, 2016 | 91 | 2016 |
| Teaching temporal logics to neural networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020 | 88 | 2020 |
| A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016 | 88 | 2016 |
| Encodings of bounded synthesis P Faymonville, B Finkbeiner, MN Rabe, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2017 | 86 | 2017 |
Christopher HahnGoogle DeepMindVerified email at google.com
