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 × Greece
1 × Singapore
2 × Italy
Collaborated with:
E.Brinksma P.Broekroelofs P.Kordy S.Mauw J.W.Polderman T.C.Ruys J.Katoen D.Latella M.Massink
Talks about:
process (2) analysi (2) algebra (2) time (2) decomposit (1) transform (1) algorithm (1) stochast (1) function (1) composit (1)

Person: Rom Langerak

DBLP DBLP: Langerak:Rom

Contributed to:

FM 20142014
TACAS 20012001
CAV 19991999
CAV 19931993

Wrote 4 papers:

FM-2014-KordyLMP #algorithm #analysis #automaton #robust
A Symbolic Algorithm for the Analysis of Robust Timed Automata (PK, RL, SM, JWP), pp. 351–366.
TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.
CAV-1999-LangerakB #algebra #finite #process
A Complete Finite Prefix for Process Algebra (RL, EB), pp. 184–195.
CAV-1993-BrinksmaLB #composition
Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–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.