Faculty of Mathematics and Computer Science Chair of DVT
Rubriken

Publications of DVT Department (1979 - 2014)

2014

Winfried Hering, Helga Huppertz, Bernd Krämer, Silvia Schreier, Johannes Magenheim, Jonas Neugebauer: On Benefits of Interactive Online Learning in Higher Distance Education - Case Study in the Context of Programming Education, The Sixth International Conference on Mobile, Hybrid, and On-line Learning (eLmL 2014), pp. 58-62, ThinkMind 2014.
K. Gotthardt, H. Huppertz, B.J. Krämer, J. Magenheim, J. Neugebauer, C. Wöldecke: Über den Nutzen interaktiver Lernmedien im Fernstudium, DeLFI 2014.

2013

Bernd J. Krämer: Evolution of Cyber-physical Systems: a Brief Review (Chapter 1), In: Sang C. Suh, U. John Tanik, John N Carbone, Abdullah Eroglu (Eds.): Applied Cyber-Physical Systems, Pages 1-4, Springer, 2013
A.A. Bechina, B.J. Krämer: Editorial: Knowledge, social media and technologies for a learning society, Journal of Integrated Design and Process Science, Volume 17, Issue 1, 2013, Pages 1-3

2012

Matthias Hupfer, Bernd J. Krämer, Christian Lukaschik: CampusContent and the Repository Network edu-sharing. e-learning and education (eleed), 8(2012).
Jörn Altmann, Ulrike Baumöl, Bernd J. Krämer: Advances in Collective Intelligence 2011. Springer, 2012.
Bernd J. Krämer: Editorial. e-learning and education (eleed), 8(2012).
Torsten Brix, Dieter W. Fellner, Bernd J. Krämer, Thomas Schrader: Workshop: Centers of Excellence for Research Information – Digital Text and Data Centers for Science and Open Research. e-learning and education (eleed), 8(2012).
Silvia Schreier: Model-Driven Development of Resource-Oriented Applications, In: Service-Oriented Computing - ICSOC 2011 Workshops, Seiten 201-206. Springer Berlin / Heidelberg, 2012.
Ivan Zuzak, Silvia Schreier: ArRESTed Development: Guidelines for Designing REST Frameworks. IEEE Internet Computing, 16(2012), Nr. 4, S. 26-35.
Jakob Strauch, Silvia Schreier: RESTify: from RPCs to RESTful HTTP design, In: Proceedings of the Third International Workshop on RESTful Design, ACM, Seiten 11-18, 2012.
Christoph Szymanski, Silvia Schreier: Case Study: Extracting a resource model from an object-oriented legacy application, In: Proceedings of the Third International Workshop on RESTful Design, ACM, Seiten 19-24, 2012.
Daniel Schulte: Authentication and Authorization for Dynamically Interacting Web Applications, In: Proceedings of the Seventeenth International Conference of the Society for Design and Process Science, SDPS 2012, Berlin, Germany, 10.–14. Juni 2012, Omnipress 2012.
Daniel Schulte: Towards a Human Task Management Reference Model, In: Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS 2012, Bamberg, Germany, 23.–24. Feb. 2012, CEUR-WS.org, Seiten 104-111, 2012.

2011

Göran Karlsson, Dumitru Dan Burdescu, Bernd J. Krämer (Eds.): The Third International Conference on Mobile, Hybrid, and On-line Learning, IARIA Conference, 2011.
Theo J. Bastiaens, Ulrike Baumöl, Bernd J. Krämer: On Collective Intelligence. Springer, 2011.
Silvia Schreier: Modeling RESTful applications, In: Proceedings of the Second International Workshop on RESTful Design, ACM, Seiten 15-21, 2011.
Daniel Schulte: Web-scale human task management, In: Proceedings of the 5th European conference on Software architecture, Springer-Verlag, Seiten 190-193, 2011.
Michael Klebl, Bernd J. Krämer: Open Educational Resources and the Repository Network edu-sharing, In: The Third International Conference on Mobile, Hybrid, and On-line Learning, pp. 51-56, 2011.
Daniel Schulte: Human Task Management for RESTful Services, In: Seventh PhD Symposium. ICSOC 2011 Workshops. Revised Selected Papers. Ninth International Conference on Service Oriented Computing, ICSOC 2011, Paphos, CY, 5.–8. Dez. 2011, Springer, Seiten 207–212, 2012.

2010

Bernd J. Krämer, Michael Klebl, Annett Zobel: Sharing Educational Knowledge and Best Practices in Edu-Sharing, In: Second International Conference on Mobile, Hybrid, and On-line Learning 2010, IEEE Computer Society, Seiten 53-59, 2010.
Michael Klebl, Bernd J. Krämer, Annett Zobel: edu-sharing - das Portal zur Vernetzung von Anbietern und Nutzern digitaler Lernressourcen, In: Grundfragen Multimedialen Lehrens und Lernens, Waxmann Verlag GmbH, Seiten 20-36, 2010.
Michael Klebl, Bernd J. Krämer, Annett Zobel: From content to practice: Sharing educational practice in edu-sharing. British Journal of Educational Technology, 41(2010), Nr. 6, S. 936-951.
Michael Klebl, Bernd J. Krämer: Learning objects in progress. British Journal of Educational Technology, 41(2010), Nr. 6, S. 869-872.
Adam M. Gadomski, Bernd J. Krämer, Cynthia Y. Lester, Manuela Popescu: The Second International Conference on Mobile, Hybrid, and On-Line Learning (eL&mL 2010). IEEE Computer Society, 2010.
Michael Klebl, Bernd J. Krämer: Distributed Repositories for Educational Content. e-learning and education (eleed), 7(2010).
Matthias Hupfer, Michael Klebl, Bernd J. Krämer, Christian Lukaschik, Annett Zobel: Distributed Repositories for Educational Content. e-learning and education (eleed), 7(2010).

2009

