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

Software Engineering

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

[ total of 187 entries: 1-10 | ... | 156-165 | 166-175 | 176-185 | 186-187 ]
[ showing 10 entries per page: fewer | more | all ]
[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-10 | ... | 156-165 | 166-175 | 176-185 | 186-187 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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