Bernd J. Krämer

112 papers A* 3A 5B 2C 4Journal 48Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Model-Driven Engineering Approach to AI-Powered Healthcare Platforms. Informatics Mira Raheem, Neamat El-Tazi, Michael P. Papazoglou, Bernd J. Krämer, Amal Elgammal
2026	—	`conf`	Industry 4.0 and Digital Twins: The Route Towards Customizable Self-describing Products. Concurrent Programming, Open Systems and Formal Methods Michael P. Papazoglou, Bernd J. Krämer, Amal Elgammal
2026	J	`jnl`	Patient Digital Twins for Chronic Care: Technical Hurdles, Lessons Learned, and the Road Ahead. CoRR Micheal P. Papazoglou, Bernd J. Krämer, Mira Raheem, Amal Elgammal
2025	J	`jnl`	A Model-Driven Engineering Approach to AI-Powered Healthcare Platforms. CoRR Mira Raheem, Amal Elgammal, Michael P. Papazoglou, Bernd J. Krämer, Neamat El-Tazi
2025	J	`jnl`	A Semantic Framework for Patient Digital Twins in Chronic Care. CoRR Amal Elgammal, Bernd J. Krämer, Michael P. Papazoglou, Mira Raheem
2025	J	`jnl`	Federated Data Analytics for Cancer Immunotherapy: A Privacy-Preserving Collaborative Platform for Patient Management. CoRR Mira Raheem, Michael P. Papazoglou, Bernd J. Krämer, Neamat El-Tazi, Amal Elgammal
2024	—	`conf`	Technology Roadmap for Resilient Smart Manufacturing Ecosystems. ICE/ITMC Michael P. Papazoglou, Bernd J. Krämer, María José Núñez Ariño, Amal Elgammal
2021	—	`conf`	A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management. Next-Gen Digital Services Amal Elgammal, Bernd J. Krämer
2021	J	`jnl`	Footsteps Towards a Transdisciplinary Design and Process Science. J. Integr. Des. Process. Sci. Murat M. Tanik, Stanley G. Gatchel, Imre Horváth, Thomas T. H. Wan, Kyoung-Yun Kim, Jingwei Huang, Eric Coatanéa, Bernd J. Krämer, Yong Zeng
2018	—	`ch.`	Discovery. Encyclopedia of Database Systems (2nd ed.) Schahram Dustdar, Christian Platzer, Bernd J. Krämer
2017	J	`jnl`	Knowledge Management through Ontology-Driven Integration of Disparate Knowledge Sources. J. Integr. Des. Process. Sci. Jan Werrmann, Bernd J. Krämer
2016	—	`conf`	Intelligente Bildungs- und Hochschulnetze in Deutschland - Wo stehen wir in 2016? Was ist zu tun bis 2020? GI-Jahrestagung Christoph Igel, Ansgar Baums, Marc Göcks, Martin Haag, Bernd J. Krämer, Stephan Pfisterer, H. Siegfried Stiehl, Guido Wirtz, Volker Zimmermann, Jens Mühlner
2015	J	`jnl`	New ways of learning: Comparing the effectiveness of interactive online media in distance education with the European textbook tradition. Br. J. Educ. Technol. Bernd J. Krämer, Jonas Neugebauer, Johannes Magenheim, Helga Huppertz
2014	—	`conf`	Über den Nutzen interaktiver Lernmedien im Fernstudium. DeLFI Klaus Gotthardt, Helga Huppertz, Bernd J. Krämer, Johannes Magenheim, Jonas Neugebauer, Christoph Wöldecke
2013	J	`jnl`	Editorial - Advances in Collective Intelligence and Social Media. Int. J. Cooperative Inf. Syst. Ulrike Baumöl, Reinhard Jung, Bernd J. Krämer
2013	J	`jnl`	Editorial: Knowledge, Social Media and Technologies for a Learning Society. J. Integr. Des. Process. Sci. Aurélie Aurilla Bechina, Bernd J. Krämer
2010	J	`jnl`	Editorial: Learning objects in progress. Br. J. Educ. Technol. Michael Klebl, Bernd J. Krämer
2010	J	`jnl`	From content to practice: Sharing educational practice in edu-sharing. Br. J. Educ. Technol. Michael Klebl, Bernd J. Krämer, Annett Zobel
2010	J	`jnl`	Learning objects and instructional design - Edited by Alex Koohang & Keith Harman. Br. J. Educ. Technol. Bernd J. Krämer
2010	J	`jnl`	Learning objects: Applications, implications, and future directions - Edited by Keith Harman & Alex Koohang. Br. J. Educ. Technol. Bernd J. Krämer
2010	J	`jnl`	Learning objects: Standards, metadata, repositories, and LCMS - Edited by Keith Harman & Alex Koohang. Br. J. Educ. Technol. Bernd J. Krämer
2009	J	`jnl`	A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Comput. Bernd J. Krämer, Tiziana Margaria
2009	—	`ch.`	Discovery. Encyclopedia of Database Systems Schahram Dustdar, Christian Platzer, Bernd J. Krämer
2008	J	`jnl`	Component meets service: what does the mongrel look like? Innov. Syst. Softw. Eng. Bernd J. Krämer
2008	J	`jnl`	Exposure and Support of Latent Social Networks among Learning Object Repository Users. J. Univers. Comput. Sci. Peng Han, Gerd Kortemeyer, Bernd J. Krämer, Christine von Prümmer
2008	J	`jnl`	Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan
2008	J	`jnl`	Introduction to special issue on service oriented computing (SOC). ACM Trans. Web Schahram Dustdar, Bernd J. Krämer
2007	—	`ch.`	A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. Contributions to Ubiquitous Computing Bernd J. Krämer
2007	—	`ch.`	Common-interest Based Self-organising E-Learner Communities. Contributions to Ubiquitous Computing Fan Yang, Bernd J. Krämer, Peng Han
2007	—	`book`	Contributions to Ubiquitous Computing Bernd J. Krämer, Wolfgang A. Halang
2007	—	`conf`	Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) Bernd J. Krämer
2007	—	`ch.`	Representation and Discovery of Intelligent E-Services. E-Service Intelligence Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang
2007	A	`ed.`	Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings ICSOC Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan
2006	—	`conf`	Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops Bernd J. Krämer, Georg Ströhlein
2006	A	`ed.`	Service Oriented Computing (SOC), 15.-18. November 2005 Service Oriented Computing Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou
2006	—	`conf`	Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search. Web Intelligence Peng Han, Zhimei Wang, Zhiyun Li, Bernd J. Krämer, Fan Yang
2005	A	`conf`	05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer
2005	J	`jnl`	Backward Inference in Bayesian Networks for Distributed Systems Management. J. Netw. Syst. Manag. Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
2005	—	`conf`	Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
2005	J	`jnl`	Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View. Trans. SDPS Fan Yang, Bernd J. Krämer, Peng Han, Ruimin Shen
2004	—	`conf`	An Inference Algorithm for Probabilistic Fault Management in Distributed Systems. Net-Con Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
2004	C	`conf`	Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. ISPA Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang
2004	—	`conf`	Probabilistic Inference for Network Management. ECUMN Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
2003	—	`conf`	A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. OTM Jian Yang, Mike P. Papazoglou, Bernd J. Krämer
2003	—	`conf`	Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism. Australian Conference on Artificial Intelligence Fan Yang, Peng Han, Ruimin Shen, Bernd J. Krämer, Xinwei Fan
2003	—	`conf`	DOA 2003 PC Co-chairs' Message. OTM Bernd J. Krämer, Maarten van Steen, Steve Vinoski
2003	A	`conf`	Leveraging Web-Services and Peer-to-Peer Networks. CAiSE Mike P. Papazoglou, Bernd J. Krämer, Jian Yang
2003	—	`conf`	Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort
2002	J	`jnl`	Automated verification of function block-based industrial control systems. Sci. Comput. Program. Norbert Völker, Bernd J. Krämer
2002	—	`conf`	Predictable Component Architectures Using Dependent Finite State Machines. RISSEF Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
2001	J	`jnl`	Software Engineering (Editorial). Trans. SDPS Bernd J. Krämer
2000	J	`jnl`	Design Patterns for Synchronization Adapters of Corba Objects. Obj. Logiciel Base données Réseaux Hans-Arno Jacobsen, Bernd J. Krämer
2000	—	`conf`	Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer. GI Jahrestagung Bernd J. Krämer
2000	—	`conf`	Modeling Interface Definition Language Extensions. TOOLS (37) Hans-Arno Jacobsen, Bernd J. Krämer
2000	—	`ch.`	Modeling Object Dynamics. Advances in Object-Oriented Data Modeling Mike P. Papazoglou, Bernd J. Krämer
2000	A*	`conf`	Multibook's test environment. ICSE Nathalie Poerwantoro, Abdulmotaleb El Saddik, Bernd J. Krämer, Ralf Steinmetz
1999	—	`conf`	3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. SimVis Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker
1999	—	`conf`	Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS Bernd J. Krämer, Lutz M. Wegner
1998	A*	`conf`	A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE Hans-Arno Jacobsen, Bernd J. Krämer
1998	—	`conf`	Automated Verification of Function Block Based Industrial Control Systems. Monterey Workshop Norbert Völker, Bernd J. Krämer
1998	J	`jnl`	Deriving CORBA Applications from Formal Specifications. J. Syst. Integr. Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter
1998	J	`jnl`	Distributed Systems Management Software-in-the-Loop. Int. J. Softw. Eng. Knowl. Eng. Bernd J. Krämer, Thomas Koch
1998	—	`conf`	Neue Medien im Fernstudium. Informatik und Ausbildung Wolfgang A. Halang, Bernd J. Krämer
1997	—	`conf`	A Case Study in Developing Complex Safety Critical Systems. HICSS (5) Bernd J. Krämer
1997	J	`jnl`	A Database Model for Object Dynamics. VLDB J. Mike P. Papazoglou, Bernd J. Krämer
1997	J	`jnl`	A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real Time Syst. Bernd J. Krämer, Norbert Völker
1997	—	`conf`	Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. Integrated Network Management Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer
1997	J	`jnl`	Editorial. Real Time Syst. Bernd J. Krämer
1997	J	`jnl`	Erratum: A Database Model for Object Dynamics. VLDB J. Mike P. Papazoglou, Bernd J. Krämer
1997	J	`jnl`	Keeping Pace with an Information Society. Computer Hesham El-Rewini, Michael C. Mulder, Peter A. Freeman, Gordon E. Stokes, Innes Jelly, Lillian N. Cassel, Doris K. Lidtke, Stefano Russo, Bernd J. Krämer, Jimmie E. Haines, A. Joe Turner
1996	J	`jnl`	Integrated Multimedia-Based Distance Teaching of Information Technology. J. Univers. Comput. Sci. Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann
1996	C	`conf`	Knowledge-Based Support for Distributed Systems Management. SEKE Bernd J. Krämer, Thomas Koch
1996	J	`jnl`	Languages for the specification of software. J. Syst. Softw. Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer
1996	J	`jnl`	Rules and agents for automated management of distributed systems. Distributed Syst. Eng. Thomas Koch, Bernd J. Krämer
1996	—	`conf`	Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST Bernd J. Krämer
1995	—	`conf`	Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen Thomas Koch, Bernd J. Krämer, Gerald Rohde
1995	—	`conf`	Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann
1995	—	`conf`	Enforcing management policies in distributed systems. FTDCS Wolfgang A. Halang, Soon-Key Jung, Bernd J. Krämer
1995	J	`jnl`	Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J. Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus
1995	—	`conf`	Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
1995	B	`conf`	Formally Verified Firmware Modules for Industrial Process Automation. SAFECOMP Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
1994	—	`conf`	Applying Process Technology to Hardware Design. EWSPT Bernd J. Krämer, Burhan Dinler
1994	A	`conf`	On the Representation of Objects with Polymorphic Shape and Behaviour. ER Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya
1994	C	`conf`	Rule-enhanced Petri nets for software process modeling. SEKE Bernd J. Krämer
1994	J	`jnl`	Safety Assurance in Process Control. IEEE Softw. Wolfgang A. Halang, Bernd J. Krämer
1994	J	`jnl`	Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Prax. Inf.verarb. Kommun. Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt
1993	J	`jnl`	Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. Bernd J. Krämer, Luqi, Valdis Berzins
1993	—	`conf`	Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS Wolfgang A. Halang, Bernd J. Krämer
1993	—	`conf`	PEARL als Spezifikationssprache. PEARL Wolfgang A. Halang, Bernd J. Krämer
1993	J	`jnl`	The time dimension considered appropriate for resource access synchronization. Inf. Softw. Technol. Wolfgang A. Halang, Bernd J. Krämer
1992	J	`jnl`	Achieving high integrity of process control software by graphical design and formal verification. Softw. Eng. J. Wolfgang A. Halang, Bernd J. Krämer
1992	J	`jnl`	Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform. Forsch. Entwickl. Bernd J. Krämer
1992	J	`jnl`	Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. Bernd J. Krämer, Mike P. Papazoglou
1992	—	`conf`	Multiparadigm Description of System Development Processes. EWSPT Claus Hoffmann, Bernd J. Krämer, Burhan Dinler
1991	J	`jnl`	A sort of parametric polymorphism for algebraic specifications. J. Syst. Softw. Bernd J. Krämer
1991	—	`conf`	Coordinating software process activities. ISPW Bernd J. Krämer, Claus Hoffmann, Louis Marinos, A. Sesterhenn
1991	J	`jnl`	Introducing the GRASPIN specification language SEGRAS J. Syst. Softw. Bernd J. Krämer
1991	—	`conf`	Prototyping and formal analysis of concurrent and distributed systems. IWSSD Bernd J. Krämer
1991	J	`jnl`	The project GRASPIN and its CASE environment prototypes: An overview. J. Syst. Softw. Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann
1991	J	`jnl`	Toward formal models of software engineering processes. J. Syst. Softw. Bernd J. Krämer, Luqi
1989	—	`—`	Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems. Bernd J. Krämer
1989	J	`jnl`	Developing Integrated Environments with ASDL. IEEE Softw. Bernd J. Krämer, Heinz W. Schmidt
1989	B	`conf`	Methodologies for meeting hard deadlines in industrial distributed real-time systems. COMPSAC Wolfgang A. Halang, Bernd J. Krämer
1988	—	`conf`	Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC Bernd J. Krämer, Heinz W. Schmidt
1988	—	`conf`	Specifying concurrent objects. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Bernd J. Krämer
1987	A*	`conf`	SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. ICSE Bernd J. Krämer
1984	—	`conf`	Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme Bernd J. Krämer
1984	—	`conf`	Stepwise construction of non-sequential software systems using a net-based specification language. European Workshop on Applications and Theory in Petri Nets Bernd J. Krämer
1982	—	`conf`	A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism Bernd J. Krämer, Heinz W. Schmidt
1981	—	`conf`	Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung Bernd J. Krämer, Heinz W. Schmidt
1980	C	`conf`	Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering Bernd J. Krämer, Heinz W. Schmidt
1979	—	`conf`	Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung Bernd J. Krämer, Heinz W. Schmidt