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 × Germany
2 × Austria
2 × Estonia
2 × Italy
2 × USA
Collaborated with:
Z.Wu W.Fokkink M.Z.Kwiatkowska S.Kiefer T.Han J.Katoen A.Mereacre V.Forejt D.Parker A.Simaitis M.Hague A.W.Lin S.Nain X.Gu Z.Xu C.Chilton B.Jonsson L.Aceto A.Ingólfsdóttir B.Barbot G.Su Y.F.0001 D.S.Rosenblum P.S.Thiagarajan Y.Chen P.Rümmer J.He F.Song G.Wang J.Yan
Talks about:
decis (4) constraint (3) composit (3) markov (3) model (3) time (3) axiomatiz (2) stochast (2) procedur (2) complet (2)

Person: Taolue Chen

DBLP DBLP: Chen:Taolue

Contributed to:

CSL-LICS 20142014
TACAS 20132013
ESOP 20122012
TACAS 20122012
TACAS 20112011
LICS 20092009
LICS 20082008
FoSSaCS 20062006
ICALP (2) 20062006
FASE 20162016
IJCAR 20162016
CADE 20172017
CAV (2) 20182018
POPL 20182018
POPL 20192019

Wrote 15 papers:

LICS-CSL-2014-ChenK #distance #markov #on the
On the total variation distance of labelled Markov chains (TC, SK), p. 10.
TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability
PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
ESOP-2012-ChenCJK #behaviour #component #composition #specification
A Compositional Specification Theory for Component Behaviours (TC, CC, BJ, MZK), pp. 148–168.
TACAS-2012-ChenFKPS #automation #probability #verification
Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime
Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
LICS-2009-ChenHKM #automaton #markov #model checking #specification
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (TC, TH, JPK, AM), pp. 309–318.
LICS-2008-ChenF #axiom #equivalence #on the
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (TC, WF), pp. 156–165.
FoSSaCS-2006-ChenFN #finite #infinity #on the #simulation
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation (TC, WF, SN), pp. 1–15.
ICALP-v2-2006-AcetoCFI #axiom #on the
On the Axiomatizability of Priority (LA, TC, WF, AI), pp. 480–491.
FASE-2016-SuCFRT #adaptation #markov #process #self
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (GS, TC, YF0, DSR, PST), pp. 269–286.
IJCAR-2016-GuCW #composition #constraints #logic
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (XG, TC, ZW), pp. 532–549.
CADE-2017-XuCW #composition #constraints #logic #satisfiability
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints (ZX, TC, ZW), pp. 509–527.
CAV-2018-ChenHSWWY #android #stack
Android Stack Machine (TC, JH, FS, GW, ZW, JY), pp. 487–504.
POPL-2018-ChenCHLW #constraints #decidability #string #what
What is decidable about string constraints with the ReplaceAll function (TC, YC, MH, AWL, ZW), p. 29.
POPL-2019-ChenHLRW #source code #string
Decision procedures for path feasibility of string-manipulating programs with complex operations (TC, MH, AWL, PR, ZW), p. 30.
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.