Daniel Varro

Professor, Enhetschef

Publikationer

2025

Boqi Chen, Kristof Marussy, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2025)

Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation Data mining and knowledge discovery, Vol. 40, Artikel 11 (Artikel i tidskrift)

https://dx.doi.org/10.1007/s10618-025-01180-w

Masoud Sadrnezhaad, José Antonio Hernández López, 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, Proceedings, s. 203-219 (Konferensbidrag)

https://dx.doi.org/10.1007/978-3-032-12089-2_13

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)

https://dx.doi.org/10.1007/s10270-025-01331-z

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)

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

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)

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

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 (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.