Universität Bremen  
  FB 3  
  Group BKB > Prof. Dr. Krieg-Brückner > Deutsch
English
 

Publications

 
 

Go to year:  to appear   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1984   1983   1981   1980   1979   1978   1977   1974   1973   1972   1971 


to appear     Back to top

B. Krieg-Brückner, H. Shi, B. Gersdorf, M. Döhle, T. Röfer. Context-Sensitive Spatial Interaction and Ambient Control. In Mastrogiovanni, F. Chong, N.-Y. (Eds.), Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives.   detail

2013     Back to top

Bernd Krieg-Brückner, Bernd Gersdorf, Christian Mandel, Christoph Budelmann, Marcus-Sebastian Schröder (2013). Navigation Aid for Mobility Assistants. In Proceedings of the Joint CEWIT-TZI-acatech Workshop “ICT meets Medicine and Health” ICTMH 2013 .   detail   pdf

2012     Back to top

Bernd Krieg-Brückner, Hui Shi (2012). Reasoning About Large Places. In Proceedings of International Workshop on Place-Related Knowledge Acquisition Research (P-KAR) 2012.   detail

2011     Back to top

B. Krieg-Brückner, T. Röfer, H. Shi, B. Gersdorf (2011). Mobilitätassistenz im "Bremen Ambient Assisted Living Lab" (BAALL). In Altern und Technik (Altern in Deutschland Bd. 6), Nova Acta Leopoldina NF, 104 (368), pp. 157–174.   detail

2010     Back to top

Fischer, C., Shi, H., Jian , C., Schafmeister, F., Menrad, N., v. Steinbüchel, N., Schill, K., Krieg-Brückner, B. (2010). Modelling User Behaviour while Driving an Intelligent Wheelchair. In Proceedings of Third International Conference on Health Informatics.   detail
J. Frey, Christoph Stahl, Thomas Röfer, Bernd Krieg-Brückner, Jan Alexandersson (2010). The DFKI Competence Center for Ambient Assisted Living. In Boris de Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio M. Gomez (Eds.), Ambient Intelligence: First International Joint Conference, AmI 2010, Vol. 6439, pp. 310–314, Lecture Notes in Computer Science. Springer, Heidelberg.   detail
Bernd Krieg-Brückner, Thomas Röfer, Hui Shi, Bernd Gersdorf (2010). Mobility Assistance in the Bremen Ambient Assisted Living Lab. In GeroPsych: The Journal of Gerontopsychology and Geriatric Psychiatry, 23 (2), pp. 121–130. Verlag Hans Huber.   detail
Shi, H., Jian, C., Krieg-Brückner, B. (2010). Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. In Ray Jarvis, Cosmin Dini (Eds.), Proceedings of The Third International Conference on Advances in Computer-Human Interactions, IEEE.   detail

2009     Back to top

C. Jian, H. Shi, B. Krieg-Brückner (2009). SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. In AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.   detail
B. Krieg-Brückner, H. Shi (2009). Spatio-Temporal Situated Interaction in Ambient Assisted Living. In Ritter, H., Sagerer, G., Steil, J. (Eds.), Proceedings of Third International Workshop on Human Centered Robotic Systems, HCRS'09, No. 205-214.   detail
Bernd Krieg-Brückner, Hui Shi, Carsten Fischer, Thomas Röfer, Jian Cui, Kerstin Schill (2009). Welche Sicherheitsassistenz brauchen Rollstuhlfahrer?. In 2. Deutscher AAL-Kongress 2009. VDE-Verlag, Berlin-Offenbach, Germany.   detail   pdf

2008     Back to top

Hui Shi, Bernd Krieg-Brückner (2008). Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. In International Journal of Software and Informatics, 2 (1), pp. 33–60.   detail
Hui Shi, Bernd Krieg-Brückner (2008). Qualitative Semantic Representation of Spatial Knowledge in Dialogue Systems. In KI Zeitschrift, Vol. 3, pp. 59–61.   detail

2007     Back to top

Christoph Lüth, Bernd Krieg-Brückner (2007). Sicherheit in der Künstlichen Intelligenz. In Künstliche Intelligenz, Vol. 1, pp. 51–52.   detail   pdf

