Bernd J. Krämer

According to our database1, Bernd J. Krämer authored at least 99 papers between 1979 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Discovery.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

2017
Knowledge Management through Ontology-Driven Integration of Disparate Knowledge Sources.
J. Integrated Design & Process Science, 2017

2015
New ways of learning: Comparing the effectiveness of interactive online media in distance education with the European textbook tradition.
BJET, 2015

2014
Über den Nutzen interaktiver Lernmedien im Fernstudium.
Proceedings of the DeLFI 2014, 2014

2013
Editorial: Knowledge, Social Media and Technologies for a Learning Society.
J. Integrated Design & Process Science, 2013

Editorial - Advances in Collective Intelligence and Social Media.
Int. J. Cooperative Inf. Syst., 2013

2010
Learning objects: Applications, implications, and future directions - Edited by Keith Harman & Alex Koohang.
BJET, 2010

Learning objects and instructional design - Edited by Alex Koohang & Keith Harman.
BJET, 2010

Learning objects: Standards, metadata, repositories, and LCMS - Edited by Keith Harman & Alex Koohang.
BJET, 2010

Informing Science: a series of four books on learning objects Learning objects: Theory, praxis, issues, and trends - Edited by Alex Koohang & Keith Harman.
BJET, 2010

From content to practice: Sharing educational practice in edu-sharing.
BJET, 2010

Editorial: Learning objects in progress.
BJET, 2010

2009
Discovery.
Proceedings of the Encyclopedia of Database Systems, 2009

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering.
Int. J. Semantic Computing, 2009

2008
Introduction to special issue on service oriented computing (SOC).
TWEB, 2008

Exposure and Support of Latent Social Networks among Learning Object Repository Users.
J. UCS, 2008

Component meets service: what does the mongrel look like?
ISSE, 2008

Guest Editors' Introduction.
Int. J. Cooperative Inf. Syst., 2008

2007
Common-interest Based Self-organising E-Learner Communities.
Proceedings of the Contributions to Ubiquitous Computing, 2007

Representation and Discovery of Intelligent E-Services.
Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007

A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility.
Proceedings of the Contributions to Ubiquitous Computing, 2007

Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr?
Proceedings of the INFORMATIK 2007: Informatik trifft Logistik. Band 1. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2007

2006
Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Exploring the Use of Cellular Phones for Pervasive eLearning.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

2005
Backward Inference in Bayesian Networks for Distributed Systems Management.
J. Network Syst. Manage., 2005

Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View.
Transactions of the SDPS, 2005

05462 Service-Oriented Computing: A Research Roadmap.
Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005


2004
Probabilistic Inference Strategy in Distributed Intrusion Detection Systems.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

An Inference Algorithm for Probabilistic Fault Management in Distributed Systems.
Proceedings of the Network Control and Engineering for QoS, Security and Mobility, III, 2004

Probabilistic Inference for Network Management.
Proceedings of the Universal Multiservice Networks: Third European Conference, 2004

2003
Modelling Predictable Component-Based Distributed Control Architectures.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

A Publish/Subscribe Scheme for Peer-to-Peer Database Networks.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

DOA 2003 PC Co-chairs' Message.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Leveraging Web-Services and Peer-to-Peer Networks.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002
Automated verification of function block-based industrial control systems.
Sci. Comput. Program., 2002

Predictable Component Architectures Using Dependent Finite State Machines.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001
Software Engineering (Editorial).
Transactions of the SDPS, 2001

2000
Design Patterns for Synchronization Adapters of Corba Objects.
L'OBJET, 2000

Modeling Interface Definition Language Extensions.
Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Multibook's test environment.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer.
Proceedings of the Informatik 2000, 2000

Modeling Object Dynamics.
Proceedings of the Advances in Object-Oriented Data Modeling, 2000

1999
Automated Verification of Function Block Based Industrial Control Systems.
Electr. Notes Theor. Comput. Sci., 1999

3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML.
Proceedings of the Simulation und Visualisierung 1999 (SimVis 1999), 1999

Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1998
Deriving CORBA Applications from Formal Specifications.
Journal of Systems Integration, 1998

