Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/XuWZJTZ22,
  author       = {Xiong Xu and
                  Shuling Wang and
                  Bohua Zhan and
                  Xiangyu Jin and
                  Jean{-}Pierre Talpin and
                  Naijun Zhan},
  title        = {Unified graphical co-modeling, analysis and verification of cyber-physical
                  systems by combining {AADL} and Simulink/Stateflow},
  journal      = {Theor. Comput. Sci.},
  volume       = {903},
  pages        = {1--25},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2021.11.008},
  doi          = {10.1016/J.TCS.2021.11.008},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/XuWZJTZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/LinWZG20,
  author       = {Qianqian Lin and
                  Shuling Wang and
                  Bohua Zhan and
                  Bin Gu},
  title        = {Modelling and Verification of Real-Time Publish and Subscribe Protocol
                  Using Uppaal and Simulink/Stateflow},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {35},
  number       = {6},
  pages        = {1324--1342},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11390-020-0537-8},
  doi          = {10.1007/S11390-020-0537-8},
  timestamp    = {Wed, 16 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/LinWZG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/17/ZWZ2017,
  editor       = {Naijun Zhan and
                  Shuling Wang and
                  Hengjun Zhao},
  title        = {Formal Verification of Simulink/Stateflow Diagrams, {A} Deductive
                  Approach},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-47016-0},
  doi          = {10.1007/978-3-319-47016-0},
  isbn         = {978-3-319-47014-6},
  timestamp    = {Mon, 19 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/17/ZWZ2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ZouZWF15,
  author       = {Liang Zou and
                  Naijun Zhan and
                  Shuling Wang and
                  Martin Fr{\"{a}}nzle},
  editor       = {Bernd Finkbeiner and
                  Geguang Pu and
                  Lijun Zhang},
  title        = {Formal Verification of Simulink/Stateflow Diagrams},
  booktitle    = {Automated Technology for Verification and Analysis - 13th International
                  Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9364},
  pages        = {464--481},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24953-7\_33},
  doi          = {10.1007/978-3-319-24953-7\_33},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ZouZWF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/MohalikGYSR14,
  author       = {Swarup Mohalik and
                  Ambar A. Gadkari and
                  Anand Yeolekar and
                  K. C. Shashidhar and
                  S. Ramesh},
  title        = {Automatic test case generation from Simulink/Stateflow models using
                  model checking},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {24},
  number       = {2},
  pages        = {155--180},
  year         = {2014},
  url          = {https://doi.org/10.1002/stvr.1489},
  doi          = {10.1002/STVR.1489},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/MohalikGYSR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ZulianiPC13,
  author       = {Paolo Zuliani and
                  Andr{\'{e}} Platzer and
                  Edmund M. Clarke},
  title        = {Bayesian statistical model checking with application to Stateflow/Simulink
                  verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {43},
  number       = {2},
  pages        = {338--367},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-013-0195-3},
  doi          = {10.1007/S10703-013-0195-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ZulianiPC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ManamcheriMBC11,
  author       = {Karthik Manamcheri and
                  Sayan Mitra and
                  Stanley Bak and
                  Marco Caccamo},
  editor       = {Marco Caccamo and
                  Emilio Frazzoli and
                  Radu Grosu},
  title        = {A step towards verification and synthesis from simulink/stateflow
                  models},
  booktitle    = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
                  2011},
  pages        = {317--318},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1967701.1967749},
  doi          = {10.1145/1967701.1967749},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ManamcheriMBC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ZulianiPC10,
  author       = {Paolo Zuliani and
                  Andr{\'{e}} Platzer and
                  Edmund M. Clarke},
  editor       = {Karl Henrik Johansson and
                  Wang Yi},
  title        = {Bayesian statistical model checking with application to Simulink/Stateflow
                  verification},
  booktitle    = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
                  2010},
  pages        = {243--252},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1755952.1755987},
  doi          = {10.1145/1755952.1755987},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/ZulianiPC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}