![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
6th TASE 2012: Beijing, China
- Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. IEEE Computer Society 2012, ISBN 978-0-7695-4751-0 - Mark Harman
:
Overview of TASE 2012 Talk on Search Based Software Engineering. 3-4 - Wei-Ngan Chin, Cristina David:
From Verification to Specification Inference. 5-6 - Tao Pang, Zhenhua Duan, Cong Tian:
Symbolic Model Checking for Propositional Projection Temporal Logic. 9-16 - Yosr Jarraya, Mourad Debbabi
:
Formal Specification and Probabilistic Verification of SysML Activity Diagrams. 17-24 - Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson
, Heqing Huang, Flemming Nielson
:
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. 25-32 - Roberto Giacobazzi, Isabella Mastroeni
, Durica Nikolic:
Strong Preservation by Model Deformation. 33-40 - Meixian Chen, Jean-François Monin:
Formal Verification of Netlog Protocols. 43-50 - João F. Ferreira
, Guanhua He, Shengchao Qin
:
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. 51-58 - Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet
, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. 59-66 - Yanjun Zuo:
Incorporating Constraints to Software System Survivability Specification and Proof. 67-74 - Sebastian S. Bauer, Line Juhl, Kim G. Larsen
, Jirí Srba
, Axel Legay:
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. 77-84 - Benedikt Bollig, Normann Decker, Martin Leucker
:
Frequency Linear-time Temporal Logic. 85-92 - Zining Cao:
A Calculus of Higher Order Safe Ambients and Its Bisimulations. 93-100 - Jianxin Xue, Huan Long, Guoqiang Li:
An Improved Full Abstraction Approach to Analyzing Locality Semantics. 101-108 - Hai-Feng Guo, Mahadevan Subramaniam:
Model-Based Test Generation Using Evolutional Symbolic Grammar. 111-118 - Bernhard K. Aichernig
, Florian Lorber, Stefan Tiran:
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. 119-126 - Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li:
Regression Test Cases Generation Based on Automatic Model Revision. 127-134 - Chaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi:
File Parsing Vulnerability Detection with Symbolic Execution. 135-142 - Huixing Fang
, Jian Guo, Huibiao Zhu, Jianqi Shi:
Formal Verification and Simulation: Co-verification for Subway Control Systems. 145-152 - Wanghu Chen, Jing Li:
Agile Services Oriented Virtualization of Web Services. 153-160 - Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga:
Modeling and Validation of PLC-Controlled Systems: A Case Study. 161-166 - Hao Wang
, Adrian Rutle, Wendy MacCaull:
A Formal Diagrammatic Approach to Timed Workflow Modelling. 167-174 - Wei Li, Maolin Tang
:
Recognising the Capacities of Dynamic Reconfiguration for the QoS Assurance of Running Systems in Concurrent and Parallel Environments. 177-184 - Granville Barnett, Shengchao Qin
:
Moverness for Locks and Transactions. 185-192 - Rodger Burmeister, Steffen Helke:
The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. 193-200 - Sun Meng:
Connectors as Designs: The Time Dimension. 201-208 - Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu:
A Type System for SPARDL. 209-216 - Qin Shu, Shuling Wang, Yijing Liu:
Verifying OO Programs by Linking Algebraic and Abstract Specifications. 219-222 - Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang
, Xin Ye:
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. 223-226 - Xiaodong Fu, Feng Wang, Xiaoyan Liu, Kaifan Ji, Ping Zou:
Dataflow Weaknesses Analysis of Scientific Workflow Based on Fault Tree. 227-230 - Qing Yao, Yuqing Sun
:
An Approach for Process Variability Control in Business Process Management. 231-234 - Ryuta Arisaka, Shengchao Qin
:
LBI Cut Elimination Proof with BI-MultiCut. 235-238 - Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su
:
A Succinct and Efficient Implementation of a 2^32 BDD Package. 241-244 - Jiri Barnat, Lubos Brim
, Jan Beran, Tomas Kratochvila, Italo R. Oliveira:
Executing Model Checking Counterexamples in Simulink. 245-248 - Qian Li
, Péter Schaffer, Jun Pang, Sjouke Mauw
:
Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. 249-252 - Kamal Barakat, Stefan Kowalewski, Thomas Noll
:
A Native Approach to Modeling Timed Behavior in the Pi-Calculus. 253-256 - Nan Qu:
On model construction for modal mu-calculus. 257-260 - Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin:
Statement-Coverage Testing for Nondeterministic Concurrent Programs. 263-266 - Tianyong Wu, Jun Yan, Jian Zhang:
A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. 267-270 - Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen:
Dynamic Solution of Linear Constraints for Test Case Generation. 271-274 - Laurent Thiry
, Frédéric Fondement, Pierre-Alain Muller:
Categorical Reasoning about Meta-models. 275-278 - Haiyu Pan, Min Zhang, Yixiang Chen:
Bisimulation for Lattice-valued Transition Systems. 279-282
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.