Skip to main content
SpringerLink
Log in

Die 2000er Jahre bis 2006

  • Chapter
Informatikforschung in Deutschland

  • 941 Accesses

Zusammenfassung

Computergraphik hat sich als Basistechnologie bei der Gestaltung von Mensch- Maschine-Schnittstellen etabliert. Während die neunziger Jahre noch durch die Entwicklung immersiver Ein- und Ausgabegeräte geprägt waren („Virtuelle Realität“), verschmilzt in der „Augmented-Reality“ Computergraphik mit Technologien aus den Bereichen „Mobile Computing“ und „Computer Vision“, um neue Formen der Mensch-Maschine-Interaktion zu schaffen. Mit dieser Technologie werden digitale Informationen in Überlagerung mit unserer realen Umgebung dargestellt. Dazu beinhaltet das Augmented-Reality-System die folgenden drei Hardwarekomponenten (siehe Abb. 4.1):

• die tragbare Computereinheit, die etwa am Gürtel des Anwenders befestigt wird,

• die Videokamera, mit der die reale Umgebung des Anwenders erfasst wird,

• die Datenbrille (Head Mounted Display), mit der die digitalen Informationen in Überlagerung mit der Realität dargestellt werden.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Literatur

Literatur zu Abschnitt II.4.1

  1. Friedrich, W. (Hrsg.): ARVIKA – Augmented Reality für Entwicklung, Produktion und Service, Publicis, 2/2004.

    Google Scholar 

  2. Azuma, R.; Baillot, Y.; Behringer, R.; Feiner, S.; Julier, S.; MacIntyre, B.: Recent Advances in Augmented Reality. IEEE Computer Graphics and Applications 21, 6, 34–47, Nov/Dec 2001.

    Article  Google Scholar 

  3. Hamadou, M.; Jahn, D. und Weidenhausen, J.: ARVIKA – Augmented Reality für Entwicklung, Produktion und Service. icom, 4–10, 2/2002.

    Article  Google Scholar 

  4. Genc, Y.; Riedel, S.; Souvannavong, F.; C. Akinlar, C.; Navab, N.: Marker-less Tracking for AR: A Learning-Based Approach. Proc.: ISMAR 2002.

    Google Scholar 

  5. Edelmann, M.; Malzkorn-Edling, S.; Rottenkolber, B.; Schreiber, W.; Alt, T.: Ergonomics of Head Mounted Displays and Studies About Effects on Eye Physiology and Well-Being. In: Proceedings of the 6th International Scientific Conference on Work With Display Units WWDU 2002, pp. 382–383, 2002.

    Google Scholar 

  6. Stricker, D.; Klinker, G.; and Reiners, D.: A fast and robust line-based optical tracker for augmented reality applications. In: First International Workshop on Augmented Reality. Springer-Verlag, 1998.

    Google Scholar 

  7. You, S.; Neumann, U. und Azuma, R.: Hybrid Inertial and Vision Tracking for Augmented Reality Registration. Hybrid Inertial and Vision Tracking for Augmented Reality Registration, in Proc. of IEEE VR‘99, pp. 260–267, 1999.

    Google Scholar 

  8. State, G. Hirota; Chen, D.T.; Garrett, B. und Livingston, M.: Superior Augmented Reality Registration by Integrating Landmark Tracking and Magnetic Tracking, pp. 429-438, Proc. Siggraph ‘96.

    Google Scholar 

  9. Azuma, R.T.; Hoff, B.R., III; Neely, H.E.; Sarfaty, R.; Daily, M.J.: Making Augmented Reality Work Outdoors Requires Hybrid Tracking. Proceedings of the First International Workshop on Augmented Reality. San Francisco, CA, 1998.

    Google Scholar 

