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

Software Engineering

Authors and titles for cs.SE in Apr 2021, skipping first 170

[ total of 187 entries: 1-25 | ... | 96-120 | 121-145 | 146-170 | 171-187 ]
[ showing 25 entries per page: fewer | more | all ]
[171]  arXiv:2104.05438 (cross-list from cs.LO) [pdf, ps, other]
Title: Actors -- A Process Algebra Based Approach
Authors: Yong Wang
Comments: 143 pages, 12 figures, 29 tables. arXiv admin note: text overlap with arXiv:2101.05140
Subjects: Logic in Computer Science (cs.LO)
[172]  arXiv:2104.05626 (cross-list from cs.SI) [pdf, other]
Title: Towards Collaborative Mobile Crowdsourcing
Comments: 8 pages, 5 figures. Accepted for Publication in IEEE Internet-of-Things Magazine (IoT-M)
Subjects: Social and Information Networks (cs.SI); Software Engineering (cs.SE)
[173]  arXiv:2104.06178 (cross-list from cs.RO) [pdf, other]
Title: Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Comments: 18 pages + 15 page Appendix, 11 figures
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Systems and Control (eess.SY)
[174]  arXiv:2104.06220 (cross-list from cs.AI) [pdf, other]
Title: Agents for Automated User Experience Testing
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[175]  arXiv:2104.06509 (cross-list from cs.RO) [pdf]
Title: Automatic Assembly Planning based on Digital Product Descriptions
Journal-ref: Computers in Industry (2018) vol. 97, pp: 34-46
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[176]  arXiv:2104.07899 (cross-list from cs.CR) [pdf, other]
Title: SecDocker: Hardening the Continuous Integration Workflow
Comments: Preprint: 15 pages, 5 figures, 2 tables. Public repository: this https URL
Journal-ref: SN COMPUT. SCI. 3, 80 (2022)
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[177]  arXiv:2104.08130 (cross-list from cs.LO) [pdf, ps, other]
Title: $\{log\}$: Set Formulas as Programs
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
[178]  arXiv:2104.09020 (cross-list from cs.CR) [pdf]
Title: On Design-time Security in IEC 61499 Systems: Conceptualisation, Implementation, and Feasibility
Comments: Conference paper, 8 pages, 11 figures, 1 table
Journal-ref: Proceedings of the 16th International Conference on Industrial Informatics (INDIN2018). Porto, Portugal, IEEE Computer Society Press, pp.778-785
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[179]  arXiv:2104.09225 (cross-list from cs.AI) [pdf]
Title: Multi-context Attention Fusion Neural Network for Software Vulnerability Identification
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[180]  arXiv:2104.09948 (cross-list from cs.PL) [pdf, other]
Title: A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[181]  arXiv:2104.10042 (cross-list from cs.DC) [pdf]
Title: A Brief Overview of the UML Scientific Profile
Comments: 6 pages, 3 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL); Software Engineering (cs.SE)
[182]  arXiv:2104.11230 (cross-list from cs.CR) [pdf, ps, other]
Title: Literature review on vulnerability detection using NLP technology
Authors: Jiajie Wu
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[183]  arXiv:2104.11351 (cross-list from cs.RO) [pdf, other]
Title: Towards Automated Acceptance testing for industrial robots
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
[184]  arXiv:2104.12538 (cross-list from cs.CY) [pdf]
Title: Exponential Competence of Computer Science and Software Engineering Undergraduate Students
Authors: Orit Hazzan
Comments: 5 pages
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[185]  arXiv:2104.12545 (cross-list from cs.CY) [pdf, ps, other]
Title: Agile (data) science: a (draft) manifesto
Subjects: Computers and Society (cs.CY); Software Engineering (cs.SE)
[186]  arXiv:2104.13295 (cross-list from cs.CR) [pdf, other]
Title: Metamorphic Detection of Repackaged Malware
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[187]  arXiv:2104.13434 (cross-list from cs.FL) [pdf, other]
Title: Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Comments: arXiv admin note: substantial text overlap with arXiv:2008.06935
Subjects: Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[ total of 187 entries: 1-25 | ... | 96-120 | 121-145 | 146-170 | 171-187 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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