default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th 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
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-11-17 22:49 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:
