Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Stefan Schupp · SciRah

Researcher profile · Semantic Scholar

Stefan Schupp

Share profile

Stefan Schupp — researcher profile on SciRah

h-index: 11
Works: 39
Citations: 454

Most-cited papers

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp +1 more
2015International Conference on Theory and Applications of Satisfiability Testing101 citations
Semantic Scholar
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
Stefan Schupp, E. Ábrahám, Ibtissem Ben Makhlouf, S. Kowalewski
2017NASA Formal Methods75 citations
Semantic Scholar
A Benchmark Suite for Hybrid Systems Reachability Analysis
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, E. Ábrahám +2 more
2015NASA Formal Methods38 citations
Semantic Scholar
Current Challenges in the Verification of Hybrid Systems
Stefan Schupp, E. Ábrahám, Xin Chen, Ibtissem Ben Makhlouf +3 more
2015International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems34 citations
Semantic Scholar
Perfect difference sets for neighbor discovery: energy efficient and fair
J. Link, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle
2011Extreme Conference on Communication23 citations
Semantic Scholar
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Stefan Schupp, E. Ábrahám
2018International Conference on Tools and Algorithms for Construction and Analysis of Systems16 citations Open access
Semantic Scholar
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
Stefan Schupp, E. Ábrahám, J. Nellen
2017QAPL@ETAPS15 citations Open access
Semantic Scholar
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
J. Hüls, Stefan Schupp, A. Remke, E. Ábrahám
2017ValueTools15 citations
Semantic Scholar
State set representations and their usage in the reachability analysis of hybrid systems
Stefan Schupp, Goran Frehse, E. Ábrahám
201914 citations
Semantic Scholar
ARCH-COMP22 Category Report: Stochastic Models
A. Abate, H. Blom, Joanna Delicaris, Sofie Haesaert +10 more
2022ARCH@SAFECOMP13 citations Open access
Semantic Scholar
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Stefan Schupp, Erika 'Abrah'am, A. Remke
2023Theoretical Aspects of Software Engineering11 citations Open access
Semantic Scholar
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction
Carina da Silva, Stefan Schupp, A. Remke
2023International Conference on Quantitative Evaluation of Systems11 citations Open access
Semantic Scholar
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Matthias Althoff, Stanley Bak, M. Forets, Goran Frehse +4 more
2019ARCH@CPSIoTWeek10 citations Open access
Semantic Scholar
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen +3 more
2017ARCH@CPSWeek9 citations Open access
Semantic Scholar
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Matthias Althoff, Erika Ábrahám, M. Forets, Goran Frehse +4 more
2021ARCH@ADHS7 citations Open access
Semantic Scholar
Recent developments in theory and tool support for hybrid systems verification with HyPro
Stefan Schupp, E. Ábrahám, T. Ebert
2022Information and Computation6 citations Open access
Semantic Scholar
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan +8 more
2018ARCH@ADHS6 citations Open access
Semantic Scholar
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems
Stefan Schupp, E. Ábrahám
2018IEEE International Conference on Software Engineering and Formal Methods6 citations
Semantic Scholar
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
Francesco Leofante, Stefan Schupp, E. Ábrahám, A. Tacchella
2019European Conference on Modelling and Simulation5 citations
Semantic Scholar
Interval Constraint Propagation in SMT Compliant Decision Procedures
Stefan Schupp, E. Ábrahám, P. Rossmanith, Ulrich Loup +1 more
20135 citations
Semantic Scholar
Modeling and Analysis of Hybrid Systems Lecture Notes
E. Ábrahám, Stefan Schupp
20174 citations
Semantic Scholar
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Benedikt Maderbacher, Stefan Schupp, E. Bartocci, Roderick Bloem +2 more
2023SPIN3 citations
Semantic Scholar
TACoS: A Tool for MTL Controller Synthesis
Till Hofmann, Stefan Schupp
2021IEEE International Conference on Software Engineering and Formal Methods3 citations
Semantic Scholar
Complementary switching in single Nb3O7(OH) nanowires
C. Ebenhoch, Thomas Gänsler, Stefan Schupp, M. Hagner +3 more
2021APL Materials3 citations Open access
Semantic Scholar
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Lei Bu, Rajarshi Ray, Stefan Schupp
2019ARCH@CPSIoTWeek3 citations Open access
Semantic Scholar
Context-Dependent Reachability Analysis for Hybrid Systems
Stefan Schupp, Justin Winkens, E. Ábrahám
2018IEEE International Conference on Information Reuse and Integration3 citations
Semantic Scholar
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Lei Bu, Rajarshi Ray, Stefan Schupp
2017ARCH@CPSWeek3 citations Open access
Semantic Scholar
On the applicability of hybrid systems safety verification tools from the automotive perspective
Stefan Schupp, E. Ábrahám, Md Tawhid Bin Waez, Thomas Rambow +1 more
2023International Journal on Software Tools for Technology Transfer (STTT)2 citations Open access
Semantic Scholar
Controlling timed automata against MTL specifications with TACoS
Till Hofmann, Stefan Schupp
2022Science of Computer Programming2 citations
Semantic Scholar
Controller Verification meets Controller Code: A Case Study
Felix Freiberger, Stefan Schupp, H. Hermanns, E. Ábrahám
2021International Conference on Formal Methods and Models for Co-Design2 citations
Semantic Scholar
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Matthias Althoff, Stanley Bak, Zongnan Bao, M. Forets +9 more
2020The Archivist2 citations Open access
Semantic Scholar
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Lei Bu, Rajarshi Ray, Stefan Schupp
2018ARCH@ADHS2 citations Open access
Semantic Scholar
Robot Swarms as Hybrid Systems: Modelling and Verification
Stefan Schupp, Francesco Leofante, L. Behr, E. Ábrahám +1 more
2022International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT1 citations Open access
Semantic Scholar
Continuous and Hybrid Systems ARCH-COMP 17 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics
M. Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen +3 more
20171 citations
Semantic Scholar
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
Till Hofmann, Stefan Schupp, G. Lakemeyer
2024arXiv.org0 citations
Semantic Scholar
Controlling Golog Programs against MTL Constraints
Till Hofmann, Stefan Schupp
2022arXiv.org0 citations Open access
Semantic Scholar
Verification of Continuous and Hybrid Systems ARCH-COMP 19 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics
M. Althoff, Stanley Bak, M. Forets, Goran Frehse +5 more
20190 citations
Semantic Scholar
Continuous and Hybrid Systems ARCH-COMP 18 Category Report : Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Lei Bu, Rajarshi Ray, Stefan Schupp
20180 citations
Semantic Scholar
Robot Swarms as Hybrid Systems : Modeling and Verification
Stefan Schupp, Francesco Leofante, E. Ábrahám, A. Tacchella
20180 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

E. Ábrahám×18
Invite
E. Ábrahám — researcher profile on SciRah
Goran Frehse×10
Invite
Goran Frehse — researcher profile on SciRah
Rajarshi Ray×6
Invite
Rajarshi Ray — researcher profile on SciRah
Matthias Althoff×5
Invite
Matthias Althoff — researcher profile on SciRah

×5

Invite

M. Forets — researcher profile on SciRah

Christian Schilling×5

Invite

Christian Schilling — researcher profile on SciRah

Invite

A. Remke — researcher profile on SciRah

Invite

Stanley Bak — researcher profile on SciRah

Rajarshi Ray×4

Invite

Rajarshi Ray — researcher profile on SciRah

Till Hofmann×4

Invite

Till Hofmann — researcher profile on SciRah

Invite

Lei Bu — researcher profile on SciRah

Ibtissem Ben Makhlouf×3

Invite

Ibtissem Ben Makhlouf — researcher profile on SciRah