Daniel Varro

Professor, Enhetschef

Publikationer

2026

Aren A. Babikian, Attila Ficsor, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2026)

Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition Software and Systems Modeling (Artikel i tidskrift)

https://dx.doi.org/10.1007/s10270-026-01372-y

2025

Boqi Chen, Kua Chen, Jose Antonio Hernandez Lopez, Gunter Mussbacher, Daniel Varro, Amir Feizpour (2025)

SHERPA: A Model-Driven Framework for Large Language Model Execution 2025 ACM/IEEE 28TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS, s. 197-208 (Konferensbidrag)

https://dx.doi.org/10.1109/MODELS67397.2025.00024

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

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.