Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tase/tase2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/tase/0001ZCW23,
author = {Chenyang Zhu and
Jinyu Zhu and
Yujie Cai and
Fang Wang},
editor = {Cristina David and
Meng Sun},
title = {Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement
Learning},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {59--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_4},
doi = {10.1007/978-3-031-35257-7\_4},
timestamp = {Thu, 08 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/0001ZCW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AliP23,
author = {Muhammad Rizwan Ali and
Violet Ka I Pun},
editor = {Cristina David and
Meng Sun},
title = {A Static Analyser for Resource Sensitive Workflow Models},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {305--312},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_18},
doi = {10.1007/978-3-031-35257-7\_18},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/AliP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BallouS23,
author = {Kenny Ballou and
Elena Sherman},
editor = {Cristina David and
Meng Sun},
title = {Identifying Minimal Changes in the Zone Abstract Domain},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {221--239},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_13},
doi = {10.1007/978-3-031-35257-7\_13},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BallouS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BargmannW23,
author = {Lara Bargmann and
Heike Wehrheim},
editor = {Cristina David and
Meng Sun},
title = {View-Based Axiomatic Reasoning for {PSO}},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {286--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_17},
doi = {10.1007/978-3-031-35257-7\_17},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Bhateja23,
author = {Puneet Bhateja},
editor = {Cristina David and
Meng Sun},
title = {Asynchronous Test Equivalence over Timed Processes},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {114--125},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_7},
doi = {10.1007/978-3-031-35257-7\_7},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Bhateja23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Chu0BS23,
author = {Wenjing Chu and
Shuo Chen and
Marcello M. Bonsangue and
Zenglin Shi},
editor = {Cristina David and
Meng Sun},
title = {Approximately Learning Quantum Automata},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {268--285},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_16},
doi = {10.1007/978-3-031-35257-7\_16},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Chu0BS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/CunhaMB23,
author = {Juliana Cunha and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Cristina David and
Meng Sun},
title = {Stepwise Development of Paraconsistent Processes},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {327--343},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_20},
doi = {10.1007/978-3-031-35257-7\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/CunhaMB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DelicarisSAR23,
author = {Joanna Delicaris and
Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Anne Remke},
editor = {Cristina David and
Meng Sun},
title = {Maximizing Reachability Probabilities in Rectangular Automata with
Random Clocks},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {164--182},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_10},
doi = {10.1007/978-3-031-35257-7\_10},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/DelicarisSAR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/DuLS0023,
author = {Mengjun Du and
Peiyang Li and
Lian Song and
W. K. Chan and
Bo Jiang},
editor = {Cristina David and
Meng Sun},
title = {{OAT:} An Optimized Android Testing Framework Based on Reinforcement
Learning},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {38--58},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_3},
doi = {10.1007/978-3-031-35257-7\_3},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/DuLS0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FooCC23,
author = {Darius Foo and
Andreea Costea and
Wei{-}Ngan Chin},
editor = {Cristina David and
Meng Sun},
title = {Protocol Conformance with Choreographic PlusCal},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {126--145},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_8},
doi = {10.1007/978-3-031-35257-7\_8},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/FooCC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HampusN23,
author = {Anton Hampus and
Mattias Nyberg},
editor = {Cristina David and
Meng Sun},
title = {Verifying Refinement of Probabilistic Contracts Using Timed Automata},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {95--113},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_6},
doi = {10.1007/978-3-031-35257-7\_6},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/HampusN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/JiaL0ZHY023,
author = {Qiaowen Jia and
Yi Lv and
Peng Wu and
Bohua Zhan and
Jifeng Hao and
Hong Ye and
Chao Wang},
editor = {Cristina David and
Meng Sun},
title = {VeriLin: {A} Linearizability Checker for Large-Scale Concurrent Objects},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {202--220},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_12},
doi = {10.1007/978-3-031-35257-7\_12},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/JiaL0ZHY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiangRL00023,
author = {Zhen Liang and
Dejin Ren and
Wanwei Liu and
Ji Wang and
Wenjing Yang and
Bai Xue},
editor = {Cristina David and
Meng Sun},
title = {Safety Verification for Neural Networks Based on Set-Boundary Analysis},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {248--267},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_15},
doi = {10.1007/978-3-031-35257-7\_15},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/LiangRL00023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiaoLZCCG23,
author = {Fangting Liao and
Shun Long and
Weiheng Zhu and
Wenzhu Chen and
Silei Cao and
Xinyi Guan},
editor = {Cristina David and
Meng Sun},
title = {{MTCD:} An Efficient Cloning Detection Technique Based on Method Table},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {313--326},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_19},
doi = {10.1007/978-3-031-35257-7\_19},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/LiaoLZCCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LidstromG23,
author = {Christian Lidstr{\"{o}}m and
Dilian Gurov},
editor = {Cristina David and
Meng Sun},
title = {Contract Based Embedded Software Design},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {77--94},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_5},
doi = {10.1007/978-3-031-35257-7\_5},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/LidstromG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Liu023,
author = {Siyu Liu and
Yuting Wang},
editor = {Cristina David and
Meng Sun},
title = {Verified Transformation of Continuation-Passing Style into Static
Single Assignment Form},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {20--37},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_2},
doi = {10.1007/978-3-031-35257-7\_2},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Liu023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/NigamT23,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Cristina David and
Meng Sun},
title = {Automating Recoverability Proofs for Cyber-Physical Systems with Runtime
Assurance Architectures},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {1--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_1},
doi = {10.1007/978-3-031-35257-7\_1},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/NigamT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Santos0M23,
author = {Jaime Santos and
Daniel Figueiredo and
Alexandre Madeira},
editor = {Cristina David and
Meng Sun},
title = {idDL2DL - Interval Syntax to d{\(\mathscr{L}\)}},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {240--247},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_14},
doi = {10.1007/978-3-031-35257-7\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Santos0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Wang0TDXY23,
author = {Wu Wang and
Nan Zhang and
Cong Tian and
Zhenhua Duan and
Zhijie Xu and
Chaofeng Yu},
editor = {Cristina David and
Meng Sun},
title = {Verifying Chips Design at {RTL} Level},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {146--163},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_9},
doi = {10.1007/978-3-031-35257-7\_9},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Wang0TDXY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Wu0Q23,
author = {Yulin Wu and
Zhiwu Xu and
Shengchao Qin},
editor = {Cristina David and
Meng Sun},
title = {Detecting API-Misuse Based on Pattern Mining via {API} Usage Graph
with Parameters},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {344--363},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_21},
doi = {10.1007/978-3-031-35257-7\_21},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Wu0Q23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Yao023,
author = {Shengyang Yao and
Qin Li},
editor = {Cristina David and
Meng Sun},
title = {A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent
Connected Vehicle Cooperation},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {183--201},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_11},
doi = {10.1007/978-3-031-35257-7\_11},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Yao023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2023,
editor = {Cristina David and
Meng Sun},
title = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7},
doi = {10.1007/978-3-031-35257-7},
isbn = {978-3-031-35256-0},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-06-01 16:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
