| 2008 |
|---|
| 76 | EE | Schahram Dustdar,
Bernd J. Krämer,
Priya Narasimhan:
Guest Editors' Introduction.
Int. J. Cooperative Inf. Syst. 17(3): 257-258 (2008) |
| 75 | | 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) |
| 74 | EE | Schahram Dustdar,
Bernd J. Krämer:
Introduction to special issue on service oriented computing (SOC).
TWEB 2(2): (2008) |
| 2007 |
|---|
| 73 | | Bernd J. Krämer,
Wolfgang A. Halang:
Contributions to Ubiquitous Computing
Springer 2007 |
| 72 | | Bernd J. Krämer,
Kwei-Jay Lin,
Priya Narasimhan:
Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings
Springer 2007 |
| 71 | | Bernd J. Krämer:
Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr?
GI Jahrestagung (1) 2007: 489-490 |
| 70 | EE | Fan Yang,
Bernd J. Krämer,
Peng Han:
Common-interest Based Self-organising E-Learner Communities.
Contributions to Ubiquitous Computing 2007: 71-94 |
| 69 | EE | 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 |
| 68 | EE | Xia Wang,
Bernd J. Krämer,
Yi Zhao,
Wolfgang A. Halang:
Representation and Discovery of Intelligent E-Services.
E-Service Intelligence 2007: 233-252 |
| 2006 |
|---|
| 67 | | Francisco Curbera,
Bernd J. Krämer,
Mike P. Papazoglou:
Service Oriented Computing (SOC), 15.-18. November 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 66 | EE | Bernd J. Krämer,
Georg Strohlein:
Exploring the Use of Cellular Phones for Pervasive eLearning.
PerCom Workshops 2006: 190-195 |
| 65 | EE | 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 |
| 2005 |
|---|
| 64 | EE | Mike P. Papazoglou,
Paolo Traverso,
Schahram Dustdar,
Frank Leymann,
Bernd J. Krämer:
05462 Service-Oriented Computing: A Research Roadmap.
Service Oriented Computing 2005 |
| 63 | EE | 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) |
| 2004 |
|---|
| 62 | EE | Jianguo Ding,
Bernd J. Krämer,
Yingcai Bai,
Hansheng Chen:
Probabilistic Inference for Network Management.
ECUMN 2004: 498-507 |
| 61 | EE | 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 |
|---|
| 60 | EE | 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 |
| 59 | EE | Mike P. Papazoglou,
Bernd J. Krämer,
Jian Yang:
Leveraging Web-Services and Peer-to-Peer Networks.
CAiSE 2003: 485-501 |
| 58 | EE | Bernd J. Krämer,
Maarten van Steen,
Steve Vinoski:
DOA 2003 PC Co-chairs' Message.
CoopIS/DOA/ODBASE 2003: 1050 |
| 57 | EE | 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 |
| 56 | EE | Heinz W. Schmidt,
Ian D. Peake,
Jue Xie,
Ian Thomas,
Bernd J. Krämer,
Alexander Fay,
Peter Bort:
Modelling Predictable Component-Based Distributed Control Architectures.
WORDS Fall 2003: 339-346 |
| 2002 |
|---|
| 55 | EE | Heinz W. Schmidt,
Bernd J. Krämer,
Iman Poernomo,
Ralf Reussner:
Predictable Component Architectures Using Dependent Finite State Machines.
RISSEF 2002: 310-324 |
| 54 | | Norbert Völker,
Bernd J. Krämer:
Automated verification of function block-based industrial control systems.
Sci. Comput. Program. 42(1): 101-113 (2002) |
| 2000 |
|---|
| 53 | EE | Nathalie Poerwantoro,
Abdulmotaleb El-Saddik,
Bernd J. Krämer,
Ralf Steinmetz:
Multibook's test environment.
ICSE 2000: 680-683 |
| 52 | EE | Hans-Arno Jacobsen,
Bernd J. Krämer:
Modeling Interface Definition Language Extensions.
TOOLS (37) 2000: 242-252 |
| 51 | | Mike P. Papazoglou,
Bernd J. Krämer:
Modeling Object Dynamics.
Advances in Object-Oriented Data Modeling 2000: 195-217 |
| 50 | | Hans-Arno Jacobsen,
Bernd J. Krämer:
Design Patterns for Synchronization Adapters of Corba Objects.
L'OBJET 6(1): (2000) |
| 1999 |
|---|
| 49 | EE | Bernd J. Krämer,
Lutz Michael Wegner:
Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces.
FTDCS 1999: 131-136 |
| 48 | | 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 |
| 47 | EE | Norbert Völker,
Bernd J. Krämer:
Automated Verification of Function Block Based Industrial Control Systems.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1998 |
|---|
| 46 | EE | Hans-Arno Jacobsen,
Bernd J. Krämer:
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL.
ASE 1998: 63- |
| 45 | | Wolfgang A. Halang,
Bernd J. Krämer:
Neue Medien im Fernstudium.
Informatik und Ausbildung 1998: 286-288 |
| 44 | EE | 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) |
| 43 | | 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) |
| 1997 |
|---|
| 42 | EE | Bernd J. Krämer:
A Case Study in Developing Complex Safety Critical Systems.
HICSS (5) 1997: 135-143 |
| 41 | | 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 |
| 40 | | 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) |
| 39 | | Bernd J. Krämer:
Editorial.
Real-Time Systems 13(3): 217-218 (1997) |
| 38 | | 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) |
| 37 | EE | Mike P. Papazoglou,
Bernd J. Krämer:
A Database Model for Object Dynamics.
VLDB J. 6(2): 73-96 (1997) |
| 36 | EE | Mike P. Papazoglou,
Bernd J. Krämer:
Erratum: A Database Model for Object Dynamics.
VLDB J. 6(3): 257-260 (1997) |
| 1996 |
|---|
| 35 | | Bernd J. Krämer:
Using Heterogeneous Formal Methods in Distributed Software Engineering Education.
AMAST 1996: 43-51 |
| 34 | | Bernd J. Krämer,
Thomas Koch:
Knowledge-Based Support for Distributed Systems Management.
SEKE 1996: 480-487 |
| 33 | EE | Thomas Koch,
Bernd J. Krämer:
Rules and agents for automated management of distributed systems.
Distributed Systems Engineering 3(2): 104-114 (1996) |
| 32 | | 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) |
| 31 | EE | 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) |
| 1995 |
|---|
| 30 | EE | Wolfgang A. Halang,
S. K. Jung,
Bernd J. Krämer:
Enforcing management policies in distributed systems.
FTDCS 1995: 474-480 |
| 29 | | Wolfgang A. Halang,
Bernd J. Krämer,
Jürgen Schormann:
Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung.
INFOS 1995: 118-127 |
| 28 | | Thomas Koch,
Bernd J. Krämer,
Gerald Rohde:
Adaptiver Scheduler für verteilte Systeme.
Kommunikation in Verteilten Systemen 1995: 316-329 |
| 27 | | Wolfgang A. Halang,
Bernd J. Krämer,
Norbert Völker:
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
VIS 1995: 229- |
| 26 | | 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) |
| 1994 |
|---|
| 25 | EE | Mike P. Papazoglou,
Bernd J. Krämer,
Athman Bouguettaya:
On the Representation of Objects with Polymorphic Shape and Behaviour.
ER 1994: 223-240 |
| 24 | | Bernd J. Krämer,
Burhan Dinler:
Applying Process Technology to Hardware Design.
EWSPT 1994: 240-248 |
| 23 | | Bernd J. Krämer:
Rule-enhanced Petri nets for software process modeling.
SEKE 1994: 493-500 |
| 22 | EE | Wolfgang A. Halang,
Bernd J. Krämer:
Safety Assurance in Process Control.
IEEE Software 11(1): 61-67 (1994) |
| 1993 |
|---|
| 21 | | Wolfgang A. Halang,
Bernd J. Krämer:
PEARL als Spezifikationssprache.
PEARL 1993: 43-51 |
| 20 | | Wolfgang A. Halang,
Bernd J. Krämer:
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.
VIS 1993: 163-174 |
| 19 | EE | Bernd J. Krämer,
Luqi,
Valdis Berzins:
Compositional Semantics of a Real-Time Prototyping Language.
IEEE Trans. Software Eng. 19(5): 543-477 (1993) |
| 1992 |
|---|
| 18 | | Claus Hoffmann,
Bernd J. Krämer,
Burhan Dinler:
Multiparadigm Description of System Development Processes.
EWSPT 1992: 123-137 |
| 17 | | Bernd J. Krämer:
Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen.
Inform., Forsch. Entwickl. 7(2): 62-72 (1992) |
| 16 | EE | Bernd J. Krämer,
Mike P. Papazoglou:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 2(1): 1-3 (1992) |
| 1991 |
|---|
| 15 | | Bernd J. Krämer,
Claus Hoffmann,
L. Marinos,
A. Sesterhenn:
Coordinating software process activities.
ISPW 1991: 88-90 |
| 14 | EE | Bernd J. Krämer:
Introducing the GRASPIN specification language SEGRAS, .
Journal of Systems and Software 15(1): 17-31 (1991) |
| 13 | EE | Bernd J. Krämer:
A sort of parametric polymorphism for algebraic specifications.
Journal of Systems and Software 15(1): 33-42 (1991) |
| 12 | EE | 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) |
| 11 | EE | Bernd J. Krämer,
Luqi:
Toward formal models of software engineering processes.
Journal of Systems and Software 15(1): 63-74 (1991) |
| 1989 |
|---|
| 10 | | Bernd J. Krämer,
Heinz W. Schmidt:
Developing Integrated Environments with ASDL.
IEEE Software 6(1): 98-107 (1989) |
| 9 | EE | Bernd J. Krämer:
Specifying concurrent objects.
SIGPLAN Notices 24(4): 162-164 (1989) |
| 1988 |
|---|
| 8 | EE | Bernd J. Krämer,
Heinz W. Schmidt:
Object-Oriented Development of Integrated Programming Environments with ASDL.
SIGSMALL/PC 1988: 11-21 |
| 1987 |
|---|
| 7 | | 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 |
|---|
| 6 | | Bernd J. Krämer:
Formal and Semi-Graphic Specification of Non-Sequential Systems.
Entwurf großer Software-Systeme 1984: 134-160 |
| 5 | | 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 |
| 1982 |
|---|
| 4 | | 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 |
|---|
| 3 | | Bernd J. Krämer,
Heinz W. Schmidt:
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen.
GI Jahrestagung 1981: 460-471 |
| 1980 |
|---|
| 2 | | Bernd J. Krämer,
Heinz W. Schmidt:
Interaktive Softwareentwicklung durch schrittweise Formalisierung.
Software Engineering 1980: 310-311 |
| 1979 |
|---|
| 1 | | Bernd J. Krämer,
Heinz W. Schmidt:
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars.
GI Jahrestagung 1979: 194-205 |
