Alexander Palmisano

According to our database, Alexander Palmisano authored at least 5 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

V-Models: LLMS for the Development Lifecycle of Safety-Critical Systems.

Amel Jelidi, Amer Kajmakovic, Alexander Palmisano, Franz Sentobe, Kay Römer

Proceedings of the 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025, 2025

2023

Online shielding for reinforcement learning.

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Innov. Syst. Softw. Eng., December, 2023

Safety Shielding under Delayed Observation.

Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2021

Online Shielding for Stochastic Systems.

Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

It's Time to Play Safe: Shield Synthesis for Timed Systems.

Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano

CoRR, 2020