2006     Back to top

Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In M. Raubal, H. Miller, A. Frank, M. Goodchild (Eds.), Geographic Information Science - Fourth International Conference, GIScience 2006, Vol. 4197, Lecture Notes in Computer Science. Springer, Berlin.   detail
Bernd Krieg-Brückner, Hui Shi (2006). Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. In Raubal, M., Miller, H.J., Frank, A.U., Goodchild, M.F. (Eds.), Proc. International Conference GIScience 2006, Münster, Germany, Vol. 4197, pp. 234–250, Lecture Notes in Computer Science. Springer Verlag. (to appear).   detail

2005     Back to top

B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, R. Ross (2005). Specification of an Ontology for Route Graphs. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition IV, Vol. 3343, pp. 390–412, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   pdf
K. Lüttich, T. Mossakowski, B. Krieg-Brückner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 106–125, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf

2004     Back to top

CoFI Language Design Group, B. Krieg-Brückner, P.D. Mosses (2004). CASL Syntax / CASL Summary. In P.D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail
B. Krieg-Brückner, A. Lindow, C. Lüth, A. Mahnke, G. Russell (2004). Semantic Interrelation of Documents via an Ontology. In G. Engels, S. Seehusen (Eds.), DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, pp. 271–282, Lecture Notes in Informatics. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf
A. Mahnke, B. Krieg-Brückner (2004). Literate Ontology Development. In Robert Meersman, Zahir Tari, Angelo Corsaro et al. (Eds.), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, Vol. 3292, pp. 753–757, Lecture Notes in Computer Science. Springer, Berlin.   detail   pdf
K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Eds.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109–119.   detail   pdf
R. Ross, H. Shi, T. Vierhuff, B. Krieg-Brückner, J. Bateman (2004). Towards Dialogue Based Shared Control of Navigating Robots. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition 2004, Vol. 3343, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

2003     Back to top

B. Krieg-Brückner, D. Hutter, A. Lindow, C. Lüth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus, M. Wirsing (2003). MultiMedia Instruction in Safe and Secure Systems. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, Vol. 2755, pp. 82–117, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   pdf
Axel Lankenau, Thomas Röfer, Bernd Krieg-Brückner (2003). Self-Localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. In Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender (Eds.), Spatial Cognition III, Vol. 2685, pp. 34–61, Lecture Notes in Artificial Intelligence. Springer.   detail   pdf

2002     Back to top

E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. D. Mosses, D. Sannella, A. Tarlecki (2002). CASL - the Common Algebraic Specification Language. In Theoretical Computer Science, Vol. 286, pp. 153–196.   detail     www
B. Krieg-Brückner (2002). MMiSS -- MultiMedia-Instruction in Safe and Secure Systems. In D. Hutter, W. Stephan (Eds.), Essays in Honor of Joerg H. Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

2000     Back to top

E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.) (2000). Algebraic Foundations of System Specification. IFIP State-of-the-Art Reports. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
D. Basin, B. Krieg-Brückner (2000). Formalization of the Development Process. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foun­dations of System Specification, pp. 521–562, IFIP State-of-the-Art Reports. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
T. Mossakowski, A. Haxthausen, B. Krieg-Brückner (2000). Subsorted Partial Higher-Order Logic as an Extension of CASL. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 126–145, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
S. Werner, B. Krieg-Brückner, T. Herrmann (2000). Modelling Navigational Knowledge by Route Graphs. In C. Freksa, C. Habel, K.F. Wender (Eds.), Spatial Cognition II, Vol. 1849, pp. 295–317, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1999     Back to top

B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1999). UniForM Workbench, Universelle Entwicklungsumgebung für Formale Methoden; Schlussbericht. Vol. 9, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.   detail
B. Krieg-Brückner (1999). UniForM Perspectives for Formal Methods. In D. Hutter, W. Stephan, P. Traverso, M. Ullmann (Eds.), Applied Formal Methods -- FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods, No. 1641, pp. 251–265, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner, J. Peleska, E.-R. Olderog, A. Baer (1999). The UniForM Workbench, a Universal Develop­ment Environment for Formal Methods. In J.M. Wing, J. Woodcock, J. Davies (Eds.), FM'99, Formal Methods. Proceedings, 2 (1709), pp. 1186–1205, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1998     Back to top

Andreas Bühlmeier, Jörg Kollmann, Bernd Krieg-Brückner, Thomas Röfer (Eds.) (1998). Studentisches Projekt SAUS: Sensomotorik autonomer Systeme. Informatik Bericht. ISSN 0722-8996. Universität Bremen.   detail
B. Krieg-Brückner (1998). A Taxonomy of Spatial Knowledge for Navigation. In U. Schmid, F. Wysotzki (Eds.), Qualitative and Quantitative Approaches to Spatial Inference and the Analysis of Movements, No. 98-2. Technische Universität Berlin; Computer Science Department. Technical Report.   detail
Bernd Krieg-Brückner, Thomas Röfer, Hans-Otto Carmesin, Rolf Müller (1998). A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. In Christian Freksa, Christopher Habel, Karl F. Wender (Eds.), Spatial Cognition, Vol. 1404, pp. 373–397, Lecture Notes in Artificial Intelligence. Springer.   detail   postscript
A. Lankenau, O. Meyer, B. Krieg-Brückner (1998). Safety in Robotics: The Bremen Autonomous Wheelchair. In Proceedings of the 5th Int. Workshop on Advanced Motion Control (AMC '98), pp. 524–529.   detail   postscript
T. Mossakowski, Kolyang, B. Krieg-Brückner (1998). Static Semantic Analysis and Theorem Proving for CASL. In F. Parisi-Pressice (Ed.), Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, No. 1376, pp. 333–348, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail   postscript

1997     Back to top

M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Brückner, Z. Qian, M. Wolf (Eds.) (1997). Algebraic System Specification and Development: Survey and Annotated Bibliography. Vol. 3, Monographs of the Bremen Institute of Safe Systems (BISS). Shaker Verlag, Postfach 1290, 52013 Aachen.   detail
M. Cerioli, A. Haxthausen, B. Krieg-Brückner, T. Mossakowski (1997). Permissive Subsorted Partial Logic in CASL. In M. Johnson (Ed.), Algebraic methodology and software technology, 6th international conference, AMAST 97, No. 1349, (p. 91–107). , Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   postscript
J. Kollmann, A. Lankenau, A. Bühlmeier, B. Krieg-Brückner, T. Röfer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, pp. 35–45. AISB-97 Workshop, Manchester University.   detail
Jörg Kollmann, Axel Lankenau, Andreas Bühlmeier, Bernd Krieg-Brückner, Thomas Röfer (1997). Navigation of a Kinematically Restricted Wheelchair by the Parti-Game Algorithm. In Spatial Reasoning in Mobile Robots and Animals, AISB-97 Workshop, pp. 35–44. Manchester University.   detail   postscript
S. Werner, B. Krieg-Brückner, H.A. Mallot, K. Schweitzer, C. Freksa (1997). Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. In M. Jarke, K. Pasedach, K. Pohl (Eds.), Informatik ´97, pp. 41–50. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1996     Back to top

B. Krieg-Brückner (1996). Seven Years of COMPASS. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), No. 1130, pp. 1–13, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
Z. Qian, B. Krieg-Brückner (1996). Typed Object-Oriented Functional Programming with Late Binding. In Proc. 10th European Conf. on Object-Oriented Programming, No. 1098, pp. 48–72, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
Z. Qian, B. Krieg-Brückner (1996). Object-Oriented Functional Programming and Type Reconstruction. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification. Proc. 11th ADT/COMPASS Workshop (Oslo 1995), No. 1130, pp. 458–477, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
Z. Qian, B. Krieg-Brückner (1996). An Approach to Object-Oriented Functional Programming. In A. Pnueli, H. Lin (Eds.), Proc. 1995 Int'l. Workshop on Logic and Software Engineering, pp. 71–89. World Scientific Publishing, Singapore.   detail

