Ahmed Rezine

Amir Aminifar

CoRR, 2023

SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

Symbolic identification of shared memory based bank conflicts for GPUs.

[BibT_eX]

[DOI]

Adrian Horga

Petru Eles

Zebo Peng

J. Syst. Archit., 2022

2021

Correction to: An integrated specification and verification technique for highly concurrent data structures.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN.

[BibT_eX]

[DOI]

IEEE Des. Test, 2021

2020

Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors.

[BibT_eX]

[DOI]

Ying Zhang

Krishnendu Chakrabarty

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Verifying Safety of Parameterized Heard-Of Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

2019

Quantifying the Information Leakage in Cache Attacks via Symbolic Execution.

[BibT_eX]

[DOI]

Moritz Beck

Andreas Zeller

ACM Trans. Embed. Comput. Syst., 2019

On Reachability in Parameterized Phaser Programs.

[BibT_eX]

[DOI]

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

2018

Trau: SMT solver for string constraints.

[BibT_eX]

[DOI]

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Stability-aware integrated routing and scheduling for control applications in Ethernet networks.

[BibT_eX]

[DOI]

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

2017

An integrated specification and verification technique for highly concurrent data structures.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Flatten and conquer: a framework for efficient analysis of string constraints.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Quantifying the information leak in cache attacks via symbolic execution.

[BibT_eX]

[DOI]

Moritz Beck

Andreas Zeller

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Safety verification of phaser programs.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Counting dynamically synchronizing processes.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Quantifying the Information Leak in Cache Attacks through Symbolic Execution.

[BibT_eX]

[DOI]

Moritz Beck

Andreas Zeller

CoRR, 2016

Lazy Constrained Monotonic Abstraction.

[BibT_eX]

[DOI]

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

2015

Abstracting and Counting Synchronizing Processes.

[BibT_eX]

[DOI]

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

Verification of Cache Coherence Protocols wrt. Trace Filters.

[BibT_eX]

[DOI]

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

Norn: An SMT Solver for String Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification.

[BibT_eX]

[DOI]

Pierre Ganty

Proceedings of the Language and Automata Theory and Applications, 2014

String Constraints for Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.

[BibT_eX]

[DOI]

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

Verifying safety and liveness for the FlexTM hybrid transactional memory.

[BibT_eX]

[DOI]

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

2012

A lightweight regular model checking approach for parameterized systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Ordered Counter-Abstraction

[BibT_eX]

[DOI]

CoRR, 2012

Counter-Example Guided Fence Insertion under TSO.

[BibT_eX]

[DOI]

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

Automatic Fence Insertion in Integer Programs via Predicate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 19th International Symposium, 2012

Detecting Key Players in Terrorist Networks.

[BibT_eX]

[DOI]

Ala Berzinji

Lisa Kaati

Proceedings of the 2012 European Intelligence and Security Informatics Conference, 2012

Automatic Test Program Generation for Out-of-Order Superscalar Processors.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Asian Test Symposium, 2012

2011

Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

2010

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.

[BibT_eX]

[DOI]

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

2009

Monotonic Abstraction: on Efficient Verification of Parameterized Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2009

Approximated parameterized verification of infinite-state processes with global conditions.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2009

Automatic Verification of Directory-Based Consistency Protocols.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Approximated Context-Sensitive Analysis for Parameterized Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Parameterized Systems: Generalizing and Simplifying Automatic Verification.

[BibT_eX]

[DOI]

PhD thesis, 2008

Monotonic Abstraction in Parameterized Verification.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Handling Parameterized Systems with Non-atomic Global Conditions.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2008

Monotonic Abstraction in Action.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Parameterized Tree Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Shape Analysis via Monotonic Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

Monotonic Abstraction for Programs with Dynamic Memory Heaps.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).

[BibT_eX]

[DOI]

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

Parameterized Verification of Infinite-State Processes with Global Conditions.

[BibT_eX]

[DOI]