Peng Han, Bernd J. Krämer: Generating Interactive Learning Objects from Configurable Samples, In: ELML '09: Proceedings of the 2009 International Conference on Mobile, Hybrid, and On-line Learning, IEEE Computer Society, Seiten 1-6, 2009.
Bernd J. Krämer, Tiziana Margaria: A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. International Journal of Semantic Computing, 3(2009), Nr. 1, S. 5-50.
Jianguo Ding, Pascal Bouvry, Bernd J. Krämer, Haibing Guan, Alei Liang, Franco Davoli: Probabilistic Fault Management, In: Context-Aware Computing and Self-Managing Systems, Seiten 363-401. Chapman and Hall, 2009.
Jörn Altmann, Zelalem Bedane: A P2P File Sharing Network Topology Formation Algorithm Based on Social Network Information, In: First IEEE International Workshop on Network Science for Communication Networks 2009.
Stefan Winkler: Trace retrieval for evolving artifacts, In: ICSE Workshop on Traceability in Emerging Forms of Software Engineering, IEEE Computer Society, Seiten 49-56, 2009.
Schahram Dustdar, Christian Platzer, Bernd J. Krämer: Discovery, In: Encyclopedia of Database Systems, Seiten 853-857. Springer-Verlag, 2009.
Bernd J. Krämer, Michael Klebl: Supporting Student Mobility and Collaboration through the E-Learning Portal edu-sharing, In: Fourth Colloquium on International Engineering Education, Seiten 1-14, 2009.
Bernd J. Krämer, Peng Han: Educational Content Creation and Sharing in a Technology-rich Environment. International Journal on Advances in Software, 2(2009), Nr. 2+3, S. 188-201.
Coskun Bayrak, Chris Bowerman, Piet Kommers, Bernd J. Krämer, Emrah Orhun, Yusuf Öztürk, Antonio Ruano: Fourth Colloquium on International Engineering Education. Research Report 4/2009 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2009.
Daniel Schulte: Prozessunterstützung für temporäre, ehrenamtliche und private Gruppen, In: Proceedings of the 1st Central-European Workshop on Services and their Composition, Zeus, Seiten 35-41, 2009.

2008

Xia Wang, Manfred Hauswirth, Tomas Vitvar, Maciej Zaremba: Semantic Web Services Selection Improved by Application Ontology with Multiple Concept Relations, In: The 23rd Annual ACM Symposium on Applied Computing 2008.
Desmond Keegan, Gabor Kismihok, Bernd J. Krämer, Nevena Mileva, Bernadette Simpson, Benedetto Vertecchi: Bibliographie: Die Auswirkungen neuer Technologien auf Studierende an Fernuniversitäten. Research Report 2/2008 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2008.
Bernd J. Krämer, Annett Zobel: Einsatz und Verbreitung von CampusContent - DFG-Leistungszentrum für E-Learning, In: Offener Bildungsraum Hochschule, Waxmann, Seiten 58-68, 2008.
Desmond Keegan, Gabor Kismihok, Bernd J. Krämer, Nevena Mileva, Bernadette Simpson, Benedetto Vertecchi: Bibliography: The Impact of new technologies on distance learning students. Research Report 3/2008 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2008.
Bernd J. Krämer, Daniel Schulte: The impact of technology on students at Open and Distance universities, In: The impact of new technologies on distance learning students, Seiten 33-54, Research Report 4/2008 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2008.
Francesco Agrusti, Bernd J. Krämer, Nevena Mileva: Research methodology and approach, In: The impact of new technologies on distance learning students, Seiten 19-32, Research Report 4/2008 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2008.
Bernd J. Krämer, Daniel Schulte: The impact of new technologies on distance learning students, In: Conference Proceedings of the EADTU Annual Conference 2008.
Francesco Agrusti, Desmond Keegan, Gabor Kismihok, Bernd J. Krämer, Nevena Mileva, Daniel Schulte, Joseph Thompson, Benedetto Vertecchi: The impact of technologies on distance learning students. Research Report 4/2008 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2008.
Jianguo Ding: Probabilistic Fault Management in Distributed Systems. VDI Verlag, 2008.
Stefan Winkler: On Usability in Requirements Trace Visualizations, In: International Workshop on Requirements Engineering Visualization, IEEE Computer Society, Seiten 56-60, 2008.
Peng Han, Gerd Kortemeyer, Bernd J. Krämer, Christine von Prümmer: Exposure and Support of Latent Social Networks Among Learning Object Repository Users. Journal of Universal Computer Science (J.UCS), 14(2008), Nr. 10, S. 1717-1738.
Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan: Special Issue Service-Oriented Computing. International Journal of Cooperative Information Systems (IJCIS), (2008).
Bernd J. Krämer: Component meets service - What does the mongrel look like?. Innovations in Systems and Software Engineering, 4(2008), Nr. 4, S. 385-394.
Schahram Dustdar, Bernd J. Krämer: Introduction to special issue on service oriented computing. ACM Transactions on the Web (TWEB), (2008).
Bernd J. Krämer, Annett Zobel: Rollout of CampusContent - DFG-Competence Centre for eLearning. e-learning and education (eleed), (2008).
Bernd J. Krämer: Campus Content: An Infrastructure for Sharing and Reuse of Teaching Experience and e-Content. Journal of Lifelong Learning Society, 4(2008), Nr. 2, S. 133-156.

2007

Bernd J. Krämer: Pervasive e-Learning: Learning technique, wireless communication and mobile middleware or more? INFORMATIK 2007, Volume 1, Pages 489-490, 2007.
Bernd J. Krämer: Survey of this Book, In: Contributions to Ubiquitous Computing, Seiten 3-14. Springer-Verlag, 2007.
Bernd J. Krämer: A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility, In: Contributions to Ubiquitous Computing, Seiten 95-119. Springer-Verlag, 2007.
Bernd J. Krämer, Wolfgang A. Halang: Contributions to Ubiquitous Computing. Springer-Verlag, 2007.
Fan Yang, Bernd J. Krämer, Peng Han: Common-interest Based Self-organising E-Learner Communities, In: Contributions to Ubiquitous Computing, Seiten 71-94. Springer-Verlag, 2007.
Alexander Stuckenholz: Synthese komponentenbasierter Konfigurationen, In: Software Engineering 2007 - Beiträge zu den Workshops, GI, Seiten 195-202, 2007.
Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang: Representation and Discovery of Intelligent E-Services, In: E-Service Intelligence: Methodologies, Technologies and Applications, Seiten 233-252. Springer, 2007.
Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan: Service-Oriented Computing - ICSOC 2007. Springer, 2007.
Bernd J. Krämer: Data Analysis Report on the Impact of Technology on Learning in Open Universities and Distance Education. Research Report 1/2007 at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2007.
Bernd J. Krämer: Datenanalyse-Bericht über die Auswirkungen moderner IuK-Technik auf das Lernen an Fernuniversitäten. Research Report 1/2007-DE at the Department of Mathematics and Computer Science, FernUniversität in Hagen, 2007.
Stefan Winkler: Informationsfluss zwischen Anforderungsdokumenten - Auswertung einer empirischen Umfrage, In: Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, Köllen Verlag, Seiten 267-268, 2007.
Stefan Winkler: Information Flow Between Requirement Artifacts -- Results of an Empirical Study, In: Requirements Engineering: Foundation for Software Quality (REFSQ) 2007, LNCS 4542, Springer, Seiten 232-246, 2007.
Xia Wang, Tomas Vitvar, Manfred Hauswirth, Doug Foxvog: Building Application Ontologies from Descriptions of Semantic Web, In: WI '07: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, IEEE Computer Society, Seiten 337-343, 2007.
Alexander Stuckenholz: Kompatibilitätsbewahrende Komponentenupdates. FernUniversität in Hagen, 2007.
Bo Xie, Peng Han, Fan Yang, Ruimin Shen, Hua-Jun Zeng, Zheng Chen: DCFLA: A distributed collaborative-filtering neighbor-locating algorithm. Information Sciences, 177(2007), Nr. 6, S. 1349-1363.
Xia Wang, Tomas Vitvar, Vassilios Peristeras, Adrian Mocan, Sotirios K. Goudos, Konstantinos Tarabanis: WSMO-PA: Formal Specification of Public Administration Service Model on Semantic Web Service Ontology. Hawaii International Conference on System Sciences, (2007), S. 96a.

