default search action
2nd SETTA 2016: Beijing, China
- Martin Fränzle
, Deepak Kapur, Naijun Zhan:
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9984, 2016, ISBN 978-3-319-47676-6 - Xiaoju Dong, Yuxi Fu, Daniele Varacca:
Place Bisimulation and Liveness for Open Petri Nets. 1-17 - Qingguo Xu, Robert de Simone, Julien DeAntoni
Divergence Detection for CCSL Specification via Clock Causality Chain. 18-37 - Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen:
Performance Evaluation of Concurrent Data Structures. 38-49 - Andrzej Mizera, Jun Pang, Qixia Yuan:
GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. 50-66 - Wenjie Du, Yuxin Deng
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. 67-84 - Ernst Moritz Hahn, Arnd Hartmanns
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. 85-100 - Tianhai Liu
Computing Specification-Sensitive Abstractions for Program Verification. 101-117 - Tatsuya Abe
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. 118-135 - Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu:
Identifying XML Schema Constraints Using Temporal Logic. 136-146 - Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai:
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. 147-162 - Cyrille Jégourel, Kim G. Larsen
Importance Sampling for Stochastic Timed Automata. 163-178 - Zhilin Wu:
Semipositivity in Separation Logic with Two Variables. 179-196 - Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen
Distributed Computation of Fixed Points on Dependency Graphs. 197-212 - Mikkel Hansen
A Complete Approximation Theory for Weighted Transition Systems. 213-228 - Erika Ábrahám
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. 229-245 - Qiang Wang:
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems. 246-263 - Waqar Ahmad, Osman Hasan
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. 264-279 - Yong Li
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. 280-296 - Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose:
Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems. 297-314 - Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey:
Failure Estimation of Behavioral Specifications. 315-322
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 2024-11-20 21:06 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: