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 × Greece
1 × United Kingdom
2 × Italy
2 × Poland
2 × USA
Collaborated with:
A.Wassyng T.S.E.Maibaum Z.Diskin N.K.Singh H.Wang L.M.Patcas X.Hu H.König S.Wynn-Williams W.Chen A.Iqbal A.Abdrakhmanov J.Parlar C.George T.Arbuckle A.Balaban D.K.Peters T.S.E.Maibaum T.Maibaum V.Pantelic G.M.K.Selim C.Milo M.Diab F.Weslati
Talks about:
formal (4) system (3) model (3) enterpris (2) softwar (2) impact (2) scale (2) chang (2) larg (2) resynchron (1)

Person: Mark Lawford

DBLP DBLP: Lawford:Mark

Contributed to:

HCI/DHM p2 20152015
HCI/DHM 20142014
IFM 20142014
Post-ICEIS 20122012
ICEIS v2 20122012
SEKE 20072007
FM 20052005
FME 20032003
MoDELS 20182018
FASE 20182018
FASE 20192019

Wrote 12 papers:

DHM-EH-2015-SinghLMW #formal method
Formalizing the Cardiac Pacemaker Resynchronization Therapy (NKS, ML, TSEM, AW), pp. 374–386.
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DHM-2014-SinghWLMW #formal method
Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
IFM-2014-PatcasLM #embedded
A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.
ICEIS-J-2012-ChenIAPGLMW12a #enterprise #scalability
Large-Scale Enterprise Systems: Changes and Impacts (WC, AI, AA, JP, CG, ML, TSEM, AW), pp. 274–290.
ICEIS-v2-2012-ChenIAPGLMW #enterprise #impact analysis #scalability
Change Impact Analysis for Large-scale Enterprise Systems (WC, AI, AA, JP, CG, ML, TSEM, AW), pp. 359–368.
SEKE-2007-ArbuckleBPL #comparison #documentation #metric
Software Documents: Comparison and Measurement (TA, AB, DKP, ML), p. 740–?.
FM-2005-WassyngLH #safety
Timing Tolerances in Safety-Critical Software (AW, ML, XH), pp. 157–172.
FME-2003-WassyngL #formal method #implementation #industrial #lessons learnt
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project (AW, ML), pp. 133–153.
MoDELS-2018-DiskinMWWL #assurance #model transformation #refinement
Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
FASE-2018-DiskinKL #lens #multi
Multiple Model Synchronization with Multiary Delta Lenses (ZD, HK, ML), pp. 21–37.
FASE-2019-Wynn-WilliamsDP #named #refactoring
SL2SF: Refactoring Simulink to Stateflow (SWW, ZD, VP, ML, GMKS, CM, MD, FW), pp. 264–281.

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.