2006

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, In: International Conference on Web Intelligence, IEEE Computer Society, Seiten 757-760, 2006.
Bernd J. Krämer: Ausbildung a-la-Carte mit CUBER, In: Lernort Universität, Seiten 207-229. Leske + Budrich, 2006.
Francisco Cubera, Bernd J. Krämer, Mike P. Papazoglou: 05462 Abstracts Collection - Service Oriented Computing (SOC). Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2006.
Bernd J. Krämer, Georg Ströhlein: Exploring the Use of Cellular Phones for Pervasive eLearning, In: PerCom Workshops, IEEE Computer Society, Seiten 190-195, 2006.
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer: 05462 Service-Oriented Computing: A Research Roadmap, In: Service Oriented Computing (SOC), Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany 2006.
Christian Hammer, Martin Grimme, Jens Krinke: Dynamic Path Conditions in Dependence Graphs, In: Workshop on Partial Evaluatian and Program Manipulation, Seiten 58-67, 2006.
Christian Hammer, Jens Krinke, Gregor Snelting: Information Flow Control for Java Based on Path Conditions in Dependence Graphs, In: IEEE International Symposium on Secure Software Engineering, Seiten 87-96, 2006.
Jens Krinke: Mining Control Flow Graphs for Crosscutting Concerns, In: 13th Working Conference on Reverse Engineering: IEEE International Astrenet Aspect Analysis (AAA) Workshop, Seiten 334-342, 2006.
David Binkley, Mark Harman, Jens Krinke: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation, In: Proc. Sixth IEEE International Workshop on Source Code Analysis and Manipulation, Seiten 43-52, 2006.
Alexander Stuckenholz, Andre Osterloh: Safe Component Updates, In: GPCE - Generative Programming and Component Engineering, ACM Press 2006.
Alexander Stuckenholz: Component updates as a Boolean Optimization Problem, In: FACS - Formal Aspects of Component Software 2006.
Xia Wang, Tomas Vitvar, Mick Kerrigan, Ioan Toma: Synthetical Evaluation of Multiple Qualities for Service Selection, In: 4th International Conference on Service Oriented Computing, Springer-Verlag, Seiten 1-12, 2006.
Fan Yang: Analysis, Design and Implementation of Personalized Recommendation Algorithms Supporting Self-organized Communities. VDI Verlag, 2006.
Timo Borst: Ontologien zur semantischen Auszeichnung digitaler Lernmaterialien. Forschungsbericht 3/2006 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2006.
Jens Krinke, Christian Hammer, Frank Nodes: Intransitive Noninterference in Dependence Graphs, In: Second International Symposium on Leveraging Application of Formal Methods, Verification and Validation, Paphos, Cyprus, Seiten 136-145, 2006.
Sascha Bobrowski, Olaf Nowaczyk: Architektur eines verteilten Lernobjektrepositoriums. Forschungsbericht 2/2006 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2006.
Yi Zhao, Xia Wang, Wolfgang A. Halang: Ontology Mapping based on Rough Formal Concept Analysis, In: AICT-ICIW '06: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, IEEE Computer Society, Seiten 180, 2006.
Xia Wang, Tomas Vitvar, Mick Kerrigan, Ioan Toma: A QoS-Aware Selection Model for Semantic Web Services, In: Service-Oriented Computing - ICSOC 2006, Springer, Seiten 390-401, 2006.
Xia Wang, Yihong Ding, Yi Zhao: Similarity Measurement about Ontology-based Semantic Web Services, In: Workshop on Semantics for Web Services (SemWS'06) in conjunction with ECOWS 2006; Workshop at Semantics for Web Services (SemWS'06), Seiten 25-30, 2006.
Yi Zhao, Xia Wang, Wolfgang A. Halang: Ontology Mapping based on Rough Formal Concept Analysis, In: International Conference on Internet and Web Applications and Services 2006.
Xia Wang, Yi Zhao, Wolfgang A. Halang: Selection Model of Semantic Web Services, in Applied Artificial Intelligence, In: World Scientific 2006, Seiten 505-510, 2006.
Yi Zhao, Xia Wang, Wolfgang A. Halang: Ontology Mapping Techniques in Information Integration, In: Adaptive Technologies and Business Integration: Social, Managerial, and Organizational Dimension, Seiten 308-328. Hershey, 2006.
Fan Yang: Analysis, Design and Implementation of Personalized Recommendation Algorithms Supporting Self-organized Communities. FernUniversität in Hagen, 2006.
Manfred Broy, Matthias Jarke, Manfred Nagl, 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, Helmut A. Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul Roever, Bernhard Rumpe, Gundula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhardt Westfechtel, Wolf Zimmermann, Albert Zündorf: Dagstuhl-Manifest zur strategischen Bedeutung des Software Engineering in Deutschland. Informatik Spektrum, 29(2006), Nr. 3, S. 1-16.
Jens Krinke: Effects of Context on Program Slicing. Journal of Systems and Software, 79(2006), Nr. 9, S. 1249-1260.
Alexander Stuckenholz: Softwarekomponenten und ihre Update-Zyklen: Eine Marktanalyse. Praxis der Information und Kommunikation, 29(2006), Nr. 2, S. 92-99.
Alexander Stuckenholz, Olaf Zwintzscher: Compatible component upgrades through smart component swapping, In: Architecting Systems with Trustworthy Components, Springer-Verlag 2006.
Gregor Snelting, Torsten Robschink, Jens Krinke: Efficient Path Conditions in Dependence Graphs for Software Safety Analysis. ACM Transactions on Software Engineering and Methodology, 15(2006), Nr. 4, S. 410-457.
Fan Yang, Bernd J. Krämer, Peng Han: Enhancing Collaborative Learning Based on Personalized Recommendation among Communities. Advanced Technology for Learning, 3(2006), Nr. 4, S. 892-904.
Susanne Heyer: Didaktische Szenarien und deren Verhältnis zu Lernmaterialien. Forschungsbericht 1/2006 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2006.
Susanne Heyer: Pedagogical Enrichment of Information Objects. Journal of Integrated Design and Process Science, 10(2006), Nr. 3, S. 33-45.
Jianguo Ding, Xiaoyong Li, Ningkang Jiang, Bernd J. Krämer, Franco Davoli: Prediction Strategies for Proactive Management in Dynamic Distributed Systems, In: Proceedings of the International Conference on Digital Telecommunications, IEEE Computer Society Press 2006.

