Ansymo
External content site (publications, course materials and artefacts)
Home (main site)
News and events
BENEVOL2017
BENEVOL 2017 - Agenda
Publications
Courses
Masters Thesis
Project Software Engineering (1BAC)
Software Engineering (3BAC)
Software Reengineering (Master)
Software Testing (Master)
Tools
Experiments
Presentations
Other
Home
›
Publications
Publications
List
Filter
Export 6 results:
XML
BibTex
Sort by:
Author
[
Title
]
Type
Year
Filters:
Author
is
Schippers, Hans
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
G
Molderez, T
,
Schippers H
,
Janssens D
. 2009.
A Graph-based Operational Semantics for a Machine Model with Actor-based Concurrency
.
8th BElgian-NEtherlands software eVOLution seminar (BENEVOL 2009).
Abstract
XML
BibTex
Schippers, H
,
Molderez T
,
Janssens D
. 2010.
A Graph-based Operational Semantics for Context-oriented Programming
.
2nd International Workshop on Context-Oriented Programming (COP), co-located with ECOOP 2010.
XML
BibTex
P
Molderez, T
,
Schippers H
,
Janssens D
,
Haupt M
. 2010.
A Platform for Experimenting with Language Constructs for Modularizing Crosscutting Concerns
.
3rd International Workshop on Academic Software Development Tools and Techniques (WASDeTT), co-located with ASE 2010.
XML
BibTex
S
Ebraert, P
,
Schippers H
,
Molderez T
,
Janssens D
. 2010.
Safely Updating Running Software: Tranquility at the object level
.
7th Workshop on Reflection, AOP and Meta-data for Software Evolution (RAM-SE), co-located with ECOOP 2010.
XML
BibTex
Keller, A
,
Schippers H
,
Demeyer S
. 2009.
Supporting Inconsistency Resolution through Predictive Change Impact Analysis
.
MODELS Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa2009).
Abstract
XML
BibTex
T
Van Gorp, P
,
Schippers H
,
Demeyer S
,
Janssens D
. 2008.
Transformation Techniques can make Students excited about Formal Methods
.
Journal on Information and Software Technology. 50:1295-1304.
Abstract
XML
BibTex