Bernd J. Krämer

ORCID

Publication Activity (10 Years)

Years Active: 1979-2021
Publications (10 Years): 3

Top Venues

J. Integr. Des. Process. Sci.

Next-Gen Digital Services

Br. J. Educ. Technol.

DeLFI

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Amal Elgammal, Bernd J. Krämer
A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management. Next-Gen Digital Services (2021)
Murat M. Tanik, Stanley G. Gatchel, Imre Horváth, Thomas T. H. Wan, Kyoung-Yun Kim, Jingwei Huang, Eric Coatanea, Bernd J. Krämer, Yong Zeng
Footsteps Towards a Transdisciplinary Design and Process Science. J. Integr. Des. Process. Sci. 25 (3-4) (2021)
Jan Werrmann, Bernd J. Krämer
Knowledge Management through Ontology-Driven Integration of Disparate Knowledge Sources. J. Integr. Des. Process. Sci. 21 (4) (2017)
Bernd J. Krämer, Jonas Neugebauer, Johannes Magenheim, Helga Huppertz
New ways of learning: Comparing the effectiveness of interactive online media in distance education with the European textbook tradition. Br. J. Educ. Technol. 46 (5) (2015)
Klaus Gotthardt, Helga Huppertz, Bernd J. Krämer, Johannes Magenheim, Jonas Neugebauer, Christoph Wöldecke
Über den Nutzen interaktiver Lernmedien im Fernstudium. DeLFI (2014)
Aurélie Aurilla Bechina, Bernd J. Krämer
Editorial: Knowledge, Social Media and Technologies for a Learning Society. J. Integr. Des. Process. Sci. 17 (1) (2013)
Ulrike Baumöl, Reinhard Jung, Bernd J. Krämer
Editorial - Advances in Collective Intelligence and Social Media. Int. J. Cooperative Inf. Syst. 22 (3) (2013)
Bernd J. Krämer
Learning objects and instructional design - Edited by Alex Koohang & Keith Harman. Br. J. Educ. Technol. 41 (6) (2010)
Bernd J. Krämer
Learning objects: Applications, implications, and future directions - Edited by Keith Harman & Alex Koohang. Br. J. Educ. Technol. 41 (6) (2010)
Michael Klebl, Bernd J. Krämer, Annett Zobel
From content to practice: Sharing educational practice in edu-sharing. Br. J. Educ. Technol. 41 (6) (2010)
Bernd J. Krämer
: a series of four books on learning objects Learning objects: Theory, praxis, issues, and trends - Edited by Alex Koohang & Keith Harman. Br. J. Educ. Technol. 41 (6) (2010)
Michael Klebl, Bernd J. Krämer
Editorial: Learning objects in progress. Br. J. Educ. Technol. 41 (6) (2010)
Bernd J. Krämer
Learning objects: Standards, metadata, repositories, and LCMS - Edited by Keith Harman & Alex Koohang. Br. J. Educ. Technol. 41 (6) (2010)
Bernd J. Krämer, Tiziana Margaria
A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Comput. 3 (1) (2009)
Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan
Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 17 (3) (2008)
Schahram Dustdar, Bernd J. Krämer
Introduction to special issue on service oriented computing (SOC). ACM Trans. Web 2 (2) (2008)
Peng Han, Gerd Kortemeyer, Bernd J. Krämer, Christine von Prümmer
Exposure and Support of Latent Social Networks among Learning Object Repository Users. J. Univers. Comput. Sci. 14 (10) (2008)
Bernd J. Krämer
Component meets service: what does the mongrel look like? Innov. Syst. Softw. Eng. 4 (4) (2008)
Bernd J. Krämer
Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) (2007)
Peng Han, Zhimei Wang, Zhiyun Li, Bernd J. Krämer, Fan Yang
Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search. Web Intelligence (2006)
Bernd J. Krämer, Georg Ströhlein
Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops (2006)
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop (2005)
Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
Backward Inference in Bayesian Networks for Distributed Systems Management. J. Netw. Syst. Manag. 13 (4) (2005)
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer
05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing (2005)
Fan Yang, Bernd J. Krämer, Peng Han, Ruimin Shen
Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View. Trans. SDPS 9 (2) (2005)
Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
Probabilistic Inference for Network Management. ECUMN (2004)
Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang
Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. ISPA (2004)
Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
An Inference Algorithm for Probabilistic Fault Management in Distributed Systems. Net-Con (2004)
Mike P. Papazoglou, Bernd J. Krämer, Jian Yang
Leveraging Web-Services and Peer-to-Peer Networks. CAiSE (2003)
Bernd J. Krämer, Maarten van Steen, Steve Vinoski
DOA 2003 PC Co-chairs' Message. OTM (2003)
Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort
Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall (2003)
Fan Yang, Peng Han, Ruimin Shen, Bernd J. Krämer, Xinwei Fan
Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism. Australian Conference on Artificial Intelligence (2003)
Jian Yang, Mike P. Papazoglou, Bernd J. Krämer
A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. OTM (2003)
Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF (2002)
Norbert Völker, Bernd J. Krämer
Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42 (1) (2002)
Bernd J. Krämer
Software Engineering (Editorial). Trans. SDPS 5 (3) (2001)
Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz
Multibook's test environment. ICSE (2000)
Hans-Arno Jacobsen, Bernd J. Krämer
Design Patterns for Synchronization Adapters of Corba Objects. Obj. Logiciel Base données Réseaux 6 (1) (2000)
Hans-Arno Jacobsen, Bernd J. Krämer
Modeling Interface Definition Language Extensions. TOOLS (37) (2000)
Bernd J. Krämer
Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer. GI Jahrestagung (2000)
Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker
3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. SimVis (1999)
Norbert Völker, Bernd J. Krämer
Automated Verification of Function Block Based Industrial Control Systems. Electron. Notes Theor. Comput. Sci. 25 (1999)
Bernd J. Krämer, Lutz M. Wegner
Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS (1999)
Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter
Deriving CORBA Applications from Formal Specifications. J. Syst. Integr. 8 (2) (1998)
Bernd J. Krämer, Thomas Koch
Distributed Systems Management Software-in-the-Loop. Int. J. Softw. Eng. Knowl. Eng. 8 (1) (1998)
Wolfgang A. Halang, Bernd J. Krämer
Neue Medien im Fernstudium. Informatik und Ausbildung (1998)
Hans-Arno Jacobsen, Bernd J. Krämer
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE (1998)
Mike P. Papazoglou, Bernd J. Krämer
Erratum: A Database Model for Object Dynamics. VLDB J. 6 (3) (1997)
Mike P. Papazoglou, Bernd J. Krämer
A Database Model for Object Dynamics. VLDB J. 6 (2) (1997)
Bernd J. Krämer
A Case Study in Developing Complex Safety Critical Systems. HICSS (5) (1997)
Hesham El-Rewini, Michael C. Mulder, Peter Freeman, Gordon E. Stokes, Innes Jelly, Lillian N. Cassel, Doris K. Lidtke, Stefano Russo, Bernd J. Krämer, Jimmie E. Haines, A. Joe Turner
Keeping Pace with an Information Society. Computer 30 (11) (1997)
Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer
Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. Integrated Network Management (1997)
Bernd J. Krämer
Editorial. Real Time Syst. 13 (3) (1997)
Bernd J. Krämer, Norbert Völker
A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real Time Syst. 13 (3) (1997)
Bernd J. Krämer
Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST (1996)
Thomas Koch, Bernd J. Krämer
Rules and agents for automated management of distributed systems. Distributed Syst. Eng. 3 (2) (1996)
Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer
Languages for the specification of software. J. Syst. Softw. 32 (3) (1996)
Bernd J. Krämer, Thomas Koch
Knowledge-Based Support for Distributed Systems Management. SEKE (1996)
Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann
Integrated Multimedia-Based Distance Teaching of Information Technology. J. Univers. Comput. Sci. 2 (6) (1996)
Thomas Koch, Bernd J. Krämer, Gerald Rohde
Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen (1995)
Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J. 38 (4) (1995)
Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer
Enforcing management policies in distributed systems. FTDCS (1995)
Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann
Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS (1995)
Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS (1995)
Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
Formally Verified Firmware Modules for Industrial Process Automation. SAFECOMP (1995)
Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt
Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Prax. Inf.verarb. Kommun. 17 (3) (1994)
Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya
On the Representation of Objects with Polymorphic Shape and Behaviour. ER (1994)
Bernd J. Krämer
Rule-enhanced Petri nets for software process modeling. SEKE (1994)
Bernd J. Krämer, Burhan Dinler
Applying Process Technology to Hardware Design. EWSPT (1994)
Wolfgang A. Halang, Bernd J. Krämer
Safety Assurance in Process Control. IEEE Softw. 11 (1) (1994)
Wolfgang A. Halang, Bernd J. Krämer
PEARL als Spezifikationssprache. PEARL (1993)
Bernd J. Krämer, Luqi, Valdis Berzins
Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19 (5) (1993)
Wolfgang A. Halang, Bernd J. Krämer
The time dimension considered appropriate for resource access synchronization. Inf. Softw. Technol. 35 (11-12) (1993)
Wolfgang A. Halang, Bernd J. Krämer
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS (1993)
Bernd J. Krämer
Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform. Forsch. Entwickl. 7 (2) (1992)
Claus Hoffmann, Bernd J. Krämer, Burhan Dinler
Multiparadigm Description of System Development Processes. EWSPT (1992)
Bernd J. Krämer, Mike P. Papazoglou
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 2 (1) (1992)
Wolfgang A. Halang, Bernd J. Krämer
Achieving high integrity of process control software by graphical design and formal verification. Softw. Eng. J. 7 (1) (1992)
Bernd J. Krämer, Claus Hoffmann, Louis Marinos, A. Sesterhenn
Coordinating software process activities. ISPW (1991)
Bernd J. Krämer
A sort of parametric polymorphism for algebraic specifications. J. Syst. Softw. 15 (1) (1991)
Bernd J. Krämer
Prototyping and formal analysis of concurrent and distributed systems. IWSSD (1991)
Bernd J. Krämer
. J. Syst. Softw. 15 (1) (1991)
Bernd J. Krämer, Luqi
Toward formal models of software engineering processes. J. Syst. Softw. 15 (1) (1991)
Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann
The project GRASPIN and its CASE environment prototypes: An overview. J. Syst. Softw. 15 (1) (1991)
Bernd J. Krämer
Specifying concurrent objects. ACM SIGPLAN Notices 24 (4) (1989)
Bernd J. Krämer, Heinz W. Schmidt
Developing Integrated Environments with ASDL. IEEE Softw. 6 (1) (1989)
Wolfgang A. Halang, Bernd J. Krämer
Methodologies for meeting hard deadlines in industrial distributed real-time systems. COMPSAC (1989)
Bernd J. Krämer, Heinz W. Schmidt
Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC (1988)
Bernd J. Krämer
SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. ICSE (1987)
Bernd J. Krämer
Stepwise construction of non-sequential software systems using a net-based specification language. European Workshop on Applications and Theory in Petri Nets (1984)
Bernd J. Krämer
Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme (1984)
Bernd J. Krämer, Heinz W. Schmidt
A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism (1982)
Bernd J. Krämer, Heinz W. Schmidt
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung (1981)
Bernd J. Krämer, Heinz W. Schmidt
Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering (1980)
Bernd J. Krämer, Heinz W. Schmidt
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung (1979)

Bernd J. Krämer

Publication Activity (10 Years)

Top Topics

Top Venues