Concepedia

Stefan Schwoon

SS

18

Publications

825

Citations

14

H-Index

2002

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Technical University of Munich

Laboratoire Spécification et Vérification

University of Stuttgart

Centre National de la Recherche Scientifique

Stefan Schwoon is an author at École Normale Supérieure Paris-Saclay specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisVerificationSystems EngineeringBias

Publications per year

2002–2024

18

Publications

18

Model-Checking Pushdown Systems

Stefan Schwoon · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 2002 · 202 citations · Full text

Program Checking, Engineering, Verification +18

Model checking LTL with regular valuations for pushdown systems

Javier Esparza, Antonı́n Kučera, Stefan Schwoon · Information and Computation · 2003 · 170 citations

Engineering, Automated Reasoning, Regular Valuations +7

Weighted pushdown systems and their application to interprocedural dataflow analysis

Thomas Reps, Stefan Schwoon, Somesh Jha et al. · Science of Computer Programming · 2005 · 157 citations

Workflow Execution, Reachability Analysis, Engineering +13

On generalized authorization problems

Stefan Schwoon, Somesh Jha, Thomas Reps et al. · 2004 · 37 citations

Authentication Authorization, Engineering, Information Security +16

Efficient unfolding of contextual Petri nets

Paolo Baldan, A. Bruni, Andrea Corradini et al. · Theoretical Computer Science · 2012 · 33 citations

Petri Net, Engineering, Automated Reasoning +4

Rows per page

1–5 of 18