Literatur zu Abschnitt II.4.2

  1. Albu-Schäffer, A.; Hirzinger, G.: State feedback controller for flexible joint robots: A globally stable approach implemented on DLR’s light-weight robots. In: Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2000, Takamatsu, Japan, 2000.

    Google Scholar 

  2. Dillmann, R.; Zöllner, R.; Ehrenmann, M.; Rogalla. O.: Interactive Natural Programming of Robots: Introductory Overview. In Proceedings of the Second IARP IEEE/RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, Frankreich, Oktober 2002.

    Google Scholar 

  3. Dillmann, R.; Steinhaus, P.; Becher, R.: ARMAR II – A Learning and Cooperative Multimodal Humanoid Robot. International Journal on Humanoid Robotics, Vol. 1, Nr. 1, pp. 143–156, March 2004.

    Article  Google Scholar 

  4. Ehrenmann, M.; Knoop, S.; Zöllner, R.; Dillmann, R.: Sensor Fusion Approaches for Observation of User Actions in Programming by Demonstration. In: Proc. of the International Conference on Multi Sensor Fusion and Integration for Intelligent Systems (MFI), August 19.–22., 2001, Baden-Baden, pp. 227–232.

    Google Scholar 

  5. Ehrenmann, M.; Zöllner, R.D.; Rogalla, O.; Dillmann, R.: Programming Service Tasks in Household Environments by Human Demonstration. In: Proceedings of the 11th IEEE International Workshop on Robot and Human interactive Communication, ROMAN 2002, Berlin, September 25.–27., 2002, pp. 460–467.

    Google Scholar 

  6. Ehrenmann, M.; Rogalla, O.; Zöllner, R.; Dillmann, R.: Belehrung komplexer Aufgaben: Programmierung durch Vormachen in Werkstätten und Haushalten. In: Robotik 2002, Juni 2002, Ludwigshafen.

    Google Scholar 

  7. Ehrenmann, M.; Becher, R.; Giesler, B.; Zöllner, R.; Rogalla, O.; Dillmann, R.: Interaction with Robot Assistants: Commanding ALBERT. In: Proc. of the 2002 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), September 2002, Lausanne, Schweiz.

    Google Scholar 

  8. Ehrenmann, M.; Lütticke, T.; Dillmann, R.: Directing a Mobile Robot with Dynamic Gestures. In: Proc. of the 32nd Int. Symposium on Robotics 2001 (ISR), Seoul/Korea, 19.–21. April 2001.

    Google Scholar 

  9. Estable, S.; Ahrns, I.; Backhaus, H.G.; El Zubi, O.; Muenstermann, R.: Intuitive Teaching and Surveillance for Production Assistants. In: Proc. of the 11th IEEE Int. Workshop on Robot and Human interactive Communication, ROMAN2002, Berlin, September 25.–27., 2002, pp. 474–481.

    Google Scholar 

  10. Giesler, B.; Salb, T.; Dillmann, R.; Weyrich, T.: Using a Panoramic Camera for 3D Head Tracking in an AR Environment. In: Proceedings of the IEEE International Conference on Mechatronics and Machine Vision in Practice, September 2002, Chiang Mai, Thailand.

    Google Scholar 

  11. Grunwald, G.; Schreiber, G.; Albu-Schäffer, A.; Hirzinger, G.: Touch: The Direct Type of Human Interaction with a Redundant Service Robot. In: Proceedings of the IEEE International Conference on Robot and Human Interaction 2001 (RO-MAN), Paris, France, 18.–21. Sept. 2001.

    Google Scholar 

  12. Graf, B.: Reaktive Navigation eines intelligenten Gehhilferoboters. In: Tagungsband zum 17. Fachgespräch Autonome Mobile Systeme 2001 (AMS), Oktober 11/12, 2001, Stuttgart, pp. 120–126.

    Google Scholar 

  13. Graf, B.; Helms, E.; Lakshmana, V.; Rohrmoser, B.; Schraft, R.D.: Anthropomorphic Robot Assistants – Giving the Human a Helping Hand. In: Proceedings of the Second IARP IEEE/RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, Frankreich, 2002, pp. 20–24.

    Google Scholar 

  14. Graf, B.; Hans, M.; Kubacki, J.; Schraft, R.D: Home Assistant Care-O-bot II. In: Proceedings of the Second Joint Meeting of the IEEE Engineering in Medicine and Biology Society and the Biomedical Engineering Society, Houston, Texas, USA, 2002.

    Google Scholar 

  15. Haertl, F.; Heinz, I.; Fröhlich, C.: Semi – Automatic 3D CAD Model Generation of As – Built Conditions of Real Environmentsusing a Visual Laser Radar. In: Proceedings of the 10th IEEE International Workshop on Robot-Human Interactive Communication (ROMAN‘01), Paris, France, 18.–21. September 2001.

    Google Scholar 

  16. Hägele, M.; Schaaf, W.; Helms, E.: Robot Assistants at Manual Workplaces: Effective Cooperation and Safety Aspects. In: Proceedings of the 33rd International Symposium on Robotics 2002 / CD-ROM: Proceedings (ISR 2002), Oktober 7.–11., 2002, Stockholm, Schweden.

    Google Scholar 

  17. Illmann, J.; Köhler, Ch.: Integration von Kontextwissen zur videobasierten Szenenanalyse. In: ROBOTIK 2002: Leistungsstand, Anwendungen, Visionen, Trends, VDI-Berichte Nr. 1679, VDI Verlag, Juni 2002.

    Google Scholar 

  18. Illmann, J.; Kluge, B.; Prassler, E.: People Tracking Using Omnidirectional Vision and Range Data. In: SPIE2001, Sensor Fusion and Decentralized Control in Robotic Systems IV, (ed. by) McKee, G.T.; Schenker, P.S., Vol. 4571, Newton Massachusetts, USA, Nov. 2001, pp. 128–138.

    Google Scholar 

  19. Illmann, J.; Kluge, B.; Strobel, M.: Gesture Recognition in a Spatial Context for Commanding a Domestic Service Robot. In: ROBOTIK 2002: Leistungsstand, Anwendungen, Visionen, Trends, VDI-Berichte Nr. 1679, VDI Verlag, Juni 2002.

    Google Scholar 

  20. Iossifidis, I.; Steinhage, A.: Controlling a redundant robotarm by means of a haptic sensor. In: ROBOTIK 2002, Leistungsstand Anwendungen – Visionen, VDI-Berichte 1679, VDI/VDE: VDI Verlag, Ludwigsburg, pp. 269–274.

    Google Scholar 

  21. Kluge, B.; Bank, D.; Prassler, E.: Motion Coordination in Dynamic Environments: Reaching a Moving Goal while Avoiding Moving Obstacles. In: Proc. of the 11th IEEE Int. Workshop on Robot and Human interactive Communication, ROMAN2002, Berlin, September 25.-27., 2002, pp. 512-517.

    Google Scholar 

  22. Kluge, B.; Prassler, E.; Illmann, J.: Situation Assessment in a Crowded Public Environment. In: Proc. of the 2001 IEEE Int. Conf. On Field and Service Robotics, Helsinki, Finland, 2001.

    Google Scholar 

  23. Kristensen, S.; Neumann, M.; Horstmann, S.; Lohnert, F.; Stopp, A.: Tactile Man-Robot Interaction for an Industrial Service Robot. In: Sensor Based Intelligent Robots, hrsg v. Christensen, H.I. und Hager, G. (Reihe: Lecture Notes in Artificial Intelligence). Springer-Verlag, September 2001.

    Google Scholar 

  24. Kristensen, S.; Horstmann, S.; Klandt, J.; Lohnert, F.; Stopp, A.: Human-Friendly Interaction for Learning and Cooperation. In: Proceedings of the IEEE International Conference on Robotics and Automation, Seoul/Korea, 2001.

    Google Scholar 

  25. Lay, K.: MORPHA – Intelligente anthropomorphe Assistenzsysteme. In it+ti, 8/2000, pp. 38–43.

    Article  Google Scholar 

  26. Lay, K.; Prassler, E.; Dillmann, R.; Grunwald, G.; Hägele, M.; Lawitzky, G.; Stopp, A.; von Seelen, W.: MORPHA: Communication and Interaction with Intelligent, Anthropomorphic Robot Assistants. In: Tagungsband Statustage Leitprojekte Mensch-Technik-Interaktion in der Wissensgesellschaft, Oktober 2001, Saarbrücken.

    Google Scholar 

  27. Marrone, F.; Raimondi, F.M.; Strobel, M.: Interaction of a Domestic Service Robot with a Human and the Environment. In Proceedings of 33rd International Symposium on Robotics (ISR 2002) Stockholm, Oktober 7.–11., 2002.

    Google Scholar 

  28. Ott, Ch.; Albu-Schaeffer, A.; Hirzinger, G.: Comparison of Adaptive and Nonadaptive Tracking Control Laws for a Flexible Joint Manipulator. In: Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS2002), EPFL, Lausanne, Schweiz.

    Google Scholar 

  29. Prassler, E.; Bank, D.; Kluge, B.: Motion Coordination between a Human and a Mobile Robot. In: Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS 2002), Lausanne, Schweiz, 2002.

    Google Scholar 

  30. Steinhage A.; Bergner, T.: Learning by doing: A Dynamic Architecture for Generating Adaptive Behavioral Sequences. In Proc. of the Second Int. ICSC Symposium on Neural Computation, NC‘2000, pp. 813–820.

    Google Scholar 

  31. Steinhaus, P.; Becher, R.; Dillmann, R.: Sonderforschungsbereich 588: Humanoide Roboter – Lernende und kooperierende multimodale Roboter. it – Information Technology, Oldenbourg-Verlag, Issue 2, Vol. 46, pp. 94–100, 2004.

    Article  Google Scholar 

  32. Schraft, R.D.; Hägele, M.; Prassler, E.: DESIRE, German service robotics initiative. Proceedings of the Joint Conference on Robotics (ISR 2006 – ROBOTIK 2006), May 15.–17., 2006, München.

    Google Scholar 

  33. Strobel, M.; Illmann, J.; Prassler, E.: Intuitive Programming of a Mobile Manipulator System Designed for Cleaning Tasks in Home Environments. In: Proc. of the 2001 IEEE Int. Conf. On Field and Service Robotics (FSR 2001), Helsinki, Finnland, 2000.

    Google Scholar 

  34. Stopp, A.; Horstmann, S.; Kristensen, S.; Lohnert, F.: Towards Interactive Learning for Manufacturing Assistants. In: Proc. of the 10th IEEE Inter. Workshop on Robot-Human Interactive Communication (ROMAN‘01), Paris, France, 18.–21. September 2001.

    Google Scholar 

  35. Stopp, A.; Baldauf, T.; Hantsche, R.; Horstmann, S.; Kristensen, S.; Lohnert, F.; Priem, C.; Ruescher, B.: The Manufacturing Assistant: Safe, Interactive Teaching of Operation Sequences. In: Proc. of the 11th IEEE Int. Workshop on Robot and Human interactive Communication, ROMAN2002, Berlin, September 25.–27., 2002, pp. 386–391.

    Google Scholar 

  36. Woesch, T.; Neubauer, W.: Collision Avoidance and Handling for a Mobile Manipulator. In: Proc. of the 7th International Conference Intelligent Autonomous Systems (IAS 2002), März 25.–27., 2002, Marina del Rey, Kalifornien, USA, pp. 388–391.

    Google Scholar 

  37. Woesch, T.: mPlanner: Robot Motion Planning Based on Interaction of Planner and Controller. In: Proc. of the International Symposium on Robotics and Automation (ISRA 2002), Toluca, Mexico, September 5.–7., 2002, pp. 275–279.

    Google Scholar 

  38. Zöllner, R.; Rogalla, O.; Dillmann, R.; Zöllner, M.: Understanding Users Intention: Programming Fine Manipulation Tasks by Demonstration. In: Proc. 2002 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), September 2002, Lausanne, Switzerland.

    Google Scholar 

