More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Ahmed Rezine

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Rezine08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Rezine08
Ahmed Rezine:
Parameterized Systems: Generalizing and Simplifying Automatic Verification. Uppsala University, Sweden, 2008

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhangHLRPLYJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhangHLRPLYJL24
Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li:
On Modeling and Detecting Trojans in Instruction Sets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(10): 3226-3239 (2024)
2022
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsa/HorgaRCEP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/HorgaRCEP22
Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Symbolic identification of shared memory based bank conflicts for GPUs. J. Syst. Archit. 127: 102518 (2022)
2021
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/MahfouziASREP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/MahfouziASREP21
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng:
Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN. IEEE Des. Test 38(5): 48-56 (2021)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AbdullaHHJR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AbdullaHHJR21
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
Correction to: An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 23(5): 825 (2021)
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhangCPRLEJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhangCPRLEJ20
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang:
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(3): 714-727 (2020)
2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/ChattopadhyayBR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/ChattopadhyayBR19
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller:
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. ACM Trans. Embed. Comput. Syst. 18(1): 7:1-7:27 (2019)
2017
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AbdullaHHJR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AbdullaHHJR17
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 19(5): 549-563 (2017)
2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GanjeiREP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GanjeiREP16
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Counting dynamically synchronizing processes. Int. J. Softw. Tools Technol. Transf. 18(5): 517-534 (2016)
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DelzannoR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DelzannoR12
Giorgio Delzanno, Ahmed Rezine:
A lightweight regular model checking approach for parameterized systems. Int. J. Softw. Tools Technol. Transf. 14(2): 207-222 (2012)
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/AbdullaDR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/AbdullaDR11
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. 22(4): 761-782 (2011)
2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AbdullaDR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34(2): 126-156 (2009)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/AbdullaDHR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/AbdullaDHR09
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine:
Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20(5): 779-801 (2009)
2006
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AbdullaLdR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AbdullaLdR06
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine:
Tree regular model checking: A simulation-based approach. J. Log. Algebraic Methods Program. 69(1-2): 93-121 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c35]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/icml/BaninajjarRA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/BaninajjarRA24
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar:
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees. ICML 2024
2023
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/BaninajjarHRA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/BaninajjarHRA23
Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar:
SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks. ICASSP 2023: 1-5
2020
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/GanjeiREP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/GanjeiREP20
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Verifying Safety of Parameterized Heard-Of Algorithms. NETYS 2020: 209-226
2019
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/GanjeiRHEP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GanjeiRHEP19
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. TACAS (1) 2019: 299-315
2018
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MahfouziASREP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MahfouziASREP18
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng:
Stability-aware integrated routing and scheduling for control applications in Ethernet networks. DATE 2018: 682-687
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AbdullaACDHRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AbdullaACDHRR18
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer:
Trau: SMT solver for string constraints. FMCAD 2018: 1-5
2017
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GanjeiREP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GanjeiREP17
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety verification of phaser programs. FMCAD 2017: 68-75
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ChattopadhyayBR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ChattopadhyayBR17
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller:
Quantifying the information leak in cache attacks via symbolic execution. MEMOCODE 2017: 25-35
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AbdullaACDHRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AbdullaACDHRR17
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer:
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI 2017: 602-617
2016
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GanjeiREP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GanjeiREP16
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Lazy Constrained Monotonic Abstraction. VMCAI 2016: 147-165
2015
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaACHRRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaACHRRS15
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
Norn: An SMT Solver for String Constraints. CAV (1) 2015: 462-469
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AbdullaAGRZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AbdullaAGRZ15
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu:
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD 2015: 9-16
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GanjeiREP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GanjeiREP15
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Abstracting and Counting Synchronizing Processes. VMCAI 2015: 227-244
2014
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaACHRRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaACHRRS14
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
String Constraints for Verification. CAV 2014: 150-166
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/GantyR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/GantyR14
Pierre Ganty, Ahmed Rezine:
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. LATA 2014: 396-408
2013
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/date/AbdullaDRSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AbdullaDRSZ13
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu:
Verifying safety and liveness for the FlexTM hybrid transactional memory. DATE 2013: 785-790
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaHHJR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaHHJR13
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS 2013: 324-338
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaACLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaACLR13
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine:
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS 2013: 530-536
2012
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/ZhangREP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/ZhangREP12
Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng:
Automatic Test Program Generation for Out-of-Order Superscalar Processors. Asian Test Symposium 2012: 338-343
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/eisic/BerzinjiKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eisic/BerzinjiKR12
Ala Berzinji, Lisa Kaati, Ahmed Rezine:
Detecting Key Players in Terrorist Networks. EISIC 2012: 297-302
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AbdullaACLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AbdullaACLR12
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine:
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS 2012: 164-180
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaACLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaACLR12
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine:
Counter-Example Guided Fence Insertion under TSO. TACAS 2012: 204-219
2010
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BouajjaniDERS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BouajjaniDERS10
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu:
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV 2010: 72-88
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbdullaCDHHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbdullaCDHHR10
Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine:
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR 2010: 86-101
2009
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/AbdullaDR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AbdullaDR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50
2008
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaBCHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaBCHR08
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine:
Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/AbdullaHDHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AbdullaHDHR08
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine:
Parameterized Tree Systems. FORTE 2008: 69-83
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AbdullaDR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AbdullaDR08
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Action. ICTAC 2008: 50-65
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AbdullaHDR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AbdullaHDR08
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbdullaDR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbdullaDR08
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Parameterized Verification. RP 2008: 3-14
2007
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaDR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaDR07
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaDHR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaDHR07
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine:
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS 2007: 721-736
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbdullaJRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbdullaJRS06
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena:
Proving Liveness by Backwards Reachability. CONCUR 2006: 95-109
2005
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaLdR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaLdR05
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine:
Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2012
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-3105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-3105
Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. EPTCS 107, 2012 [contents]
2010
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-6112
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-6112
Yu-Fang Chen, Ahmed Rezine:
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. EPTCS 39, 2010 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-16726
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-16726
Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar:
Verified Relative Safety Margins for Neural Network Twins. CoRR abs/2409.16726 (2024)
2023
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-09748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-09748
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar:
Verification-Friendly Deep Neural Networks. CoRR abs/2312.09748 (2023)
2018
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-07142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-07142
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. CoRR abs/1811.07142 (2018)
2017
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-02801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-02801
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety Verification of Phaser Programs. CoRR abs/1708.02801 (2017)
2016
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChattopadhyayBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChattopadhyayBR16
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller:
Quantifying the Information Leak in Cache Attacks through Symbolic Execution. CoRR abs/1611.04426 (2016)
2012
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1204-0131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-0131
Ahmed Rezine:
Ordered Counter-Abstraction. CoRR abs/1204.0131 (2012)
2008
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/AbdullaBCHJR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AbdullaBCHJR08
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine:
Shape Analysis via Monotonic Abstraction. Beyond the Finite: New Challenges in Verification and Semistructured Data 2008

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.