Travelled to:1 × Finland
1 × Switzerland
1 × USA
Collaborated with:J.Sun Y.Liu J.S.Dong L.Gui J.Hao H.Leung
Talks about:probabilist (2) system (2) model (2) reachabl (1) hierarch (1) approach (1) conquer (1) checker (1) analysi (1) improv (1)
Person: Songzheng Song
DBLP: Song:Songzheng
Contributed to:
2013
2012
2012Wrote 4 papers:
- IFM-2013-Song00LD #analysis #divide and conquer #reachability
- Improved Reachability Analysis in DTMC via Divide and Conquer (SS, LG, JS, YL, JSD), pp. 162–176.
- CAV-2012-SongSLD #model checking #probability #realtime
- A Model Checker for Hierarchical Probabilistic Real-Time Systems (SS, JS, YL, JSD), pp. 705–711.
- ICSE-2012-SongHLSLD #approach #model checking #multi #probability
- Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.