Daniel Varro

Professor, Enhetschef

Publikationer

2026

Máté Földiák, Lena Buffoni, Daniel Varro (2026)

Towards a Modeling Assistant for Capturing CRML Requirements Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems, s. 381-385 (Konferensbidrag)

https://dx.doi.org/10.1145/3837062.3838902

Dominik Frey, Ulf Kargén, Daniel Varro (2026)

SceneGEMS: Scenario Generation and Execution Framework for the Safety Assurance of Maritime Autonomous Surface Vehicles Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems, s. 219-223 (Konferensbidrag)

https://dx.doi.org/10.1145/3837062.3838872

Sogol Masoumzadeh, Mary Li Yufei, Shane McIntosh, Daniel Varro (2026)

SeBERTis: A Framework for Producing Classifiers of Security-Related Issue Reports 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), s. 252-263 (Konferensbidrag)

https://dx.doi.org/10.1109/SANER67736.2026.00036

Masoud Sadrnezhaad, Martin Sjölund, Adrian Pop, José Antonio Hernández López, Torvald Mårtensson, Daniel Varro (2026)

ModBench: A Pipeline for Building Modelica Benchmark Datasets Mined from Library Repositories Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems, s. 375-380 (Konferensbidrag)

https://dx.doi.org/10.1145/3837062.3838901

Mootez Saad, José Antonio Hernández López, Boqi Chen, Neil A. Ernst, Daniel Varro, Tushar Sharma (2026)

Grounding Generative AI in Software Engineering: Are We There Yet? 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), s. 1-6 (Konferensbidrag)

https://dx.doi.org/10.1109/SANER67736.2026.00091

Nyheter

Miljoner till kvalitetssäkring av programvara

Vinnova tilldelar Kristian Sandahl med kollegor vid Inst för datavetenskap 5,6 miljoner kr till utveckling av metoder för kvalitetssäkring av programvara genererad av AI-modeller. Med bidrag från företag och LiU omsätter projektet 18 miljoner kr.

Forskning

Cybersäkerhet

Välkommen till cybersäkerhetsplattformen vid Linköpings universitet. Här hittar du information om forskning och utbildning inom cybersäkerhet, samt forskare och lärare som är aktiva inom fältet.

robothund Spot, drönare, liten helikopter, operatör

WASP vid Institutionen för datavetenskap

WASP, Wallenberg AI autonomous systems and software program, är den största enskilda forskningssatsningen i Sverige i modern tid. En av forskningsmiljöerna kopplade till WASP vid Linköpings universitet, finns vid Institutionen för datavetenskap.

Om avdelningen

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.