2005

Andreas Zeller, Jens Krinke: Essential Open Source Toolset. Wiley & Sons, 2005.
Philipp Bouillon, Jens Krinke, Stephan Lukosch: Software Engineering Projects in Distant Teaching, In: Conference on Software Engineering Education and Training, Seiten 147-154, 2005.
Jens Krinke: Program Slicing, In: Handbook of Software Engineering and Knowledge Engineering, Volume 3: Recent Advances, Seiten 307-332. World Scientific Publishing, 2005.
Philipp Bouillon, Jens Krinke, Stephan Lukosch: Eine Plattform für die Softwaretechnik-Fernlehre, In: 9. Workshop Software Engineering im Unterricht der Hochschulen, Seiten 81-92, 2005.
Jens Krinke, Silvia Breu: Aspect Mining based on Control-Flow, In: 7. Workshop Software Reengineering (WSR 2005), Seiten 39-40, 2005.
Jens Krinke, Martin Roos: Erfahrungen mit dem Open-Access-Journal eleed (e-learning and education), In: Knowledge eXtended, Seiten 123-134, 2005.
Michael Averstegge, M. Winter: Structural and Functional Predicate Coverage Testing, In: 3rd World Congress for Software Quality (3. WCSQ 05), Seiten 1-12, 2005.
Susanne Heyer: An Analysis of Learning Resources Using a Cognitive Process Taxonomy, In: International Conference Interactive Computer Aided Learning, University Press 2005.
Timo Borst: Digital repositories: effective access and reusability of learning objects, In: Proceedings of the Interactive Computer Aided Learning Conference (ICL), Kassel University Press 2005.
Timo Borst: Building content with reusable learning objects, In: Proceedings of the Virtual University: VU 2005, V Konferencja Politechnika Warszawska 2005 2005.
Bernd J. Krämer: Global Educational Technology Symposium. Forschungsbericht 3/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Bernd J. Krämer: Mobile Learning: The Next Generation of Learning. Forschungsbericht 5/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Bernd J. Krämer: Reusable Learning Objects: Let´s give it another trial. Forschungsbericht 4/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Susanne Heyer, Olaf Nowaczyk: Übertragung der didaktischen Modelle Flechsigs auf E-Learning. Forschungsbericht 10/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Susanne Heyer: Vergleich von Lernobjektmodellen nach pädagogischen Gesichtspunkten. Forschungsbericht 9/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Georg Ströhlein: Harnessing Cellular Phones for Statistics Education in Distance Learning. Forschungsbericht 1/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Timo Borst: Community Building in CampusContent - Unterwegs zu einer Community of Practice. Forschungsbericht 12/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Timo Borst: Wiederverwendung von Lehr- und Lerninhalten unter rechtlichen Gesichtspunkten. Forschungsbericht 11/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Sascha Bobrowski, Olaf Nowaczyk: Methoden des Software Engineerings als Leitbild für den Entwurf wieder verwendbarer Lernobjekte. Forschungsbericht 8/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Marc Jelitto: Open Educational Resources und deren Verbreitung in Repositorien und Referatorien. Forschungsbericht 6/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Backward Inference in Bayesian Networks for Distributed Systems Management. Journal of Network and Systems Management, 13(2005), Nr. 4, S. 409-427.
Fan Yang, Bernd J. Krämer, Peng Han, Ruimin Shen: Exploiting the construction of e-learner communities from a trust connectionist point of view. Journal of Integrated Design and Process Science, 9(2005), Nr. 2, S. 1-11.
Alexander Stuckenholz: Automatische Generierung von Konfigurationsdateien für den Nameserver BIND. Praxis der Informationsverarbeitung und Kommunikation, 28(2005), Nr. 1, S. 51-55.
Alexander Stuckenholz: Component evolution and versioning state of the art. ACM Software Engineering Notes, 30(2005), Nr. 1, S. 7.
Alexander Stuckenholz: Softwarekomponenten und ihre Update-Zyklen: Eine Marktanalyse. Forschungsbericht 2/2005 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2005.
Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: An Inference Algorithm for Probabilistic Fault Management in Distributed Systems, In: IFIP International Federation for Information Processing, Seiten 193-204. Springer-Verlag, 2005.

2004

Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Probabilistic Inference for Network Management, In: Universal Multiservice Networks: Third European Conference, ECUMN 2004, Springer-Verlag, Seiten 498-507, 2004.
Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang: Probabilistic Inference Strategy in Distributed Intrusion Detection Systems, In: Parallel and Distributed Processing and Applications: Second International Symposium, ISPA 2004, Seiten 835-844, 2004.
Heinz W. Schmidt, Bernd J. Krämer, Iman H. Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines, In: Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Springer, Seiten 275-284, 2004.
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, In: Workshop on Object-oriented Real-Time Dependable Systems (WORDS 03), IEEE Computer Soc. Press, Seiten 339-346, 2004.
Jens Krinke: Advanced Slicing of Sequential and Concurrent Programs. VDM-Verlag, 2004.
Philipp Bouillon, Jens Krinke: Using Eclipse in Distant Teaching of Software Engineering, In: Eclipse Technology eXchange Workshop, Seiten 22-26, 2004.
Jens Krinke: Advanced Slicing of Sequential and Concurrent Programs, In: Ausgezeichnete Informatikdissertationen 2003, Seiten , Bonner Köllen Verlag, 2004.
Jens Krinke: Context-Sensitivity Matters, But Context Does Not, In: Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), Seiten 29-35, 2004.
Jens Krinke: Textual vs. Graphical Visualization of Fine-Grained Dependencies, In: 6. Workshop Software-Reengineering, Seiten 67-68, 2004.
Silvia Breu, Jens Krinke: Aspect Mining Using Event Traces, In: Proc. International Conference on Automated Software Engineering, Seiten 310-315, 2004.
Philipp Bouillon, Jens Krinke: A Platform for Teaching Distributed Software Engineering, In: Proc. Cooperative Support for Distributed Software Engineering Processes, Seiten 139-144, 2004.
Jens Krinke, Silvia Breu: Control-Flow-Graph-Based Aspect Mining, In: Workshop on Aspect Reverse Engineering 2004.
Alexander Stuckenholz: Component Evolution and Versioning - State of the Art. Forschungsbericht 1/2004 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2004.
Alexander Stuckenholz: Reduction of syntactical incompatibilities in multi component upgrades through intelligent component swapping. Forschungsbericht 2/2004 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2004.
Jens Krinke: Advanced slicing of sequential and concurrent programs. Proc. International Conference on Software Maintenance, (2004), S. 464-468.
Jens Krinke: Advanced Slicing of Sequential and Concurrent Programs, In: Proc. International Conference on Software Maintenance, Seiten 464-468, 2004.
Jens Krinke: Slicing, Chopping, and Path Conditions with Barriers. Software Quality Journal, 12(2004), Nr. 4, S. 339-360.
Jens Krinke: Visualization of Program Dependence and Slices, In: International Conference on Software Maintenance (ICSM 2004), Seiten 168-177, 2004.

