Christoph Bockisch

Orcid: 0009-0006-9905-4798

Affiliations:
  • Philipps University of Marburg, Faculty of Mathematics and Computer Science, Germany
  • University of Twente, TRESE, The Netherlands
  • TU Darmstadt, Department of Computer Science, Germany


According to our database1, Christoph Bockisch authored at least 69 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MMT: Mutation Testing of Java Bytecode with Model Transformation - An Illustrative Demonstration.
CoRR, 2024

TILE and MASS, a retrospective.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2024

Mutation Testing of Java Bytecode: A Model-Driven Approach.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

MASS. Marburg university auto ASess System.
Proceedings of the 36th International Conference on Software Engineering Education and Training, 2024

2023
Domain TILEs: Test Informed Learning with Examples from the Testing Domain.
Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

MMT: Mutation Testing of Java Bytecode with Model Transformation.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
A study on the quality mindedness of students.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2022

Checking Refactoring Detection Results Using Code Changes Encoding for Improved Accuracy.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Diff Feature Matching Network in Refactoring Detection.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
A unifying approach to breakpoint specification.
Proceedings of the 24th Iberoamerican Conference on Software Engineering, 2021

Thread-Sensitive Data Race Detection for Java.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020
Java Bytecode Verification with OCL Why, How and Whenc.
J. Object Technol., 2020

Evaluating techniques for method-exact energy measurements: towards a framework for platform-independent code-level energy measurements.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019
A Survey of Refactoring Detection Tools.
Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

2018
A blast from the past: online time-travel debugging with BITE.
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

2017
A Model-Derivation Framework for Software Analysis.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

A Java Bytecode Metamodel for Composable Program Analyses.
Proceedings of the Software Technologies: Applications and Foundations, 2017

On the Ability of Lightweight Checks to Detect Ambiguity in Requirements Documentation.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

An MDE Approach for Modular Program Analyses.
Proceedings of the Companion to the first International Conference on the Art, 2017

RedShell: Online Back-In-Time Debugging.
Proceedings of the Companion to the first International Conference on the Art, 2017

Survey of approaches for assessing software energy consumption.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems, 2017

2016
Maintaining Unit Tests During Refactoring.
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

2015
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

Trace-based debugging for advanced-dispatching programming languages.
Proceedings of the 10th Workshop on Implementation, 2015

2014
A tool-supported approach for modular design of energy-aware software.
Proceedings of the Symposium on Applied Computing, 2014

Instance pointcuts: selecting object sets based on their usage history.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013
A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

A design method for modular energy-aware software.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

An adapter-aware, non-intrusive dependency injection framework for Java.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

A pointcut language for setting advanced breakpoints.
Proceedings of the Aspect-Oriented Software Development, 2013

The potential of omniscient debugging for aspect-oriented programming languages.
Proceedings of the 1st Workshop on Comprehension of Complex Systems, 2013

Deriving minimal models for resource utilization.
Proceedings of the 2013 Workshop on Green in/by Software Engineering, 2013

Efficient language implementation with ALIA4J and EMFText: forum demonstration.
Proceedings of the Aspect-Oriented Software Development, 2013

Instance pointcuts for program comprehension.
Proceedings of the 1st Workshop on Comprehension of Complex Systems, 2013

2012
An In-Depth Look at ALIA4J.
J. Object Technol., 2012

Challenges for Refinement and Composition of Instrumentations: Position Paper.
Proceedings of the Software Composition - 11th International Conference, 2012

Aspect-Oriented Language Mechanisms for Component Binding.
Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, 2012

6th workshop on virtual machines and intermediate languages (VMIL'12).
Proceedings of the SPLASH'12, 2012

The ALIA4J approach to efficient language implementation.
Proceedings of the SPLASH'12, 2012

3rd international workshop on free composition (FREECO'12).
Proceedings of the SPLASH'12, 2012

Free Composition Instead of Language Dictatorship.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

An implementation mechanism for tailorable exceptional flow.
Proceedings of the 5th International Workshop on Exception Handling, 2012

A fine-grained debugger for aspect-oriented programming.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

Towards modular resource-aware applications.
Proceedings of the 3rd International Workshop on Variability & Composition, 2012

2011
An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

VMIL 2011: the 5th workshop on virtual machines and intermediate languages.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching.
Proceedings of the SPLASH'11 Workshops, 2011

2nd workshop on free composition (FREECO).
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

A feature model and development approach for schedulers.
Proceedings of the 1st workshop on Modularity in systems software, 2011

Making aspects natural: events and composition.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

VMIL 2010: 4th workshop on virtual machines and intermediate languages.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Optimizing the evaluation of patterns in pointcuts.
Proceedings of the VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17, 2010

2009
VMIL: workshop on virtual machines and intermediate languages.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software.
Proceedings of the ISSRE 2009, 2009

The art of the meta-aspect protocol.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

An efficient and flexible implementation of aspect-oriented languages.
PhD thesis, 2009

2008
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model.
Proceedings of the VMIL@OOPSLA 2008: Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, Nashville, Tennessee, USA, October 21, 2008

Virtual machines and intermediate languages for emerging modularization mechanisms.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

An Efficient and Flexible Implementation of Aspect-Oriented Languages.
Proceedings of the Ausgezeichnete Informatikdissertationen 2008, 2008

Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

2007
A flexible architecture for pointcut-advice language implementations.
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, 2007

2006
Efficient control flow quantification.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Adapting virtual machine techniques for seamless aspect support.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
An execution layer for aspect-oriented programming languages.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Envelope-Based Weaving for Faster Aspect Compilers.
Proceedings of the NODe 2005, 2005

Expressive Pointcuts for Increased Modularity.
Proceedings of the ECOOP 2005, 2005

eAssignment: a case for EMF.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004
Virtual machine support for dynamic join points.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004


  Loading...