| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Schahram Dustdar, Christian Platzer, Bernd J. Krämer |
Discovery.   |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan |
Guest Editors' Introduction. |
Int. J. Cooperative Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | Schahram Dustdar, Bernd J. Krämer |
Introduction to special issue on service oriented computing (SOC). |
TWEB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Component meets service: what does the mongrel look like? |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Software engineering, Service-oriented architecture, Service-oriented computing, Service component architecture |
| 1 | Bernd J. Krämer |
Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? |
GI Jahrestagung |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
ICSOC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Wolfgang A. Halang (eds.) |
Contributions to Ubiquitous Computing |
|
2007 |
DBLP BibTeX RDF |
|
| 1 | Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang |
Representation and Discovery of Intelligent E-Services. |
E-Service Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer |
A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. |
Contributions to Ubiquitous Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Yang, Bernd J. Krämer, Peng Han |
Common-interest Based Self-organising E-Learner Communities. |
Contributions to Ubiquitous Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou (eds.) |
Service Oriented Computing (SOC), 15.-18. November 2005 |
Service Oriented Computing |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Georg Strohlein |
Exploring the Use of Cellular Phones for Pervasive eLearning. |
PerCom Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer |
05462 Service-Oriented Computing: A Research Roadmap. |
Service Oriented Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen |
Backward Inference in Bayesian Networks for Distributed Systems Management. |
J. Network Syst. Manage. |
2005 |
DBLP DOI BibTeX RDF |
backward inference, Bayesian networks, uncertainty, Distributed systems management |
| 1 | Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen |
Probabilistic Inference for Network Management. |
ECUMN |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang |
Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Intelligent agents |
| 1 | Mike P. Papazoglou, Bernd J. Krämer, Jian Yang |
Leveraging Web-Services and Peer-to-Peer Networks. |
CAiSE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Maarten van Steen, Steve Vinoski |
DOA 2003 PC Co-chairs' Message. |
CoopIS/DOA/ODBASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Yang, Mike P. Papazoglou, Bernd J. Krämer |
A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. |
CoopIS/DOA/ODBASE |
2003 |
DBLP DOI BibTeX RDF |
Peer to peer databases, publish/subscribe models, query processing, query transformation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner |
Predictable Component Architectures Using Dependent Finite State Machines. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines |
| 1 | Norbert Völker, Bernd J. Krämer |
Automated verification of function block-based industrial control systems. |
Sci. Comput. Program. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mike P. Papazoglou, Bernd J. Krämer |
Modeling Object Dynamics. |
Advances in Object-Oriented Data Modeling |
2000 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz |
Multibook's test environment. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
online courseware, user profile, self assessment, dynamic composition |
| 1 | Hans-Arno Jacobsen, Bernd J. Krämer |
Modeling Interface Definition Language Extensions. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints |
| 1 | Hans-Arno Jacobsen, Bernd J. Krämer |
Design Patterns for Synchronization Adapters of Corba Objects. |
L'OBJET |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Lutz Michael Wegner |
Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. (PDF / PS) |
FTDCS |
1999 |
DBLP DOI BibTeX RDF |
shared object space, CSCW, synchronous collaboration, finger, collaboration awareness |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Norbert Völker, Bernd J. Krämer |
Automated Verification of Function Block Based Industrial Control Systems. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hans-Arno Jacobsen, Bernd J. Krämer |
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer |
Neue Medien im Fernstudium. |
Informatik und Ausbildung |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Thomas Koch |
Distributed Systems Management Software-in-the-Loop. |
International Journal of Software Engineering and Knowledge Engineering |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter |
Deriving CORBA Applications from Formal Specifications. |
Journal of Systems Integration |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer |
A Case Study in Developing Complex Safety Critical Systems. (PDF / PS) |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Editorial. |
Real-Time Systems |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Norbert Völker |
A Highly Dependable Computing Architecture for Safety-Critical Control Applications. |
Real-Time Systems |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mike P. Papazoglou, Bernd J. Krämer |
Erratum: A Database Model for Object Dynamics. |
VLDB J. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mike P. Papazoglou, Bernd J. Krämer |
A Database Model for Object Dynamics. |
VLDB J. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Using Heterogeneous Formal Methods in Distributed Software Engineering Education. |
AMAST |
1996 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Thomas Koch |
Knowledge-Based Support for Distributed Systems Management. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thomas Koch, Bernd J. Krämer |
Rules and agents for automated management of distributed systems. |
Distributed Systems Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann |
Integrated Multimedia-Based Distance Teaching of Information Technology. |
J. UCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer |
Enforcing management policies in distributed systems. (PDF / PS) |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
management policies, formally definable management policies, platform independent management architecture, clerical management tasks, object-oriented class structure, rule execution, automated management tool invocation, automated policy management, object-oriented programming, resource allocation, open systems, processor scheduling, operating systems (computers), network operating systems, computer network management, production rules, open distributed systems, distributed systems management, middleware platforms |
| 1 | Thomas Koch, Bernd J. Krämer, Gerald Rohde |
Adaptiver Scheduler für verteilte Systeme. |
Kommunikation in Verteilten Systemen |
1995 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann |
Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. |
INFOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker |
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. |
VIS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus |
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. |
Comput. J. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya |
On the Representation of Objects with Polymorphic Shape and Behaviour. |
ER |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Burhan Dinler |
Applying Process Technology to Hardware Design. |
EWSPT |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Rule-enhanced Petri nets for software process modeling. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer |
Safety Assurance in Process Control. (PDF / PS) |
IEEE Software |
1994 |
DBLP DOI BibTeX RDF |
safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control |
| 1 | Wolfgang A. Halang, Bernd J. Krämer |
PEARL als Spezifikationssprache. |
PEARL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang A. Halang, Bernd J. Krämer |
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. |
VIS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Luqi, Valdis Berzins |
Compositional Semantics of a Real-Time Prototyping Language. (PDF / PS) |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, algebraic specifications, formal semantics, software prototyping, hard real-time systems, compositional semantics, timing behavior |
| 1 | Claus Hoffmann, Bernd J. Krämer, Burhan Dinler |
Multiparadigm Description of System Development Processes. |
EWSPT |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. |
Inform., Forsch. Entwickl. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Mike P. Papazoglou |
Guest Editors' Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn |
Coordinating software process activities. |
ISPW |
1991 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Introducing the GRASPIN specification language SEGRAS, . |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer |
A sort of parametric polymorphism for algebraic specifications. |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer, Luqi |
Toward formal models of software engineering processes. |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Specifying concurrent objects. |
SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer, Heinz W. Schmidt |
Developing Integrated Environments with ASDL. |
IEEE Software |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Heinz W. Schmidt |
Object-Oriented Development of Integrated Programming Environments with ASDL. |
SIGSMALL/PC |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer |
Formal and Semi-Graphic Specification of Non-Sequential Systems. |
Entwurf großer Software-Systeme |
1984 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Heinz W. Schmidt |
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. |
GI Jahrestagung |
1981 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Heinz W. Schmidt |
Interaktive Softwareentwicklung durch schrittweise Formalisierung. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 1 | Bernd J. Krämer, Heinz W. Schmidt |
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. |
GI Jahrestagung |
1979 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")