1995     Back to top

Bernd Krieg-Brückner, Christoph Herwig (Hrsg.) (1995). Tagungsband des Workshops Kognitive Robotik. Universität Bremen; Zentrum für Kognitionswissenschaften.   detail
B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1995). Universelle Entwicklungsumgebung für Formale Methoden (UniForM Workbench). No. 8/95 Informatik Bericht. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.   detail
B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1995). Towards Correct, Efficient and Reusable Transformational Developments. In M. Broy, S. Jähnichen (Eds.), KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report., No. 1009, pp. 270–284, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1994     Back to top

B. Krieg-Brückner (Hrsg.) (1994). Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software); Band 2. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.   detail
Bernd Krieg-Brückner (Hrsg.) (1994). Graduiertenkolleg Raumorientierung und Handlungsorganisation Autonomer Systeme an der Universität Bremen, Berichte der Arbeitsgruppen. Universität Bremen; Zentrum für Kognitionswissenschaften.   detail
B. Krieg-Brückner, W. Menzel (1994). System Architecture Framework for KORSO. In B. Krieg-Brückner (Ed.), Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software), No. 1/94, Informatik Bericht. ISSN 0722-8996. Universität Bremen.   detail
B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff (1994). Towards Correct, Efficient and Reusable Transformational Developments (extended version). In B. Krieg-Brückner (Ed.), Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software), No. 1/94, Informatik Bericht. ISSN 0722-8996. Universität Bremen.   detail

1993     Back to top

