Stefan Schupp

TU Wien — Austria

Computer Science · Physical Sciences

11h-index459citations46works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(40), Software Reliability and Analysis Research(23), Software Testing and Debugging Techniques(13), Safety Systems Engineering in Autonomy(8), Advanced Software Engineering Methodologies(5)

Publications46 total

An adaptive, provable correct simplex architecture
International Journal on Software Tools for Technology Transfer·2025Open Access
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Lecture notes in computer science·2024Open Access
Maximizing reachability probabilities in rectangular automata with random events
Science of Computer Programming·2024· 2 cited
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
arXiv (Cornell University)·2024Open Access
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2024· 4 cited
ARCH-COMP23 Category Report: Stochastic Models
EPiC series in computing·2023· 5 citedOpen Access
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction
ACM Transactions on Modeling and Computer Simulation·2023· 10 cited
On the applicability of hybrid systems safety verification tools from the automotive perspective
International Journal on Software Tools for Technology Transfer·2023· 3 citedOpen Access
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Lecture notes in computer science·2023· 6 citedOpen Access
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Lecture notes in computer science·2023· 11 cited
Lightweight Verification of Hyperproperties
Lecture notes in computer science·2023
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
arXiv (Cornell University)·2023· 2 citedOpen Access
ARCH-COMP22 Category Report: Stochastic Models
EPiC series in computing·2022· 10 citedOpen Access
Controlling timed automata against MTL specifications with TACoS
Science of Computer Programming·2022· 2 cited
Recent developments in theory and tool support for hybrid systems verification with HyPro
Information and Computation·2022· 5 citedOpen Access
Robot Swarms as Hybrid Systems: Modelling and Verification
Electronic Proceedings in Theoretical Computer Science·2022· 3 citedOpen Access
Controlling Golog Programs against MTL Constraints
arXiv (Cornell University)·2022Open Access
Electron‐Rich Diruthenium Complexes with π‐Extended Alkenyl Ligands and Their F<sub>4</sub>TCNQ Charge‐Transfer Salts**
Chemistry - A European Journal·2022· 12 citedOpen Access
Oxygen vacancies in oxidized and reduced vertically aligned α-MoO<sub>3</sub> nanoblades
Materials Advances·2022· 41 citedOpen Access
ARCH-COMP21 Category Report: Stochastic Models
EPiC series in computing·2021· 5 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Erika Ábrahám(21), Anne Remke(11), Goran Frehse(8), Joanna Delicaris(8), R. L. Ray(7), Matthias Althoff(6), Alessandro Abate(5), Sadegh Soudjani(5), Stanley Bak(4), Abolfazl Lavaei(4), Marcelo Forets(4), Christian Schilling(4), Till Hofmann(4), Lei Bu(4), Ibtissem Ben Makhlouf(3), Stefan Kowalewski(3), Sofie Haesaert(3), Arnd Hartmanns(3), H.A.P. Blom(3), Nathalie Cauchi(3)