Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mark A. Hillebrand

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Eyad Alkassar

> Home > Persons > Mark A. Hillebrand

Publications

2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
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
2010
[c17]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/AlkassarCHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AlkassarCHP10
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev:
Modular specification and verification of interprocess communication. FMCAD 2010: 167-174
[c16]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/AlkassarCHKP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AlkassarCHKP10
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul:
Verifying shadow page table algorithms. FMCAD 2010: 267-270
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AlkassarHPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AlkassarHPP10
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova:
Automated Verification of a Small Hypervisor. VSTTE 2010: 40-54
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlkassarHLSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlkassarHLSST09
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban:
Balancing the Load. J. Autom. Reason. 42(2-4): 389-454 (2009)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
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
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AlkassarHLSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AlkassarHLSS08
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin:
The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AlkassarH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AlkassarH08
Eyad Alkassar, Mark A. Hillebrand:
Formal Functional Verification of Device Drivers. VSTTE 2008: 225-239
2007
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/AlkassarHKRT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AlkassarHKRT07
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev:
Formal Device and Programming Model for a Serial Interface. VERIFY 2007

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.