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 × Israel
1 × Poland
1 × Spain
1 × Switzerland
2 × Estonia
2 × Portugal
Collaborated with:
J.Worrell ∅ E.Cormie-Bowins X.Zhang Q.T.0001 D.Chen B.Sharma S.Shalit C.Hermida M.Makkai M.W.Mislove J.Ouaknine
Talks about:
probabilist (7) system (4) label (4) bisimilar (3) transit (3) pseudometr (2) behaviour (2) progress (2) approxim (2) measur (2)

Person: Franck van Breugel

DBLP DBLP: Breugel:Franck_van

Facilitated 1 volumes:

QAPL 2007Ed

Contributed to:

FOSSACS 20122012
QAPL 20122012
ICALP (2) 20112011
FoSSaCS 20072007
ICALP 20052005
FoSSaCS 20032003
ICALP 20022002
ICALP 20012001
ICALP 19941994
TAPSOFT, Vol.1: CAAP 19911991
TAPSOFT CAAP/FASE 19971997
CAV (1) 20182018

Wrote 12 papers:

FoSSaCS-2012-ChenBW #complexity #on the #probability #similarity
On the Complexity of Computing Probabilistic Bisimilarity (DC, FvB, JW), pp. 437–451.
QAPL-2012-CormieBowinsB #ltl #model checking #probability
Measuring Progress of Probabilistic LTL Model Checking (ECB, FvB), pp. 33–47.
ICALP-v2-2011-ZhangB #model checking #probability
A Progress Measure for Explicit-State Probabilistic Model-Checkers (XZ, FvB), pp. 283–294.
FoSSaCS-2007-BreugelSW #approximate #behaviour #probability #pseudo
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (FvB, BS, JW), pp. 123–137.
ICALP-2005-BreugelHMW #approach #behaviour #pseudo
An Accessible Approach to Behavioural Pseudometrics (FvB, CH, MM, JW), pp. 1018–1030.
FoSSaCS-2003-BreugelMOW #approximate #probability #similarity
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (FvB, MWM, JO, JW), pp. 200–215.
ICALP-2002-BreugelSW #markov #process #testing
Testing Labelled Markov Processes (FvB, SS, JW), pp. 537–548.
ICALP-2001-BreugelW #probability #towards #verification
Towards Quantitative Verification of Probabilistic Transition Systems (FvB, JW), pp. 421–432.
ICALP-1994-Breugel #lts
Generalized Finiteness Conditions of Labelled Transition Systems (FvB), pp. 376–387.
CAAP-1991-Breugel #comparative #integration #programming language #realtime #semantics
Comparative Semantics for a Real-Time Programming Language with Integration (FvB), pp. 397–411.
TAPSOFT-1997-Breugel #calculus #lts
A Labelled Transition Systems for pi-epsilon-Calculus (FvB), pp. 321–332.
CAV-2018-TangB #distance #markov #probability #similarity
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains (QT0, FvB), pp. 681–699.
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.