Bernd J. Krämer
Bernd J. Krämer
President, ServTech
Verified email at servtech.info - Homepage
Title
Cited by
Cited by
Year
Leveraging web-services and peer-to-peer networks
MP Papazoglou, BJ Krämer, J Yang
International Conference on Advanced Information Systems Engineering, 485-501, 2003
1722003
Policy definition language for automated management of distributed systems
T Koch, C Krell, B Kramer
Proceedings of IEEE International Workshop on System Management, 55-64, 1996
961996
Applied cyber-physical systems
SC Suh, UJ Tanik, JN Carbone, A Eroglu
Springer New York, 2014
922014
A database model for object dynamics
MP Papazoglou, BJ Kraemer
The VLDB Journal 6 (2), 73-96, 1997
531997
Automated verification of function block-based industrial control systems
N Völker, BJ Krämer
Science of Computer Programming 42 (1), 101-113, 2002
492002
Compositional semantics of a real-time prototyping language
B Kramer, V Berzins
IEEE Transactions on Software Engineering 19 (5), 453-477, 1993
491993
Languages for the Specification of Software
D Cooke, A Gates, E Demirörs, O Demirörs, MM Tanik, B Krämer
Journal of Systems and Software 32 (3), 269-308, 1996
431996
Achieving high integrity of process control software by graphical design and formal verification
WA Halang, B Kramer
Software Engineering Journal 7 (1), 53-64, 1992
421992
Predictable component architectures using dependent finite state machines
HW Schmidt, BJ Krämer, I Poernomo, R Reussner
International Workshop on Radical Innovations of Software and Systems …, 2002
382002
Forming a federated virtual university through course broker middleware
BJ Krämer
Proceedings: LearnTec, 2000
372000
Design for customization: a new paradigm for product-service system development
A Elgammal, M Papazoglou, B Krämer, C Constantinescu
Procedia Cirp 64, 345-350, 2017
362017
Exposure and support of latent social networks among learning object repository users.
P Han, G Kortemeyer, BJ Krämer, C von Prümmer
J. Univers. Comput. Sci. 14 (10), 1717-1738, 2008
352008
On a rule based management architecture
T Koch, B Kramer, G Rohde
Second International Workshop on Services in Distributed and Networked …, 1995
351995
Service-oriented computing roadmap
MP Papazoglou, P Traverso, S Dustdar, F Leymann, BJ Krämer
Dagstuhl Seminar Proc. 05462, Service-Orienrted Computing (SOC), 1-29, 2006
34*2006
Components and tools for on-line education
BJ Krämer, HW Schmidt
European Journal of Education, 195-222, 2001
342001
From content to practice: Sharing educational practice in edu‐sharing
M Klebl, BJ Krämer, A Zobel
British Journal of Educational Technology 41 (6), 936-951, 2010
322010
Generating interactive learning objects from configurable samples
P Han, BJ Krämer
2009 International Conference on Mobile, Hybrid, and On-line Learning, 1-6, 2009
302009
A highly dependable computing architecture for safety-critical control applications
BJ Krämer, N Völker
Real-Time Systems 13 (3), 237-251, 1997
301997
Cooperative learning in self-organizing e-learner communities based on a multi-agents mechanism
F Yang, P Han, R Shen, BJ Kraemer, X Fan
Australasian Joint Conference on Artificial Intelligence, 490-500, 2003
292003
New ways of learning: Comparing the effectiveness of interactive online media in distance education with the E uropean textbook tradition
BJ Krämer, J Neugebauer, J Magenheim, H Huppertz
British Journal of Educational Technology 46 (5), 965-971, 2015
282015
The system can't perform the operation now. Try again later.
Articles 1–20