default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Schupp
Person information
- affiliation: TU Wien, Vienna, Austria
- affiliation (former): RWTH Aachen University, Germany
- affiliation (former): University of Münster, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j5]Joanna Delicaris
, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe:
Maximizing reachability probabilities in rectangular automata with random events. Sci. Comput. Program. 240: 103213 (2025)- 2024
- [j4]Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu:
On the applicability of hybrid systems safety verification tools from the automotive perspective. Int. J. Softw. Tools Technol. Transf. 26(1): 49-78 (2024) - [i3]Till Hofmann, Stefan Schupp, Gerhard Lakemeyer:
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. CoRR abs/2402.03164 (2024) - 2023
- [j3]Till Hofmann, Stefan Schupp:
Controlling timed automata against MTL specifications with TACoS. Sci. Comput. Program. 225: 102898 (2023) - [j2]Carina da Silva, Stefan Schupp, Anne Remke:
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction. ACM Trans. Model. Comput. Simul. 33(4): 18:1-18:27 (2023) - [c31]Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani:
ARCH-COMP23 Category Report: Stochastic Models. ARCH 2023: 126-150 - [c30]Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c29]Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN 2023: 141-160 - [c28]Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke:
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE 2023: 164-182 - [c27]Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke:
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. VALUETOOLS 2023: 170-182 - [i2]Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke:
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. CoRR abs/2304.14996 (2023) - 2022
- [j1]Stefan Schupp, Erika Ábrahám, Tristan Ebert:
Recent developments in theory and tool support for hybrid systems verification with HyPro. Inf. Comput. 289(Part): 104945 (2022) - [c26]Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen:
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 2022: 113-141 - [i1]Till Hofmann, Stefan Schupp:
Controlling Golog Programs against MTL Constraints. CoRR abs/2204.03596 (2022) - 2021
- [c25]Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2021: 1-31 - [c24]Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani:
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 2021: 55-89 - [c23]Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám:
Controller verification meets controller code: a case study. MEMOCODE 2021: 98-103 - [c22]Carina Pilch, Stefan Schupp, Anne Remke:
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. QEST 2021: 435-456 - [c21]Till Hofmann, Stefan Schupp:
TACoS: A Tool for MTL Controller Synthesis. SEFM 2021: 372-379 - [c20]Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella:
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR 2021: 61-77 - 2020
- [c19]Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2020: 16-48 - [c18]Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106
2010 – 2019
- 2019
- [c17]Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek 2019: 14-40 - [c16]Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 120-128 - [c15]Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella:
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS 2019: 407-413 - 2018
- [c14]Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS 2018: 14-22 - [c13]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c12]Stefan Schupp, Justin Winkens, Erika Ábrahám:
Context-Dependent Reachability Analysis for Hybrid Systems. IRI 2018: 518-525 - [c11]Stefan Schupp, Erika Ábrahám:
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. SEFM 2018: 89-104 - [c10]Stefan Schupp, Erika Ábrahám:
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. TACAS (2) 2018: 287-302 - 2017
- [c9]Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek 2017: 134-142 - [c8]Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp:
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek 2017: 143-159 - [c7]Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski:
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM 2017: 288-294 - [c6]Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám:
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS 2017: 178-185 - [c5]Stefan Schupp, Johanna Nellen, Erika Ábrahám:
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. QAPL@ETAPS 2017: 1-14 - 2015
- [c4]Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski:
Current Challenges in the Verification of Hybrid Systems. CyPhy 2015: 8-24 - [c3]Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski:
A Benchmark Suite for Hybrid Systems Reachability Analysis. NFM 2015: 408-414 - [c2]Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám:
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. SAT 2015: 360-368 - 2011
- [c1]Jó Ágila Bitsch Link, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle:
Perfect difference sets for neighbor discovery: energy efficient and fair. ExtremeCom 2011: 5:1-5:6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
