Bernd J. Krämer

Bernd J. Krämer, Tiziana Margaria: A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Computing 3(1): 5-30 (2009)

Schahram Dustdar, Christian Platzer, Bernd J. Krämer: Discovery. Encyclopedia of Database Systems 2009: 853-857

Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan: Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 17(3): 257-258 (2008)

Bernd J. Krämer: Component meets service: what does the mongrel look like? ISSE 4(4): 385-394 (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. UCS 14(10): 1717-1738 (2008)

Schahram Dustdar, Bernd J. Krämer: Introduction to special issue on service oriented computing (SOC). TWEB 2(2) (2008)

Bernd J. Krämer, Wolfgang A. Halang (Eds.): Contributions to Ubiquitous Computing. Studies in Computational Intelligence 42, Springer 2007, isbn 978-3-540-44909-6

Bernd J. Krämer: Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) 2007: 489-490

Fan Yang, Bernd J. Krämer, Peng Han: Common-interest Based Self-organising E-Learner Communities. Contributions to Ubiquitous Computing 2007: 71-94

Bernd J. Krämer: A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. Contributions to Ubiquitous Computing 2007: 95-119

Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang: Representation and Discovery of Intelligent E-Services. E-Service Intelligence 2007: 233-252

Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan (Eds.): Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Lecture Notes in Computer Science 4749, Springer 2007, isbn 978-3-540-74973-8

Bernd J. Krämer, Georg Ströhlein: Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops 2006: 190-195

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: 757-760

Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou (Eds.): Service Oriented Computing (SOC), 15.-18. November 2005. Dagstuhl Seminar Proceedings 05462, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Backward Inference in Bayesian Networks for Distributed Systems Management. J. Network Syst. Manage. 13(4): 409-427 (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

Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Probabilistic Inference for Network Management. ECUMN 2004: 498-507

Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang: Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. ISPA 2004: 835-844

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: 490-500

Mike P. Papazoglou, Bernd J. Krämer, Jian Yang: Leveraging Web-Services and Peer-to-Peer Networks. CAiSE 2003: 485-501

Jian Yang, Mike P. Papazoglou, Bernd J. Krämer: A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. CoopIS/DOA/ODBASE 2003: 244-262

Bernd J. Krämer, Maarten van Steen, Steve Vinoski: DOA 2003 PC Co-chairs' Message. CoopIS/DOA/ODBASE 2003: 1050

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: 339-346

Norbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42(1): 101-113 (2002)

Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324

Hans-Arno Jacobsen, Bernd J. Krämer: Design Patterns for Synchronization Adapters of Corba Objects. L'OBJET 6(1) (2000)

Mike P. Papazoglou, Bernd J. Krämer: Modeling Object Dynamics. Advances in Object-Oriented Data Modeling 2000: 195-217

Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz: Multibook's test environment. ICSE 2000: 680-683

Hans-Arno Jacobsen, Bernd J. Krämer: Modeling Interface Definition Language Extensions. TOOLS (37) 2000: 242-252

Norbert Völker, Bernd J. Krämer: Automated Verification of Function Block Based Industrial Control Systems. Electr. Notes Theor. Comput. Sci. 25: 97-110 (1999)

Bernd J. Krämer, Lutz Michael Wegner: Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS 1999: 131-136

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: 19-32

Bernd J. Krämer, Thomas Koch: Distributed Systems Management Software-in-the-Loop. International Journal of Software Engineering and Knowledge Engineering 8(1): 55-76 (1998)

Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter: Deriving CORBA Applications from Formal Specifications. Journal of Systems Integration 8(2): 143-158 (1998)

Hans-Arno Jacobsen, Bernd J. Krämer: A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE 1998: 63-

Wolfgang A. Halang, Bernd J. Krämer: Neue Medien im Fernstudium. Informatik und Ausbildung 1998: 286-288

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. IEEE Computer 30(11): 46-57 (1997)

Bernd J. Krämer: Editorial. Real-Time Systems 13(3): 217-218 (1997)

Bernd J. Krämer, Norbert Völker: A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real-Time Systems 13(3): 237-251 (1997)

Mike P. Papazoglou, Bernd J. Krämer: A Database Model for Object Dynamics. VLDB J. 6(2): 73-96 (1997)

Mike P. Papazoglou, Bernd J. Krämer: Erratum: A Database Model for Object Dynamics. VLDB J. 6(3): 257-260 (1997)

Bernd J. Krämer: A Case Study in Developing Complex Safety Critical Systems. HICSS (5) 1997: 135-143

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: 553-564

Thomas Koch, Bernd J. Krämer: Rules and agents for automated management of distributed systems. Distributed Systems Engineering 3(2): 104-114 (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. Journal of Systems and Software 32(3): 269-308 (1996)

Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Integrated Multimedia-Based Distance Teaching of Information Technology. J. UCS 2(6): 443-455 (1996)

Bernd J. Krämer: Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST 1996: 43-51

Bernd J. Krämer, Thomas Koch: Knowledge-Based Support for Distributed Systems Management. SEKE 1996: 480-487

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): 301-309 (1995)

Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer: Enforcing management policies in distributed systems. FTDCS 1995: 474-480

Thomas Koch, Bernd J. Krämer, Gerald Rohde: Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen 1995: 316-329

Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS 1995: 118-127

Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229-

Wolfgang A. Halang, Bernd J. Krämer: Safety Assurance in Process Control. IEEE Software 11(1): 61-67 (1994)

Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya: On the Representation of Objects with Polymorphic Shape and Behaviour. ER 1994: 223-240

Bernd J. Krämer, Burhan Dinler: Applying Process Technology to Hardware Design. EWSPT 1994: 240-248

Bernd J. Krämer: Rule-enhanced Petri nets for software process modeling. SEKE 1994: 493-500

Bernd J. Krämer, Luqi, Valdis Berzins: Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993)

Wolfgang A. Halang, Bernd J. Krämer: PEARL als Spezifikationssprache. PEARL 1993: 43-51

Wolfgang A. Halang, Bernd J. Krämer: Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS 1993: 163-174

Bernd J. Krämer: Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform., Forsch. Entwickl. 7(2): 62-72 (1992)

Bernd J. Krämer, Mike P. Papazoglou: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 2(1): 1-3 (1992)

Claus Hoffmann, Bernd J. Krämer, Burhan Dinler: Multiparadigm Description of System Development Processes. EWSPT 1992: 123-137

Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann: The project GRASPIN and its CASE environment prototypes: An overview. Journal of Systems and Software 15(1): 5-16 (1991)

Bernd J. Krämer: Introducing the GRASPIN specification language SEGRAS^, . Journal of Systems and Software 15(1): 17-31 (1991)

Bernd J. Krämer: A sort of parametric polymorphism for algebraic specifications. Journal of Systems and Software 15(1): 33-42 (1991)

Bernd J. Krämer, Luqi: Toward formal models of software engineering processes. Journal of Systems and Software 15(1): 63-74 (1991)

Bernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn: Coordinating software process activities. ISPW 1991: 88-90

Bernd J. Krämer: Specifying concurrent objects. SIGPLAN Notices 24(4): 162-164 (1989)

Bernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989)

Bernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21

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: 116-125

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: 307-330

Bernd J. Krämer: Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme 1984: 134-160

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: 156-170

Bernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471

Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311

Bernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205