Matt Lewis - RankMe

20 papers A* 2A 2B 6Journal 9

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	Fine-Grained Trackability in Protocol Executions. NDSS Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
2023	J	`jnl`	From policy to practice: Lessons learned from an open science funding initiative. PLoS Comput. Biol. Sonya B. Dumanis, Kristen Ratan, Souad McIntosh, Hetal V. Shah, Matt Lewis, Timothy H. Vines, Randy Schekman, Ekemini A. Riley
2018	J	`jnl`	Program Synthesis for Program Analysis. ACM Trans. Program. Lang. Syst. Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
2016	B	`conf`	Danger Invariants. FM Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
2015	B	`conf`	Accelerating Invariant Generation. FMCAD Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas
2015	J	`jnl`	Danger Invariants. CoRR Cristina David, Daniel Kroening, Matt Lewis
2015	B	`conf`	Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
2015	A	`conf`	Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. ESOP Cristina David, Daniel Kroening, Matt Lewis
2015	B	`conf`	Proving Safety with Trace Automata and Bounded Model Checking. FM Daniel Kroening, Matt Lewis, Georg Weissenbacher
2015	J	`jnl`	Under-approximating loops in C programs for fast counterexample detection. Formal Methods Syst. Des. Daniel Kroening, Matt Lewis, Georg Weissenbacher
2015	A	`conf`	Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. ESOP Cristina David, Daniel Kroening, Matt Lewis
2015	B	`conf`	Using Program Synthesis for Program Analysis. LPAR Cristina David, Daniel Kroening, Matt Lewis
2015	J	`jnl`	Using Program Synthesis for Program Analysis. CoRR Cristina David, Daniel Kroening, Matt Lewis
2014	—	`—`	Precise verification of C programs. Matt Lewis
2014	J	`jnl`	Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. CoRR Cristina David, Daniel Kroening, Matt Lewis
2014	J	`jnl`	Proving Safety with Trace Automata and Bounded Model Checking. CoRR Daniel Kroening, Matt Lewis, Georg Weissenbacher
2014	J	`jnl`	Second-Order SAT Solving using Program Synthesis. CoRR Daniel Kroening, Matt Lewis
2014	J	`jnl`	Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs. CoRR Cristina David, Daniel Kroening, Matt Lewis
2013	A*	`conf`	Under-Approximating Loops in C Programs for Fast Counterexample Detection. CAV Daniel Kroening, Matt Lewis, Georg Weissenbacher
2008	B	`conf`	Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks. ACNS Frank Stajano, Daniel Cvrcek, Matt Lewis