B. Hoffmann, B. Krieg-Brückner (Eds.) (1993). PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. No. 680, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1993). Introduction [to PROgram development by SPECification and TRAnsformation]. In B. Hoffmann, B. Krieg-Brückner (Eds.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, No. 680, pp. 3–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner, E.W. Karlsen, J. Liu, O. Traynor (1993). Uniform Transformational Development. In B. Hoffmann, B. Krieg-Brückner (Eds.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, No. 680, pp. 317–330, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner, J. Liu, B. Wolff, H. Shi (1993). Towards Correctness, Efficiency and Reusability of Transformational Developments. In H. Reichel (Ed.), Informatik — Wirtschaft — Gesellschaft, 23. GI Jahrestagung 1993, Dresden, Fachgespräch "Spezifikation und Semantik", pp. 241–252, Informatik aktuell. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer (1993). UniForM, Universal Formal Methods Workbench. In U. Grote, G. Wolf (Eds.), Statusseminar des BMBF: Softwaretechnologie, pp. 337–356. Deutsche Forschungsanstalt für Luft- und Raumfahrt, Berlin.   detail
J. Liu, B. Krieg-Brückner (1993). Transformation. In B. Hoffmann, B. Krieg-Brückner (Eds.), PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, No. 680, pp. 99–127, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1992     Back to top

E.W. Karlsen, B. Krieg-Brückner, O. Traynor (1992). The PROSPECTRA System: A Unified Development Framework. In M. Nivat, C. Rattray, T. Rus, G. Scollo (Eds.), Algebraic Methodology and Software Technology (AMAST'91), Workshop in Computing, pp. 421–433. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1992). ESPRIT vereint Europa. In Impulse aus der Forschung, Universität Bremen, Vol. 13, pp. 9–12.   detail
O. Traynor, J. Liu, B. Krieg-Brückner (1992). Knowledge-Based Transformational Programming. In In Proc. 4th International Conf. on Software Engineering and Knowledge Engineering, Capri, Italy.   detail

1991     Back to top

B. Krieg-Brückner, D. Plump (eds.) (1991). COMPASS, a COMPrehensive Algebraic approach to System Specification and development (ESPRIT Basic Research Working Group 3264). Final Report.. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.   detail
B. Krieg-Brückner (1991). Transformational Meta-Program Development. In M. Broy, M. Wirsing (Eds.), Methods of Programming, No. 544, pp. 19–34, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner, D. Sannella (1991). Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. In Proc. TAPSOFT´91, No. 494, pp. 313–336, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner, E.W. Karlsen, J. Liu, O. Traynor (1991). The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. In S. Prehn, W.J. Toetenel (Eds.), VDM‘91, Formal Software Development Methods, Proc. 4th Int‘l Symp. of VDM Europe, 2: Tutorials (552), pp. 363–397, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1990     Back to top

B. Krieg-Brückner (1990). PROgram development by SPECification and TRAnsformation (revised version, invited paper). In Technique et Science Informatiques: Special Issue on Advanced Software Engineering in ESPRIT, pp. 134–149.   detail
B. Krieg-Brückner (1990). COMPASS, a COMPrehensive Algebraic approach for System Specification and development, ESPRIT Basic Research Working Group 3264. In EATCS Bulletin, No. 40, pp. 144–157.   detail
B. Krieg-Brückner (1990). PROgram development by SPECification and TRAnsformation. In Baader (Ed.), Werkzeuge der Software-Verifikation.   detail
B. Krieg-Brückner (1990). PROgram development by SPECification and TRAnsformation. In G. Kahn (Ed.), Proc. Summer School on Programming Environments in ESPRIT (Sophia Antipolis).   detail

1989     Back to top

P. de la Cruz, B. Krieg-Brückner, A. Perez Riesco (1989). From Algebraic Specifications to Correct Ada Programs. In A. Alvarez (Ed.), Proc. Ada Europe Conf. 89 (Madrid), Ada Companion Series. Cambridge University Press.   detail
B. Krieg-Brückner (ed.) (1989). COMPASS, a COMPrehensive Algebraic approach to System Specification and development: Objectives, State of the Art, References. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.   detail
B. Krieg-Brückner (1989). Algebraic Specification and Functionals for Transformational Program and Meta-Program Development. In J. Diaz, F. Orejas (Eds.), Proc. TAPSOFT '89 (Barcelona), 2 (352), pp. 36–59, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1989). Algebraic Specification with Functionals in Program Development by Transformation. In H. Hünke (Ed.), Proc. ESPRIT Conf. '89, pp. 302–320. Kluwer Academic Publishers, Dordrecht, The Netherlands.   detail

1988     Back to top

B. Krieg-Brückner (1988). Algebraic Formalisation of Program Development by Transformation. In H. Ganzinger (Ed.), Proc. European Symp. On Programming '88, No. 300, pp. 34–48, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1988). The PROSPECTRA Methodology of Program Development. In J. Zalewski (Ed.), Proc. IFIP/IFAC Working Conf. on Hardware and Software for Real Time Process Control (Warsaw), pp. 257–271. North Holland.   detail

1987     Back to top

B. Krieg-Brückner (1987). An Introduction to Ada Language (adaptation to Chinese by Chen Zushun et. al.). In Computer Research and Development, No. 25:2, pp. 37–53.   detail
B. Krieg-Brückner (1987). Systematic Transformation of Interface Specifications. In L. G. T. L. Meertens (Ed.), Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (Tölz \'86), pp. 269–291. North Holland.   detail
B. Krieg-Brückner, B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. Möncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein (1987). PROgram development by SPECification and TRAnsformation. In M.W. Rogers (Ed.), Results and Achievements, Proc. ESPRIT Conf. '86, pp. 301–312. North Holland.   detail
B. Krieg-Brückner (1987). Integration of Program Construction and Verification: the PROSPECTRA Methodology. In U. Montanari (Ed.), Innovative Software Factories and Ada. Proc. CRAI Int'l Spring Conf. '86, No. 275, pp. 173–194, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1987). Formalisation of Developments: an Algebraic Approach. In M.W. Rogers (Ed.), Achievements and Impact, Proc. ESPRIT Conf. '87, pp. 491–501. North Holland.   detail
D.C. Luckham, F.W. von Henke, B. Krieg-Brückner, O. Owe (1987). Anna, a Language for Annotating Ada Programs: Reference Manual. No. 260, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1986     Back to top

B. Krieg-Brückner (1986). Korrekte Software durch PROSPECTRA. In Impulse aus der Forschung, Universität Bremen, Vol. 2, pp. 18–20.   detail
B. Krieg-Brückner, H. Ganzinger, R. Wilhelm, M. Broy, U. Möncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein (1986). PROgram development by SPECification and TRAnsformation in Ada/Anna. In P. Wallis (Ed.), Ada: Managing the Transition, Proc. Ada Europe Conf. 86 (Edinburgh), pp. 249–260, Ada Companion Series. Cambridge University Press.   detail

1985     Back to top

F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T.A. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsin (1985). The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. 1 (183), Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1985). Transformation of Interface Specifications. In H.-J. Kreowski (Ed.), Recent Trends in Data Type Specification, No. 116, pp. 156–170, Informatik Fachberichte.   detail
F.W. von Henke, D.C. Luckham, B. Krieg-Brückner, O. Owe (1985). Semantic Specification of Ada Packages. In J.G.P. Barnes, G.A. Fisher, jr (Eds.), Ada in Use, Proc. Ada Int´l Conf. 85 (Paris), pp. 185–198, Ada Companion Series. Cambridge University Press.   detail

1984     Back to top

F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, P. Partsch, P. Pepper, H. Wössner (1984). Towards a Wide Spectrum Language to Support Program Specification and Program Development (russian translation). In W.H. Arafanova (Ed.), Anforderungen und Spezifikationen in der Programmentwicklung; eine Aufsatzsammlung, pp. 28–46, Matematitscheskoje Objespjetschenije EWM. MIR, Moskau.   detail
B. Krieg-Brückner (1984). Types in the Programming Language Ada. In M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Eds.), On Conceptual Modelling; Perspectives from Artificial Intelligence, Data Bases and Programming Languages, pp. 385–408. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1984). Language Comparison and Source-to-Source Translation. In P. Pepper (Ed.), Program Transformation and Programming Environments, pp. 299–304, NATO ASI Series. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1983     Back to top

