Thomas Wahl - RankMe

78 papers A* 7A 14B 11C 4Journal 27Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	MultiHazard: Copula-based Joint Probability Analysis in R. J. Open Source Softw. Robert Jane, Thomas Wahl, Francisco Pena, Jayantha Obeysekera, Callum Murphy-Barltrop, Javed Ali, Pravin Maduwantha, Huazhi Li, Victor Malagon Santos
2025	—	`conf`	Fine-Grained Security Control through Combined Memory Access Protection and Isolation: An Experience Report. MILCOM Thomas Wahl, Jason H. Li, David Lide, Gregory Briskin, Leonid Meyerovich, Kyung Joon Kwak
2023	J	`jnl`	MatFlood: An efficient algorithm for mapping flood extent and depth. Environ. Model. Softw. Alejandra R. Enriquez, Thomas Wahl, Stefan A. Talke, Philip M. Orton, James F. Booth, Miguel Agulles, Sara Santamaria-Aguilar
2022	J	`jnl`	Masking Feedforward Neural Networks Against Power Analysis Attacks. Proc. Priv. Enhancing Technol. Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
2021	—	`conf`	Delay-Bounded Scheduling Without Delay! CAV (1) Andrew Johnson, Thomas Wahl
2021	J	`jnl`	Delay-Bounded Scheduling Without Delay! (Extended Technical Report). CoRR Andrew Johnson, Thomas Wahl
2021	J	`jnl`	Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ACM Trans. Program. Lang. Syst. Peizun Liu, Thomas Wahl, Thomas W. Reps
2021	A	`conf`	Intrinsic Examples: Robust Fingerprinting of Deep Neural Networks. BMVC Siyue Wang, Pu Zhao, Xiao Wang, Sang Chin, Thomas Wahl, Yunsi Fei, Qi Alfred Chen, Xue Lin
2021	—	`conf`	Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. SCSS Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei
2020	—	`conf`	Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. VSTTE Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
2020	J	`jnl`	MemPoline: Mitigating Memory-based Side-Channel Attacks through Memory Access Obfuscation. IACR Cryptol. ePrint Arch. Zhen Hang Jiang, Yunsi Fei, Aidong Adam Ding, Thomas Wahl
2020	A	`conf`	New Passive and Active Attacks on Deep Neural Networks in Medical Applications. ICCAD Cheng Gongye, Hongjia Li, Xiang Zhang, Majid Sabbagh, Geng Yuan, Xue Lin, Thomas Wahl, Yunsi Fei
2020	A*	`conf`	Reverse-Engineering Deep Neural Networks Using Floating-Point Timing Side-Channels. DAC Cheng Gongye, Yunsi Fei, Thomas Wahl
2019	J	`jnl`	Identifying volatile numeric expressions in numeric computing applications. Math. Comput. Simul. Mahsa Bayati, Miriam Leeser, Yijia Gu, Thomas Wahl
2019	J	`jnl`	Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript). CoRR Peizun Liu, Thomas Wahl, Akash Lal
2019	—	`conf`	Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers. CAV (2) Peizun Liu, Thomas Wahl, Akash Lal
2018	J	`jnl`	Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models. IEEE Trans. Inf. Forensics Secur. Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
2018	J	`jnl`	CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript). CoRR Peizun Liu, Thomas Wahl
2018	A*	`conf`	CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. PLDI Peizun Liu, Thomas Wahl
2018	A	`conf`	SCADET: a side-channel attack detection tool for tracking prime+probe. ICCAD Majid Sabbagh, Yunsi Fei, Thomas Wahl, A. Adam Ding
2017	J	`jnl`	Algebraic Fault Analysis of SHA-3. IACR Cryptol. ePrint Arch. Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
2017	A	`conf`	Algebraic fault analysis of SHA-3. DATE Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
2017	C	`conf`	Compiler-Assisted Threshold Implementation against Power Analysis Attacks. ICCD Pei Luo, Konstantinos Athanasiou, Liwei Zhang, Zhen Hang Jiang, Yunsi Fei, A. Adam Ding, Thomas Wahl
2017	J	`jnl`	IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report). CoRR Peizun Liu, Thomas Wahl
2017	B	`conf`	IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. SEFM Peizun Liu, Thomas Wahl
2017	J	`jnl`	Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. Alexander Kaiser, Daniel Kroening, Thomas Wahl
2017	B	`conf`	Stabilizing Floating-Point Programs Using Provenance Analysis. VMCAI Yijia Gu, Thomas Wahl
2016	J	`jnl`	Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report). CoRR Peizun Liu, Thomas Wahl
2016	C	`conf`	Concolic Unbounded-Thread Reachability via Loop Summaries. ICFEM Peizun Liu, Thomas Wahl
2016	B	`conf`	Integrating proxy theories and numeric model lifting for floating-point arithmetic. FMCAD Jaideep Ramachandran, Thomas Wahl
2016	A	`conf`	Unbounded-Thread Program Verification using Thread-State Equations. IJCAR Konstantinos Athanasiou, Peizun Liu, Thomas Wahl
2015	C	`conf`	An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. ARITH Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl
2015	—	`conf`	Behavioral Non-portability in Scientific Numeric Computing. Euro-Par Yijia Gu, Thomas Wahl, Mahsa Bayati, Miriam Leeser
2015	B	`ed.`	Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. FMCAD Roope Kaivola, Thomas Wahl
2015	J	`jnl`	Symbolic Execution for Checking the Accuracy of Floating-Point Programs. ACM SIGSOFT Softw. Eng. Notes Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl
2015	J	`jnl`	Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report). CoRR Peizun Liu, Thomas Wahl
2014	J	`jnl`	A Widening Approach to Multithreaded Program Verification. ACM Trans. Program. Lang. Syst. Alexander Kaiser, Daniel Kroening, Thomas Wahl
2014	B	`conf`	Infinite-state backward exploration of Boolean broadcast programs. FMCAD Peizun Liu, Thomas Wahl
2014	J	`jnl`	Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). CoRR Alexander Kaiser, Daniel Kroening, Thomas Wahl
2014	B	`conf`	Lost in Abstraction: Monotonicity in Multi-threaded Programs. CONCUR Alexander Kaiser, Daniel Kroening, Thomas Wahl
2014	A	`conf`	Make it real: Effective floating-point reasoning via exact arithmetic. DATE Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl
2013	B	`conf`	The FMCAD graduate student forum. FMCAD Thomas Wahl
2012	J	`jnl`	Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
2012	B	`conf`	Efficient Coverability Analysis by Proof Minimization. CONCUR Alexander Kaiser, Daniel Kroening, Thomas Wahl
2012	A	`conf`	satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
2011	J	`jnl`	An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. J. Autom. Reason. Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
2011	B	`conf`	Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
2011	A*	`conf`	Linear Completeness Thresholds for Bounded Model Checking. CAV Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell
2011	J	`jnl`	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
2011	A*	`conf`	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
2010	J	`jnl`	A lazy approach to symmetry reduction. Formal Aspects Comput. Thomas Wahl, Vijay Victor D'Silva
2010	A	`conf`	An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. IJCAR Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
2010	J	`jnl`	Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) CoRR Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
2010	A	`conf`	Boom: Taking Boolean Program Model Checking One Step Further. TACAS Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao
2010	J	`jnl`	Context-aware counter abstraction. Formal Methods Syst. Des. Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
2010	A*	`conf`	Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV Alexander Kaiser, Daniel Kroening, Thomas Wahl
2010	—	`conf`	Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. VERIFY@IJCAR Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
2010	J	`jnl`	Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry Thomas Wahl, Alastair F. Donaldson
2009	A	`conf`	Biologically inspired compliant control of a monopod designed for highly dynamic applications. IROS Sebastian Blank, Thomas Wahl, Tobias Luksch, Karsten Berns
2009	B	`conf`	Extending Symmetry Reduction by Exploiting System Architecture. VMCAI Richard J. Trefler, Thomas Wahl
2009	A	`conf`	Finding Lean Induced Cycles in Binary Hypercubes. SAT Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller
2009	B	`conf`	Mixed abstractions for floating-point arithmetic. FMCAD Angelo Brillout, Daniel Kroening, Thomas Wahl
2009	A	`conf`	Strengthening properties using abstraction refinement. DATE Mitra Purandare, Thomas Wahl, Daniel Kroening
2009	A*	`conf`	Symbolic Counter Abstraction for Concurrent Software. CAV Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
2008	J	`jnl`	Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR Angelo Brillout, Daniel Kroening, Thomas Wahl
2008	A	`conf`	SVISS: Symbolic Verification of Symmetric Systems. TACAS Thomas Wahl, Nicolas Blanc, E. Allen Emerson
2007	A*	`conf`	Adaptive Symmetry Reduction. CAV Thomas Wahl
2006	C	`conf`	Reducing Model Checking of the Few to the One. ICFEM E. Allen Emerson, Richard J. Trefler, Thomas Wahl
2005	A	`conf`	Dynamic Symmetry Reduction. TACAS E. Allen Emerson, Thomas Wahl
2004	—	`conf`	Efficient Reduction Techniques for Systems with Many Components. SBMF E. Allen Emerson, Thomas Wahl
2003	—	`conf`	On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME E. Allen Emerson, Thomas Wahl
1999	J	`jnl`	Relocalization - Theory and Practice. Discret. Appl. Math. Oliver Karch, Thomas Wahl
1998	—	`conf`	Robot Localization Using Polygon Distances. Sensor Based Intelligent Robots Oliver Karch, Hartmut Noltemeier, Thomas Wahl
1997	—	`conf`	Relokalisation - Ein theoretischer Ansatz in der Praxis. AMS Oliver Karch, Hartmut Noltemeier, Mathias Schwark, Thomas Wahl
1995	—	`conf`	Modelling Interaction with HYTIME. Kommunikation in Verteilten Systemen Stefan Wirag, Kurt Rothermel, Thomas Wahl
1995	—	`conf`	TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. ICMCS Thomas Wahl, Stefan Wirag, Kurt Rothermel
1994	—	`conf`	Representing Time in Multimedia Systems. ICMCS Thomas Wahl, Kurt Rothermel
1992	—	`conf`	Optimisation of Transport Protocols for High-Speed. INDC Thomas Wahl, Michael Salmony