KNN-Averaging for Noisy Multi-objective Optimisation

von Klikovits, Stefan
Veröffentlicht in QUATIC (14. : 2021 : Online) Quality of Information and Communications Technology (2021)

Gaussian Process-Based Confidence Estimation for Hybrid System Falsification

von Zhang, Zhenya
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?

von Ali, Shaukat
Veröffentlicht in SSBSE (12. : 2020 : Online) Search-based software engineering (2020)

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

von Yue, Tao
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

von Zhang, Zhenya
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

von Yue, Tao
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Generating Failing Test Suites for Quantum Programs With Search

von Wang, Xinyi
Veröffentlicht in SSBSE (13. : 2021 : Bari) Search-Based Software Engineering (2021)

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

von Arcaini, Paolo
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Addressing Usability in a Formal Development Environment

von Arcaini, Paolo
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness

von Zhang, Zhenya
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

On the Effectiveness of Signal Rescaling in Hybrid System Falsification

von Zhang, Zhenya
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Search-based software engineering : 15th international symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023 : proceedings

Veröffentlicht 2024