2010 - ERCIS

can be used to check the outcome of
test runs.
Publications
Ciechanowicz, P. & Kuchen, H. (2010).
Enhancing Muesli’s Data Parallel Skeletons
for Multi-Core Computer Architectures.
Proc. of the 12th IEEE Int.
Conf. on High Performance Computing
and Communication (HPCC).
Ciechanowicz P., Kegel P., Schellmann
M., Gorlatch S., & Kuchen H.
(2010). Parallelizing the LM OSEM
Image Reconstruction on Multi-Core
Clusters. Parallel Computing: From
Multicores and GPU’s to Petascale.
Proceedings of the International Conference
on Parallel Computing (ParCo).
Gruttmann, S., Usener, C. A., Majchrzak,
T. A. & Kuchen, H. (2010).
Formative E-Assessment of Software
Verification Skills in Higher Education.
Proc. of the IADIS Int. Conf. on e-Learning
2010 (eL2010).
Hermanns, C. & Kuchen, H. (2010).
Implementation and Evaluation of a
Declarative Debugger for Java. Functional
and (Constraint) Logic Programming:
19th International Workshop
(WFLP).
Majchrzak, T. A. (2010). Status Quo
of Software Testing – Regional Findings
and Global Inductions. Journal of
Information Science and Technology
(JIST).
Majchrzak, T. A., Bergener, K.,
Jansing, T., Kuchen, H. & Becker, J.
(2010). Towards a Web-Based Collaborative
Dictionary for Verbalized Body
Language. Proc. of the 8th Annual
Conf. on Information Science, Technology
and Management (CISTM).
Majchrzak, T. A. (2010). Best Practices
for Technical Aspects of Software
Testing in Enterprises. In: Proc. of the
Int. Conf. on Information Society (i-
Society 2010).
University of Münster –
Department of Information Systems –
Chair of Practical Computer Science
Majchrzak, T. A., Noack, O., Kuchen,
H., Neuhaus, P., & Ückert, F. (2010).
Towards a Decision Support System
for the Allocation of Traumatized Patients.
Proc. of the 7th Int. Conf. on Information
Systems for Crisis Response
and Management (ISCRAM).
Majchrzak, T. A. (2010). Status Quo
of Software Testing - Regional Findings
and Global Inductions. In: Proc. of the
9th ISOneWorld Conference.
Majchrzak, T. A. (2010). Best Practices
for the Organizational Implementation
of Software Testing. Proce. of
the 43th Annual Hawaii Int. Conf. on
System Sciences (HICSS-43).
Neuhaus, P., Noack, O., Majchrzak, T.
A., & Ückert, F. (2010). Using a Business
Rule Management System to
Improve Disposition of Traumatized
Patients. MEDINFO 2010 – Proc. of the
13th World Congress on Medical and
Health Informatics.
Usener, C. A., Gruttmann, S., Majchrzak,
T. A. & Kuchen, H. (2010).
Computer-supported Assessment of
Software Verification Proofs – Towards
High-quality E-assessments in Computer
Science Education. Proc. of the
2010 Int. Conf. on Education and Information
Technology (ICEIT 2010).
Dissertations
Ciechanowicz, Philipp: Data parallel
algorithmic skeletons.
Hermanns, Christian: Design and Implementation
of a hybrid debugger for
Java.
Gruttmann, Susanne: Formative E-
Assessment in Higher Education.
Planned Activities
In September 2011 we are going to
host the 16th Colloquium of Programming
Languages (KPS’11) in Raesfeld
Castle in the Münsterland region.
Contact Details
Prof. Dr. Herbert Kuchen
Chair of Practical Computer Science
Leonardo-Campus 3
48149 Münster
Germany
web: www.wi.uni-muenster.de/pi
mail: sek-pi@wi.uni-muenster.de
phone: +49 251 83-38250
Key Facts
Chair
• Founded in 1997
• Researchers: 7
Research Topics
• E-Learning
• Model Driven Software Engineering
• Parallel Programming
• Software Testing and
• Debugging
Events
Colloquium of Programming
Languages, September 2011
25