Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bernd J. Krämer
2000 – 2009
- 2009
[j30]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)- [r1]Schahram Dustdar, Christian Platzer, Bernd J. Krämer: Discovery. Encyclopedia of Database Systems 2009: 853-857
- 2008
- [j29]Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan: Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 17(3): 257-258 (2008)
- [j28]Bernd J. Krämer: Component meets service: what does the mongrel look like? ISSE 4(4): 385-394 (2008)
- [j27]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)
- [j26]Schahram Dustdar, Bernd J. Krämer: Introduction to special issue on service oriented computing (SOC). TWEB 2(2) (2008)
- 2007
- [c41]Bernd J. Krämer: Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) 2007: 489-490
- [p4]Fan Yang, Bernd J. Krämer, Peng Han: Common-interest Based Self-organising E-Learner Communities. Contributions to Ubiquitous Computing 2007: 71-94
- [p3]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
- [p2]Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang: Representation and Discovery of Intelligent E-Services. E-Service Intelligence 2007: 233-252
- [e3]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
- [e2]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
- 2006
- [c40]Bernd J. Krämer, Georg Ströhlein: Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops 2006: 190-195
- [c39]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
- [e1]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
- 2005
- [j25]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)
- [c38]Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer: 05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing 2005
- 2004
- [c37]Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Probabilistic Inference for Network Management. ECUMN 2004: 498-507
- [c36]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
- 2003
- [c35]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
- [c34]Mike P. Papazoglou, Bernd J. Krämer, Jian Yang: Leveraging Web-Services and Peer-to-Peer Networks. CAiSE 2003: 485-501
- [c33]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
- [c32]Bernd J. Krämer, Maarten van Steen, Steve Vinoski: DOA 2003 PC Co-chairs' Message. CoopIS/DOA/ODBASE 2003: 1050
- [c31]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
- 2002
- [j24]Norbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42(1): 101-113 (2002)
- [c30]Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324
- 2000
- [j23]Hans-Arno Jacobsen, Bernd J. Krämer: Design Patterns for Synchronization Adapters of Corba Objects. L'OBJET 6(1) (2000)
- [c29]Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz: Multibook's test environment. ICSE 2000: 680-683
- [c28]Hans-Arno Jacobsen, Bernd J. Krämer: Modeling Interface Definition Language Extensions. TOOLS (37) 2000: 242-252
- [p1]Mike P. Papazoglou, Bernd J. Krämer: Modeling Object Dynamics. Advances in Object-Oriented Data Modeling 2000: 195-217
1990 – 1999
- 1999
- [j22]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)
- [c27]Bernd J. Krämer, Lutz Michael Wegner: Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS 1999: 131-136
- [c26]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
- 1998
- [j21]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)
- [j20]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)
- [c25]Hans-Arno Jacobsen, Bernd J. Krämer: A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE 1998: 63-
- [c24]Wolfgang A. Halang, Bernd J. Krämer: Neue Medien im Fernstudium. Informatik und Ausbildung 1998: 286-288
- 1997
- [j19]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)
- [j18]
- [j17]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)
- [j16]Mike P. Papazoglou, Bernd J. Krämer: A Database Model for Object Dynamics. VLDB J. 6(2): 73-96 (1997)
- [j15]Mike P. Papazoglou, Bernd J. Krämer: Erratum: A Database Model for Object Dynamics. VLDB J. 6(3): 257-260 (1997)
- [c23]Bernd J. Krämer: A Case Study in Developing Complex Safety Critical Systems. HICSS (5) 1997: 135-143
- [c22]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
- 1996
- [j14]Thomas Koch, Bernd J. Krämer: Rules and agents for automated management of distributed systems. Distributed Systems Engineering 3(2): 104-114 (1996)
- [j13]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)
- [j12]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)
- [c21]Bernd J. Krämer: Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST 1996: 43-51
- [c20]Bernd J. Krämer, Thomas Koch: Knowledge-Based Support for Distributed Systems Management. SEKE 1996: 480-487
- 1995
- [j11]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)
- [c19]Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer: Enforcing management policies in distributed systems. FTDCS 1995: 474-480
- [c18]Thomas Koch, Bernd J. Krämer, Gerald Rohde: Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen 1995: 316-329
- [c17]Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS 1995: 118-127
- [c16]Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229-
- 1994
- [j10]Wolfgang A. Halang, Bernd J. Krämer: Safety Assurance in Process Control. IEEE Software 11(1): 61-67 (1994)
- [c15]Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya: On the Representation of Objects with Polymorphic Shape and Behaviour. ER 1994: 223-240
- [c14]
- [c13]
- 1993
- [j9]Bernd J. Krämer, Luqi, Valdis Berzins: Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993)
- [c12]
- [c11]Wolfgang A. Halang, Bernd J. Krämer: Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS 1993: 163-174
- 1992
- [j8]Bernd J. Krämer: Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform., Forsch. Entwickl. 7(2): 62-72 (1992)
- [j7]Bernd J. Krämer, Mike P. Papazoglou: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 2(1): 1-3 (1992)
- [c10]Claus Hoffmann, Bernd J. Krämer, Burhan Dinler: Multiparadigm Description of System Development Processes. EWSPT 1992: 123-137
- 1991
- [j6]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)
- [j5]Bernd J. Krämer: Introducing the GRASPIN specification language SEGRAS, . Journal of Systems and Software 15(1): 17-31 (1991)
- [j4]Bernd J. Krämer: A sort of parametric polymorphism for algebraic specifications. Journal of Systems and Software 15(1): 33-42 (1991)
- [j3]Bernd J. Krämer, Luqi: Toward formal models of software engineering processes. Journal of Systems and Software 15(1): 63-74 (1991)
- [c9]Bernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn: Coordinating software process activities. ISPW 1991: 88-90
1980 – 1989
- 1989
- [j2]
- [j1]Bernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989)
- 1988
- [c8]Bernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21
- 1987
- [c7]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
- 1984
- [c6]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
- [c5]Bernd J. Krämer: Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme 1984: 134-160
- 1982
- [c4]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
- 1981
- [c3]Bernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471
- 1980
- [c2]Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311
1970 – 1979
- 1979
- [c1]Bernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team