J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language. Ada Companion Series. American National Standards Institute, Washington.   detail
J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1983). Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983. In M.W. Rogers (Ed.), The Programming Language Ada: Language, Compilers, Bibliography, Informatik Fachberichte. North Holland.   detail
B. Krieg-Brückner (1983). Consistency Checking in Ada and Anna: a Transformational Approach. In Ada LETTERS, No. 3:2, pp. 46–54.   detail

1981     Back to top

F.L. Bauer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, W. Hesse, B. Krieg- Brückner, A. Laut, T.A. Matznerand B. Möller, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. Woessner (1981). Report on a Wide Spectrum Language for Program Specification and Development. Technische Universität München; Institut für Informatik.   detail
F.L. Bauer, M. Broy, W. Dosch, T. Gnatz, B. Krieg-Brückner, A. Laut, D.C. Luckmann, M., T.A. Matzner, B. Möller, H. Partsch, P. Pepper, K. Samelson, R. Steinbrüggen, M. Wirsing, H. Wössner (1981). Programming in a Wide Spectrum Language: a Collection of Examples. In Science of Computer Programming, No. 1, pp. 73–114.   detail
J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1981). Reference Manual for the Ada Programming Language: Proposed Standard Document. In The Ada Programming Language, No. 123, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
B. Krieg-Brückner (1981). Ada and the German Pay Phone: an Illustrative Example of Parallel Processing. In A.J.W. Duijvestijn, C.P. Lockemann (Eds.), Trends in Information Processing Systems, No. 123, pp. 122–134, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1980     Back to top

P.F. Albrecht, P.E. Garrison, S.L. Graham, R.H. Hyerle, P. Ip, B. Krieg-Brückner (1980). Source-to-Source Translation: Ada to Pascal and Pascal to Ada. In ACM SIGPLAN Notices, No. 15, pp. 183–193.   detail
M. Broy, B. Krieg-Brückner (1980). Derivation of Invariant Assertions During Program Development by Transformation. In ACM Transactions on Programming Languages and Systems, No. 2, pp. 321–337.   detail
V.D. Donzeau-Gouge, J.-C. Heliard, G. Kahn, B. Krieg-Brückner, B. Lang (1980). Formal Definition of the Ada Programming Language. Honeywell Inc., CII Honeywell Bull and INRIA, Le Chesnay. Preliminary Version.   detail
J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J-C. Heliard, J.-R. Abrial, J.P.G. Barnes, M. Woodger, C. Roubine, P.N. Hilfinger, R. Firth (1980). Reference Manual for the Ada Programming Language: Proposed Standard Document. No. 008-000-00354-8, Lecture Notes in Computer Science. Elsevier Science.   detail
B. Krieg-Brückner, D.C. Luckham (1980). Anna: Towards a Language for Annotating Ada Programs. In ACM SIGPLAN Notices, No. 15, pp. 128–138.   detail

