Download &
  • Home
  • Kompetenz
  • Werkzeuge
  • Forschung
  • Karriere
  • Impressum

Hier finden Sie eine Liste einiger Publikationen der Validas AG und ihrer Mitarbeiter. Viele dieser Arbeiten sind in Zusammenarbeit mit unseren Kunden und Partnern entstanden.

Einige dieser Veröffentlichungen stehen als PDF-Dateien zum Download zur Verfügung; zögern Sie nicht, uns eine E-Mail zu schreiben, wenn Sie Kommentare oder Fragen zu den Arbeiten haben.

Publikationen

  • Oscar Slotosch. Modellbasierte Testspezifikation und Testgenerierung – Eine Methodenauswahl für Software-basierte Anwendungen. Elektronikpraxis, February 2006.
  • Ulrich Freund, Peter Braun, Jan Romberg, Andreas Bauer, Pierre Mai, and Dirk Ziegenbein. AutoMoDe – A Transformation Based Approach for the Model-based Design of Embedded Automotive Software. In Proceedings of the 2006 European Congress on Embedded Real Time Software (ERTS), Toulouse, France, January 2006.
  • Andreas Bauer, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Pierre Mai, and Dirk Ziegenbein. Incremental Development for Automotive Software in AutoMoDe. In Proceedings of the 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER3). Band 191 der HNI-Verlagsschriftenreihe. Heinz-Nixdorf Institut, Paderborn, Germany, October 2005.
  • Alexander Pretschner and Jan Philipps. Methodological Issues in Model-Based Testing. In Manfred Broy, Bengt Jonsson, Joost-Pieper Katoen, Martin Leucker and Alexander Pretschner, editors, Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science 3472, p. 281–292, 2005.
  • Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, and Dirk Ziegenbein. AutoMoDe – Notations, Methods, and Tools for Model-Based Development of Automotive Software. In Proceedings of the SAE 2005 World Congress. Society of Automotive Engineers, 2005.
  • Dirk Ziegenbein, Ulrich Freund, Peter Braun, Robert Sandner, Andreas Bauer, Jan Romberg, and Bernhard Schätz. AutoMoDe – Model-Based Development of Automotive Software. In Proceedings of the 2005 Conference on Design, Automation and Test in Europe (DATE). IEEE Computer Society, 2005.
  • Erik Kamsties, Antje von Knethen, Jan Philipps and Bernhard Schätz. An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements. In John Krogstie, Terry Halpin and Keng Siau, editors, Information Modeling Methods and Methodologies, p. 125–147. IDEA Group Publishing, 2004
  • Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model-based testing in incremental system development. Journal of Systems and Software, 70(3):315–329, March 2004.
  • Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, and Kai Scholl. Model-based test case generation for smart cards. In Formal Methods for Industrial Critical Systems, ENTCS, Vol. 80., pages 168–182, June 2003.
  • Gabor Hahn, Jan Philipps, Alexander Pretschner, and Thomas Stauner. Prototype-based tests for hybrid reactive systems. In Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP’03), pages 78–85. IEEE Computer Society, June 2003.
  • Jan Philipps and Bernhard Rumpe. Refactoring of programs and specifications. In H.Kilov and K.Baclawski, editors, Practical foundations of business and system specifications, pages 281–297. Kluwer Academic Publishers, 2003.
  • Bernhard Schätz, Alexander Pretschner, Franz Huber, and Jan Philipps. Model-based development of embedded systems. In Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science 2426, pages 298–311, 2002. (See also Proc. Workshop Model-Driven Approaches to SoftwareDevelopment, Montpellier, September 2002).
  • Alexander Pretschner and Jan Philipps. Szenarien modellbasierten Testens. Technical Report TUM-I0205, Institut für Informatik, Technische Universität München, 2002.
  • Jan Philipps and Bernhard Rumpe. Roots of refactoring. In Proc. 10th OOPSLA Workshop on Behavioral Semantics: Back to Basics, pages 187–199, October 2001.
  • Franz Huber, Jan Philipps, and Oscar Slotosch. Model-Based Development of Embedded Systems, Embedded Intelligence 2002.
  • Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, and Hans-Peter Zängerl. Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems, Proceedings of “Ada Deutschland 2002”.
  • Oscar Slotosch. Modelling and Validation: AutoFocus and Quest, Formal Aspects of Computing, 2000 12:225–227
  • Guido Wimmel, Alexander Pretschner, and Oscar Slotosch. Specification Based Test Sequence Generation with Propositional Logic, Journal on Software Testing Verification and Reliablilty.
  • Alexander Pretschner, Oscar Slotosch, and Thomas Stauner. Developing Correct Safety Critical, Hybrid, Embedded Systems, Proceedings of New Information Techniques for Military Systems, 2000.
  • Jan Philipps and Oscar Slotosch. The Quest for Correct Systems: Model Checking of Diagramms and Datatypes, Proceedings of Asia Pacific Software Engineering Conference 1999, 449–458.
  • Manfred Broy, Oscar Slotosch. Enriching the Software Development Process by Formal Methods. Proceedings of FM-Trends 98, LNCS 1641.
  • Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, and Oscar Slotosch. Tool supported Specification and Simulation of Distributed Systems. Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, 1998.
  • Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, and Alexander Vilbig. Traffic Lights: an AutoFocus Case Study. Proceedings of International Conference on Application of Concurrency to System Design, 1998.