Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rosemary Monahan

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 Vladimir Klebanov

> Home > Persons > Rosemary Monahan

Publications

2017
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/HuismanKMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HuismanKMT17
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig:
VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. 19(6): 763-771 (2017)
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HuismanKM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HuismanKM15
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
VerifyThis 2012 - A Program Verification Competition. Int. J. Softw. Tools Technol. Transf. 17(6): 647-657 (2015)
2014
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BeyerHKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BeyerHKM14
Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports 4(4): 1-19 (2014)
2012
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/HuismanKM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HuismanKM12
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
On the Organisation of Program Verification Competitions. COMPARE 2012: 50-59
2011
[c6]
- 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
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/foveoos/BormerBDEFGHKMMMPSSTTU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich:
The COST IC0701 Verification Competition 2011. FoVeOOS 2011: 3-21

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.