Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

4th SETTA 2018: Beijing, 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/2018
Xinyu Feng, Markus Müller-Olm, Zijiang Yang:
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings. Lecture Notes in Computer Science 10998, Springer 2018, ISBN 978-3-319-99932-6

Abstracts of Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/setta/Xie18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/Xie18
Tao Xie:
Intelligent Software Engineering: Synergy Between AI and Software Engineering. 3-7

Software Assurance

- view
  authority control:
- export record
  dblp key:
  - conf/setta/LinSYL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LinSYL18
Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li:
Automatic Support of the Generation and Maintenance of Assurance Cases. 11-28

Refinement

- view
  authority control:
- export record
  dblp key:
  - conf/setta/ZhangWGEPLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ZhangWGEPLS18
Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky:
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. 31-49
- view
  authority control:
- export record
  dblp key:
  - conf/setta/TyszberowiczHLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/TyszberowiczHLL18
Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu:
Identifying Microservices Using Functional Decomposition. 50-65

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/setta/0001ZLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/0001ZLW18
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang:
Robust Non-termination Analysis of Numerical Software. 69-88
- view
  authority control:
- export record
  dblp key:
  - conf/setta/AdelsbergerSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/AdelsbergerSW18
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Developing GUI Applications in a Verified Setting. 89-107
- view
  authority control:
- export record
  dblp key:
  - conf/setta/ChenZWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ChenZWZ18
Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang:
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. 108-126

Miscellaneous (Short Papers)

- view
  authority control:
- export record
  dblp key:
  - conf/setta/QianCCZZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/QianCCZZ18
Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao:
Improvement in JavaMOP by Simplifying Büchi Automaton. 129-134
- view
  authority control:
- export record
  dblp key:
  - conf/setta/SnookBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/SnookBH18
James Snook, Michael J. Butler, Thai Son Hoang:
Developing A New Language to Construct Algebraic Hierarchies for Event-B. 135-141
- view
  authority control:
- export record
  dblp key:
  - conf/setta/PaulPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/PaulPS18
Soumya Paul, Jun Pang, Cui Su:
Towards the Existential Control of Boolean Networks: A Preliminary Report. 142-149

Timing and Scheduling

- view
  authority control:
- export record
  dblp key:
  - conf/setta/AichernigKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/AichernigKS18
Bernhard K. Aichernig, Severin Kann, Richard Schumi:
Statistical Model Checking of Response Times for Different System Deployments. 153-169
- view
  authority control:
- export record
  dblp key:
  - conf/setta/KangH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/KangH18
Eun-Young Kang, Li Huang:
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. 170-186
- view
  authority control:
- export record
  dblp key:
  - conf/setta/GuoSY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/GuoSY18
Zhishan Guo, Luca Santinelli, Kecheng Yang:
Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors. 187-199

a service of

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.