Thomas Wahl

A. Adam Ding

Proc. Priv. Enhancing Technol., 2022

2021

Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.

[BibT_eX]

[DOI]

Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2021

Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

Delay-Bounded Scheduling Without Delay! (Extended Technical Report).

[BibT_eX]

[DOI]

Andrew Johnson

CoRR, 2021

Delay-Bounded Scheduling Without Delay!

[BibT_eX]

[DOI]

Andrew Johnson

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Intrinsic Examples: Robust Fingerprinting of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

MemPoline: Mitigating Memory-based Side-Channel Attacks through Memory Access Obfuscation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Automatic Detection and Repair of Transition- Based Leakage in Software Binaries.

[BibT_eX]

[DOI]

A. Adam Ding

Proceedings of the Software Verification - 12th International Conference, 2020

New Passive and Active Attacks on Deep Neural Networks in Medical Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Reverse-Engineering Deep Neural Networks Using Floating-Point Timing Side-Channels.

[BibT_eX]

[DOI]

Cheng Gongye

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Identifying volatile numeric expressions in numeric computing applications.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript).

[BibT_eX]

[DOI]

Akash Lal

CoRR, 2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.

[BibT_eX]

[DOI]

Akash Lal

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models.

[BibT_eX]

[DOI]

Pei Luo

IEEE Trans. Inf. Forensics Secur., 2018

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript).

[BibT_eX]

[DOI]

CoRR, 2018

CUBA: interprocedural Context-UnBounded Analysis of concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

SCADET: a side-channel attack detection tool for tracking prime+probe.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2018

2017

Lost in abstraction: Monotonicity in multi-threaded programs.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Algebraic Fault Analysis of SHA-3.

[BibT_eX]

[DOI]

Pei Luo

IACR Cryptol. ePrint Arch., 2017

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2017

Stabilizing Floating-Point Programs Using Provenance Analysis.

[BibT_eX]

[DOI]

Yijia Gu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Compiler-Assisted Threshold Implementation against Power Analysis Attacks.

[BibT_eX]

[DOI]

Pei Luo

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

2016

Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2016

Concolic Unbounded-Thread Reachability via Loop Summaries.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Integrating proxy theories and numeric model lifting for floating-point arithmetic.

[BibT_eX]

[DOI]

Jaideep Ramachandran

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Unbounded-Thread Program Verification using Thread-State Equations.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Symbolic Execution for Checking the Accuracy of Floating-Point Programs.

[BibT_eX]

[DOI]

Jaideep Ramachandran

Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2015

Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2015

Behavioral Non-portability in Scientific Numeric Computing.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2015: Parallel Processing, 2015

An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

2014

A Widening Approach to Multithreaded Program Verification.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2014

Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2014

Infinite-state backward exploration of Boolean broadcast programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Make it real: Effective floating-point reasoning via exact arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

The FMCAD graduate student forum.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Counterexample-guided abstraction refinement for symmetric concurrent programs.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).

[BibT_eX]

[DOI]

Gérard Basler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Efficient Coverability Analysis by Proof Minimization.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)

[BibT_eX]

[DOI]

CoRR, 2011

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Linear Completeness Thresholds for Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Replication and Abstraction: Symmetry in Automated Formal Verification.

[BibT_eX]

[DOI]

Symmetry, 2010

Context-aware counter abstraction.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

A lazy approach to symmetry reduction.

[BibT_eX]

[DOI]

Vijay Victor D'Silva

Formal Aspects Comput., 2010

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)

[BibT_eX]

[DOI]

CoRR, 2010

Boom: Taking Boolean Program Model Checking One Step Further.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Dynamic Cutoff Detection in Parameterized Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays.

[BibT_eX]

[DOI]

Proceedings of the 6th International Verification Workshop, 2010

2009

Extending Symmetry Reduction by Exploiting System Architecture.

[BibT_eX]

[DOI]

Richard J. Trefler

Proceedings of the Verification, 2009

Finding Lean Induced Cycles in Binary Hypercubes.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Biologically inspired compliant control of a monopod designed for highly dynamic applications.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

Mixed abstractions for floating-point arithmetic.

[BibT_eX]

[DOI]

Angelo Brillout

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Strengthening properties using abstraction refinement.

[BibT_eX]

[DOI]

Mitra Purandare

Proceedings of the Design, Automation and Test in Europe, 2009

Symbolic Counter Abstraction for Concurrent Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Craig Interpolation for Quantifier-Free Presburger Arithmetic

[BibT_eX]

[DOI]

Angelo Brillout

CoRR, 2008

SVISS: Symbolic Verification of Symmetric Systems.

[BibT_eX]

[DOI]

Nicolas Blanc

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Adaptive Symmetry Reduction.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Reducing Model Checking of the Few to the One.

[BibT_eX]

[DOI]

Richard J. Trefler

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Dynamic Symmetry Reduction.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Efficient Reduction Techniques for Systems with Many Components.

[BibT_eX]

[DOI]

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2003

1999

Relocalization - Theory and Practice.

[BibT_eX]

[DOI]

Oliver Karch

Discret. Appl. Math., 1999

1998

Robot Localization Using Polygon Distances.

[BibT_eX]

[DOI]

Oliver Karch

Hartmut Noltemeier

Proceedings of the Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, September 28, 1998

1997

Relokalisation - Ein theoretischer Ansatz in der Praxis.

[BibT_eX]

[DOI]

Proceedings of the Autonome Mobile Systeme 1997, 1997

1995

Modelling Interaction with HYTIME.

[BibT_eX]

[DOI]

Stefan Wirag

Kurt Rothermel

Proceedings of the Kommunikation in Verteilten Systemen, Neue Länder - Neue Netze, 1995

TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia.

[BibT_eX]

[DOI]

Stefan Wirag

Kurt Rothermel

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1995

1994

Representing Time in Multimedia Systems.

[BibT_eX]

[DOI]

Kurt Rothermel

Proceedings of the International Conference on Multimedia Computing and Systems, 1994

1992

Optimisation of Transport Protocols for High-Speed.

[BibT_eX]