BibTeX records: Hao Wu 0013

download as .bib file

@inproceedings{DBLP:conf/dsn/YangKLLW18,
  author    = {Xiaoxiao Yang and
               Joost{-}Pieter Katoen and
               Huimin Lin and
               Gaoang Liu and
               Hao Wu},
  title     = {Branching Bisimulation and Concurrent Object Verification},
  booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
               2018},
  pages     = {267--278},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.org/10.1109/DSN.2018.00037},
  doi       = {10.1109/DSN.2018.00037},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/dsn/YangKLLW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Wu17b,
  author    = {Hao Wu},
  title     = {Industrial Applications of Probabilistic Model Checking- {A} Model-based
               Approach for Embedded Networked Systems and Concurrent Data Structures
               -},
  school    = {{RWTH} Aachen University, Germany},
  year      = {2017},
  url       = {http://publications.rwth-aachen.de/record/699523},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Wu17b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangKLW17,
  author    = {Xiaoxiao Yang and
               Joost{-}Pieter Katoen and
               Huimin Lin and
               Hao Wu},
  title     = {Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation},
  journal   = {CoRR},
  volume    = {abs/1701.06104},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.06104},
  archivePrefix = {arXiv},
  eprint    = {1701.06104},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/YangKLW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/KatoenW16,
  author    = {Joost{-}Pieter Katoen and
               Hao Wu},
  title     = {Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {22},
  number    = {1},
  pages     = {15:1--15:27},
  year      = {2016},
  url       = {https://doi.org/10.1145/2914788},
  doi       = {10.1145/2914788},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/todaes/KatoenW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WuYK16,
  author    = {Hao Wu and
               Xiaoxiao Yang and
               Joost{-}Pieter Katoen},
  editor    = {Martin Fr{\"{a}}nzle and
               Deepak Kapur and
               Naijun Zhan},
  title     = {Performance Evaluation of Concurrent Data Structures},
  booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
               - Second International Symposium, {SETTA} 2016, Beijing, China, November
               9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9984},
  pages     = {38--49},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47677-3\_3},
  doi       = {10.1007/978-3-319-47677-3\_3},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/setta/WuYK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangKLW16,
  author    = {Xiaoxiao Yang and
               Joost{-}Pieter Katoen and
               Huimin Lin and
               Hao Wu},
  title     = {Proving Linearizability via Branching Bisimulation},
  journal   = {CoRR},
  volume    = {abs/1609.07546},
  year      = {2016},
  url       = {http://arxiv.org/abs/1609.07546},
  archivePrefix = {arXiv},
  eprint    = {1609.07546},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/YangKLW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KatoenW14,
  author    = {Joost{-}Pieter Katoen and
               Hao Wu},
  editor    = {Tulika Mitra and
               Jan Reineke},
  title     = {Exponentially timed {SADF:} Compositional semantics, reductions, and
               analysis},
  booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014,
               New Delhi, India, October 12-17, 2014},
  pages     = {1:1--1:10},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2656045.2656058},
  doi       = {10.1145/2656045.2656058},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/emsoft/KatoenW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/KatoenNSSW14,
  author    = {Joost{-}Pieter Katoen and
               Thomas Noll and
               Thomas Santen and
               Dirk Seifert and
               Hao Wu},
  editor    = {Kai Fischbach and
               Udo R. Krieger},
  title     = {Performance Analysis of Computing Servers - {A} Case Study Exploiting
               a New {GSPN} Semantics},
  booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability
               and Fault Tolerance - 17th International {GI/ITG} Conference, {MMB}
               {\&} {DFT} 2014, Bamberg, Germany, March 17-19, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8376},
  pages     = {57--72},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05359-2\_5},
  doi       = {10.1007/978-3-319-05359-2\_5},
  timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/mmb/KatoenNSSW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KatoenNWSS13,
  author    = {Joost{-}Pieter Katoen and
               Thomas Noll and
               Hao Wu and
               Thomas Santen and
               Dirk Seifert},
  editor    = {Enrico Macii},
  title     = {Model-based energy optimization of automotive control systems},
  booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  pages     = {761--766},
  publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year      = {2013},
  url       = {https://doi.org/10.7873/DATE.2013.162},
  doi       = {10.7873/DATE.2013.162},
  timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/date/KatoenNWSS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TheelenKW12,
  author    = {Bart D. Theelen and
               Joost{-}Pieter Katoen and
               Hao Wu},
  editor    = {Wolfgang Rosenstiel and
               Lothar Thiele},
  title     = {Model checking of Scenario-Aware Dataflow with {CADP}},
  booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  pages     = {653--658},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://doi.org/10.1109/DATE.2012.6176552},
  doi       = {10.1109/DATE.2012.6176552},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/TheelenKW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics