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},
  year         = {2018},
  crossref     = {DBLP:conf/dsn/2018},
  url          = {https://doi.org/10.1109/DSN.2018.00037},
  doi          = {10.1109/DSN.2018.00037},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  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},
  urn          = {urn:nbn:de:101:1-2018070910440226445148},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  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},
  eprinttype    = {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},
  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},
  pages        = {38--49},
  year         = {2016},
  crossref     = {DBLP:conf/setta/2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_3},
  doi          = {10.1007/978-3-319-47677-3\_3},
  timestamp    = {Tue, 21 Mar 2023 20:59:17 +0100},
  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},
  eprinttype    = {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},
  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},
  year         = {2014},
  crossref     = {DBLP:conf/emsoft/2014},
  url          = {https://doi.org/10.1145/2656045.2656058},
  doi          = {10.1145/2656045.2656058},
  timestamp    = {Wed, 04 Jan 2023 16:50:45 +0100},
  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},
  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},
  pages        = {57--72},
  year         = {2014},
  crossref     = {DBLP:conf/mmb/2014},
  url          = {https://doi.org/10.1007/978-3-319-05359-2\_5},
  doi          = {10.1007/978-3-319-05359-2\_5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  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},
  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},
  year         = {2013},
  crossref     = {DBLP:conf/date/2013},
  url          = {https://doi.org/10.7873/DATE.2013.162},
  doi          = {10.7873/DATE.2013.162},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  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},
  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},
  year         = {2012},
  crossref     = {DBLP:conf/date/2012},
  url          = {https://doi.org/10.1109/DATE.2012.6176552},
  doi          = {10.1109/DATE.2012.6176552},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/TheelenKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dsn/2018,
  title        = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
                  and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
                  2018},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8415926/proceeding},
  isbn         = {978-1-5386-5596-2},
  timestamp    = {Wed, 24 Apr 2024 12:15:59 +0200},
  biburl       = {https://dblp.org/rec/conf/dsn/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/setta/2016,
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {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},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3},
  doi          = {10.1007/978-3-319-47677-3},
  isbn         = {978-3-319-47676-6},
  timestamp    = {Wed, 24 Apr 2024 12:15:59 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/emsoft/2014,
  editor       = {Tulika Mitra and
                  Jan Reineke},
  title        = {2014 International Conference on Embedded Software, {EMSOFT} 2014,
                  New Delhi, India, October 12-17, 2014},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2656045},
  doi          = {10.1145/2656045},
  timestamp    = {Wed, 24 Apr 2024 12:15:59 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mmb/2014,
  editor       = {Kai Fischbach and
                  Udo R. Krieger},
  title        = {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},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-05359-2},
  doi          = {10.1007/978-3-319-05359-2},
  isbn         = {978-3-319-05358-5},
  timestamp    = {Wed, 24 Apr 2024 12:15:59 +0200},
  biburl       = {https://dblp.org/rec/conf/mmb/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/date/2013,
  editor       = {Enrico Macii},
  title        = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6507370/proceeding},
  isbn         = {978-1-4503-2153-2},
  timestamp    = {Wed, 24 Apr 2024 12:15:59 +0200},
  biburl       = {https://dblp.org/rec/conf/date/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/date/2012,
  editor       = {Wolfgang Rosenstiel and
                  Lothar Thiele},
  title        = {2012 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6171057/proceeding},
  isbn         = {978-1-4577-2145-8},
  timestamp    = {Wed, 24 Apr 2024 12:15:59 +0200},
  biburl       = {https://dblp.org/rec/conf/date/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.