×
Author ID: wang.chao.3 Recent zbMATH articles by "Wang, Chao"
Published as: Wang, Chao
Homepage: https://sites.usc.edu/chaowang/
External Links: Google Scholar · dblp

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 87 times in 67 Documents Cited by Year
Shield synthesis: runtime enforcement for reactive systems. Zbl 1420.68119
Bloem, Roderick; Könighofer, Bettina; Könighofer, Robert; Wang, Chao
16
2015
Shield synthesis. Zbl 1386.68101
Könighofer, Bettina; Alshiekh, Mohammed; Bloem, Roderick; Humphrey, Laura; Könighofer, Robert; Topcu, Ufuk; Wang, Chao
11
2017
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
11
2008
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
9
2009
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
6
2006
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo
4
2007
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
4
2011
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti
4
2005
Synthesis of masking countermeasures against side channel attacks. Zbl 1445.68058
Eldib, Hassan; Wang, Chao
4
2014
SCInfer: refinement-based verification of software countermeasures against side-channel attacks. Zbl 1511.68173
Zhang, Jun; Gao, Pengfei; Song, Fu; Wang, Chao
4
2018
Compositional SCC analysis for language emptiness. Zbl 1100.68059
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
3
2006
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
3
2010
SAT-based verification methods and applications in hardware verification. Zbl 1182.68119
Gupta, Aarti; Ganai, Malay K.; Wang, Chao
2
2006
Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Zbl 1396.68018
2
2018
Divide and compose: SCC refinement for language emptiness. Zbl 1006.68531
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
2
2001
Sharp disjunctive decomposition for language emptiness checking. Zbl 1019.68631
Wang, Chao; Hachtel, Gary D.
2
2002
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh
1
2008
Abstraction and mining of traces to explain concurrency bugs. Zbl 1380.68107
Tabaei Befrouei, Mitra; Wang, Chao; Weissenbacher, Georg
1
2016
DiffRNN: differential verification of recurrent neural networks. Zbl 07498004
Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
1
2021
Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Zbl 1453.68017
1
2020
Inverse design of magneto-active metasurfaces and robots: theory, computation, and experimental validation. Zbl 07697906
Wang, Chao; Zhao, Zhi; Zhang, Xiaojia Shelly
1
2023
Inverse design of magneto-active metasurfaces and robots: theory, computation, and experimental validation. Zbl 07697906
Wang, Chao; Zhao, Zhi; Zhang, Xiaojia Shelly
1
2023
DiffRNN: differential verification of recurrent neural networks. Zbl 07498004
Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
1
2021
Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Zbl 1453.68017
1
2020
SCInfer: refinement-based verification of software countermeasures against side-channel attacks. Zbl 1511.68173
Zhang, Jun; Gao, Pengfei; Song, Fu; Wang, Chao
4
2018
Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Zbl 1396.68018
2
2018
Shield synthesis. Zbl 1386.68101
Könighofer, Bettina; Alshiekh, Mohammed; Bloem, Roderick; Humphrey, Laura; Könighofer, Robert; Topcu, Ufuk; Wang, Chao
11
2017
Abstraction and mining of traces to explain concurrency bugs. Zbl 1380.68107
Tabaei Befrouei, Mitra; Wang, Chao; Weissenbacher, Georg
1
2016
Shield synthesis: runtime enforcement for reactive systems. Zbl 1420.68119
Bloem, Roderick; Könighofer, Bettina; Könighofer, Robert; Wang, Chao
16
2015
Synthesis of masking countermeasures against side channel attacks. Zbl 1445.68058
Eldib, Hassan; Wang, Chao
4
2014
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
4
2011
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
3
2010
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
9
2009
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
11
2008
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh
1
2008
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo
4
2007
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
6
2006
Compositional SCC analysis for language emptiness. Zbl 1100.68059
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
3
2006
SAT-based verification methods and applications in hardware verification. Zbl 1182.68119
Gupta, Aarti; Ganai, Malay K.; Wang, Chao
2
2006
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti
4
2005
Sharp disjunctive decomposition for language emptiness checking. Zbl 1019.68631
Wang, Chao; Hachtel, Gary D.
2
2002
Divide and compose: SCC refinement for language emptiness. Zbl 1006.68531
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
2
2001
all top 5

Cited by 205 Authors

5 Wang, Chao
4 Aceto, Luca
4 Cassar, Ian
4 Francalanza, Adrian
3 Bloem, Roderick
3 Ingólfsdóttir, Anna
3 Junges, Sebastian
2 Albert, Elvira
2 Bošnački, Dragan
2 Coenen, Norine
2 Falcone, Yliès
2 Fehnker, Ansgar
2 Finkbeiner, Bernd
2 Gupta, Aarti
2 Hahn, Christopher
2 Jansen, Nils
2 Könighofer, Bettina
2 Madduri, Kamesh
2 Pandya, Paritosh K.
2 Peled, Doron A.
2 Pinisetty, Srinivas
2 Rodríguez, César Marín
2 Rubio, Albert
2 Seshia, Sanjit Arunkumar
2 Sharma, Subodh K.
2 Subramani, Krishnan
2 Tripakis, Stavros
2 Vardi, Moshe Ya’akov
2 Wakankar, Amol
2 Weissenbacher, Georg
2 Wijs, Anton J.
1 Aichernig, Bernhard K.
1 Al-Rawi, Bashar
1 Aljazzar, Husain
1 Alshiekh, Mohammed
1 Amram, Gal
1 Bansal, Kshitij
1 Bansal, Suguman
1 Barrett, Clark W.
1 Bartha, Tamás
1 Barthe, Gilles
1 Beer, Ilan
1 Ben-David, Shoham
1 Biere, Armin
1 Blot, Arthur
1 Boutonnet, Rémy
1 Caccamo, Marco
1 Cao, Hongpeng
1 Castellano, Ezequiel
1 Castellini, Alberto
1 Chakraborty, Supratik
1 Chakravarty, Manuel M. T.
1 Chatain, Thomas
1 Chockler, Hana
1 Cimatti, Alessandro
1 Clarke, Edmund Melson jun.
1 Coti, Camille
1 Dachselt, Raimund
1 Darvas, Dániel
1 de Boer, Frank S.
1 Debbi, Hichem
1 den Hengst, Floris
1 Drechsler, Rolf
1 Dubrovin, Jori
1 Dupressoir, François
1 Edelkamp, Stefan
1 Farinelli, Alessandro
1 Faust, Sebastian
1 François-Lavet, Vincent
1 Frenkel, Hadar
1 Fried, Dror
1 Ganai, Malay K.
1 Gigerl, Barbara
1 Gómez-Zamalloa, Miguel
1 Gordillo, Pablo
1 Grégoire, Benjamin
1 Griesmayer, Andreas
1 Grosu, Radu
1 Gu, Ming
1 Gulavani, Bhargav S.
1 Günther, Henning
1 Hachtel, Gary D.
1 Halbwachs, Nicolas
1 Hallé, Sylvain
1 Hasuo, Ichiro
1 Havelund, Klaus
1 He, Kai-Duo
1 Heljanko, Keijo
1 Henzinger, Thomas A.
1 Hernández-Cerezo, Alejandro
1 Hofmann, Jana
1 Hoogendoorn, Mark
1 Horak, Tom
1 Huang, Xiaowan
1 Humphrey, Laura R.
1 Huuck, Ralf
1 Ingófsdóttir, Anna
1 Isabel, Miguel
1 Jéron, Thierry
1 Johnsen, Einar Broch
...and 105 more Authors

Citations by Year