Literatur zu Abschnitt II.4.3

  1. Cramer, I.; Leidner, J.; Klakow, D. (2006): Building an Evaluation Corpus for German Question Answering by Harvesting Wikipedia. In: Proceedings of LREC 2006, International Conference on Language Resources and Evaluation, Mai 2006, Genova, Italy.

    Google Scholar 

  2. Kaiser, M.; Mögele, H.; Schiel, F. (2006): Bikers Accessing the Web: The SmartWeb Motorbike Corpus. In: Proceedings of the LREC 2006, International Conference on Language Resources and Evaluation, Juni 2006, Genova, Italy.

    Google Scholar 

  3. Maybury, M.; Wahlster, W. (eds.) (1998): Readings in Intelligent User Interfaces. San Francisco: Morgan Kaufmann, 1998.

    Google Scholar 

  4. Oberle, D.; Ankolekar, A.; Hitzler, P.; Cimiano, P.; Sintek, M.; Kiesel, M.; Mougouie, B.; Vembu, S.; Baumann, S.; Romanelli, M.; Buitelaar, P.; Engel, R.; Sonntag, D.; Reithinger, N.; Loos, B.; Porzel, R.; Zorn, H.-P.; Micelli, V.; Schmidt, C.; Weiten, M.; Burkhardt, F.; Zhou, J. (2007): DOLCE ergo SUMO: On Foundational and Domain Models in SWIntO (SmartWeb Integrated Ontology. Journal of Web Semantics, 3, 2007.

    Google Scholar 

  5. Reithinger, N.; Herzog, G.; Blocher, A. (2007): SmartWeb – Mobile Broadband Access to the Semantic Web. In: KI – Künstliche Intelligenz, 2/2007, pp. 30–33.

    Google Scholar 

  6. Sonntag, D.; Engel, R.; Herzog, G.; Pfalzgraf, A.; Pfleger, N.; Romanelli, M.; Reithinger. N. (2007): Smart Web Handheld – Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services. In: Huang, T.; Nijholt, A.; Pantic, M.; Plentland, A. (eds.): Artifical Intelligence for Human Computing. LNCS 4451, Berlin, Heidelberg, Springer-Verlag, 2007, pp. 272–295.

    Google Scholar 

  7. Wahlster, W. (ed.) (2006): SmartKom: Foundations of Multimodal Dialogue Systems. Cognitive Technologies Series, Heidelberg, Germany: Springer-Verlag, 2006, 644 pp.

    Google Scholar 

  8. Wahlster, W. (2003): Towards Symmetric Multimodality: Fusion and Fission of Speech, Gesture, and Facial Expression. In: Günter, A.; Kruse, R.; Neumann, B. (eds.): KI 2003: Advances in Artificial Intelligence. Proceedings of the 26th German Conference on Artificial Intelligence, September 2003, Hamburg, Germany, pp. 1–18, Berlin, Heidelberg: Springer-Verlag, LNAI 2821, 2003.

    Google Scholar 

  9. Wahlster, W. (2000) (ed.): Verbmobil: Foundations of Speech-to-Speech Translation. Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo: July 2000, Springer-Verlag.

    MATH  Google Scholar 

Literatur zu Abschnitt II.4.4

  1. Althoff, K.-D.; Decker, B.; Hartkopf, S.; Jedlitschka, A.; Nick, M.; Rech, J. (2001): Experience Management: The Fraunhofer IESE Experience Factory. In: Perner, P. (ed.), Proc. Industrial Conference Data Mining. Leipzig: Institut für Bildverarbeitung und angewandte Informatik.

    Google Scholar 

  2. Basili, V.R.; Caldiera, G.; Rombach, D. (1994): Experience Factory. In: Marciniak, J.J. (Hrsg.): Encyclopedia of Software Engineering. Band 1. John Wiley & Sons.

    Google Scholar 

  3. Cockburn, A. (2003): Agile Software-Entwicklung. Mitp-Verlag.

    Google Scholar 

  4. Davenport, Th.H.; Prusak, L. (1998): Working Knowledge – How Organizations Manage What They Know. Boston: Harvard Business School Press.

    Google Scholar 

  5. Davies, J.; Duke, A.; Sure, Y. (2004): OntoShare – An Ontology-based Knowledge Sharing System for Virtual Communities of Practice. Journal of Universal Computer Science 10 (3): 262–283.

    Google Scholar 

  6. Decker, B.; Althoff, K.-D.; Nick, M.; Jedlitschka, A.; Tautz, C.; Rech, J. (2002): Die Fraunhofer IESE Experience Factory „Corporate Information Network (CoIN)“ – Ein Beispiel für Geschäftsprozessorientiertes Wissensmanagement in Software Organisationen. In: Abecker, A.; Hinkelmann, K.; Maus, H. & Müller, H.-J. (Hrsg.), Geschäftsprozessorientiertes Wissensmanagement. Springer Xpert.press.

    Google Scholar 

  7. Decker, B.; Althoff, K.-D.; Rech, J.; Klotz, A.; Leopold, E.; Voss, A. (2004): Participative Process Introduction: A Case Study in the indiGo Project. Journal of Universal Computer Science 10 (3): 186–204.

    Google Scholar 

  8. Dingsøyr, T.; Rolland, K.-H.; Jaccheri, M.L. (2004): The Benefits and Limitations of Knowledge Management in Global Software Development. In: 3rd Int. Workshop on Global Software Development (GSD 2004), Edinburgh. ICSE Workshop: A co-located event at the Int. Conf. on Software Engineering 2004.

    Google Scholar 

  9. Elliott, M.S.; Scacchi, W. (2003): Free Software Developers as an Occupational Community: Resolving Conflicts and Fostering Collaboration. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work GROUP ‘03, Sanibel Island (USA).

    Google Scholar 

  10. Falbo, R.A.; Arantes, D.O.; Natali, A.C.C. (2004): Integrating Knowledge Management and Groupware in a Software Development Environment. In: Karagiannis, D. & Reimer, U. (Hrsg.): 5th Int. Conf. on Practical Aspects of Knowledge Management – PAKM‘2004. Berlin, New York, Heidelberg: Springer-Verlag. LNAI 3336, S. 94–105.

    Google Scholar 

  11. Fægri, T.E.; Dingsøyr, T.; Jaccheri, L.; Lago, P.; van Vliet, H. (2005): Exploring Communities of Practice for Product Family Engineering. In: 7th Int. Workshop on Learning Software Organizations, Kaiserslautern.

    Google Scholar 

  12. Gibbs, S.; Tsichritzis, D.; Casais, E.; Nierstrasz, O.; Pintado, X. (1990): Class Management for Software Communities. Communication of the ACM: 33 (9): 90–103.

    Article  Google Scholar 

  13. Griss, M.L. (1995); Software Reuse: Objects and Frameworks are not enough. Hewlett-Packard Laboratories, Palo Alto, Kalifornien.

    Google Scholar 

  14. Kähkönen, T. (2005): Agile Methods for Large Organizations – Building Communities of Practice. In: Agile Development Conference, Salt Lake City.

    Google Scholar 

  15. Kauba, E. (1996); Wiederverwendung als Gesamtkonzept – Organisation, Methoden, Werkzeuge. In: OBJEKTspektrum; 1: 20–27.

    Google Scholar 

  16. Mentzas, G.; Apostolou, D.; Young R.; Abecker, A. (2002): Knowledge Asset Management – Beyond the Product-centric and the Process-centric Approach. Berlin, New York, Heidelberg: Springer-Verlag.

    Google Scholar 

  17. Paul, D.L.; McDaniel, R.R. (2004): A Field Study of the Effect of Interpersonal Trust on Virtual Collaborative Relationship Performance. MIS Quarterly: 28 (2): 183–227.

    Google Scholar 

  18. Wenger, E. (1998): Communities of Practice: Learning, Meaning and Identity. Cambridge University Press (1998).

    Google Scholar 

  19. Wenger, E.; McDermott, R.; Snyder, W. (2002): Cultivating Communities of Practice: A Guide to Managing Knowledge. Boston: Harvard Business School Press.

    Google Scholar 

Literatur zu Abschnitt II.4.5

  1. AbsInt Angewandte Informatik GmbH. http://www.absint.com/.

    Google Scholar 

  2. Astree. http://www.astree.ens.fr/.

    Google Scholar 

  3. Bevier, W.R.; Hunt, W.A. Jr.; Moore, J.S.; Young, W.D.: An approach to systems verification. Journal of Automated Reasoning (JAR), 5(4):411–428, December 1989.

    Google Scholar 

  4. Beyer, S.; Jacobi, Ch.; Kroening, D.; Leinenbach, D.; Paul, W.: Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP. In: Geist, D. and Tronci, E. (eds.), Proc. of the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), Vol. 2860 of Lecture Notes in Computer Science (LNCS), pp. 51–65. Springer-Verlag, 2003.

    Google Scholar 

  5. Beyer, S.; Jacobi, Ch.; Kroening, D.; Leinenbach, D.; Paul, W.: Putting it all together: Formal verification of the VAMP. International Journal on Software Tools for Technology Transfer, 8(4–5):411–430, August 2006.

    Article  Google Scholar 

  6. Boyer, R.S.; Moore, J.S.: A Computational Logic Handbook. Academic Press, 1988.

    Google Scholar 

  7. Cousot, P.; Cousot, R: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL ‘77: Proceedings of the 4th ACM SIGACTSIGPLAN symposium on Principles of programming languages, pp. 238–252, New York, NY, USA, 1977. ACM Press.

    Google Scholar 

  8. Clarke, E.M. Jr.; Grumberg, O.; Peled, D.A.: Model Checking. MIT Press, Cambridge, MA, USA, 1999.

    Google Scholar 

  9. Ferdinand, Ch.; Martin, F.; Wilhelm, R.; Alt, M.: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program., 35(2):163–189, 1999.

    Article  MATH  Google Scholar 

  10. Gries, D.: The Science of Programming. Springer-Verlag, 1987.

    Google Scholar 

  11. Hutter, D.; Langenstein, B.; Sengler, C.; Siekmann, J.H.; Stephan, W.; Wolpers, A.: Deduction in the Verification Support Environment (VSE). In FME ‘96: Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods, pp. 268–286, London, UK, 1996. Springer-Verlag.

    Google Scholar 

  12. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM, 12(10):576–580, 1969.

    Article  MATH  Google Scholar 

  13. Hoare, C.A.R.; Wirth, N.: An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica (ACTA), 2:335–355, 1973.

    Article  Google Scholar 

  14. Mahajan, Y.S.; Fu, Z.; Malik, S.: Zchaff2004: An Efficient SAT Solver, Vol. 3542, pp. 360–375. Springer-Verlag, 2004.

    Google Scholar 

  15. Paulson. L.C.: ML for the Working Programmer. Cambridge University Press, 1996. P ML 96:1 1.Ex.

    Google Scholar 

  16. SLAM Project. http://research.microsoft.com/slam/.

    Google Scholar 

  17. TERMINATOR research project. http://research.microsoft.com/terminator/.

    Google Scholar 

  18. Verisoft Project. http://www.verisoft.de/

    Google Scholar 

  19. Verisoft Repository. http://www.verisoft.de/VerisoftRepositoryDe.html

    Google Scholar 

  20. The VERIFIX Project. http://www.info.uni-karlsruhe.de/∼verifix/.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer-Institut Graphische Datenverarbeitung IGD, Darmstadt, Deutschland

    José Luis Encarnação & Didier Stricker

  2. Universität Karlsruhe (TH), Karlsruhe, Deutschland

    Rüdiger Dillmann

  3. Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken, Deutschland

    Wolfgang Wahlster

  4. FZI Karlsruhe, Karlsruhe, Deutschland

    Rudi Studer & Andreas Abecker

  5. Universität des Saarlandes und DFKI, Saarbrücken, Deutschland

    Wolfgang Paul & Tom In der Rieden

Authors
  1. José Luis Encarnação
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Didier Stricker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rüdiger Dillmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wolfgang Wahlster
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Rudi Studer
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Andreas Abecker
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Wolfgang Paul
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Tom In der Rieden
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Am Kirchberg 29, 53604, Bad Honnef, Deutschland

    Bernd Reuse

  2. Fakultät für Informatik, Universität Karlsruhe, Am Fasanengarten 5, 76128, Karlsruhe, Deutschland

    Roland Vollmar

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Encarnação, J. et al. (2008). Die 2000er Jahre bis 2006. In: Reuse, B., Vollmar, R. (eds) Informatikforschung in Deutschland. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76550-9_8

Download citation

Publish with us

Policies and ethics

Search

Navigation