2003

Mike P. Papazoglou, Bernd J. Krämer, Jian Yang: Leveraging Web-Services and Peer-to-Peer Networks, In: Advanced Information Systems Engineering, Seiten 485-501. Springer, 2003.
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, In: Advances in Artificial Intelligence: 16th Australian Conference on AI, Seiten 490-500, 2003.
Jian Yang, Mike P. Papazoglou, Bernd J. Krämer: A Publish/Subscribe Scheme for Peer-to-Peer Database Networks, In: On The Move to Meaningful Internet Systems 2003, Seiten 244-262. Springer, 2003.
Andreas Zeller, Jens Krinke: Open-Source-Programmierwerkzeuge. dpunkt, 2003.
Maximilian Störzer, Jens Krinke, Silvia Breu: Trace Analysis for Aspect Application, In: Workshop on Analysis of Aspect-Oriented Software 2003.
Silvia Breu, Jens Krinke: Aspect Mining using Dynamic Analysis, In: 5. Workshop Software-Reengineering 2003.
Jens Krinke: Barrier Slicing and Chopping, In: Proc. Third IEEE International Workshop on Source Code Analysis and Manipulation, Seiten 81-87, 2003.
Andrea De Lucia, Mark Harman, Rob Hierons, Jens Krinke: Unions of Slices are not Slices, In: European Conference on Software Maintenance and Reengineering, Seiten 363-367, 2003.
Maximillian Störzer, Jens Krinke: Interference Analysis for AspectJ, In: Foundations of Aspect-Oriented Languages 2003.
Jens Krinke: Context-Sensitive Slicing of Concurrent Programs, In: Proc. ESEC/FSE, Seiten 178-187, 2003.
Klaus Gotthardt: Aufgaben zur Informationstechnik. Logos Verlag, 2003.
Marc Jelitto: Digitale Medien in der Hochschullehre: Gender Mainstreaming & Evaluation. Forschungsbericht 1/2003 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2003.
Xia Wang: Semantic-based Discovery of Web Services Improved By P2P Infrastructure, In: International Conference on Service Oriented Computing (ICSOC) 2003.

2002

Bernd J. Krämer, Hartmut Ehrig, Atila Ertas: The Sixth International Conference on Integrated Design and Process Technology. Society for Process and Design Sciences, 2002.
Robert Meersman, Zahir Tari, D. C. Schmidt, Bernd J. Krämer: On the Move to Meaningful Internet Systems. Springer, 2002.
Jens Krinke, Maximillian Störzer, Andreas Zeller: Web-basierte Programmierpraktika mit Praktomat, In: Workshop Neue Medien in der Informatik-Lehre 2002.
Jens Krinke: Evaluating Context-Sensitive Slicing and Chopping, In: Proc. International Conference on Software Maintenance, Seiten 22-31, 2002.
Uwe Steinmann: Anwendungsentwicklung für die Aus- und Weiterbildung auf Basis eines Hypermedia-Systems. Logos Verlag, 2002.
Norbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. Science of Computer Programming, 42(2002), Nr. 1, S. 101-113.
Hans-Friedrich Kötter, Nathalie Poerwantoro, Uwe Steinmann: Definition eines Log-Formats für das Netzwerkmanagement auf der Basis von XML. Praxis der Informationsverarbeitung und Kommunikation, 25(2002), Nr. 1, S. 13-20.

2001

