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

Software Engineering

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

[ total of 187 entries: 1-5 | ... | 146-150 | 151-155 | 156-160 | 161-165 | 166-170 | 171-175 | 176-180 | ... | 186-187 ]
[ showing 5 entries per page: fewer | more | all ]
[161]  arXiv:2104.01667 (cross-list from cs.LO) [pdf, other]
Title: A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory
Authors: René Haberland
Comments: 209 pages, 97 figures, 6 appendices
Journal-ref: Dissertation, Thesis, 2017
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[162]  arXiv:2104.01854 (cross-list from eess.SY) [pdf, other]
Title: Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins
Authors: Seppo Sierla (1), Mohammad Azangoo (1), Alexander Fay (2), Valeriy Vyatkin (1 and 3), Nikolaos Papakonstantinou (4) ((1) Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland, (2) Department of Automation Engineering, Helmut Schmidt University, Hamburg, Germany, (3) Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden, (4) VTT Technical Research Centre of Finland Ltd, Espoo, Finland)
Comments: 8 pages, 13 figures
Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Software Engineering (cs.SE)
[163]  arXiv:2104.01929 (cross-list from cs.DC) [pdf]
Title: Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)
[164]  arXiv:2104.02612 (cross-list from cs.CR) [pdf, other]
Title: ASTANA: Practical String Deobfuscation for Android Applications Using Program Slicing
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[165]  arXiv:2104.02712 (cross-list from cs.OH) [pdf, other]
Title: Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications
Subjects: Other Computer Science (cs.OH); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
[ total of 187 entries: 1-5 | ... | 146-150 | 151-155 | 156-160 | 161-165 | 166-170 | 171-175 | 176-180 | ... | 186-187 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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