1979     Back to top

F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, P. Partsch, P. Pepper, H. Wössner (1979). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In F.L. Bauer, M. Broy (Eds.), Program Construction, No. 69, pp. 273–289, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
V.D. Donzeau-Gouge, G. Kahn, B. Krieg-Brückner, B. Lang (1979). Formal Definition of Ada. Honeywell Inc. and CII Honeywell Bull, Louveciennes. Interim Draft.   detail
J.D. Ichbiah, B. Krieg-Brückner, A. Wichmann, H.F. Ledgard, J.-C. Heliard, J.R. Abrial, J.P.G. Barnes, O. Roubine (1979). Preliminary Ada Reference Manual. In ACM SIGPLAN Notices, No. 14: 6 Part A.   detail

1978     Back to top

F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In Proc. 5. Fachtagung Programmiersprachen GI (Braunschweig), pp. 73–85. Springer-Verlag, D-69121 Heidelberg, Germany.   detail
F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner (1978). A Wide Spectrum Language for Program Development. In B. Robinet (Ed.), Program Transformations: Proc. 3rd International Symposium on Programming (Paris), pp. 1–15. Dunod, Paris.   detail
F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, P. Partsch, P. Pepper, H. Wössner (1978). Towards a Wide Spectrum Language to Support Program Specification and Program Development. In ACM SIGPLAN Notices, No. 13, pp. 15–24.   detail
B. Krieg-Brückner (1978). Concrete and Abstract Specification and Program Development by Transformation. Technische Universität München; Institut für Informatik. Dissertation.   detail

1977     Back to top

F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner (1977). Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universität München; Institut für Informatik.   detail
B. Krieg-Brückner (1977). Prevention of Side-Effects from Functions. In Machine Oriented Languages Bulletin, No. 6.   detail

1974     Back to top

F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig (1974). Language Layers, Portability and Program Structuring. In W.L. v.d. Poel, L.A. Maarsen (Eds.), Machine Oriented Higher Level Languages, pp. 79–104. Elsevier Science.   detail
W. Hesse, F. Geiselbrechtinger, B. Krieg, H. Scheidig (1974). Report on the Programming Language L0. Technische Universität München; Institut für Informatik.   detail
B. Krieg (1974). Increasing the Flexibility and Reliability of the Class Concept. Technische Universität München; Institut für Informatik.   detail
B. Krieg, R. Gnatz, R. Hoellerer (1974). S0, a Low Level Systems Implementation Language. In Günther et al. (Ed.), Proc. Int. Computing Symp. 1973 (Davos), pp. 285–290. North Holland.   detail
B. Krieg (1974). A Class of Recursive Coroutines. In Proc. IFIP Congress 74 (Stockholm), pp. 408–412. North Holland.   detail

1973     Back to top

F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig (1973). Lo, the Basic Layer of the Wide Spectrum Language L. In W. Brauer (Ed.), 3. Jahrestagung GI, No. 1, pp. 188–197, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail

1972     Back to top

R. Gnatz, R. Hoellerer, B. Krieg (1972). S0, eine niedere Programmiersprache. Technische Universität München; Institut für Informatik. Manual.   detail

1971     Back to top

B. Krieg (1971). Formal Definition of the Block Concept and some Implementation Models. Cornell University. Master's Thesis.   detail
      Show selected entries in BibTex Format
 
   
Author: Prof. Dr. Bernd Krieg-Brückner
 
  Group BKB 
Last updated: October 27, 2004   impressum