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
1632003
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
951996
Applied cyber-physical systems
SC Suh, UJ Tanik, JN Carbone, A Eroglu
Springer New York, 2014
812014
A database model for object dynamics
MP Papazoglou, BJ Kraemer
The VLDB Journal 6 (2), 73-96, 1997
531997
Compositional semantics of a real-time prototyping language
B Kramer, V Berzins
IEEE Transactions on Software Engineering 19 (5), 453-477, 1993
501993
Automated verification of function block-based industrial control systems
N Völker, BJ Krämer
Science of Computer Programming 42 (1), 101-113, 2002
472002
Achieving high integrity of process control software by graphical design and formal verification
WA Halang, B Krämer
Software Engineering Journal 7 (1), 53-64, 1992
401992
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
391996
Exposure and support of latent social networks among learning object repository users.
P Han, G Kortemeyer, BJ Krämer, C von Prümmer
J. UCS 14 (10), 1717-1738, 2008
352008
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
352002
On a rule based management architecture
T Koch, B Kramer, G Rohde
Second International Workshop on Services in Distributed and Networked …, 1995
341995
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
33*2006
Components and tools for on-line education
BJ Krämer, HW Schmidt
European Journal of Education, 195-222, 2001
332001
Forming a federated virtual university through course broker middleware
BJ Krämer
Proceedings: LearnTec, 2000
332000
SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems
B Krämer
Proceedings of the 9th international conference on Software Engineering, 116-125, 1987
331987
A highly dependable computing architecture for safety-critical control applications
BJ Krämer, N Völker
Real-Time Systems 13 (3), 237-251, 1997
321997
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
312010
Design for customization: a new paradigm for product-service system development
A Elgammal, M Papazoglou, B Krämer, C Constantinescu
Procedia Cirp 64 (1), 345-350, 2017
292017
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
292009
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
282003
The system can't perform the operation now. Try again later.
Articles 1–20