Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eyad Alkassar
@article{DBLP:journals/jar/AlkassarBMR14,
author = {Eyad Alkassar and
Sascha B{\"{o}}hme and
Kurt Mehlhorn and
Christine Rizkallah},
title = {A Framework for the Verification of Certifying Computations},
journal = {J. Autom. Reason.},
volume = {52},
number = {3},
pages = {241--273},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9289-2},
doi = {10.1007/S10817-013-9289-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AlkassarBMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-7462,
author = {Eyad Alkassar and
Sascha B{\"{o}}hme and
Kurt Mehlhorn and
Christine Rizkallah},
title = {A Framework for the Verification of Certifying Computations},
journal = {CoRR},
volume = {abs/1301.7462},
year = {2013},
url = {http://arxiv.org/abs/1301.7462},
eprinttype = {arXiv},
eprint = {1301.7462},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-7462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AlkassarCKP12,
author = {Eyad Alkassar and
Ernie Cohen and
Mikhail Kovalev and
Wolfgang J. Paul},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Verification of {TLB} Virtualization Implemented in {C}},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {209--224},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_17},
doi = {10.1007/978-3-642-27705-4\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AlkassarCKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/AlkassarBMRS11,
author = {Eyad Alkassar and
Sascha B{\"{o}}hme and
Kurt Mehlhorn and
Christine Rizkallah and
Pascal Schweitzer},
title = {An Introduction to Certifying Algorithms},
journal = {it Inf. Technol.},
volume = {53},
number = {6},
pages = {287--293},
year = {2011},
url = {https://doi.org/10.1524/itit.2011.0655},
doi = {10.1524/ITIT.2011.0655},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/AlkassarBMRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlkassarBMR11,
author = {Eyad Alkassar and
Sascha B{\"{o}}hme and
Kurt Mehlhorn and
Christine Rizkallah},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Verification of Certifying Computations},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {67--82},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_7},
doi = {10.1007/978-3-642-22110-1\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlkassarBMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
author = {Vladimir Klebanov and
Peter M{\"{u}}ller and
Natarajan Shankar and
Gary T. Leavens and
Valentin W{\"{u}}stholz and
Eyad Alkassar and
Rob Arthan and
Derek Bronish and
Rod Chapman and
Ernie Cohen and
Mark A. Hillebrand and
Bart Jacobs and
K. Rustan M. Leino and
Rosemary Monahan and
Frank Piessens and
Nadia Polikarpova and
Tom Ridge and
Jan Smans and
Stephan Tobies and
Thomas Tuerk and
Mattias Ulbrich and
Benjamin Wei{\ss}},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {The 1st Verified Software Competition: Experience Report},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {154--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_14},
doi = {10.1007/978-3-642-21437-0\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlkassarCHP10,
author = {Eyad Alkassar and
Ernie Cohen and
Mark A. Hillebrand and
Hristo Pentchev},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Modular specification and verification of interprocess communication},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {167--174},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770946/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlkassarCHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AlkassarCHKP10,
author = {Eyad Alkassar and
Ernie Cohen and
Mark A. Hillebrand and
Mikhail Kovalev and
Wolfgang J. Paul},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Verifying shadow page table algorithms},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {267--270},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770958/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AlkassarCHKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AlkassarHPP10,
author = {Eyad Alkassar and
Mark A. Hillebrand and
Wolfgang J. Paul and
Elena Petrova},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Automated Verification of a Small Hypervisor},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {40--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_3},
doi = {10.1007/978-3-642-15057-9\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AlkassarHPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AlkassarPST10,
author = {Eyad Alkassar and
Wolfgang J. Paul and
Artem Starostin and
Alexandra Tsyban},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Pervasive Verification of an {OS} Microkernel - Inline Assembly, Memory
Consumption, Concurrent Devices},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {71--85},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_5},
doi = {10.1007/978-3-642-15057-9\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AlkassarPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Alkassar2009,
author = {Eyad Alkassar},
title = {{OS} verification extended: on the formal verification of device drivers
and the correctness of client-server software},
school = {Saarland University},
year = {2009},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2009/2420/},
urn = {urn:nbn:de:bsz:291-scidok-24206},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Alkassar2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlkassarHLSST09,
author = {Eyad Alkassar and
Mark A. Hillebrand and
Dirk Leinenbach and
Norbert Schirmer and
Artem Starostin and
Alexandra Tsyban},
title = {Balancing the Load},
journal = {J. Autom. Reason.},
volume = {42},
number = {2-4},
pages = {389--454},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9123-z},
doi = {10.1007/S10817-009-9123-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AlkassarHLSST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
author = {Ernie Cohen and
Eyad Alkassar and
Vladimir Boyarinov and
Markus Dahlweid and
Ulan Degenbaev and
Mark A. Hillebrand and
Bruno Langenstein and
Dirk Leinenbach and
Michal Moskal and
Steven Obua and
Wolfgang J. Paul and
Hristo Pentchev and
Elena Petrova and
Thomas Santen and
Norbert Schirmer and
Sabine Schmaltz and
Wolfram Schulte and
Andrey Shadrin and
Stephan Tobies and
Alexandra Tsyban and
Sergey Tverdyshev},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Invariants, Modularity, and Rights},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {43--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_4},
doi = {10.1007/978-3-642-11486-1\_4},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/AlkassarBK08,
author = {Eyad Alkassar and
Peter B{\"{o}}hm and
Steffen Knapp},
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Wayne H. Wolf},
title = {Formal Correctness of an Automotive Bus Controller Implementation
at Gate-Level},
booktitle = {Distributed Embedded Systems: Design, Middleware and Resources, {IFIP}
20th World Computer Congress, {TC10} Working Conference on Distributed
and Parallel Embedded Systems {(DIPES} 2008), September 7-10, 2008,
Milano, Italy},
series = {{IFIP}},
volume = {271},
pages = {57--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09661-2\_6},
doi = {10.1007/978-0-387-09661-2\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/AlkassarBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AlkassarBK08,
author = {Eyad Alkassar and
Peter B{\"{o}}hm and
Steffen Knapp},
title = {Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware
Implementation},
booktitle = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
CA, {USA}},
pages = {175--186},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MEMCOD.2008.4547708},
doi = {10.1109/MEMCOD.2008.4547708},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/AlkassarBK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlkassarSS08,
author = {Eyad Alkassar and
Norbert Schirmer and
Artem Starostin},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Formal Pervasive Verification of a Paging Mechanism},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {109--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_9},
doi = {10.1007/978-3-540-78800-3\_9},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlkassarSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/TverdyshevA08,
author = {Sergey Tverdyshev and
Eyad Alkassar},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Efficient Bit-Level Model Reductions for Automated Hardware Verification},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {164--172},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.11},
doi = {10.1109/TIME.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/TverdyshevA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AlkassarHLSS08,
author = {Eyad Alkassar and
Mark A. Hillebrand and
Dirk Leinenbach and
Norbert Schirmer and
Artem Starostin},
editor = {Natarajan Shankar and
Jim Woodcock},
title = {The Verisoft Approach to Systems Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, Second International
Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5295},
pages = {209--224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87873-5\_18},
doi = {10.1007/978-3-540-87873-5\_18},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/AlkassarHLSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AlkassarH08,
author = {Eyad Alkassar and
Mark A. Hillebrand},
editor = {Natarajan Shankar and
Jim Woodcock},
title = {Formal Functional Verification of Device Drivers},
booktitle = {Verified Software: Theories, Tools, Experiments, Second International
Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5295},
pages = {225--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87873-5\_19},
doi = {10.1007/978-3-540-87873-5\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AlkassarH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlkassarHKRT07,
author = {Eyad Alkassar and
Mark A. Hillebrand and
Steffen Knapp and
Rostislav Rusev and
Sergey Tverdyshev},
editor = {Bernhard Beckert},
title = {Formal Device and Programming Model for a Serial Interface},
booktitle = {Proceedings of 4th International Verification Workshop in connection
with CADE-21, Bremen, Germany, July 15-16, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {259},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-259/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/AlkassarHKRT07.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-25 01:33 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:
