Concepedia

Philipp Helle

PH

5

Publications

163

Citations

5

H-Index

2010

Active since

Affiliations

Linköping University(Current)

Georgia Institute of Technology

Philipp Helle is an author at Linköping University specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware AnalysisFormal VerificationVerificationSoftware DesignSystem SoftwareProgram Analysis

Publications per year

2010–2016

5

Publications

5

Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art

Philipp Helle, Wladimir Schamai, Carsten Strobel · INCOSE International Symposium · 2016 · 65 citations

Robotic Systems, Engineering, Verification +20

Virtual verification of system designs against system requirements

Wladimir Schamai, Philipp Helle, Peter Fritzson et al. · Model Driven Engineering Languages and Systems · 2010 · 36 citations

Engineering, Program Analysis, System Specification +12

Automatic SysML-based safety analysis

Philipp Helle · 2012 · 32 citations

Engineering, Safety Science, Software Engineering +21

Execution of UML State Machines Using Modelica

Wladimir Schamai, Uwe Pohlmann, Peter Fritzson et al. · Equation-Based Object-Oriented Modeling Languages and Tools · 2010 · 19 citations

Engineering, Object-oriented Modeling, Software Engineering +22

ModelicaML value bindings for automated model composition

Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis et al. · 2012 · 11 citations

Rows per page

1–5 of 5