Eyad Alkassar - RankMe

20 papers A* 1A 1B 3C 2Journal 4Unranked 8

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	A Framework for the Verification of Certifying Computations. J. Autom. Reason. Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
2013	J	`jnl`	A Framework for the Verification of Certifying Computations CoRR Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
2012	—	`conf`	Verification of TLB Virtualization Implemented in C. VSTTE Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul
2011	J	`jnl`	An Introduction to Certifying Algorithms. it Inf. Technol. Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer
2011	B	`conf`	The 1st Verified Software Competition: Experience Report. FM Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
2011	A*	`conf`	Verification of Certifying Computations. CAV Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
2010	—	`conf`	Automated Verification of a Small Hypervisor. VSTTE Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
2010	B	`conf`	Modular specification and verification of interprocess communication. FMCAD Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev
2010	—	`conf`	Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
2010	B	`conf`	Verifying shadow page table algorithms. FMCAD Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
2009	J	`jnl`	Balancing the Load. J. Autom. Reason. Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
2009	—	`conf`	Invariants, Modularity, and Rights. Ershov Memorial Conference Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
2009	—	`—`	OS verification extended: on the formal verification of device drivers and the correctness of client-server software. Eyad Alkassar
2008	C	`conf`	Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE Eyad Alkassar, Peter Böhm, Steffen Knapp
2008	C	`conf`	Efficient Bit-Level Model Reductions for Automated Hardware Verification. TIME Sergey Tverdyshev, Eyad Alkassar
2008	—	`conf`	Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES Eyad Alkassar, Peter Böhm, Steffen Knapp
2008	—	`conf`	Formal Functional Verification of Device Drivers. VSTTE Eyad Alkassar, Mark A. Hillebrand
2008	A	`conf`	Formal Pervasive Verification of a Paging Mechanism. TACAS Eyad Alkassar, Norbert Schirmer, Artem Starostin
2008	—	`conf`	The Verisoft Approach to Systems Verification. VSTTE Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
2007	—	`conf`	Formal Device and Programming Model for a Serial Interface. VERIFY Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev