16
Publications
501
Citations
12
H-Index
2004
Active since
Affiliations
Christoph Bockisch is an author at Technical University of Darmstadt specializing in computer science, engineering, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware AnalysisSoftware DesignProgram AnalysisSoftware EngineeringFormal MethodsSystem SoftwareComputer EngineeringFormal Verification
Publications per year
2004–2019
16
16
Virtual machine support for dynamic join points
Christoph Bockisch, Michael Haupt, Mira Mezini et al. · 2004 · 180 citations
An execution layer for aspect-oriented programming languages
Michael Haupt, Mira Mezini, Christoph Bockisch et al. · 2005 · 44 citations
Engineering, Cross-cutting Concern, Computer Architecture +18
Adapting virtual machine techniques for seamless aspect support
Christoph Bockisch, Matthew Arnold, Tom Dinkelaker et al. · 2006 · 35 citations
Software Maintenance, Engineering, Cross-cutting Concern +22
Runtime Verification in Distributed Computing
Somayeh Malakuti Khah Olun Abadi, Jong Hyuk Park, Mohammad S. Obaidat et al. · 2011 · 33 citations
Efficient control flow quantification
Christoph Bockisch, Sebastian Kanthak, Michael Haupt et al. · 2006 · 33 citations
Rows per page
1–5 of 16