default search action

combined dblp search
author search
venue search
publication search

ask others

7th SETSS 2025: Beijing, China

> Home > Conferences and Workshops > SETSS

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/setss/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/2025
Jonathan P. Bowen, Andrea Turrini:
Engineering Trustworthy Software Systems - 7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures. Lecture Notes in Computer Science 16481, Springer 2026, ISBN 978-981-95-8616-5

Tutorials from China

- view
  authority control:
- export record
  dblp key:
  - conf/setss/Cai25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/Cai25
Shaowei Cai:
More Paradigms of SAT Solvers: Circuit-SAT, FPGA-Based SAT, LLM-Based SAT. 3-32
- view
  authority control:
- export record
  dblp key:
  - conf/setss/YouTZHHNX25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/YouTZHHNX25
Guangdong You, Shuncheng Tang, Jixiang Zhou, Jingjing Hao, Yiding Hua, Yanxin Nie, Yinxing Xue:
Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation. 33-58
- view
  authority control:
- export record
  dblp key:
  - conf/setss/ZhiWZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/ZhiWZ25
Dapeng Zhi, Peixin Wang, Min Zhang:
Formal Verification of Neural Network-Controlled Systems via Proof Certificates. 59-85

Tutorials from Europe

- view
  authority control:
- export record
  dblp key:
  - conf/setss/Reineke25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/Reineke25
Jan Reineke:
Foundations of Hardware-Software Leakage Contracts. 89-112
- view
  authority control:
- export record
  dblp key:
  - conf/setss/RibeiroABCLO25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/RibeiroABCLO25
Pedro Ribeiro, Dalay Almeida, Paulo E. R. Bezerra, Ana Cavalcanti, Thierry Lecomte, Marcel Vinícius Medeiros Oliveira:
Engineering Safe Robotics Software from Simulation Models via RoboSim. 113-158
- view
  authority control:
- export record
  dblp key:
  - conf/setss/LarsenM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/LarsenM25
Kim G. Larsen, Marius Mikucionis:
Model Checking, Performance Analysis, Synthesis and Learning for Cyber Physical Systems. 159-210

Tutorial from America

- view
  authority control:
- export record
  dblp key:
  - conf/setss/XuGZGGWABGBDC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/XuGZGGWABGBDC25
Shengjie Xu, Prateek Ganguli, Tingan Zhu, Arkaprava Gupta, Bineet Ghosh, Kurt M. Wilson, Abdullah Al Arafat, John W. Baugh Jr., Zhishan Guo, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Building Safe Autonomous Systems Using Imperfect Components. 213-286

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.