BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Ireland
1 × Italy
1 × USA
Collaborated with:
K.R.M.Leino G.Carter J.M.Morris Z.Cheng J.F.Power V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:
softwar (2) comprehens (1) translat (1) research (1) competit (1) perfect (1) develop (1) verifi (1) solver (1) semant (1)

Person: Rosemary Monahan

DBLP DBLP: Monahan:Rosemary

Contributed to:

FM 20112011
SAC 20092009
SEFM 20052005
ICMT 20152015

Wrote 4 papers:

FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
SAC-2009-LeinoM #first-order #reasoning #smt
Reasoning about comprehensions with first-order SMT solvers (KRML, RM), pp. 615–622.
SEFM-2005-CarterMM #developer #refinement
Software Refinement with Perfect Developer (GC, RM, JMM), pp. 363–373.
ICMT-2015-ChengMP #atl #execution #research #semantics #validation
A Sound Execution Semantics for ATL via Translation Validation — Research Paper (ZC, RM, JFP), pp. 133–148.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.