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

Software Engineering

Authors and titles for recent submissions, skipping first 21

[ total of 43 entries: 1-25 | 22-43 ]
[ showing 25 entries per page: fewer | more | all ]

Fri, 30 Sep 2022 (continued, showing last 3 of 9 entries)

[22]  arXiv:2209.14879 (cross-list from cs.CR) [pdf]
Title: OpenDSU: Digital Sovereignty in PharmaLedger
Comments: 18 pages, 8 figures
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Social and Information Networks (cs.SI); Systems and Control (eess.SY)
[23]  arXiv:2209.14708 (cross-list from cs.HC) [pdf, other]
Title: TruEyes: Utilizing Microtasks in Mobile Apps for Crowdsourced Labeling of Machine Learning Datasets
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[24]  arXiv:2209.14457 (cross-list from cs.DB) [pdf, other]
Title: Consensus-Free Spreadsheet Integration
Subjects: Databases (cs.DB); Software Engineering (cs.SE)

Thu, 29 Sep 2022

[25]  arXiv:2209.14263 [pdf]
Title: Enhancing Agile Software Development Sustainability through the Integration of User Experience and Gamification
Comments: 8 pages, 2 figures, XP 2022 conference
Subjects: Software Engineering (cs.SE)
[26]  arXiv:2209.14227 [pdf, other]
Title: FV Time: a formally verified Coq library
Subjects: Software Engineering (cs.SE)
[27]  arXiv:2209.14155 [pdf, other]
Title: Automatic Analysis of Available Source Code of Top Artificial Intelligence Conference Papers
Comments: Please cite the version of IJSEKE
Journal-ref: International Journal of Software Engineering and Knowledge Engineering, Vol. 32, No. 07, pp. 947-970 (2022)
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Digital Libraries (cs.DL); Machine Learning (cs.LG)
[28]  arXiv:2209.14071 [pdf, other]
Title: Towards Auditable Distributed Systems
Authors: Lev Sorokin
Comments: Editor: Ib\'eria Medeiros. 18th European Dependable Computing Conference (EDCC 2022), September 12-15, 2022, Zaragoza, Spain. Student Forum Proceedings - EDCC 2022
Subjects: Software Engineering (cs.SE)
[29]  arXiv:2209.14060 [pdf, other]
Title: Design Guidelines for Improving User Experience in Industrial Domain-Specific Modelling Languages
Comments: 12 pages, 5 figures
Subjects: Software Engineering (cs.SE)
[30]  arXiv:2209.14057 [pdf, other]
Title: How Far Does the Predictive Decision Impact the Software Project? The Cost, Service Time, and Failure Analysis from a Cross-Project Defect Prediction Model
Subjects: Software Engineering (cs.SE)
[31]  arXiv:2209.14055 [pdf, other]
Title: Dealing with Data Challenges when Delivering Data-Intensive Software Solutions
Comments: Submitted to IEEE Transactions on Software Engineering, 20 pages, 3 Figures, 1 Table
Subjects: Software Engineering (cs.SE)
[32]  arXiv:2209.14044 [pdf, other]
Title: Extending Attack-Fault Trees with Runtime Verification
Authors: Rafael C. Cardoso (University of Aberdeen), Angelo Ferrando (University of Genova), Michael Fisher (The University of Manchester)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 193-207
Subjects: Software Engineering (cs.SE)
[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

[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)
[43]  arXiv:2209.12984 (cross-list from cs.CR) [pdf, other]
Title: Characteristics and Main Threats about Multi-Factor Authentication: A Survey
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[ total of 43 entries: 1-25 | 22-43 ]
[ showing 25 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)