Skip to main content
SpringerLink
Log in

Theoretical Aspects of Software Engineering

17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Cristina David

    1. University of Bristol, Bristol, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Meng Sun

    1. Peking University, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13931)

Included in the following conference series:

Conference proceedings info: TASE 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.
The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.



Keywords

Table of contents (21 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures

    • Vivek Nigam, Carolyn Talcott
    Pages 1-19

  3. Verified Transformation of Continuation-Passing Style into Static Single Assignment Form

    • Siyu Liu, Yuting Wang
    Pages 20-37

  4. OAT: An Optimized Android Testing Framework Based on Reinforcement Learning

    • Mengjun Du, Peiyang Li, Lian Song, W. K. Chan, Bo Jiang
    Pages 38-58

  5. Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning

    • Chenyang Zhu, Jinyu Zhu, Yujie Cai, Fang Wang
    Pages 59-76

  6. Contract Based Embedded Software Design

    • Christian Lidström, Dilian Gurov
    Pages 77-94

  7. Verifying Refinement of Probabilistic Contracts Using Timed Automata

    • Anton Hampus, Mattias Nyberg
    Pages 95-113

  8. Asynchronous Test Equivalence over Timed Processes

    • Puneet Bhateja
    Pages 114-125

  9. Protocol Conformance with Choreographic PlusCal

    • Darius Foo, Andreea Costea, Wei-Ngan Chin
    Pages 126-145

  10. Verifying Chips Design at RTL Level

    • Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
    Pages 146-163

  11. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

    • Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
    Pages 164-182

  12. A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation

    • Shengyang Yao, Qin Li
    Pages 183-201

  13. VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects

    • Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye et al.
    Pages 202-220

  14. Identifying Minimal Changes in the Zone Abstract Domain

    • Kenny Ballou, Elena Sherman
    Pages 221-239

  15. idDL2DL – Interval Syntax to \(d\mathcal {L}\)

    • Jaime Santos, Daniel Figueiredo, Alexandre Madeira
    Pages 240-247

  16. Safety Verification for Neural Networks Based on Set-Boundary Analysis

    • Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
    Pages 248-267

  17. Approximately Learning Quantum Automata

    • Wenjing Chu, Shuo Chen, Marcello Bonsangue, Zenglin Shi
    Pages 268-285

  18. View-Based Axiomatic Reasoning for PSO

    • Lara Bargmann, Heike Wehrheim
    Pages 286-304

  19. A Static Analyser for Resource Sensitive Workflow Models

    • Muhammad Rizwan Ali, Violet Ka I Pun
    Pages 305-312

  20. MTCD: An Efficient Cloning Detection Technique Based on Method Table

    • Fangting Liao, Shun Long, Weiheng Zhu, Wenzhu Chen, Silei Cao, Xinyi Guan
    Pages 313-326
Back to top

Other volumes

  1. Theoretical Aspects of Software Engineering

Editors and Affiliations

  • University of Bristol, Bristol, UK

    Cristina David

  • Peking University, Beijing, China

    Meng Sun

Bibliographic Information

  • Book Title: Theoretical Aspects of Software Engineering

  • Book Subtitle: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

  • Editors: Cristina David, Meng Sun

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-35257-7

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-35256-0Published: 28 June 2023

  • eBook ISBN: 978-3-031-35257-7Published: 26 June 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 366

  • Number of Illustrations: 60 b/w illustrations, 53 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation