Concepedia

Phillip Heidegger

PH

4

Publications

77

Citations

4

H-Index

2008

Active since

Affiliations

University of Freiburg(Current)

Institut national de recherche en sciences et technologies du numérique

Phillip Heidegger is an author at University of Freiburg specializing in program analysis, software engineering, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware EngineeringVerificationAccess ControlFormal MethodsSoftware TestingSoftware AnalysisFormal Verification

Publications per year

2008–2020

4

Publications

4

Implementation Science Meets Software Development to Create eHealth Components for an Integrated Care Model for Allogeneic Stem Cell Transplantation Facilitated by eHealth: The SMILe Study as an Example

Lynn Leppla, Sandra Hobelsberger, Dennis Rockstein et al. · Journal of Nursing Scholarship · 2020 · 34 citations · Full text

Access permission contracts for scripting languages

Phillip Heidegger, Annette Bieniusa, Peter Thiemann · ACM SIGPLAN Notices · 2012 · 20 citations

Engineering, Verification, Ideal Software Contract +17

Access permission contracts for scripting languages

Phillip Heidegger, Annette Bieniusa, Peter Thiemann · 2012 · 13 citations

Software Maintenance, Engineering, Verification +23

Htdp and dmda in the battlefield

Annette Bieniusa, Markus Degen, Phillip Heidegger et al. · 2008 · 10 citations

Engineering, Teaching, Military Context +14

Rows per page

1–4 of 4