default search action

combined dblp search
author search
venue search
publication search

ask others

6th SETTA 2020: Guangzhou, 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/2020
Jun Pang, Lijun Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings. Lecture Notes in Computer Science 12153, Springer 2020, ISBN 978-3-030-62821-5
- view
  authority control:
- export record
  dblp key:
  - conf/setta/GoordenMRVBHMRF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/GoordenMRVBHMRF20
Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman:
The Road Ahead for Supervisor Synthesis. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/setta/CaoW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/CaoW20
Qinxiang Cao, Zhongye Wang:
Reentrancy? Yes. Reentrancy Bug? No. 17-34
- view
  authority control:
- export record
  dblp key:
  - conf/setta/Capra20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/Capra20
Lorenzo Capra:
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. 35-51
- view
  authority control:
- export record
  dblp key:
  - conf/setta/FengHTL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/FengHTL20
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li:
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. 52-69
- view
  authority control:
- export record
  dblp key:
  - conf/setta/KivirigaLN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/KivirigaLN20
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Refinement Checking of Timed I/O Automata. 70-88
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiCWX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiCWX20
Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia:
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. 89-107
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuYL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuYL20
Wanwei Liu, Liangze Yin, Tun Li:
Compiling FL^res on Finite Words. 108-123
- view
  authority control:
- export record
  dblp key:
  - conf/setta/VinkhuijzenL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/VinkhuijzenL20
Lieuwe Vinkhuijzen, Alfons Laarman:
Symbolic Model Checking with Sentential Decision Diagrams. 124-142
- view
  authority control:
- export record
  dblp key:
  - conf/setta/XueZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/XueZ20
Bai Xue, Naijun Zhan:
Probably Approximately Correct Interpolants Generation. 143-159
- view
  authority control:
- export record
  dblp key:
  - conf/setta/YuCHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/YuCHW20
Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang:
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. 160-176
- view
  authority control:
- export record
  dblp key:
  - conf/setta/ZhaoZCLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ZhaoZCLW20
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. 177-185
- view
  authority control:
- export record
  dblp key:
  - conf/setta/ZhouZC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/ZhouZC20
Yangxi Zhou, Yan Zhu, Liangyu Chen:
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory. 186-201

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.