Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Zilong Wang 0004

> Home > Persons

Person information

affiliation (PhD 2016): University of Kaiserslautern, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Wang16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Wang16
Zilong Wang:
Algorithms and Tools for Verification and Testing of Asynchronous Programs. University of Kaiserslautern, 2016

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/GaoHMW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/GaoHMW16
Min Gao, Lei He, Rupak Majumdar, Zilong Wang:
LLSPLAT: Improving Concolic Testing by Bounded Model Checking. SCAM 2016: 127-136
2015
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MajumdarW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MajumdarW15
Rupak Majumdar, Zilong Wang:
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs. CAV (1) 2015: 496-503
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/MajumdarTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/MajumdarTW14
Rupak Majumdar, Sai Deep Tetali, Zilong Wang:
Kuai: A model checker for software-defined networks. FMCAD 2014: 163-170
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/MajumdarW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MajumdarW13
Rupak Majumdar, Zilong Wang:
Expand, Enlarge, and Check for Branching Vector Addition Systems. CONCUR 2013: 152-166
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/MajumdarMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/MajumdarMW13
Rupak Majumdar, Roland Meyer, Zilong Wang:
Provenance Verification. RP 2013: 21-22
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MajumdarMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MajumdarMW13
Rupak Majumdar, Roland Meyer, Zilong Wang:
Static Provenance Verification for Message Passing Programs. SAS 2013: 366-387
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MajumdarSSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MajumdarSSW12
Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang:
CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods 2012: 356-370
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/MajumdarSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/MajumdarSW10
Rupak Majumdar, Indranil Saha, Zilong Wang:
Systematic testing for control applications. MEMOCODE 2010: 1-10

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.