default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd 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, Daniel Gebler:
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, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri:
Computing Specification-Sensitive Abstractions for Program Verification. 101-117 - Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
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, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
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, Jirí Srba:
Distributed Computation of Fixed Points on Dependency Graphs. 197-212 - Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue:
A Complete Approximation Theory for Weighted Transition Systems. 213-228 - Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro:
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, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang:
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 2025-05-05 20:58 CEST 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:
