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

Software Engineering

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

[ total of 187 entries: 1-5 | ... | 161-165 | 166-170 | 171-175 | 176-180 | 181-185 | 186-187 ]
[ showing 5 entries per page: fewer | more | all ]
[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)
[ total of 187 entries: 1-5 | ... | 161-165 | 166-170 | 171-175 | 176-180 | 181-185 | 186-187 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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