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: Sere:Kaisa
Facilitated 2 volumes:
Ed
EdContributed to:
2012
20062000199919961994Wrote 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.