Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/tase/tase2023.bht:"
@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} }
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.