Dr. Christian Pfaller, Dipl.-Inf.
fortiss GmbH
Software & Systems Engineering - Tool Support for Model-based Development
Guerickestr. 25
80805 München
Phone: +49 (0)89 3603522 26
Fax: +49 (0)89 3603522 50
E-Mail: pfaller(at)fortiss.org
Web: www.fortiss.org
Fields of Interest
Publications
- M. Feilkas, A. Fleischmann, F. Hölzl, C. Pfaller, K. Scheidemann, M. Spichkova, D. Trachtenherz
A Top-Down Methodology for the Development of Automotive Software
Technical Report, Technische Universität München, 2009 - B. Schätz, C. Pfaller
Integrating Component Tests to System Tests
5th International Workshop on Formal Aspects of Component Software, Malaga, September 2008 - S. Herold, H. Klus, Y. Welsch, C. Deiters, A. Rausch, R. Reussner, K. Krogmann, H. Koziolek, R. Mirandola, B. Hummel, M. Meisinger, C. Pfaller
CoCoME - The Common Component Modeling Example
in A. Rausch et al: The Common Component Modeling Example: Comparing Software Component Models.
Lecture Notes in Computer Science 5153, Springer, 2008. - O. Grumberg, T. Nipkow, C. Pfaller (Eds.)
Formal Logical Methods for System Security and Correctness
IOS Press, Amsterdam, March 2008 - C. Pfaller
Requirements-Based Test Case Specification by Using Information from Model Construction
Third Workshop on Automation of Software Test (AST 08), Leipzig, May 2008 - C. Pfaller, S. Wagner, J. Gericke, M. Wiemann
Multi-Dimensional Measures for Test Case Quality
First Software Testing Benchmark Workshop (TESTBENCH'08), Lillehammer, April 2008 - C. Pfaller, M. Pister
Combining Structural and Functional Test Case Generation
Software Engineering 2008. Proceedings of SE08 Munich, February 2008. Lecutre Notes in Informatics Vol. 121. - J. Hartmann, A. Fleischmann, C. Pfaller, M. Rappl, S. Rittmann, D. Wild
Feature Net - ein Ansatz zur Modellierung von automobil- spezifischem Domänenwissen und Anforderungen
4th Workshop on Automotive Software Engineering (ASE 2006), Dresden, October, 2006 - C. Pfaller, A. Fleischmann, J. Hartmann, M. Rappl, S. Rittmann, D. Wild
On the Integration of Design and Test - A Model Based Approach for Embedded Systems
Workshop on Automation of Software Test (AST 06), Shanghai, May, 2006 - D. Wild, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann
An Architecture-Centric Approach towards the Construction of Dependable Automotive Software
SAE 2006 World Congress, Detroit, April 2006 - A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann, D. Wild
Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development
10th Australien Workshop on Requirements Engineering (AWRE), Melbourne, November 2005 - S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, D. Wild
Integrating Service Specifications on Different Levels of Abstraction
Proceedings of the IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing, October 2005.
