2
Publications
50
Citations
2
H-Index
2006
Active since
Affiliations
Daniel Fötsch is an author at Christian-Albrechts-Universität zu Kiel specializing in reliability engineering, automated reasoning, and business process modeling.
Top concepts
EngineeringFuzzy LogicVerificationFormal MethodsSoftware DesignComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2006–2008
2
2
Model Checking with Graphical Validation Rules
Sven Feja, Daniel Fötsch · 2008 · 36 citations
Modeling and Verifying Workflow-based Regulations.
Daniel Fötsch, Elke Pulvermüller, Wilhelm Rossak · 2006 · 14 citations
Rows per page
1–2 of 2