Concepedia

Stephan Flake

SF

12

Publications

331

Citations

11

H-Index

2000

Active since

Affiliations

Paderborn University(Current)

Stephan Flake is an author at Paderborn University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsAutomated ReasoningFormal VerificationVerificationSoftware DesignProgram AnalysisReal-time Systems

Publications per year

2000–2008

12

Publications

12

Towards the compositional verification of real-time UML designs

Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 148 citations

Engineering, Verification, Computer-aided Verification +24

Formal semantics of static and temporal state-oriented OCL constraints

Stephan Flake, Wolfgang Mueller · Software & Systems Modeling · 2003 · 37 citations

Formal Semantics, Specification Language, Formal Specification +8

Structured English for Model Checking Specification.

Stephan Flake, Wolfgang Müller, Jürgen Ruf · 2000 · 23 citations

Towards the compositional verification of real-time UML designs

Holger Giese, Matthias Tichy, Sven Burmester et al. · ACM SIGSOFT Software Engineering Notes · 2003 · 17 citations

Engineering, Verification, Computer-aided Verification +24

Towards the compositional verification of real-time UML designs

Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 17 citations

Engineering, Verification, Computer-aided Verification +24

Rows per page

1–5 of 12