Distributed Systems Management Software-in-the-Loop.
International Journal of Software Engineering and Knowledge Engineering, 1998

Neue Medien im Fernstudium.
Proceedings of the Informatik und Ausbildung, GI-Fachtagung 98, 1998

A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
Erratum: A Database Model for Object Dynamics.
VLDB J., 1997

A Database Model for Object Dynamics.
VLDB J., 1997

A Highly Dependable Computing Architecture for Safety-Critical Control Applications.
Real-Time Systems, 1997

Editorial.
Real-Time Systems, 1997

Keeping Pace with an Information Society.
IEEE Computer, 1997

Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies.
Proceedings of the Integrated Network Management V, 1997

A Case Study in Developing Complex Safety Critical Systems.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
Integrated Multimedia-Based Distance Teaching of Information Technology.
J. UCS, 1996

Languages for the specification of software.
Journal of Systems and Software, 1996

Rules and agents for automated management of distributed systems.
Distributed Systems Engineering, 1996

Knowledge-Based Support for Distributed Systems Management.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Using Heterogeneous Formal Methods in Distributed Software Engineering Education.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.
Comput. J., 1995

Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
Proceedings of the Verläßliche Informationssysteme, Proceedings der GI-Fachtagung VIS '95, 1995

Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung.
Proceedings of the Innovative Konzepte für die Ausbildung, 1995

Formally Verified Firmware Modules for Industrial Process Automation.
Proceedings of the 14th International Conference on Computer Safety, 1995

Adaptiver Scheduler für verteilte Systeme.
Proceedings of the Kommunikation in Verteilten Systemen, Neue Länder - Neue Netze, 1995

Enforcing management policies in distributed systems.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994
Safety Assurance in Process Control.
IEEE Software, 1994

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme.
Praxis der Informationsverarbeitung und Kommunikation, 1994

Rule-enhanced Petri nets for software process modeling.
Proceedings of the SEKE'94, 1994

Applying Process Technology to Hardware Design.
Proceedings of the Software Process Technology, Third European Workshop, 1994

On the Representation of Objects with Polymorphic Shape and Behaviour.
Proceedings of the Entity-Relationship Approach, 1994

1993
Compositional Semantics of a Real-Time Prototyping Language.
IEEE Trans. Software Eng., 1993

The time dimension considered appropriate for resource access synchronization.
Information & Software Technology, 1993

Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.
Proceedings of the Verläßliche Informationssysteme, 1993

PEARL als Spezifikationssprache.
Proceedings of the PEARL 93, 1993

1992
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1992

Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen.
Inform., Forsch. Entwickl., 1992

Achieving high integrity of process control software by graphical design and formal verification.
Software Engineering Journal, 1992

Multiparadigm Description of System Development Processes.
Proceedings of the Software Process Technology, Second European Workshop, 1992

1991
Toward formal models of software engineering processes.
Journal of Systems and Software, 1991

A sort of parametric polymorphism for algebraic specifications.
Journal of Systems and Software, 1991

Introducing the GRASPIN specification language SEGRAS, .
Journal of Systems and Software, 1991

The project GRASPIN and its CASE environment prototypes: An overview.
Journal of Systems and Software, 1991

Coordinating software process activities.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

1989
Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems.
PhD thesis, 1989

Developing Integrated Environments with ASDL.
IEEE Software, 1989

Specifying concurrent objects.
SIGPLAN Notices, 1989

Methodologies for meeting hard deadlines in industrial distributed real-time systems.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
Object-Oriented Development of Integrated Programming Environments with ASDL.
Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988

1987
SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1984
Formal and Semi-Graphic Specification of Non-Sequential Systems.
Proceedings of the Entwurf großer Software-Systeme, 1984

Stepwise construction of non-sequential software systems using a net-based specification language.
Proceedings of the Advances in Petri Nets 1984, 1984

1982
A High Level Net Language for Stepwise Modeling of Organizational Systems.
Proceedings of the Adequate Modeling of Systems, 1982

1981
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen.
Proceedings of the GI, 1981

1980
Interaktive Softwareentwicklung durch schrittweise Formalisierung.
Proceedings of the Software Engineering, 1980

1979
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars.
Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979


  Loading...