default search action

combined dblp search
author search
venue search
publication search

ask others

5th SETTA 2019: Shanghai, China

> Home > Conferences and Workshops > SETTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/setta/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/2019
Nan Guan, Joost-Pieter Katoen, Jun Sun:
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11951, Springer 2019, ISBN 978-3-030-35539-5
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LinT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LinT19
Yu-Yang Lin, Nikos Tzevelekos:
A Bounded Model Checking Technique for Higher-Order Programs. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LinardBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LinardBS19
Alexis Linard, Doina Bucur, Mariëlle Stoelinga:
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. 19-37
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuMC19
Chong Liu, Nuno Macedo, Alcino Cunha:
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. 38-55
- view
  authority control:
- export record
  dblp key:
  - conf/setta/PengHD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/PengHD19
Xuemei Peng, Meiling Han, Qingxu Deng:
Response Time Analysis of Typed DAG Tasks for G-FP Scheduling. 56-71
- view
  authority control:
- export record
  dblp key:
  - conf/setta/QiaoLYY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/QiaoLYY19
Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang:
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/setta/SinghSRBDG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/SinghSRBDG19
Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo:
Mixed Criticality Scheduling of Probabilistic Real-Time Systems. 89-105
- view
  authority control:
- export record
  dblp key:
  - conf/setta/TangJG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/TangJG19
Yue Tang, Yuming Jiang, Nan Guan:
Improving the Analysis of GPC in Real-Time Calculus. 106-121
- view
  authority control:
- export record
  dblp key:
  - conf/setta/ZhangZSQZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ZhangZSQZ19
Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang:
A Verified Specification of TLSF Memory Management Allocator Using State Monads. 122-138

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.