Bernd J. Krämer: Web-based Learning Environments: Tools and Engineering Issues, In: Handbook of Software Engineering and Knowledge Engineering, Vol 1: Fundamentals, Seiten 1-2. World Scientific, 2001.
Jens Krinke: Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen, In: 3. Workshop Software-Reengineering 2001.
Jens Krinke: Identifying Similar Code with Program Dependence Graphs, In: Proc. Eigth Working Conference on Reverse Engineering, Seiten 301-309, 2001.
Uwe Steinmann: Anwendungsentwicklung für die Aus- und Weiterbildung auf Basis eines Hypermedia-Systems. FernUniversität Hagen, 2001.
Klaus Gotthardt: Grundlagen der Informationstechnik. Lit-Verlag Münster, 2001.
Rainer Kruse: Entwicklung eines Werkzeugs für die Administration eines Trouble Ticket Systems. Forschungsbericht 2/2001 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2001.
Bernhard Heulmanns: Verifikation von Funktionsblöcken mit formalen Methoden. Forschungsbericht 1/2001 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2001.
Bernd J. Krämer: E-learning, Virtual University, Online Learning: education embraces technology. The EASST Newsletter, 3(2001), Nr. 1, S. 5-12.
Hans-Arno Jacobsen, Bernd J. Krämer: Design Patterns for Synchronization Adapters of Corba Objects. L`OBJET, 6(2000), Nr. 1, S. 57-82.
Bernd J. Krämer, Heinz W. Schmidt: Components and Tools for On-line Education. European Journal of Education, 36(2001), Nr. 2, S. 195-222.
Uwe Steinmann: Oracle Datenbankzugriff mit PHP. PHP Magazin, (2001), Nr. Sp, S. 81+.
Uwe Steinmann: PostgreSQL als Alternative zu kommerziellen Datenbanken und MySQL. PHP Magazin, (2001), Nr. Sp, S. 73+.
Bernd J. Krämer: Software Engineering (Editorial). Journal of Integrated Design & Process Science, 5(2001), Nr. 3, S. 1-3.

2000

Bernd J. Krämer: CUBER: Kursmakler und Portal zu europaweiten Bildungsangeboten, In: Jahrbuch 2000, Seiten 57-65. Gesellschaft der Freunde der FernUniversität, 2000.
Bernd J. Krämer: Forming Federated Virtual University Through Course Broker Middleware, In: LearnTEC 2000, Seiten 137-148, 2000.
Bernd J. Krämer, Nathalie Poerwantoro: An XML-based Approach for Web-based Self Assessment, In: ED-MEDIA 2000 2000.
Mike P. Papazoglou, Bernd J. Krämer: Modeling Object Dynamics, In: Advances in Object-Oriented Data Modeling, Seiten 195-217. MIT Press, 2000.
Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz: Multibook's test environment, In: ICSE, Seiten 680-683, 2000.
Egon Schmidt, Christian Cartus, Wolfgang Drews, Hartmut Holzgraefe, Uwe Steinmann, Christian Wenz: PHP4, dynamischer Webauftritte professionell realisieren. Markt & Technik, 2000.
Wolfgang A. Halang, Bernd J. Krämer, Sias Mostert: Formal Verification of Function Blocks for Industrial Process Automation. Forschungsbericht 3/2000 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2000.
Bernd J. Krämer: FernUniversitäts Strategy to Build a Virtual University. Forschungsbericht 2/2000 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2000.
Christian Martens: Entwurf einer agentenorientierten Softwarestruktur für einen Rehabilitationsroboter. Forschungsbericht 1/2000 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 2000.
Hans-Arno Jacobsen, Bernd J. Krämer: Modeling Interface Definition Language Extensions, In: Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000, IEEE Computer Society, Seiten 242-252, 2000.

1999

Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker: 3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML, In: Simulation und Visualisierung 1999 (SimVis 1999), 4-5 März 1999, Magdeburg, SCS Publishing House e.V, Seiten 19-32, 1999.
Bernd J. Krämer, Hans Liebig: Virtueller Stahlmarkt im Internet, In: Jahrbuch 1999, Gesellschaft der Freunde der FernUniversität, Seiten 139-146, 1999.
Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Thomas Dammann, Stephan Fischer, Bernd J. Krämer, Ralf Steinmetz: A Component-based Model for Interactive Tests, In: Workshop im Rahmen der 29. Jahrestagung der Gesellschaft für Informatik (Informatik 99), Seiten 680-683, 1999.
Bernd J. Krämer: Are Virtual Universities a Model for Answering Continuous Vocational Demands in Software Engineering Education?, In: The 11th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, Seiten 88-91, 1999.
Bernd J. Krämer, Uwe Steinmann: A market place for multimedia components, In: ICDE 99 1999.
Bernd J. Krämer: Middleware and Universal Programming Interfaces for Multimedia Applications, In: erteilte multimediale Anwendungen und diensteintegrierende Kommunikationsnetze, Seiten 71-81, 1999.
Bernd J. Krämer, Lutz Wegner: Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces, In: Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems, IEEE Computer Soc. Press, Seiten 131-136, 1999.
Norbert Völker, Bernd J. Krämer: Modular Verification of Function Block Based Industrial Control Systems, In: 24th IFAC/IFIP Workshop on Real-Time Programming 1999.
Jens Krinke, Torsten Robschink: Kombination von Slicing und Constraint-Solving für Software-Reengineering, In: Workshop Software Reengineering 1999.
Torsten Robschink, Jens Krinke: Heuristische Graphzerlegung, In: Sicherheit und Zuverlässigkeit Software-basierter Systeme 1999.
Uwe Steinmann: Hyperwave als Entwicklungsumgebung für einen Multimedia-Katalog, In: Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, Darmstadt, 2.-5. März 1999, Springer, Seiten 438-449, 1999.
Uwe Steinmann: Hyperwave als Entwicklungsumgebung für einen Multimedia-Katalog, In: Kommunikation in verteilten Systemen, Springer, Seiten 438-449, 1999.
Bernd J. Krämer: Einsichten und Erfahrungen mit einer Virtuellen Universität im Fernstudium. Forschungsbericht 1/1999 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 1999.
Hans-Arno Jacobsen, Bernd J. Krämer: Design Patterns for Synchronization Adaptors of CORBA Objects. Forschungsbericht 2/1999 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 1999.
Jens Krinke, Torsten Robschink, Gregor Snelting: Software-Sicherheitsprüfung mit VALSOFT. Informatik -- Forschung und Entwicklung, 14(1999), Nr. 2, S. 62-73.
Bernd J. Krämer, H.C. Liebig: Interfacing OSIS and SAP R/3, In: 8th International Conference on Human-Computer Interaction, Fraunhofer IRB-Verlag 1999.

1998

Peter Croll, Bernd J. Krämer, Stefano Russo, Naoshi Uchihira: Third International Symposium on Software Engineering for Parallel and Distributed Systems. IEEE Computer Society, 1998.
Hans-Arno Jacobsen, Bernd J. Krämer: A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL, In: The 13th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, Seiten 63-74, 1998.
Bernd J. Krämer, Lutz Wegner: From Custom Text Books to Interactive Distance Teaching, In: ED-MEDIA/ED-TELECOM 98, Prentice Hall 1998.
Bernd J. Krämer: Distributed Object Platforms: The CORBA Standard, In: Information Systems Interoperability, Seiten 13-38. Research Studies Pr. [u.a.], 1998.
Bernd J. Krämer: Synchronization Constraints in Object Interfaces, In: Information Systems Interoperability, Seiten 111-142. Research Studies Pr. [u.a.], 1998.
Bernd J. Krämer, Mike P. Papazoglou, Heinz W. Schmidt: Information Systems Interoperability. Research Studies Pr. [u.a.], 1998.
Mike P. Papazoglou, Makoto Takizawa, Bernd J. Krämer, Samuel Chanson: The 18th International Conference on Distributed Computing Systems. IEEE Computer Society, 1998.
Jens Krinke, Gregor Snelting, Torsten Robschink: Software-Sicherheitsprüfung mit VALSOFT, In: Softwaretechnik 98 1998.
Jens Krinke: Static Slicing of Threaded Programs, In: Proc. ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), Seiten 35-42, 1998.
Klaus-Dieter Kribber: Berücksichtigung gewerblicher Schutzrechte in Software-Entwicklungsprojekten. Forschungsbericht 1/1998 des Fachbereichs Elektrotechnik & Informationstechnik, FernUniversität in Hagen, 1998.
Norbert Völker: Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL. Shaker, 1998.
Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter: Deriving CORBA Applications from Formal Specifications. Journal of Systems Integration, 8(1998), Nr. 2, S. 143-158.
Bernd J. Krämer, Thomas Koch: Distributed Systems Management Software-in-the-Loop. International Journal of Software Engineering and Knowledge Engineering, 8(1998), Nr. 1, S. 55-76.
Jens Krinke, Gregor Snelting: Validation of Measurement Software as an Application of Slicing and Constraint Solving. Information and Software Technology, 40(1998), Nr. 11-, S. 661-675.
Wolfgang A. Halang, Bernd J. Krämer: Neue Medien im Fernstudium, In: Informatik und Ausbildung, GI-Fachtagung 98, Informatik und Ausbildung, Springer-Verlag, Seiten 286-288, 1998.

1997

Thomas Koch, Bernd J. Krämer, P. Dini, G. v. Bochmann: Agent based Management of Distributed Systems with Variable Polling Frequency Policies, In: Proceedings of the fifth IFIP/IEEE international symposium on Integrated network management V : integrated management in a virtual world, Chapman and Hall, Seiten 553-564, 1997.
Bernd J. Krämer: A Case Study in Developing Complex Safety Critical Systems, In: Hawaii International Conference on System Sciences, Seiten 135-143, 1997.
Uwe Steinmann, David Shearer: Reusing Multi-Media Components: A Catalogue Implementation, In: Advances in Information Technology: The Business Challenge, IOS Press, Seiten 530-536, 1997.
Klaus Gotthardt, Reiner Lichtenecker: Verification of Distributed Applications by translating CCS to Binary Decision Diagrams, In: FBT, Seiten 39-48, 1997.
Bernd J. Krämer, Lutz Wegner: Collaboration Support in Networked Distance Learning. , 1997.
Daniel E. Cooke, Bernd J. Krämer, Phillip C.-Y. Sheu, Jeffrey J.P. Tsai, R. Mittermeir: Proceedings of the 2nd World Conference on Integrated Design and Process Technology, Vol. 1. Society for Process and Design Sciences, 1996.
Bernd J. Krämer, Norbert Völker: Safety-Critical Real-Time Systems. Kluwer Academic Publishers, 1997.
Bernd J. Krämer, Norbert Völker: A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real-Time Systems, 13(1997), Nr. 3, S. 237-251.
Mike P. Papazoglou, Bernd J. Krämer: Erratum: A Database Model for Object Dynamics. VLDB Journal: Very Large Data Bases, 6(1997), Nr. 3, S. 257-260.
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, Joe A. Turner: Keeping Pace with an Information Society. IEEE Computer, 30(1997), Nr. 11, S. 46-57.
Mike P. Papazoglou, Bernd J. Krämer: A Database Model for Object Dynamics. VLDB Journal: Very Large Data Bases, 6(1997), Nr. 2, S. 73-96.
Bernd J. Krämer: Editorial. Real-Time Systems, 13(1997), Nr. 3, S. 217-218.
Bernd J. Krämer: New Possibilities for Distance Learning. Computer, 30(1997), S. 53-55.

1996

Thomas Koch, Gregor Henze, Bernd J. Krämer: Annotations for Synchronization Constraints in CORBA IDL, In: 3rd Workshop on Services in Distributed and Networked Environments (SDNE '96), IEEE Computer Society, Seiten 122-131, 1996.
Thomas Koch, Christoph Krell, Bernd J. Krämer: Policy Definition Language for Automated Management of Distributed Systems, In: 2nd IEEE International Workshop on Systems Management (SMW'96), IEEE Computer Society Press, Seiten 55-64, 1996.
Thomas Koch, Bernd J. Krämer, M. Wendt, R. Seibel, D. Grönemeyer: Using the CORBA standard in a medical environment, In: 10th Int. Symposium on Computer and Communication Systems for Image Guided Diagnosis and Therapy, Elsevier Science Ltd, Seiten 421-424, 1996.
Bernd J. Krämer: Using Heterogeneous Formal Methods in Distributed Software, In: Algebraic Methodology and Software Technology, Springer-Verlag, Seiten 43-51, 1996.
Rick Hohendorf, Yoshiaki Kakuda, Bernd J. Krämer, Kelvin Nilsen, Kevin Ryan: 2nd IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society, 1996.
Bernd J. Krämer, Thomas Koch: Knowledge-Based Support for Distributed Systems Management, In: Software Engineering and Knowledge Engineering (SEKE 1996), Knowledge Systems Institute, Seiten 480-487, 1996.
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(1996), Nr. 3, S. 269-308.
Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Integrated Multimedia-Based Distance Teaching of Information Technology. The Journal of Universal Computer Science, 2(1996), Nr. 6, S. 443-455.
Thomas Koch, Bernd J. Krämer: Rules and agents for automated management of distributed systems. Distributed Systems Engineering, 3(1996), Nr. 2, S. 104-114.
Joris Wotte, Wolfgang A. Halang, Bernd J. Krämer: Environmental Engineering and Pollution Prevention: European Network of Excellence and Partnership. Kluwer Academic Publishers, 1996.

1995

W. J. Cullyer, Wolfgang A. Halang, Bernd J. Krämer: High Integrity Programmable Electronic Systems. IBFI GmbH, Schloss Dagstuhl, 1995.
Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer: Enforcing management policies in distributed systems, In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems, IEEE Computer Society, Seiten 474-480, 1995.
Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung, In: Innovative Konzepte für die Ausbildung, Springer, Seiten 118-127, 1995.
Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen, In: Verlässliche Informationssysteme, Vieweg, Seiten 229-249, 1995.
Thomas Koch, Bernd J. Krämer, Gerald Rohde: Adaptiver Scheduler für verteilte Systeme., In: Kommunikation in Verteilten Systemen, Springer, Seiten 316-329, 1995.
Thomas Koch, Bernd J. Krämer, Gerald Rohde: A Rule-based Management Architecture, In: Second International Workshop on Services in Distributed and Networked Environments, IEEE Computer Society, Seiten 68-75, 1995.
Bernd J. Krämer, Norbert Völker: Eine hochverlässliche Rechenarchitektur für sicherheitskritische Steuer- und Regelanwendungen, In: Entwurf hochzuverlässiger Software in der Praxis 1995.
Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus: Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. The Computer Journal, 38(1995), Nr. 4, S. 301-309.
Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formally Verified Firmware Modules for Industrial Process Automation. High Integrity Systems, 1(1995), Nr. 3, S. 277-286.
Mike P. Papazoglou, Alex Delis, Bernd J. Krämer: Middleware Infrastructures for Distributed Information Systems. Computer Systems: Science & Engineering, 10(1995), Nr. 4, S. 195-206.
Mike P. Papazoglou, Alex Denis, Bernd J. Krämer: Use of middleware facilities in interoperable databases. International Journal of Computer Systems Science and Engineering, 10(1995), Nr. 4, S. 195-206.

1994

Bernd J. Krämer: Rule-Enhanced Petri Nets for Software Process Modeling, In: Software Engineering and Knowledge Engineering (SEKE 1994), Knowledge Systems Institute, Seiten 493-500, 1994.
Bernd J. Krämer, Burhan Dinler: Applying Process Technology to Hardware Design., In: Software Process Technology, Springer, Seiten 240-248, 1994.
Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya: On the Representation of Objects with Polymorphic Shape and Behaviour, In: International Conference on Conceptual Modeling / the Entity Relationship Approach, Seiten 223-240, 1994.
Wolfgang A. Halang, Bernd J. Krämer: Safety Assurance in Process Control. IEEE Software, 11(1994), Nr. 1, S. 61-67.
Bernd J. Krämer, Norbert Völker, Thomas Koch, Klaus Gotthardt: Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Praxis der Informationsverarbeitung und Kommunikation, 17(1994), Nr. 3, S. 136-149.

1993

Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer, Johan J. Scheepstra: A Safety Licensable Computing Architecture. World Scientific Publishing, 1993.
Wolfgang A. Halang, Bernd J. Krämer: PEARL als Spezifikationssprache, In: PEARL, Seiten 43-51, 1993.
Wolfgang A. Halang, Bernd J. Krämer: Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozessautomatisierung, In: Verlässliche Informationssysteme, Vieweg, Seiten 163-174, 1993.
Klaus Gotthardt: Quelle-Ziele-Durchsätze in Multihop-Paketfunknetzen, In: MMB, Seiten 306-318, 1993.
Bernd J. Krämer, Luqi, Valdis Berzins: Compositional Semantics of a Real-Time Prototyping Language. IEEE Transactions on Software Engineering, 19(1993), Nr. 5, S. 543-477.

1992

Claus Hoffmann, Bernd J. Krämer, Burhan Dinler: Multiparadigm Description of System Development Processes, In: Software Process Technology, Springer, Seiten 123-137, 1992.
Wolfgang A. Halang, Bernd J. Krämer: Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification. IEE Software Engineering Journal, 7(1992), Nr. 1, S. 53-67.
Bernd J. Krämer: Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Informatik -- Forschung und Entwicklung, 7(1992), Nr. 2, S. 62-72.
Bernd J. Krämer, Mike P. Papazoglou: Trends and Research Directions in Software Engineering Environments. International Journal of Software Engineering and Knowledge Engineering, 2(1992), Nr. 1, S. 1+.

1991

Bernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn: Coordinating software process activities, In: Seventh International Software Process Workshop, IEEE Computer Society, Seiten 88-90, 1991.
Bernd J. Krämer, Heinz W. Schmidt: Types and Modules for Net Specifications, In: High-level Petri Nets Theory and Application, Springer-Verlag, Seiten 171-188, 1991.
Klaus Gotthardt: Verteilung der Anzahl Hops einer Quelle-Ziel-Übertragung im Multihop-Paketfunknetz, In: MMB, Seiten 182-195, 1991.
Bernd J. Krämer: Prototyping and formal analysis of concurrent and distributed systems, In: International Workshop on Software Specifications & Design, ACM Press, Seiten 60-66, 1991.
Wolf D. Itzfeld, Bernd J. Krämer, Marie-Luise Christ-Neumann: The project GRASPIN and its CASE environment prototypes: an overview. Journal of Systems and Software, 15(1991), Nr. 1, S. 5-16.
Bernd J. Krämer: Introducing the GRASPIN specification language SEGRAS. Journal of Systems and Software, 15(1991), Nr. 1, S. 17-31.
Bernd J. Krämer: A sort of parametric polymorphism for algebraic specifications. Journal of Systems and Software, 15(1991), Nr. 1, S. 33-42.
Bernd J. Krämer, Luqi: Toward formal models of software engineering processes. Journal of Systems and Software, 15(1991), Nr. 1, S. 63-74.

1989

Bernd J. Krämer: Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributes Systems. Oldenbourg, 1989.
Bernd J. Krämer: Specifying concurrent objects. SIGPLAN Notices, 24(1989), Nr. 4, S. 162-164.
Bernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software, 6(1989), Nr. 1, S. 98-107.

1988

Bernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL, In: Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, Seiten 11-21, 1988.

1987

Bernd J. Krämer: SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems, In: International Conference on Software Engineering, ACM Press, Seiten 116-125, 1987.
Bernd J. Krämer, Heinz W. Schmidt: Types and Modules for Net Specifications, In: Concurrency and Nets, Seiten 269-286. Springer-Verlag, 1987.

1986

Bernd J. Krämer: Die Spezifikations- und Entwurfsprache SEGRAS. Handbuch der modernen Datenverarbeitung, 130(1986), Nr. 107, S. 116.

1985

Bernd J. Krämer: Stepwise construction of non-sequential software systems using a net-based specification language, In: Advances in Petri Nets 1984, Seiten 307-330. Springer-Verlag, 1985.
Bernd J. Krämer: Stepwise construction of non-sequential software systems using a net-based specification language, In: Proceedings of the European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, Springer-Verlag, Seiten 307-330, 1985.

1984

Bernd J. Krämer: Formal and Semi-Graphic Specification of Non-Sequential Systems., In: Entwurf grosser Software-Systeme, Teubner, Seiten 134-160, 1984.

1982

Bernd J. Krämer, Heinz W. Schmidt: A High Level Net Language for Stepwise Modeling of Organizational Systems, In: International Working Conference on Model Realism, Springer-Verlag, Seiten 156-170, 1982.

1981

Bernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen, In: GI Jahrestagung mit Third Conference of the European Co-operation in Informatics, Springer, Seiten 460-471, 1981.

1980

Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung, In: Software Engineering, Teubner, Seiten 310-311, 1981.

1979

Bernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars, In: GI Jahrestagung, Springer, Seiten 194-205, 1979.

DVT-Webmaster | 03.09.2014
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Datenverarbeitungstechnik, 58084 Hagen, Tel.: +49 2331 987-371, E-Mail: dvt-webmaster@fernuni-hagen.de