Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernhard K. Aichernig, Florian Lorber |
On-the-Fly Determinization of Bounded Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 14-21, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Butterfield, Anila Mjeda, John Noll |
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 93-100, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan 0009, Feifei Ma, Fan Zhang |
Lightweight Method-Level Energy Consumption Estimation for Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 144-151, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
A New Roadmap on Linking Theories of Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 2, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwu Xu 0001, Dongxiao Fan, Shengchao Qin |
State-Taint Analysis for Detecting Resource Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 168-175, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 65-72, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xiao He 0005, Wenfeng Li, Tian Zhang, Yi Liu |
Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 57-64, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandr Naumchev, Bertrand Meyer 0001 |
Complete Contracts through Specification Drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 160-167, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym |
Formal Proof of Dynamic Memory Isolation Based on MMU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 73-80, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jia He, Min Zhang 0007, Kangli He, Yannan Guo, Yusi Lei |
Bayesian Statistical Model-Checking for Complex Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 38-41, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![IEEE Computer Society, 978-1-5090-1764-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Aliakbar Safilian, Tom Maibaum |
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 136-143, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani |
Behaviour-Aware Matching of Cloud Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, pp. 117-124, 2016, IEEE Computer Society, 978-1-5090-1764-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Abdelkrim Chebieb, Yamine Aït Ameur |
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 79-86, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Chen 0011, Ou Wei, Zhiqiu Huang, Hongwei Xi |
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 63-70, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik |
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 1, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kangli He, Min Zhang 0007, Jia He, Yixiang Chen |
Probabilistic Model Checking of Pipe protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 135-138, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wu 0005, Hanne Riis Nielson, Huibiao Zhu |
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 23-30, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu |
Formally Modeling and Analyzing the Reliability of Composite Service Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 87-94, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoran Zhu, Yuanmin Xu, Jian Guo 0005, Xi Wu 0005, Huibiao Zhu, Weikai Miao |
Formal Verification of PKMv3 Protocol Using DT-Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 71-78, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Huikang Hao, Zhoujun Li, Haibo Yu |
An Effective Approach to Measuring and Assessing the Risk of Android Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 31-38, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu 0003 |
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 55-62, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tian Zhang 0001, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li |
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 39-46, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiangxiao Zhang, Lina Huo, Xia Liu, Chunrong Sui, Zhoujun Li 0001, Jinxin Ma |
Transferable Optimal-size Fair E-cash with Optimal Anonymity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 139-142, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weiguang Wang, Qingkai Zeng 0002 |
Evaluating Initial Inputs for Concolic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 47-54, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard |
Polychronous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 95-102, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![IEEE Computer Society, 978-1-4673-7612-9 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot |
On Various Abstract Understandings of Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 2-3, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shaodong Li, Xiaohong Chen 0002, Yiwu Wang, Meng Sun 0002 |
A Framework for Off-Line Conformance Testing of Timed Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 15-22, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Liu, Deping Zhang, Tingting Zhang |
Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 111-118, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zhihua Yang, Bo Xiao, Yixiang Chen |
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 131-134, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Hu, Shuling Wang, Zongyan Qiu |
Verifying Interaction between Methods in Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 119-126, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaomin Wei, Yunwei Dong, Hong Ye |
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 103-110, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jun Sun 0001, Yang Liu 0003, Yuan-Fang Li, Jing Sun 0002, Ling Shi |
Event and Strategy Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 4-6, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weikai Miao, Xi Wang 0017, Shaoying Liu |
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 127-130, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kais Klai, Hanen Ochi |
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, pp. 7-14, 2015, IEEE Computer Society, 978-1-4673-7612-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jianmin Jiang, Huibiao Zhu, Qin Li 0002, Shi Zhang, Ping Gong 0004, Zhong Hong |
Configuration of Services Based on Virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 177-184, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 131-134, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 42-49, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuanrui Zhang, Frédéric Mallet, Yixiang Chen |
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 201-208, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yu Guo, Haozhong Zhang |
Verifying Preemptive Kernel Code with Preemption Control Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 26-33, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ou Wei, Juanjuan Chen |
Mixed Simulation of Multi-valued Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 146-153, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qinwen Ran, Xi Wu 0005, Xin Li 0010, Jianqi Shi, Jian Guo 0005, Huibiao Zhu |
Modeling and Verifying the TTCAN Protocol Using Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 90-97, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Haozhong Zhang, Yu Guo |
Formal Verification of Interrupt Injection in a Hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 74-81, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhuobing Han, Xiaohong Li 0001, Ruitao Feng, Jing Hu 0007, Guangquan Xu, Zhiyong Feng 0002 |
A Three-Dimensional Model for Software Security Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 34-41, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou |
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 126-130, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jinjiang Lei, Zongyan Qiu, Zhong Shao |
Trace-Based Temporal Verification for Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 10-17, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Axel Legay, Sean Sedwards |
On Statistical Model Checking with PLASMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 139-145, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carolina Dania, Manuel Clavel |
Modeling Social Networking Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 50-57, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Graeme Smith 0001 |
A Formal Development Approach for Self-Organising Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 209-212, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wen Zeng, Maciej Koutny |
Data Resources in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 185-192, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Weishi Li, Xiaoguang Mao |
Alleviating the Impact of Coincidental Correctness on the Effectiveness of SFL by Clustering Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 66-69, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chen Li 0009, Linpeng Huang, Luxi Chen, Xiwen Wu |
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 122-125, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang 0017 |
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 82-89, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lunjin Lu |
Parametrizing Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 98-105, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yongqi Ge, Yunwei Dong, Hong-bing Zhao |
Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 135-138, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![IEEE Computer Society, 978-1-4799-5029-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Nan Zong, Chunfu Jia |
Branch Obfuscation Using "Black Boxes". ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 114-121, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ka I Pun, Martin Steffen, Volker Stolz |
Behaviour Inference for Deadlock Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 106-113, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bing Tang, Mingdong Tang |
Bayesian Model-Based Prediction of Service Level Agreement Violations for Cloud Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 170-176, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Han Liu 0010, Hehua Zhang, Yu Jiang 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001 |
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 193-200, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Timm |
Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 18-25, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
Data Automata in Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 1-9, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bei Cheng, Dehui Du |
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 162-169, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yao Liu 0010, Zhenhua Duan, Cong Tian |
An Improved Recursive Algorithm for Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 154-161, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kai Ma, Jin Wang, Hongli Yang, Jun Yan 0009, Jian Zhang 0001, Shengchao Qin |
Choreography Scenario-Based Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 70-73, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
Class Diagrams with Equated Association Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 209-216, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rui-Zhi Dong, Xin Peng 0001, Yijun Yu, Wenyun Zhao |
Requirements-Driven Self-Repairing against Environmental Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 241-244, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wu 0017, Rosemary Monahan, James F. Power |
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 175-182, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ken Madlener, Sjaak Smetsers |
GSOS Formalized in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 199-206, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zining Cao |
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 217-224, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel van Lamsweerde |
Engineering Multi-view Models for Model-Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 3, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Murakami |
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 149-152, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tayssir Touili |
Process Rewrite Systems for Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 15-22, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt |
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 191-198, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Stöhr, Sabine Glesner |
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 7-14, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhang, Xinyu Feng 0001 |
An Operational Approach to Happens-Before Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 121-128, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco |
Verifying Bigraphical Models of Architectural Reconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 135-138, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu |
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 29-36, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neil White, Janet Barnes |
How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 171, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
Aspect Orientation Based Test Case Selection Strategy for Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 95-104, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Liangze Yin, Fei He 0001, Ming Gu 0001 |
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 23-26, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yunhui Peng, Yanhong Huang, Ting Su 0001, Jian Guo 0005 |
Modeling and Verification of AUTOSAR OS and EMS Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 37-44, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mustafa Zengin, Viktor Vafeiadis |
A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 105-112, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi |
Aspect-Oriented Semantic Framework for Executable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 63-70, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan 0009, Jian Zhang 0001 |
Towards Conformance Testing of Choreography Based on Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 59-62, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![IEEE Computer Society, 978-0-7695-5053-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Zining Cao |
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 213-220, 2013, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes |
Computing Repairs from Active Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 183-190, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu |
On Information Flow Control in Event-B and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 225-232, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qian Ma, Zhenhua Duan, Mengfei Yang |
Integration of Linear Constraints with a Temporal Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 157-164, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Madeira, Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
When Even the Interface Evolves... ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 79-82, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hengyang Wu, Yixiang Chen, Min Zhang 0007 |
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 113-120, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gaffé, Annie Ressouche |
Algebraic Framework for Synchronous Language Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 51-58, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofeng Wu, Qiwen Xu, Huibiao Zhu |
Formal Analysis of AODV Using Rely-Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 45-48, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bals, Christina Jansen, Thomas Noll 0001 |
Incremental Construction of Greibach Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 165-168, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Thiry, Michel Hassenforder |
Surfing with Fun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 139-142, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Radu Calinescu, Yasmin Rafiq |
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 131-134, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Ernst Moritz Hahn, Tingting Han 0001, Marta Z. Kwiatkowska, Hongyang Qu 0001, Lijun Zhang 0001 |
Model Repair for Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 85-92, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhucheng Shao, Jing Liu 0012, Xiaohong Chen 0007, Zuohua Ding, Zhengheng Yuan |
Unified Modeling of Active and Reactive Components for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 145-148, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|