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 × Denmark
1 × Estonia
1 × France
1 × Italy
1 × Switzerland
1 × USA
2 × United Kingdom
Collaborated with:
E.Derevenetc A.Bouajjani R.Majumdar G.Calin T.Strazny Z.Wang E.Möhlmann P.Habermehl H.Wimmel Z.Long
Talks about:
against (3) robust (3) languag (2) tso (2) net (2) petruchio (1) reachabl (1) downward (1) abstract (1) theoret (1)

Person: Roland Meyer

DBLP DBLP: Meyer:Roland

Contributed to:

FASE 20152015
ICALP (2) 20142014
ESOP 20132013
SAS 20132013
FASE 20122012
ICALP (2) 20112011
CAV 20102010
ICALP (2) 20102010

Wrote 8 papers:

FASE-2015-BouajjaniCDM #lazy evaluation #reachability
Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.
ICALP-v2-2014-DerevenetcM #robust
Robustness against Power is PSpace-complete (ED, RM), pp. 158–170.
ESOP-2013-BouajjaniDM #robust
Checking and Enforcing Robustness against TSO (AB, ED, RM), pp. 533–553.
SAS-2013-MajumdarMW #message passing #source code #verification
Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
FASE-2012-LongCMM #abstraction #refinement
Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
ICALP-v2-2011-BouajjaniMM #robust
Deciding Robustness against Total Store Ordering (AB, RM, EM), pp. 428–440.
CAV-2010-MeyerS #named #network
Petruchio: From Dynamic Networks to Nets (RM, TS), pp. 175–179.
ICALP-v2-2010-HabermehlMW #petri net
The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.

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.