We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for recent submissions, skipping first 32

[ total of 43 entries: 1-10 | 3-12 | 13-22 | 23-32 | 33-42 | 43 ]
[ showing 10 entries per page: fewer | more | all ]

Thu, 29 Sep 2022 (continued, showing last 7 of 15 entries)

[33]  arXiv:2209.14034 [pdf, other]
Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
Authors: Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 20-37
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[34]  arXiv:2209.14028 [pdf, ps, other]
Title: Bounded Invariant Checking for Stateflow
Authors: Predrag Filipovikj (Scania CV AB), Gustav Ung (Scania CV AB), Dilian Gurov (KTH Royal Institute of Technology), Mattias Nyberg (Scania CV AB)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181. arXiv admin note: substantial text overlap with arXiv:2103.06248
Journal-ref: EPTCS 371, 2022, pp. 38-52
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[35]  arXiv:2209.13995 [pdf, other]
Title: Revealing the Semantics of Data Wrangling Scripts With COMANTICS
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[36]  arXiv:2209.13978 [pdf, other]
Title: Feature Sets in Just-in-Time Defect Prediction: An Empirical Evaluation
Comments: 10 pages, 3 figures, accepted at the 18th edition of the International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE'22)
Subjects: Software Engineering (cs.SE)
[37]  arXiv:2209.14147 (cross-list from cs.DC) [pdf, other]
Title: Mobile Edge Computing, Metaverse, 6G Wireless Communications, Artificial Intelligence, and Blockchain: Survey and Their Convergence
Authors: Yitong Wang, Jun Zhao
Comments: This paper appears in the Proceedings of 2022 IEEE 8th World Forum on Internet of Things (WF-IoT). Please feel free to contact us for questions or remarks
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Software Engineering (cs.SE)
[38]  arXiv:2209.14036 (cross-list from cs.LO) [pdf, other]
Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
Authors: Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 77-85
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[39]  arXiv:2209.13731 (cross-list from quant-ph) [pdf, ps, other]
Title: Software science view on quantum circuit algorithms
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Mathematical Physics (math-ph)

Wed, 28 Sep 2022 (showing first 3 of 4 entries)

[40]  arXiv:2209.13372 [pdf]
Title: CSRE4SOC (CSR evaluation for software companies)
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[41]  arXiv:2209.13009 [pdf, other]
Title: Can Existing Approaches Manage Dynamic and Large Business Processes enacted through Systems-of-Systems?
Comments: 15 pages, 3 figures, 3 tables
Subjects: Software Engineering (cs.SE)
[42]  arXiv:2209.13288 (cross-list from cs.CR) [pdf, other]
Title: A Benchmark Comparison of Python Malware Detection Approaches
Comments: 12 pages, 3 figures, 3 tables
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[ total of 43 entries: 1-10 | 3-12 | 13-22 | 23-32 | 33-42 | 43 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2210, contact, help  (Access key information)