Daniel Varro

Professor

Publikationer

2024

José Antonio Hernández López, Máté Földiák, Daniel Varro (2024) Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT 27TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS, s. 13-24 (Konferensbidrag)

Vidare till DOI

Aren A. Babikian, Daniel Varro (2024) OPTANGLE at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track 2024 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT 2024, s. 73-74 (Konferensbidrag)

Vidare till DOI

Ulf Kargén, Daniel Varro (2024) Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, s. 249-256 (Konferensbidrag)

Vidare till DOI

Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Daniel Varro (2024) Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, s. 497-501 (Konferensbidrag)

Vidare till DOI

Aren A. Babikian, Oszkar Semerath, Daniel Varro (2024) Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search IEEE Transactions on Software Engineering, Vol. 50, s. 48-68 (Artikel i tidskrift)

Vidare till DOI

Forskning

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.