双核处理器1G内存80G硬盘独立显卡适合办公用送全

Authors and titles for August 2025

[1] arXiv:2508.01821 [pdf, html, other]

Title: Runtime Consultants

Dana Fisman, Elina Sudit

Subjects: Formal Languages and Automata Theory (cs.FL)

[2] arXiv:2508.00738 (cross-list from cs.SE) [pdf, html, other]

Title: Tool-Assisted Conformance Checking to Reference Process Models

Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)

[3] arXiv:2508.00749 (cross-list from cs.SE) [pdf, html, other]

Title: Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC)

[4] arXiv:2508.01735 (cross-list from cs.CY) [pdf, html, other]

Title: Difficulty Generating Factors for Context-free Language Construction Assignments

Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume

Comments: To be presented at ACM Conference on International Computing Education Research V.1 (ICER 2025 Vol. 1), August 3--6, 2025, Charlottesville, VA, USA

Subjects: Computers and Society (cs.CY); Formal Languages and Automata Theory (cs.FL)