The Common Requirement Modeling Language (CRML) is a domain-specific controled natural language intended to capture requirements in a format that is readable by multidisciplinary stakeholders. However, similarly to other domain-specific languages, CRML suffers from limited available human expertise and material. LLMs p...
Máté Földiák, L. Buffoni, Dániel Varró· Proceedings of the ACM/IEEE...· 0 citations
Autonomous surface vehicles (ASVs) must comply with the International Regulations for Preventing Collisions at Sea (COLREGS) to operate safely in shared maritime environments at open sea. While simulation-based testing is widely used to assess compliance, existing approaches lack a complete and scalable assurance workf...
D. Frey, U. Kargén, Dániel Varró· Proceedings of the ACM/IEEE...· 0 citations
Autonomous surface vehicles (ASVs) operating in maritime traffic must comply with the International Regulations for Preventing Collisions at Sea (COLREGS). Demonstrating COLREGS compliance requires systematic assurance that all relevant encounter scenarios are represented and analyzed. Recent work has proposed a resear...
D. Frey, U. Kargén, Dániel Varró· Proceedings of the ACM/IEEE...· 0 citations
ModBench is a pipeline that mines Git repositories of Modelica libraries to produce benchmark datasets of model snapshots, spanning the full commit history (since Modelica language v3), with 85562 distinct class snapshots, and links enabling traceability to original models and Git metadata.
Masoud Sadrnezhaad, Martin Sjölund, A. Pop et al.· Proceedings of the ACM/IEEE...· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
