Daniel Varro

Professor, Enhetschef

Publikationer

2025

Masoud Sadrnezhaad, Hernández López José Antonio, Torvald Mårtensson, Daniel Varro (2025) Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study Product-Focused Software Process Improvement: 26th International Conference, PROFES 2025, Salerno, Italy, December 1–3, 2025., s. 203-219 (Konferensbidrag)

Vidare till DOI

Máté Földiák, Kristóf Marussy, Dániel Varró (2025) Model-based stochastic analysis with probabilistic graph query evaluation Software and Systems Modeling (Artikel i tidskrift)

Vidare till DOI

Dominik Frey, Ulf Kargén, Dániel Varró (2025) Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles Proceedings of the ACM on Software Engineering, Vol. 2, s. 985-1008 (Artikel i tidskrift)

Vidare till DOI

Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma (2025) An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code Proceedings of the ACM on Software Engineering, Vol. 2, s. 1183-1204 (Artikel i tidskrift)

Vidare till DOI

Boqi Chen, Aren Babikian, Shuzhao Feng, Daniel Varro, Gunter Mussbacher (2025) LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation

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 Institutionen för datavetenskap 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 (IDA)

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.