Concepedia

Sven Feja

SF

Statistics

Publications

6

Citations

141

H-Index

6

Active since

2008

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

Osnabrück University

Sven Feja is an author at Christian-Albrechts-Universität zu Kiel specializing in engineering, verification, and formal verification.

Top concepts

EngineeringVerificationSoftware DesignFormal VerificationFormal MethodsComputer ScienceSoftware AnalysisSystems EngineeringSoftware EngineeringBusiness Process Modeling

Publications per year

2008–2012

6

Publications

6

A Security Modeling Approach for Web-Service-Based Business Processes

Meiko Jensen, Sven Feja · 2009 · 40 citations

Ws-security, Engineering, Service Security +16

Model Checking with Graphical Validation Rules

Sven Feja, Daniel Fötsch · 2008 · 36 citations

Software Maintenance, Engineering, Verification +22

Developer-friendly verification of process-based systems

Elke Pulvermueller, Sven Feja, Andreas Speck · Knowledge-Based Systems · 2010 · 19 citations

Program Checking, Engineering, Runtime Verification +10

Integrated privacy modeling and validation for business process models

Sören Witt, Sven Feja, Andreas Speck et al. · 2012 · 17 citations

Privacy Requirements, Engineering, Business Intelligence +22

BAM: A Requirements Validation and Verification Framework for Business Process Models

Sven Feja, Sören Witt, Andreas Speck · 2011 · 16 citations

Software Maintenance, Engineering, Requirement Modeling +22

1–5 of 6