Concepedia

Sven Jörges

SJ

6

Publications

176

Citations

6

H-Index

2006

Active since

Affiliations

University of Potsdam(Current)

TU Dortmund University

Software (Germany)

Sven Jörges is an author at University of Potsdam specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal MethodsFormal VerificationSystems EngineeringSoftware EngineeringVerificationSoftware DesignProgram Analysis

Publications per year

2006–2013

6

Publications

6

Genesys: service-oriented construction of property conform code generators

Sven Jörges, Tiziana Margaria, Bernhard Steffen · Innovations in Systems and Software Engineering · 2008 · 50 citations

Engineering, Program Analysis, Code Generation +10

A constraint-based variability modeling framework

Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria et al. · International Journal on Software Tools for Technology Transfer · 2012 · 41 citations

Constraint Solving, Engineering, Uncertainty Quantification +8

Model Driven Design of Reliable Robot Control Programs Using the jABC

Sven Jörges, Christian Kubczak, Félix Pageau et al. · 2007 · 29 citations

Robotic Systems, Engineering, Verification +23

Sven Jörges, Tiziana Margaria, Bernhard Steffen · 2006 · 24 citations

Engineering, Flexible Tool, Verification +16

Test your Strategy: Graphical Construction of Strategies for Connect-Four

Marco Bakera, Sven Jörges, Tiziana Margaria · 2009 · 17 citations

Artificial Intelligence, Game Ai, Engineering +20

Rows per page

1–5 of 6