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 × Denmark
1 × Finland
1 × Germany
1 × Italy
1 × Spain
6 × France
Collaborated with:
N.Sidorova T.M.T.Tran J.Dovland E.B.Johnsen O.Owe K.I.Pun V.Stolz H.Truong N.Ioustinova D.Dams Y.Lakhnech E.Ábrahám B.Becker F.Klaedtke E.Ábrahám-Mumm F.S.d.Boer W.P.d.Roever
Talks about:
check (4) system (3) model (3) increment (2) transact (2) synchron (2) behavior (2) multipl (2) inherit (2) subtyp (2)

Person: Martin Steffen

DBLP DBLP: Steffen:Martin

Contributed to:

SEFM 20142014
SEFM 20132013
IFM 20102010
IFM 20092009
IFM 20092011
FM 20082008
VMCAI 20052005
FME 20022002
FoSSaCS 20022002
VMCAI 20022002
CAV 20012001
SAS 20012001

Wrote 12 papers:

SEFM-2014-PunSS #behaviour #concurrent
Effect-Polymorphic Behaviour Inference for Deadlock Checking (KIP, MS, VS), pp. 50–64.
SEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
IFM-2010-TranS #commit #java #transaction
Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.
IFM-2009-DovlandJOS #incremental #inheritance #multi #reasoning
Incremental Reasoning for Multiple Inheritance (JD, EBJ, OO, MS), pp. 215–230.
IFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system
Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.
FM-2008-DovlandJOS #behaviour #lazy evaluation #type system
Lazy Behavioral Subtyping (JD, EBJ, OO, MS), pp. 52–67.
VMCAI-2005-AbrahamBKS #bound #hybrid #linear #model checking #optimisation
Optimizing Bounded Model Checking for Linear Hybrid Systems (EÁ, BB, FK, MS), pp. 396–412.
FME-2002-IoustinovaSS #model checking
Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.
FoSSaCS-2002-Abraham-MummBRS #concept #java #multi #thread #verification
Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.
VMCAI-2002-SidorovaS #model checking
Synchronous Closing of Timed SDL Systems for Model Checking (NS, MS), pp. 79–93.
CAV-2001-DamsLS #transducer
Iterating Transducers (DD, YL, MS), pp. 286–297.
SAS-2001-SidorovaS
Embedding Chaos (NS, MS), pp. 319–334.
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.