List of works - Ruzica Piskac - Paulina

List of works by Ruzica Piskac

'Put the Car on the Stand'

scientific article published on 26 February 2024

Checking equivalence in a non-strict language

scientific article published on 31 October 2022

ETAP: Energy-aware Timing Analysis of Intermittent Programs

scientific article published on 15 September 2022

Proving Query Equivalence Using Linear Integer Arithmetic

scientific article published on 12 December 2023

PyDex: Repairing Bugs in Introductory Python Assignments using LLMs

scientific article published on 29 April 2024

Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach

scientific article published on 10 July 2024

Paulina is supported by:

About Paulina

Help