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 × France
1 × Germany
1 × India
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:
L.Petre E.Troubitsyna V.Kasurinen M.A.Waldén R.Back M.Neovius L.Yan M.Satpathy J.Berthing P.Boström L.Tsiopoulos J.Vain D.Diaconescu I.Leustean G.Stefanescu
Talks about:
system (8) action (3) refin (3) develop (2) context (2) specif (2) formal (2) translat (1) interact (1) preserv (1)

Person: Kaisa Sere

DBLP DBLP: Sere:Kaisa

Facilitated 2 volumes:

FM 2008Ed
IFM 2002Ed

Contributed to:

IFM 20122012
SEFM 20062006
IFM 20002000
World Congress on Formal Methods 19991999
FME 19961996
FME 19941994

Wrote 8 papers:

IFM-2012-BerthingBSTV #development
Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.
IFM-2012-DiaconescuLPSS #interactive
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.
SEFM-2006-NeoviusSYS #formal method
A Formal Model of Context-Awareness and Context-Dependency (MN, KS, LY, MS), pp. 177–185.
IFM-2000-PetreS #component
Developing Control Systems Components (LP, KS), pp. 156–175.
FM-v2-1999-SereT #analysis #safety #specification
Safety Analysis in Formal Specification (KS, ET), pp. 1564–1583.
FME-1996-KasurinenS #specification
Integrating Action Systems and Z in a Medical System Specification (VK, KS), pp. 105–119.
FME-1996-WaldenS
Refining Action Systems within B-Tool (MAW, KS), pp. 85–104.
FME-1994-BackS #composition
From Action Systems to Modular Systems (RJB, KS), pp. 1–25.

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.