default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th TASE 2016: Shanghai, China
- 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1764-5
Invited Talks
- Christel Baier
:
Cost-Utility Analysis in Probabilistic Models. 1 - Jifeng He:
A New Roadmap on Linking Theories of Programming. 2 - Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio:
A Suspension-Trace Semantics for CSP. 3-13
Formal Models
- Bernhard K. Aichernig, Florian Lorber:
On-the-Fly Determinization of Bounded Networks of Timed Automata. 14-21 - Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa:
Termination and Boundedness for Well-Structured Pushdown Systems. 22-29 - Yi Li, Guang Zhu, Yong Feng:
The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops. 30-37 - Jia He, Min Zhang, Kangli He, Yannan Guo, Yusi Lei:
Bayesian Statistical Model-Checking for Complex Stochastic Systems. 38-41
Software Testing
- Morteza Mohaqeqi, Mohammad Reza Mousavi:
Sound Test-Suites for Cyber-Physical Systems. 42-48 - Weiguang Wang, Hao Sun, Qingkai Zeng:
SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing. 49-56 - Xiao He, Wenfeng Li, Tian Zhang, Yi Liu:
Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. 57-64
Formal Verification
- Richard Banach:
Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. 65-72 - Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym:
Formal Proof of Dynamic Memory Isolation Based on MMU. 73-80 - Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki:
Verifying OSEK/VDX OS Design Using Its Formal Specification. 81-88 - Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin:
Automatic Conversion and Verification System Based on AADL Scheduling Model. 89-92
Semantics of Programs
- Andrew Butterfield, Anila Mjeda, John Noll:
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 93-100 - Shichao Liu, Ying Jiang:
Value-Passing CCS for Trees: A Theory for Concurrent Systems. 101-108 - Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae:
A Term Rewriting Approach to Analyze High Level Petri Nets. 109-112 - Alimujiang Yasen, Kazunori Ueda:
Hypergraph Representation of Lambda-Terms. 113-116
Formal Modeling
- Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani:
Behaviour-Aware Matching of Cloud Applications. 117-124 - Loïc Gammaitoni, Pierre Kelsen, Qin Ma:
Agile Validation of Higher Order Transformations Using F-Alloy. 125-131 - Yi Li, Meng Sun, Yiwu Wang:
Active Learning from Blackbox to Timed Connectors. 132-135 - Aliakbar Safilian, Tom Maibaum:
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. 136-143 - Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang:
Lightweight Method-Level Energy Consumption Estimation for Android Applications. 144-151
Program Analysis
- Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar:
From Traces to Proofs: Proving Concurrent Programs Safe. 152-159 - Alexandr Naumchev, Bertrand Meyer:
Complete Contracts through Specification Drivers. 160-167 - Zhiwu Xu, Dongxiao Fan, Shengchao Qin:
State-Taint Analysis for Detecting Resource Bugs. 168-175
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.
last updated on 2025-02-26 20:34 CET 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:
