Eyad Alkassar

	2012
18		Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul: Verification of TLB Virtualization Implemented in C. VSTTE 2012: 209-224
	2011
17		Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah: Verification of Certifying Computations. CAV 2011: 67-82
16		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ß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
15		Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer: An Introduction to Certifying Algorithms. it - Information Technology 53(6): 287-293 (2011)
	2010
14		Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev: Modular specification and verification of interprocess communication. FMCAD 2010: 167-174
13		Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul: Verifying shadow page table algorithms. FMCAD 2010: 267-270
12		Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova: Automated Verification of a Small Hypervisor. VSTTE 2010: 40-54
11		Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban: Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE 2010: 71-85
	2009
10		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: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
9		Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009)
8		Eyad Alkassar: OS verification extended: on the formal verification of device drivers and the correctness of client-server software. Saarland University 2009
	2008
7		Eyad Alkassar, Peter Böhm, Steffen Knapp: Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES 2008: 57-67
6		Eyad Alkassar, Peter Böhm, Steffen Knapp: Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE 2008: 175-186
5		Eyad Alkassar, Norbert Schirmer, Artem Starostin: Formal Pervasive Verification of a Paging Mechanism. TACAS 2008: 109-123
4		Sergey Tverdyshev, Eyad Alkassar: Efficient Bit-Level Model Reductions for Automated Hardware Verification. TIME 2008: 164-172
3		Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
2		Eyad Alkassar, Mark A. Hillebrand: Formal Functional Verification of Device Drivers. VSTTE 2008: 225-239
	2007
1		Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007

Coauthor Index

1	Rob Arthan	[16]
2	Peter Böhm	[6] [7]
3	Sascha Böhme	[15] [17]
4	Vladimir Boyarinov	[10]
5	Derek Bronish	[16]
6	Rod Chapman	[16]
7	Ernie Cohen	[10] [13] [14] [16] [18]
8	Markus Dahlweid	[10]
9	Ulan Degenbaev	[10]
10	Mark A. Hillebrand	[1] [2] [3] [9] [10] [12] [13] [14] [16]
11	Bart Jacobs	[16]
12	Vladimir Klebanov	[16]
13	Steffen Knapp	[1] [6] [7]
14	Mikhail Kovalev	[13] [18]
15	Bruno Langenstein	[10]
16	Gary T. Leavens	[16]
17	Dirk Leinenbach	[3] [9] [10]
18	K. Rustan M. Leino	[16]
19	Kurt Mehlhorn	[15] [17]
20	Rosemary Monahan	[16]
21	Michal Moskal	[10]
22	Peter Müller	[16]
23	Steven Obua	[10]
24	Wolfgang J. Paul	[10] [11] [12] [13] [18]
25	Hristo Pentchev	[10] [14]
26	Elena Petrova	[10] [12]
27	Frank Piessens	[16]
28	Nadia Polikarpova	[16]
29	Tom Ridge (Thomas Ridge)	[16]
30	Christine Rizkallah	[15] [17]
31	Rostislav Rusev	[1]
32	Thomas Santen	[10]
33	Norbert Schirmer (Bert Schirmer)	[3] [5] [9] [10]
34	Sabine Schmaltz	[10]
35	Wolfram Schulte	[10]
36	Pascal Schweitzer	[15]
37	Andrey Shadrin	[10]
38	Natarajan Shankar	[16]
39	Jan Smans	[16]
40	Artem Starostin	[3] [5] [9] [11]
41	Stephan Tobies	[10] [16]
42	Alexandra Tsyban	[9] [10] [11]
43	Thomas Tuerk	[16]
44	Sergey Tverdyshev	[1] [4] [10]
45	Mattias Ulbrich	[16]
46	Benjamin Weiß	[16]
47	Valentin Wüstholz	[16]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page