Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tase/tase2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/tase/Banach14,
author = {Richard Banach},
title = {Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {42--49},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.7},
doi = {10.1109/TASE.2014.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Banach14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BoudjadarDKLMNS14,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {Degree of Schedulability of Mixed-Criticality Real-Time Systems with
Probabilistic Sporadic Tasks},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {126--130},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.27},
doi = {10.1109/TASE.2014.27},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BoudjadarDKLMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChengD14,
author = {Bei Cheng and
Dehui Du},
title = {Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic
CPSs},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {162--169},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.35},
doi = {10.1109/TASE.2014.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChengD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DaniaC14,
author = {Carolina Dania and
Manuel Clavel},
title = {Modeling Social Networking Privacy},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {50--57},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.21},
doi = {10.1109/TASE.2014.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/DaniaC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GeDZ14,
author = {Yongqi Ge and
Yunwei Dong and
Hong{-}bing Zhao},
title = {Energy-Efficient Task Scheduling and Task Energy Consumption Analysis
for Real-Time Embedded Systems},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {135--138},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.30},
doi = {10.1109/TASE.2014.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GeDZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GuoZ14,
author = {Yu Guo and
Haozhong Zhang},
title = {Verifying Preemptive Kernel Code with Preemption Control Support},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {26--33},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.29},
doi = {10.1109/TASE.2014.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GuoZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HanLFHXF14,
author = {Zhuobing Han and
Xiaohong Li and
Ruitao Feng and
Jing Hu and
Guangquan Xu and
Zhiyong Feng},
title = {A Three-Dimensional Model for Software Security Evaluation},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {34--41},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.31},
doi = {10.1109/TASE.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HanLFHXF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Havelund14,
author = {Klaus Havelund},
title = {Data Automata in Scala},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.37},
doi = {10.1109/TASE.2014.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Havelund14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/JiangZLZGH14,
author = {Jianmin Jiang and
Huibiao Zhu and
Qin Li and
Shi Zhang and
Ping Gong and
Zhong Hong},
title = {Configuration of Services Based on Virtualization},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.28},
doi = {10.1109/TASE.2014.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/JiangZLZGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LegayS14,
author = {Axel Legay and
Sean Sedwards},
title = {On Statistical Model Checking with {PLASMA}},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {139--145},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.20},
doi = {10.1109/TASE.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LegayS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LeiQS14,
author = {Jinjiang Lei and
Zongyan Qiu and
Zhong Shao},
title = {Trace-Based Temporal Verification for Message-Passing Programs},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {10--17},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.14},
doi = {10.1109/TASE.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LeiQS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiHCW14,
author = {Chen Li and
Linpeng Huang and
Luxi Chen and
Xiwen Wu},
title = {An Approach to Modelling and Evaluating {AGG} Based Reliable Software
Systems},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {122--125},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.22},
doi = {10.1109/TASE.2014.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiHCW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiM14,
author = {Weishi Li and
Xiaoguang Mao},
title = {Alleviating the Impact of Coincidental Correctness on the Effectiveness
of {SFL} by Clustering Test Cases},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {66--69},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.16},
doi = {10.1109/TASE.2014.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiS14,
author = {Qin Li and
Graeme Smith},
title = {A Formal Development Approach for Self-Organising Systems},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {209--212},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.11},
doi = {10.1109/TASE.2014.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiuDT14,
author = {Yao Liu and
Zhenhua Duan and
Cong Tian},
title = {An Improved Recursive Algorithm for Parity Games},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {154--161},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.24},
doi = {10.1109/TASE.2014.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiuDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiuMPW14,
author = {Wanwei Liu and
Xiaoguang Mao and
Geguang Pu and
Rui Wang},
title = {Combining Syntactic and Semantic Encoding for {LTL} Bounded Model
Checking},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {82--89},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.13},
doi = {10.1109/TASE.2014.13},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/LiuMPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiuZJSGS14,
author = {Han Liu and
Hehua Zhang and
Yu Jiang and
Xiaoyu Song and
Ming Gu and
Jiaguang Sun},
title = {Application-Specific Architecture Selection for Embedded Systems via
Schedulability Analysis},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {131--134},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.32},
doi = {10.1109/TASE.2014.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiuZJSGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiuZJSGS14a,
author = {Han Liu and
Hehua Zhang and
Yu Jiang and
Xiaoyu Song and
Ming Gu and
Jia{-}Guang Sun},
title = {iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven
Systems},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.33},
doi = {10.1109/TASE.2014.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiuZJSGS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Lu14,
author = {Lunjin Lu},
title = {Parametrizing Program Analysis},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.12},
doi = {10.1109/TASE.2014.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Lu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MaWYYZQ14,
author = {Kai Ma and
Jin Wang and
Hongli Yang and
Jun Yan and
Jian Zhang and
Shengchao Qin},
title = {Choreography Scenario-Based Test Data Generation},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {70--73},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.25},
doi = {10.1109/TASE.2014.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MaWYYZQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/PunSS14,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Behaviour Inference for Deadlock Checking},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {106--113},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.23},
doi = {10.1109/TASE.2014.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/PunSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/RanWLSGZ14,
author = {Qinwen Ran and
Xi Wu and
Xin Li and
Jianqi Shi and
Jian Guo and
Huibiao Zhu},
title = {Modeling and Verifying the {TTCAN} Protocol Using Timed {CSP}},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {90--97},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.8},
doi = {10.1109/TASE.2014.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/RanWLSGZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/TangT14,
author = {Bing Tang and
Mingdong Tang},
title = {Bayesian Model-Based Prediction of Service Level Agreement Violations
for Cloud Services},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {170--176},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.34},
doi = {10.1109/TASE.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/TangT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Timm14,
author = {Nils Timm},
title = {Spotlight Abstraction with Shade Clustering - Automatic Verification
of Parameterised Systems},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {18--25},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.17},
doi = {10.1109/TASE.2014.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Timm14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WeiC14,
author = {Ou Wei and
Juanjuan Chen},
title = {Mixed Simulation of Multi-valued Models},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.18},
doi = {10.1109/TASE.2014.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WeiC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZengK14,
author = {Wen Zeng and
Maciej Koutny},
title = {Data Resources in Dynamic Environments},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {185--192},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.9},
doi = {10.1109/TASE.2014.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZengK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangG14,
author = {Haozhong Zhang and
Yu Guo},
title = {Formal Verification of Interrupt Injection in a Hypervisor},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {74--81},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.26},
doi = {10.1109/TASE.2014.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZhangMC14,
author = {Yuanrui Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet and
Yixiang Chen},
title = {Timed Automata Semantics of Spatial-Temporal Consistency Language
STeC},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {201--208},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.10},
doi = {10.1109/TASE.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZhangMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZongJ14,
author = {Nan Zong and
Chunfu Jia},
title = {Branch Obfuscation Using "Black Boxes"},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {114--121},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.19},
doi = {10.1109/TASE.2014.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZongJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2014,
title = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://ieeexplore.ieee.org/xpl/conhome/6968674/proceeding},
isbn = {978-1-4799-5029-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Cao13a,
author = {Zining Cao},
title = {Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {213--220},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2014.15},
doi = {10.1109/TASE.2014.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Cao13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-06 07:46 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
