Bernd J. Krämer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software EngineeringBernd J. Krämer, Tiziana Margaria. ijsc, 3(1):5-30, 2009. [doi]

2008

Guest Editors IntroductionSchahram Dustdar, Bernd J. Krämer, Priya Narasimhan. ijcis, 17(3):257-258, 2008. [doi]

Introduction to special issue on service oriented computing (SOC)Schahram Dustdar, Bernd J. Krämer. tweb, 2(2), 2008. [doi]

Exposure and Support of Latent Social Networks among Learning Object Repository UsersPeng Han, Gerd Kortemeyer, Bernd J. Krämer, Christine von Prümmer. jucs, 14(10):1717-1738, 2008.

2007

Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, ProceedingsBernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan, editors, Volume 4749 of Lecture Notes in Computer Science, Springer, 2007.

Contributions to Ubiquitous ComputingBernd J. Krämer, Wolfgang A. Halang, editors, Volume 42 of Studies in Computational Intelligence, Springer, 2007.

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

A Service Component Architecture to Federate E-Universities: A Case Study in Virtual MobilityBernd J. Krämer. In Bernd J. Krämer, Wolfgang A. Halang, editors, Contributions to Ubiquitous Computing. Volume 42 of Studies in Computational Intelligence, pages 95-119, Springer, 2007. [doi]

Representation and Discovery of Intelligent E-ServicesXia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang. In Jie Lu, Guangquan Zhang, Da Ruan, editors, E-Service Intelligence: Methodologies, Technologies and Applications. Volume 37 of Studies in Computational Intelligence, pages 233-252, Springer, 2007. [doi]

Common-interest Based Self-organising E-Learner CommunitiesFan Yang, Bernd J. Krämer, Peng Han. In Bernd J. Krämer, Wolfgang A. Halang, editors, Contributions to Ubiquitous Computing. Volume 42 of Studies in Computational Intelligence, pages 71-94, Springer, 2007. [doi]

2006

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

Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web SearchPeng Han, Zhimei Wang, Zhiyun Li, Bernd J. Krämer, Fan Yang. webist 2006: 757-760 [doi]

Exploring the Use of Cellular Phones for Pervasive eLearningBernd J. Krämer, Georg Strohlein. percom 2006: 190-195 [doi]

2005

Backward Inference in Bayesian Networks for Distributed Systems ManagementJianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen. jnsm, 13(4):409-427, 2005. [doi]

05462 Service-Oriented Computing: A Research RoadmapMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer. dagstuhl 2006: [doi]

2004

Probabilistic Inference for Network ManagementJianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen. ecumn 2004: 498-507 [doi]

Probabilistic Inference Strategy in Distributed Intrusion Detection SystemsJianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang. ispa 2004: 835-844 [doi]

2003

2002

Predictable Component Architectures Using Dependent Finite State MachinesHeinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner. rissef 2004: 310-324 [doi]

Automated verification of function block-based industrial control systemsNorbert Völker, Bernd J. Krämer. SCP, 42(1):101-113, 2002.

2000

1999

Beyond the Whiteboard: Synchronous Collaboration in Shared Object SpacesBernd J. Krämer, Lutz Michael Wegner. ftdcs 1999: 131-136 [doi]

3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRMLHans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker. simvis 1999: 19-32

Automated Verification of Function Block Based Industrial Control SystemsNorbert Völker, Bernd J. Krämer. ENTCS, 25, 1999. [doi]

1998

1997

Agent Based Management of Distributed Systems with Variabel Polling Frequency PoliciesPetre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer. im 1997: 553-564

Keeping Pace with an Information SocietyHesham 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. Computer, 30(11):46-57, 1997.

EditorialBernd J. Krämer. rts, 13(3):217-218, 1997.

A Case Study in Developing Complex Safety Critical SystemsBernd J. Krämer. hicss 1997: 135-143 [doi]

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

Erratum: A Database Model for Object DynamicsMike P. Papazoglou, Bernd J. Krämer. vldb, 6(3):257-260, 1997. [doi]

A Database Model for Object DynamicsMike P. Papazoglou, Bernd J. Krämer. vldb, 6(2):73-96, 1997. [doi]

1996

1995

1994

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

Applying Process Technology to Hardware DesignBernd J. Krämer, Burhan Dinler. ewspt 1994: 240-248

Rule-enhanced Petri nets for software process modelingBernd J. Krämer. seke 1994: 493-500

On the Representation of Objects with Polymorphic Shape and BehaviourMike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya. er 1994: 223-240 [doi]

1993

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

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

Compositional Semantics of a Real-Time Prototyping LanguageBernd J. Krämer, Luqi, Valdis Berzins. TSE, 19(5):543-477, 1993. [doi]

1992

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

Guest Editors IntroductionBernd J. Krämer, Mike P. Papazoglou. ijseke, 2(1):1-3, 1992. [doi]

Formale Spezifikationstechniken - Stand von Methoden und AnwendungsumgebungenBernd J. Krämer. ife, 7(2):62-72, 1992.

1991

1989

Specifying concurrent objectsBernd J. Krämer. SIGPLAN, 24(4):162-164, 1989. [doi]

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

1988

Object-Oriented Development of Integrated Programming Environments with ASDLBernd J. Krämer, Heinz W. Schmidt. sigsmall 1988: 11-21 [doi]

1987

SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed SystemsBernd J. Krämer. ICSE 1987: 116-125

1984

Formal and Semi-Graphic Specification of Non-Sequential SystemsBernd J. Krämer. gacm 1985: 134-160

Stepwise construction of non-sequential software systems using a net-based specification languageBernd J. Krämer. apn 1985: 307-330

1982

A High Level Net Language for Stepwise Modeling of Organizational SystemsBernd J. Krämer, Heinz W. Schmidt. moreal 1982: 156-170

1981

Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-NetzenBernd J. Krämer, Heinz W. Schmidt. gi 1981: 460-471

1980

Interaktive Softwareentwicklung durch schrittweise FormalisierungBernd J. Krämer, Heinz W. Schmidt. se 1981: 310-311

1979

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