BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Ireland
1 × Norway
1 × Russia
1 × Singapore
1 × The Netherlands
1 × USA
2 × France
2 × Italy
2 × Spain
3 × Germany
4 × United Kingdom
Collaborated with:
J.Derrick G.Schellhorn M.Jakobs D.Wonisch ∅ C.Fischer F.Pauck A.Schremmer H.Treharne C.Soltenborn E.Olderog G.Engels B.Dongol O.Travkin M.Czech A.Rensink M.Semenyak S.Schneider J.Schrieb E.Bodden M.Platzner T.Wiersema S.A.Schneider D.M.Williams G.Besova S.Walther S.Becker K.Dräger A.Kupriyanov B.Finkbeiner B.Güldali M.Möller H.Rasch B.Tofan M.Hülsbusch B.König A.Kleppe
Talks about:
model (5) csp (5) verifi (4) transform (3) linearis (3) system (3) uml (3) lineariz (2) abstract (2) program (2)

Person: Heike Wehrheim

DBLP DBLP: Wehrheim:Heike

Facilitated 2 volumes:

IFM 2009Ed
IFM 2009Ed

Contributed to:

FASE 20152015
FM 20152015
SAC 20152015
FM 20142014
IFM 20142014
CAV 20132013
SEFM 20132013
CAV 20122012
MoDELS 20122012
FM 20112011
IFM 20102010
TACAS 20102010
FM 20092009
ECMDA-FA 20082008
AGTIVE 20072007
IFM 20072007
IFM 20042004
FASE 20012001
FASE 20002000
World Congress on Formal Methods 19991999
IFM 19991999
ESEC/FSE 20182018
ESEC/FSE 20192019

Wrote 25 papers:

FASE-2015-CzechJW #exclamation #verification #what
Just Test What You Cannot Verify! (MC, MCJ, HW), pp. 100–114.
FM-2015-DerrickDSTW #transaction #verification
Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
SAC-2015-JakobsW #analysis #data flow #proving #source code
Programs from proofs of predicated dataflow analyses (MCJ, HW), pp. 1729–1736.
FM-2014-DerrickDSTTW #consistency #verification
Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.
IFM-2014-JakobsPWW #hardware #verification
Integrating Software and Hardware Verification (MCJ, MP, HW, TW), pp. 307–322.
IFM-2014-SchneiderTWW #ltl #refinement
Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.
CAV-2013-WonischSW #proving #source code
Programs from Proofs — A PCC Alternative (DW, AS, HW), pp. 912–927.
SEFM-2013-WonischSW #monitoring #runtime
Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.
CAV-2012-SchellhornWD #algorithm #how
How to Prove Algorithms Linearisable (GS, HW, JD), pp. 243–259.
MoDELS-2012-BesovaWWB #composition #multi
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
FM-2011-DerrickSW #verification
Verifying Linearisability with Potential Linearisation Points (JD, GS, HW), pp. 323–337.
IFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics
Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
IFM-2010-SchneiderTW #approach #csp
A CSP Approach to Control in Event-B (SS, HT, HW), pp. 260–274.
TACAS-2010-DragerKFW #concurrent #infinity #model checking #named
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems (KD, AK, BF, HW), pp. 271–274.
FM-2009-SchriebWW #abstraction
Three-Valued Spotlight Abstractions (JS, HW, DW), pp. 106–122.
ECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards #uml
From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.
AGTIVE-2007-EngelsGSW #consistency #contract #modelling #process #using #visual notation #web #web service
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.
IFM-2007-DerrickSW #proving #refinement
Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.
IFM-2004-MollerORW #case study #java #uml
Linking CSP-OZ with UML and Java: A Case Study (MM, ERO, HR, HW), pp. 267–286.
FASE-2001-FischerOW #csp #diagrams #uml
A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.
FASE-2000-Wehrheim #automation #case study #formal method #specification #using
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods (HW), pp. 334–348.
FM-v2-1999-Wehrheim #abstraction
Data Abstraction for CSP-OZ (HW), pp. 1028–1047.
IFM-1999-FischerW #model checking #specification
Model-Checking CSP-OZ Specifications with FDR (CF, HW), pp. 315–334.
ESEC-FSE-2018-PauckBW #analysis #android #question #tool support
Do Android taint analysis tools keep their promises? (FP, EB, HW), pp. 331–341.
ESEC-FSE-2019-PauckW #analysis #android
Together strong: cooperative Android app analysis (FP, HW), pp. 374–384.
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.