Search dblp for Publications

export results for "toc:db/conf/tase/tase2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tase/ChebiebA15,
  author       = {Abdelkrim Chebieb and
                  Yamine A{\"{\i}}t Ameur},
  title        = {Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {79--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.25},
  doi          = {10.1109/TASE.2015.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ChebiebA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/Chechik15,
  author       = {Marsha Chechik},
  title        = {Modeling and Reasoning about Software Systems Containing Uncertainty
                  and Variability},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {1},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.26},
  doi          = {10.1109/TASE.2015.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Chechik15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/ChenWHX15,
  author       = {Zhe Chen and
                  Ou Wei and
                  Zhiqiu Huang and
                  Hongwei Xi},
  title        = {Formal Semantics of Runtime Monitoring, Verification, Enforcement
                  and Control},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {63--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.11},
  doi          = {10.1109/TASE.2015.11},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ChenWHX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/Cousot15,
  author       = {Patrick Cousot},
  title        = {On Various Abstract Understandings of Abstract Interpretation},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {2--3},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.29},
  doi          = {10.1109/TASE.2015.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/Cousot15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/Dong0LL0S15,
  author       = {Jin Song Dong and
                  Jun Sun and
                  Yang Liu and
                  Yuan{-}Fang Li and
                  Jing Sun and
                  Ling Shi},
  title        = {Event and Strategy Analytics},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {4--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.28},
  doi          = {10.1109/TASE.2015.28},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/Dong0LL0S15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/FanCYL15,
  author       = {Guisheng Fan and
                  Liqiong Chen and
                  Huiqun Yu and
                  Dongmei Liu},
  title        = {Formally Modeling and Analyzing the Reliability of Composite Service
                  Evolution},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {87--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.17},
  doi          = {10.1109/TASE.2015.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/FanCYL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/GuernicGTB15,
  author       = {Paul {Le Guernic} and
                  Thierry Gautier and
                  Jean{-}Pierre Talpin and
                  Lo{\"{\i}}c Besnard},
  title        = {Polychronous Automata},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {95--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.21},
  doi          = {10.1109/TASE.2015.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/GuernicGTB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/HaoLY15,
  author       = {Huikang Hao and
                  Zhoujun Li and
                  Haibo Yu},
  title        = {An Effective Approach to Measuring and Assessing the Risk of Android
                  Application},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {31--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.16},
  doi          = {10.1109/TASE.2015.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/HaoLY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/He0HC15,
  author       = {Kangli He and
                  Min Zhang and
                  Jia He and
                  Yixiang Chen},
  title        = {Probabilistic Model Checking of Pipe protocol},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {135--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.15},
  doi          = {10.1109/TASE.2015.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/He0HC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/HuWQ15,
  author       = {Tingting Hu and
                  Shuling Wang and
                  Zongyan Qiu},
  title        = {Verifying Interaction between Methods in Classes},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {119--126},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.24},
  doi          = {10.1109/TASE.2015.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/HuWQ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/KlaiO15,
  author       = {Kais Klai and
                  Hanen Ochi},
  title        = {A Bottom-Up Approach to Check the Correctness of Interorganisational
                  Workflows},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {7--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.18},
  doi          = {10.1109/TASE.2015.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/KlaiO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/LiCWS15,
  author       = {Shaodong Li and
                  Xiaohong Chen and
                  Yiwu Wang and
                  Meng Sun},
  title        = {A Framework for Off-Line Conformance Testing of Timed Connectors},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {15--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.9},
  doi          = {10.1109/TASE.2015.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/LiCWS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/LiuZZ15,
  author       = {Guoqiang Liu and
                  Deping Zhang and
                  Tingting Zhang},
  title        = {Software Reliability Forecasting: Singular Spectrum Analysis and {ARIMA}
                  Hybrid Model},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {111--118},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.19},
  doi          = {10.1109/TASE.2015.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/LiuZZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/MiaoWL15,
  author       = {Weikai Miao and
                  Xi Wang and
                  Shaoying Liu},
  title        = {A Tool for Supporting Requirements Formalization Based on Specification
                  Pattern Knowledge},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {127--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.13},
  doi          = {10.1109/TASE.2015.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/MiaoWL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/WangZ15,
  author       = {Weiguang Wang and
                  Qingkai Zeng},
  title        = {Evaluating Initial Inputs for Concolic Testing},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {47--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.14},
  doi          = {10.1109/TASE.2015.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/WangZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/WeiDY15,
  author       = {Xiaomin Wei and
                  Yunwei Dong and
                  Hong Ye},
  title        = {QaSten: Integrating Quantitative Verification with Safety Analysis
                  for {AADL} Model},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {103--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.10},
  doi          = {10.1109/TASE.2015.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/WeiDY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/WuNZ15,
  author       = {Xi Wu and
                  Hanne Riis Nielson and
                  Huibiao Zhu},
  title        = {A SAT-Based Analysis of a Calculus for Wireless Sensor Networks},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {23--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.23},
  doi          = {10.1109/TASE.2015.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/WuNZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/YangXC15,
  author       = {Zhihua Yang and
                  Bo Xiao and
                  Yixiang Chen},
  title        = {Modeling and Verification of Space-Air-Ground Integrated Networks
                  on Requirement Level Using STeC},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {131--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.8},
  doi          = {10.1109/TASE.2015.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/YangXC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/ZhangHLSLM15,
  author       = {Jiangxiao Zhang and
                  Lina Huo and
                  Xia Liu and
                  Chunrong Sui and
                  Zhoujun Li and
                  Jinxin Ma},
  title        = {Transferable Optimal-size Fair E-cash with Optimal Anonymity},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {139--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.12},
  doi          = {10.1109/TASE.2015.12},
  timestamp    = {Wed, 19 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/ZhangHLSLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/ZhangPZYL15,
  author       = {Tian Zhang and
                  Minxue Pan and
                  Jizhou Zhao and
                  Yijun Yu and
                  Xuandong Li},
  title        = {An Open Framework for Semantic Code Queries on Heterogeneous Repositories},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {39--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.27},
  doi          = {10.1109/TASE.2015.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ZhangPZYL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/ZhouWCSL15,
  author       = {Conghua Zhou and
                  Yong Wang and
                  Meiling Cao and
                  Jianqi Shi and
                  Yang Liu},
  title        = {Formal Analysis of {MAC} in {IEEE} 802.11p with Probabilistic Model
                  Checking},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.22},
  doi          = {10.1109/TASE.2015.22},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/ZhouWCSL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/ZhuXGWZM15,
  author       = {Xiaoran Zhu and
                  Yuanmin Xu and
                  Jian Guo and
                  Xi Wu and
                  Huibiao Zhu and
                  Weikai Miao},
  title        = {Formal Verification of PKMv3 Protocol Using DT-Spin},
  booktitle    = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  pages        = {71--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2015.20},
  doi          = {10.1109/TASE.2015.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ZhuXGWZM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tase/2015,
  title        = {2015 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2015, Nanjing, China, September 12-14, 2015},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7307710/proceeding},
  isbn         = {978-1-4673-7612-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/2015.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.