Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ahmed Rezine
@inproceedings{DBLP:conf/icassp/BaninajjarHRA23,
author = {Anahita Baninajjar and
Kamran Hosseini and
Ahmed Rezine and
Amir Aminifar},
title = {SafeDeep: {A} Scalable Robustness Verification Framework for Deep
Neural Networks},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing
{ICASSP} 2023, Rhodes Island, Greece, June 4-10, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICASSP49357.2023.10097028},
doi = {10.1109/ICASSP49357.2023.10097028},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/BaninajjarHRA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09748,
author = {Anahita Baninajjar and
Ahmed Rezine and
Amir Aminifar},
title = {Verification-Friendly Deep Neural Networks},
journal = {CoRR},
volume = {abs/2312.09748},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.09748},
doi = {10.48550/ARXIV.2312.09748},
eprinttype = {arXiv},
eprint = {2312.09748},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/HorgaRCEP22,
author = {Adrian Horga and
Ahmed Rezine and
Sudipta Chattopadhyay and
Petru Eles and
Zebo Peng},
title = {Symbolic identification of shared memory based bank conflicts for
GPUs},
journal = {J. Syst. Archit.},
volume = {127},
pages = {102518},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102518},
doi = {10.1016/J.SYSARC.2022.102518},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/HorgaRCEP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/MahfouziASREP21,
author = {Rouhollah Mahfouzi and
Amir Aminifar and
Soheil Samii and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
title = {Breaking Silos to Guarantee Control Stability with Communication over
Ethernet {TSN}},
journal = {{IEEE} Des. Test},
volume = {38},
number = {5},
pages = {48--56},
year = {2021},
url = {https://doi.org/10.1109/MDAT.2020.2968281},
doi = {10.1109/MDAT.2020.2968281},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/MahfouziASREP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbdullaHHJR21,
author = {Parosh Aziz Abdulla and
Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Bengt Jonsson and
Ahmed Rezine},
title = {Correction to: An integrated specification and verification technique
for highly concurrent data structures},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {825},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00629-9},
doi = {10.1007/S10009-021-00629-9},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AbdullaHHJR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhangCPRLEJ20,
author = {Ying Zhang and
Krishnendu Chakrabarty and
Zebo Peng and
Ahmed Rezine and
Huawei Li and
Petru Eles and
Jianhui Jiang},
title = {Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order
Superscalar Processors},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {3},
pages = {714--727},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2018.2890695},
doi = {10.1109/TCAD.2018.2890695},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhangCPRLEJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GanjeiREP20,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Verifying Safety of Parameterized Heard-Of Algorithms},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {209--226},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_14},
doi = {10.1007/978-3-030-67087-0\_14},
timestamp = {Fri, 15 Jan 2021 14:54:16 +0100},
biburl = {https://dblp.org/rec/conf/netys/GanjeiREP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ChattopadhyayBR19,
author = {Sudipta Chattopadhyay and
Moritz Beck and
Ahmed Rezine and
Andreas Zeller},
title = {Quantifying the Information Leakage in Cache Attacks via Symbolic
Execution},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {1},
pages = {7:1--7:27},
year = {2019},
url = {https://doi.org/10.1145/3288758},
doi = {10.1145/3288758},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ChattopadhyayBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GanjeiRHEP19,
author = {Zeinab Ganjei and
Ahmed Rezine and
Ludovic Henrio and
Petru Eles and
Zebo Peng},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {On Reachability in Parameterized Phaser Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {299--315},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_17},
doi = {10.1007/978-3-030-17462-0\_17},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GanjeiRHEP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MahfouziASREP18,
author = {Rouhollah Mahfouzi and
Amir Aminifar and
Soheil Samii and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Jan Madsen and
Ayse K. Coskun},
title = {Stability-aware integrated routing and scheduling for control applications
in Ethernet networks},
booktitle = {2018 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
pages = {682--687},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/DATE.2018.8342096},
doi = {10.23919/DATE.2018.8342096},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/MahfouziASREP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AbdullaACDHRR18,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Bui Phi Diep and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Trau: {SMT} solver for string constraints},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602997},
doi = {10.23919/FMCAD.2018.8602997},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AbdullaACDHRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07142,
author = {Zeinab Ganjei and
Ahmed Rezine and
Ludovic Henrio and
Petru Eles and
Zebo Peng},
title = {On Reachability in Parameterized Phaser Programs},
journal = {CoRR},
volume = {abs/1811.07142},
year = {2018},
url = {http://arxiv.org/abs/1811.07142},
eprinttype = {arXiv},
eprint = {1811.07142},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-07142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AbdullaHHJR17,
author = {Parosh Aziz Abdulla and
Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Bengt Jonsson and
Ahmed Rezine},
title = {An integrated specification and verification technique for highly
concurrent data structures},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {5},
pages = {549--563},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0415-4},
doi = {10.1007/S10009-016-0415-4},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AbdullaHHJR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GanjeiREP17,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Safety verification of phaser programs},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {68--75},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102243},
doi = {10.23919/FMCAD.2017.8102243},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GanjeiREP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChattopadhyayBR17,
author = {Sudipta Chattopadhyay and
Moritz Beck and
Ahmed Rezine and
Andreas Zeller},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Quantifying the information leak in cache attacks via symbolic execution},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {25--35},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127044},
doi = {10.1145/3127041.3127044},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/ChattopadhyayBR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AbdullaACDHRR17,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Bui Phi Diep and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Flatten and conquer: a framework for efficient analysis of string
constraints},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {602--617},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062384},
doi = {10.1145/3062341.3062384},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/AbdullaACDHRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02801,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
title = {Safety Verification of Phaser Programs},
journal = {CoRR},
volume = {abs/1708.02801},
year = {2017},
url = {http://arxiv.org/abs/1708.02801},
eprinttype = {arXiv},
eprint = {1708.02801},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GanjeiREP16,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
title = {Counting dynamically synchronizing processes},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {5},
pages = {517--534},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0411-0},
doi = {10.1007/S10009-015-0411-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GanjeiREP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GanjeiREP16,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Lazy Constrained Monotonic Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {147--165},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_7},
doi = {10.1007/978-3-662-49122-5\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GanjeiREP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChattopadhyayBR16,
author = {Sudipta Chattopadhyay and
Moritz Beck and
Ahmed Rezine and
Andreas Zeller},
title = {Quantifying the Information Leak in Cache Attacks through Symbolic
Execution},
journal = {CoRR},
volume = {abs/1611.04426},
year = {2016},
url = {http://arxiv.org/abs/1611.04426},
eprinttype = {arXiv},
eprint = {1611.04426},
timestamp = {Thu, 28 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChattopadhyayBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaACHRRS15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer and
Jari Stenman},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Norn: An {SMT} Solver for String Constraints},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {462--469},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_29},
doi = {10.1007/978-3-319-21690-4\_29},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbdullaACHRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AbdullaAGRZ15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Zeinab Ganjei and
Ahmed Rezine and
Yunyun Zhu},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Verification of Cache Coherence Protocols wrt. Trace Filters},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {9--16},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542247},
doi = {10.1109/FMCAD.2015.7542247},
timestamp = {Tue, 30 May 2023 17:04:45 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AbdullaAGRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GanjeiREP15,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstracting and Counting Synchronizing Processes},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {227--244},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_13},
doi = {10.1007/978-3-662-46081-8\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GanjeiREP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaACHRRS14,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer and
Jari Stenman},
editor = {Armin Biere and
Roderick Bloem},
title = {String Constraints for Verification},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {150--166},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_10},
doi = {10.1007/978-3-319-08867-9\_10},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbdullaACHRRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/GantyR14,
author = {Pierre Ganty and
Ahmed Rezine},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized
Verification},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {396--408},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_32},
doi = {10.1007/978-3-319-04921-2\_32},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/GantyR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AbdullaDRSZ13,
author = {Parosh Aziz Abdulla and
Sandhya Dwarkadas and
Ahmed Rezine and
Arrvindh Shriraman and
Yunyun Zhu},
editor = {Enrico Macii},
title = {Verifying safety and liveness for the FlexTM hybrid transactional
memory},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {785--790},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.167},
doi = {10.7873/DATE.2013.167},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/AbdullaDRSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaHHJR13,
author = {Parosh Aziz Abdulla and
Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Bengt Jonsson and
Ahmed Rezine},
editor = {Nir Piterman and
Scott A. Smolka},
title = {An Integrated Specification and Verification Technique for Highly
Concurrent Data Structures},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {324--338},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_23},
doi = {10.1007/978-3-642-36742-7\_23},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaHHJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaACLR13,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Carl Leonardsson and
Ahmed Rezine},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Memorax, a Precise and Sound Tool for Automatic Fence Insertion under
{TSO}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {530--536},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_37},
doi = {10.1007/978-3-642-36742-7\_37},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaACLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DelzannoR12,
author = {Giorgio Delzanno and
Ahmed Rezine},
title = {A lightweight regular model checking approach for parameterized systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {2},
pages = {207--222},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0213-y},
doi = {10.1007/S10009-011-0213-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DelzannoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/ZhangREP12,
author = {Ying Zhang and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
title = {Automatic Test Program Generation for Out-of-Order Superscalar Processors},
booktitle = {21st {IEEE} Asian Test Symposium, {ATS} 2012, Niigata, Japan, November
19-22, 2012},
pages = {338--343},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ATS.2012.43},
doi = {10.1109/ATS.2012.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/ZhangREP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eisic/BerzinjiKR12,
author = {Ala Berzinji and
Lisa Kaati and
Ahmed Rezine},
editor = {Nasrullah Memon and
Daniel Zeng},
title = {Detecting Key Players in Terrorist Networks},
booktitle = {2012 European Intelligence and Security Informatics Conference, {EISIC}
2012, Odense, Denmark, August 22-24, 2012},
pages = {297--302},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/EISIC.2012.13},
doi = {10.1109/EISIC.2012.13},
timestamp = {Tue, 16 May 2023 16:54:39 +0200},
biburl = {https://dblp.org/rec/conf/eisic/BerzinjiKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AbdullaACLR12,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Carl Leonardsson and
Ahmed Rezine},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Automatic Fence Insertion in Integer Programs via Predicate Abstraction},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {164--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_13},
doi = {10.1007/978-3-642-33125-1\_13},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AbdullaACLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaACLR12,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Carl Leonardsson and
Ahmed Rezine},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Counter-Example Guided Fence Insertion under {TSO}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {204--219},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_15},
doi = {10.1007/978-3-642-28756-5\_15},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaACLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1302-3105,
editor = {Mohamed Faouzi Atig and
Ahmed Rezine},
title = {Proceedings 14th International Workshop on Verification of Infinite-State
Systems, Infinity 2012, Paris, France, 27th August 2012},
series = {{EPTCS}},
volume = {107},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.107},
doi = {10.4204/EPTCS.107},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0131,
author = {Ahmed Rezine},
title = {Ordered Counter-Abstraction},
journal = {CoRR},
volume = {abs/1204.0131},
year = {2012},
url = {http://arxiv.org/abs/1204.0131},
eprinttype = {arXiv},
eprint = {1204.0131},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AbdullaDR11,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
title = {Automatic Verification of Directory-Based Consistency Protocols with
Graph Constraints},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {4},
pages = {761--782},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008416},
doi = {10.1142/S0129054111008416},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AbdullaDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniDERS10,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Ahmed Rezine and
Mihaela Sighireanu},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Invariant Synthesis for Programs Manipulating Lists with Unbounded
Data},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {72--88},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_8},
doi = {10.1007/978-3-642-14295-6\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniDERS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaCDHHR10,
author = {Parosh Aziz Abdulla and
Yu{-}Fang Chen and
Giorgio Delzanno and
Fr{\'{e}}d{\'{e}}ric Haziza and
Chih{-}Duo Hong and
Ahmed Rezine},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Constrained Monotonic Abstraction: {A} {CEGAR} for Parameterized Verification},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {86--101},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_7},
doi = {10.1007/978-3-642-15375-4\_7},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AbdullaCDHHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1010-6112,
editor = {Yu{-}Fang Chen and
Ahmed Rezine},
title = {Proceedings 12th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2010, Singapore, Singapore, 21st September 2010},
series = {{EPTCS}},
volume = {39},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.39},
doi = {10.4204/EPTCS.39},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-6112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AbdullaDR09,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
title = {Approximated parameterized verification of infinite-state processes
with global conditions},
journal = {Formal Methods Syst. Des.},
volume = {34},
number = {2},
pages = {126--156},
year = {2009},
url = {https://doi.org/10.1007/s10703-008-0062-9},
doi = {10.1007/S10703-008-0062-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AbdullaDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AbdullaDHR09,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Noomene Ben Henda and
Ahmed Rezine},
title = {Monotonic Abstraction: on Efficient Verification of Parameterized
Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {779--801},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006887},
doi = {10.1142/S0129054109006887},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AbdullaDHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AbdullaDR09,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Approximated Context-Sensitive Analysis for Parameterized Verification},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {41--56},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_3},
doi = {10.1007/978-3-642-02138-1\_3},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/AbdullaDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AbdullaDR09,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Olivier Bournez and
Igor Potapov},
title = {Automatic Verification of Directory-Based Consistency Protocols},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {36--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_6},
doi = {10.1007/978-3-642-04420-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/AbdullaDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Rezine08,
author = {Ahmed Rezine},
title = {Parameterized Systems: Generalizing and Simplifying Automatic Verification},
school = {Uppsala University, Sweden},
year = {2008},
url = {https://nbn-resolving.org/urn:nbn:se:uu:diva-8587},
urn = {urn:nbn:se:uu:diva-8587},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Rezine08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaBCHR08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Jonathan Cederberg and
Fr{\'{e}}d{\'{e}}ric Haziza and
Ahmed Rezine},
editor = {Aarti Gupta and
Sharad Malik},
title = {Monotonic Abstraction for Programs with Dynamic Memory Heaps},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {341--354},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_33},
doi = {10.1007/978-3-540-70545-1\_33},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaBCHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AbdullaHDHR08,
author = {Parosh Aziz Abdulla and
Noomene Ben Henda and
Giorgio Delzanno and
Fr{\'{e}}d{\'{e}}ric Haziza and
Ahmed Rezine},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Parameterized Tree Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {69--83},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_5},
doi = {10.1007/978-3-540-68855-6\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/AbdullaHDHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbdullaDR08,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Monotonic Abstraction in Action},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {50--65},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_4},
doi = {10.1007/978-3-540-85762-4\_4},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AbdullaDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AbdullaHDR08,
author = {Parosh Aziz Abdulla and
Noomene Ben Henda and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Handling Parameterized Systems with Non-atomic Global Conditions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {22--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_7},
doi = {10.1007/978-3-540-78163-9\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AbdullaHDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbdullaDR08,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Vesa Halava and
Igor Potapov},
title = {Monotonic Abstraction in Parameterized Verification},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {3--14},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.027},
doi = {10.1016/J.ENTCS.2008.12.027},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbdullaDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbdullaBCHJR08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Jonathan Cederberg and
Fr{\'{e}}d{\'{e}}ric Haziza and
Ran Ji and
Ahmed Rezine},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {Shape Analysis via Monotonic Abstraction},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1559/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbdullaBCHJR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaDR07,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Ahmed Rezine},
editor = {Werner Damm and
Holger Hermanns},
title = {Parameterized Verification of Infinite-State Processes with Global
Conditions},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {145--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_17},
doi = {10.1007/978-3-540-73368-3\_17},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaDR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaDHR07,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Noomene Ben Henda and
Ahmed Rezine},
editor = {Orna Grumberg and
Michael Huth},
title = {Regular Model Checking Without Transducers (On Efficient Verification
of Parameterized Systems)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {721--736},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_56},
doi = {10.1007/978-3-540-71209-1\_56},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaDHR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AbdullaLdR06,
author = {Parosh Aziz Abdulla and
Axel Legay and
Julien d'Orso and
Ahmed Rezine},
title = {Tree regular model checking: {A} simulation-based approach},
journal = {J. Log. Algebraic Methods Program.},
volume = {69},
number = {1-2},
pages = {93--121},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2006.02.001},
doi = {10.1016/J.JLAP.2006.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AbdullaLdR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaJRS06,
author = {Parosh Aziz Abdulla and
Bengt Jonsson and
Ahmed Rezine and
Mayank Saksena},
editor = {Christel Baier and
Holger Hermanns},
title = {Proving Liveness by Backwards Reachability},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {95--109},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_7},
doi = {10.1007/11817949\_7},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/AbdullaJRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaLdR05,
author = {Parosh Aziz Abdulla and
Axel Legay and
Julien d'Orso and
Ahmed Rezine},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Simulation-Based Iteration of Tree Transducers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {30--44},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_3},
doi = {10.1007/978-3-540-31980-1\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaLdR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
