• Usage Control / Data Protection
• Testing and Model-Based Testing (case studies, technology, discrete-continuous systems, methodology, surveys)
• Model-Based Development (general, discrete-continuous systems)
• Personalization
• Automotive SW Engineering


 

Usage Control / Data Protection

• Feth, D., Pretschner, A.:
  Flexible Data-Driven Security for Android
  To appear in Proc. 6th IEEE Intl. Conf. on Software Security and Reliability, June 2012
• Kelbert, F., Pretschner, A.:
  Towards a Policy Enforcement Infrastructure for Distributed Usage Control
  To appear in Proc. 17th ACM Symp. on Access Control Models and Technologies (SACMAT), June 2012
• Kumari, P., Pretschner, A.:
  Deriving Implementation-level Policies for Usage Control Enforcement
  Proc. 2nd ACM Conference on Data and Application Security and Privacy (CODASPY), pp. 83-94, February 2012
  Outstanding paper award.
  © ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. ACM Conference on Data and Application Security and Privacy.
  
• Moucha, C., Lovat, E., Pretschner, A.:
  A virtualized usage control bus system
  J. Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 2(4):84-101, 2011
• Kumari, P., Kelbert, F., Pretschner, A.:
  Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example
  Proc. Dependable Software for Critical Infrastructures, October 2011. Demo available.
• Pretschner, A., Lovat, E., Büchler, M.:
  Representation-Independent Data Usage Control
  Proc. 6th Intl. Workshop on Data Privacy Management, pp. 122-140, September 2011. Demos available.
  An extended version is available as technical report, Karlsruhe Reports in Informatics 2011,23.
• Moucha, C., Lovat, E., Pretschner, A.:
  A Hypervisor-Based Bus System for Usage Control
  Proc. 6th Intl. Conf. on Availability, Reliability and Security, pp. 254-259, August 2011
• Neisse, R., Pretschner, A., Di Giacomo, V.:
  A Trustworthy Usage Control Enforcement Framework
  Proc. 6th Intl. Conf. on Availability, Reliability and Security, pp. 230-235, August 2011
• Lovat, E., Pretschner, A.:
  Data-centric multi-layer usage control enforcement: A social network example (system demo)
  Proc. 16th ACM Symp. on Access Control Models and Technologies (SACMAT), pp. 151-152, June 2011. Demo available.
• Beckert, B., Hofheinz, D., Müller-Quade, J., Pretschner, A., Snelting, G.:
  Software Security in Virtualized Infrastructures: The Smart Meter Example
  it - Information Technology 53(3):142-151, June 2011
• Neisse, R., Holling, D., Pretschner, A.:
  Implementing Trust in Cloud Infrastructures
  Proc. 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), May 2011
• Kumari, P., Pretschner, A., Peschla, J., Kuhn, J.:
  Distributed Data Usage Control for Web Applications: A Social Network Implementation
  Proc. 1st ACM Conference on Data and Application Security and Privacy (CODASPY), pp. 85-96, February 2011
  © ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. ACM Conference on Data and Application Security and Privacy.
  Best paper award 2010/2011 of the DFG priority program SPP 1496, Reliably Secure Software Systems. Demo available.
• Kumari, P.:
  Requirements Analysis for Privacy in Social Networks
  Proc. 8th Intl. Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods (VG), October 2010
• Gheorghe, G., Massacci, F., Neuhaus, S., Pretschner, A.:
  GoCoMM: A Governance and Compliance Maturity Model
  Proc. 1st ACM workshop on Information Security Governance (WISG), pp. 33-38, November 2009
• Harvan, M., Pretschner, A.:
  State-based Usage Control Enforcement with Data Flow Tracking using System Call Interposition
  Proc. 3rd Intl. Conf. on Network and System Security (NSS), pp. 373-380, October 2009. Demos available.
• Pretschner, A., Büchler, M., Harvan, M., Schaefer, C., Walter, T.:
  Usage Control Enforcement with Data Flow Tracking for X11
  Proc. 5th Intl. Workshop on Security and Trust Management (STM), pp. 124-137, September 2009. Demos available.
• Pretschner, A.:
  An Overview of Distributed Usage Control
  Proc. 2nd Conf. Knowledge Engineering: Principles and Techniques, pp.17-25, Cluj, July 2009
• Pretschner, A., Rüesch, J., Schaefer, C., Walter, T.:
  Formal Analyses of Usage Control Policies © IEEE
  Proc. 4th Intl. Conf. on Availability, Reliability, and Security (AReS), Fukuoka, March 2009
• Lotz, V., Pigout, E., Fischer, P., Kossmann, D., Massacci, F., Pretschner, A.:
  Towards Systematic Achievement of Compliance in Service-oriented Architectures: The MASTER approach
  J. Wirtschaftsinformatik 50(5):383-391, October 2008
• Pretschner, A., Schütz, F., Schaefer, C., Walter, T.:
  Policy Evolution in Distributed Usage Control
  Proc. 4th Intl. Workshop on Security and Trust Management (STM'08), pp. 97-110, Trondheim, June 2008
• Pretschner, A., Mouelhi, T., Le Traon, Y.:
  Model-Based Tests for Access Control Policies © IEEE
  Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), pp. 338-347, Lillehammer, April 2008
• Le Traon, Y., Mouelhi, T., Pretschner, A., Baudry, B.:
  Test-Driven Assessment of Access Control in Legacy Applications © IEEE
  Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), pp. 238-247, Lillehammer, April 2008
• Pretschner, A., Walter T.:
  Negotiation of Usage Control Policies - Simply the Best?
  Invited paper, Proc. 3rd Intl. Conf. on Availability, Reliability and Security (Contribution for the 1st Intl. Workshop on Advances in Policy Enforcement), pp. 1035-1036, Barcelona, March 2008
• Pretschner, A., Hilty, M., Basin, D., Schaefer, C., Walter, T.:
  Mechanisms for Usage Control
  Proc. ACM Symposium on Information, Computer & Communication Security (ASIACCS), pp. 240-245, Tokyo, March 2008
  © ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. ACM Symposium on Information, Computer & Communication Security.
• Pretschner, A., Hilty, M., Schaefer, C., Schütz, F., Walter, T.:
  Usage Control Enforcement: Present and Future
  J. IEEE Security and Privacy 6(4):44-53, July/August 2008
• Hilty, M., Pretschner, A., Basin, D.:
  Verteilte Nutzungskontrolle
  digma 2007.4:146-149, December 2007
• Agreiter, B., Alam, M., Breu, R., Hafner, M., Pretschner, A., Seifert, J.-P., Zhang, X.:
  A Technical Architecture for Enforcing Usage Control Requirements in Service-Oriented Architectures
  Proc. ACM workshop on Secure Web Services, pp. 18-25, Alexandria, November 2007
  © ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. ACM workshop on Secure Web Services.
• Hilty, M., Pretschner, A., Basin, D., Schaefer, C., Walter, T.:
  A Policy Language for Distributed Usage Control
  Proc. 12th European Symp. on Research in Computer Security (ESORICS), pp. 531-546, Dresden, September 2007
  The original publication is available at SpringerLink.
• Pretschner, A., Massacci, F., Hilty, M.:
  Usage Control in Service-Oriented Architectures
  Proc. 4th Intl. Conf. on Trust, Privacy & Security in Digital Business (TrustBus), pp. 83-93, Regensburg, September 2007
  The original publication is available at SpringerLink.
• Hilty, M., Pretschner, A., Schaefer, C., Walter, T., Basin, D.:
  Monitors for Usage Control
  Proc. Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM), Moncton, August 2007
• Hilty, M., Pretschner, A., Schaefer, C., Walter, T.:
  DUKE - Distributed Usage Control Enforcement
  Proc. 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), p. 275, June 2007
• Hilty, M., Pretschner, A., Schaefer, C., Walter, T.:
  Enforcement for Usage Control--A System Model and an Obligation Language for Distributed Usage Control
  DoCoMo Euro-Labs Internal Technical Report I-ST-20, December 2006
• Hilty, M., Pretschner, A., Schaefer, C., Walter, T.:
  Usage Control Requirements in Mobile and Ubiquitous Computing Applications
  Proc. Intl. Conf. on Systems and Networks Communications, November 2006
  Best paper award
• Pretschner, A., Hilty, M., Basin, D.:
  Distributed Usage Control
  Communications of the ACM 49(9):39-44, September 2006
  © ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Communications of the ACM 49(9):39-44, September 2006
• Hilty, M., Pretschner, A., Walter, T., Schaefer, C.:
  Enforcement for Usage Control--An overview of control mechanisms
  DoCoMo Euro-Labs Internal Technical Report I-ST-018, July 2006
• Hilty, M., Pretschner, A., Walter, T., Schaefer, C.:
  Usage Control Requirements in Mobile and Ubiquitous Computing Applications
  DoCoMo Euro-Labs Internal Technical Report I-ST-015, December 2005
• Hilty, M., Basin, D., Pretschner, A.:
  On Obligations © Springer Verlag
  Proc. 10th European Symp. on Research in Computer Security (ESORICS'05), Springer LNCS 3679, pp. 98-117, Milan, September 2005

Testing and Model-Based Testing
--Case studies; Empirical Investigations

• Ciupa, I., Pretschner, A., Oriol, M., Leitner, A., Meyer, B.:
  On the number and nature of faults found by random testing
  Software Testing, Verification, and Reliability 21(1):3-28, 2011
• Leitner, A., Pretschner, A., Mori, S., Meyer, B., Oriol, M.:
  On the Effectiveness of Test Extraction without Overhead © IEEE
  Proc. 2nd Intl. Conf. on Software Testing, Verication, and Validation (ICST), pp. 416-425, Denver, April 2009
• Ciupa, I., Meyer, B., Oriol, M., Pretschner, A.:
  Finding Faults: Manual Testing vs. Random Testing+ vs. User Reports © IEEE
  Proc. 19th Intl. Symp. on Software Reliability Engineering (ISSRE), pp. 157-166, Seattle, November 2008
• Pretschner, A., Mouelhi, T., Le Traon, Y.:
  Model-Based Tests for Access Control Policies © IEEE
  Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), pp. 338-347, Lillehammer, April 2008
• Ciupa, I., Pretschner, A., Leitner, A., Oriol, M., Meyer, B.:
  On the Predictability of Random Tests for Object-Oriented Software © IEEE
  Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), pp. 72-81, Lillehammer, April 2008
  Best Paper Award
• Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.:
  One Evaluation of Model-Based Testing and its Automation
  Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), pp. 392-401, St. Louis, May 2005
  © ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. ICSE'05.
• Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S.:
  Model Based Testing for Real--The Inhouse Card Case Study
  J. Software Tools for Technology Transfer 5(2-3):140-157, March 2004
  The original publication is available at springerlink.com; © Springer Verlag
• Pretschner, A.:
  Zum modellbasierten funktionalen Test reaktiver Systeme
  Dissertation, Fakultät für Informatik, TU München, August 2003
  Gutachter: Manfred Broy, Klaus Müller-Glaser
• Philipps, J., Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S., Scholl, K.:
  Model-Based Test Case Generation for Smart Cards
  Proc. Formal Methods for Industrial Critical Systems, Trondheim, June 2003, pp. 168-182. Electronic Notes in Theoretical Computer Science 80, 2003
• Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.:
  Model Based Testing for Real: The Inhouse Card Case Study
  Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS'01), pp. 79-94, Paris, July 2001

--Technology

• Büchler, M., Oudinet, J., Pretschner, A.:
  Semi-Automatic Security Testing of Web Applications from a Secure Model
  To appear in Proc. 6th IEEE Intl. Conf. on Software Security and Reliability, June 2012
• Büchler, M., Oudinet, J., Pretschner, A.:
  SPaCiTE - Web Application Testing Engine
  To appear in Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012
• Büchler, M., Oudinet, J., Pretschner, A.:
  Security Mutants for Property-Based Testing
  Proc. 5th Intl. Conf. on Test and Proofs (TAP), Zurich, June 2011
• Pretschner, A., Mouelhi, T., Le Traon, Y.:
  Model-Based Tests for Access Control Policies
  Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), pp. 338-347, Lillehammer, April 2008
• Alyokhin, V., Elbel, B., Rothfelder, M., Pretschner, A.:
  Coverage Metrics for Continuous Function Charts © IEEE
  Proc. 15th IEEE Intl. Symp. on Software Reliability Engineering (ISSRE'04), pp. 257-268, St. Malo, November 2004
• Pretschner, A., Slotosch, O., Aiglstorfer, E., Kriebel, S.:
  Model Based Testing for Real--The Inhouse Card Case Study © Springer Verlag
  J. Software Tools for Technology Transfer 5(2-3):140-157, March 2004
  The original publication is available at springerlink.com
• Pretschner, A.:
  Zum modellbasierten funktionalen Test reaktiver Systeme
  Dissertation, Fakultät für Informatik, TU München, August 2003
  Gutachter: Manfred Broy, Klaus Müller-Glaser
• Pretschner, A.:
  Compositional Generation of MC/DC Integration Test Suites
  Proc. TACoS'03, Warsaw, March 2003. Electronic Notes in Theoretical Computer Science 82(6):1-11, 2003
• Wimmel, G., Lötzbeyer, H., Pretschner, A., Slotosch, O.:
  Specification Based Test Sequence Generation with Propositional Logic
  Journal on Software Testing, Validation, and Reliability 10(4):229-248, December 2000
• Pretschner, A., Philipps, J.:
  Heuristische Suche in der Testfallgenerierung
  Softwaretechnik-Trends 21(3):11-12, November 2001
• Pretschner, A.:
  Classical search strategies for test case generation with Constraint Logic Programming
  Proc. Formal Approaches to Testing of Software (FATES'01), pp. 47-60, Aalborg, August 2001
• Pretschner, A., Lötzbeyer, H.:
  Model Based Testing with Constraint Logic Programming: First Results and Challenges
  Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification, Toronto, May 2001
• Pretschner, A., Schaetz, B.:
  Modellbasiertes Testen mit AutoFocus/Quest
  Softwaretechnik-Trends 21(1):20-23, February 2001
• Lötzbeyer, H., Pretschner, A.:
  Testing Concurrent Reactive Systems with Constraint Logic Programming
  Proc. 2nd workshop on Rule-Based Constraint Reasoning and Programming, Singapore, September 2000
• Lötzbeyer, H., Pretschner, A.:
  AutoFocus on Constraint Logic Programming
  Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), London, July 2000

--Discrete-Continuous Systems

• Hahn, G., Philipps, J., Pretschner, A., Stauner, T.:
  Prototype-based Tests for Hybrid Reactive Systems
  Proc. 14th IEEE Intl. workshop on Rapid System Prototyping, pp. 78-85, San Diego, June 2003
• Hahn, G., Philipps, J., Pretschner, A., Stauner, T.:
  Tests for mixed discrete-continuous systems
  Technical Report TUM-I0301, Institut für Informatik, TU München, January 2003
• Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.:
  Model based development of hybrid systems: specification, simulation, test case generation © Springer Verlag
  In Engell, S., Frehse, G., Schnieder, E. (eds.): Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279, pp. 37-52, July 2002

--Methodology

• Broy, M., Pretschner, A.:
  A Model-Based View onto Testing: Criteria for the Derivation of Entry Tests for Integration Tests
  Chapter 10 of Zander, J., Schieferdecker, I., Mosterman, P. (eds.): Model-Based Testing for Embedded Systems, CRC Press, 2011, to appear
• Le Traon, Y., Mouelhi, T., Pretschner, A., Baudry, B.:
  Test-Driven Assessment of Access Control in Legacy Applications
  Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), pp. 238-247, Lillehammer, April 2008
• Pretschner, A.
  Zur Kosteneffektivität des modellbasierten Testens
  Proc. Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme, pp.85-94, Schloss Dagstuhl, January 2006
• Pretschner, A.
  Model-Based Testing in Practice © Springer Verlag
  Proc. Formal Methods 2005 (FM 2005), Springer LNCS 3582, pp. 537-541, Newcastle, July 2005
• Pretschner, A., Philipps, J.:
  Methodological Issues in Model-Based Testing © Springer Verlag
  In Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems, volume 3472 of Springer LNCS, pp. 281--291, 2005
• Pretschner, A., Lötzbeyer, H., Philipps, J.:
  Model Based Testing in Incremental System Development
  Journal of Systems and Software 70(3):315--329, March 2004
• Prenninger, W., Pretschner, A.:
  Abstractions for Model-Based Testing
  Proc. 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Barcelona, March 2004. Electronic Notes in Theoretical Computer Science 116:59--71, 2005
• Pretschner, A.:
  Zum modellbasierten funktionalen Test reaktiver Systeme
  Dissertation, Fakultät für Informatik, TU München, August 2003
  Gutachter: Manfred Broy, Klaus Müller-Glaser
• Pretschner, A., Philipps, J.:
  Szenarien modellbasierten Testens
  Technical Report TUM-I0205, Institut für Informatik, TU München, July 2002
• Pretschner, A., Lötzbeyer, H., Philipps, J.:
  Model Based Testing in Evolutionary Software development © IEEE
  Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), pp. 155-161, Monterey, June 2001

--Surveys

• Utting, M., Pretschner, A., Legeard, B.:
  A taxonomy of model-based testing approaches
  To appear in J. Software Testing, Verification, and Reliability, 2011
• Utting, M., Pretschner, A., Legeard, B.:
  A taxonomy of model-based testing
  Technical report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), April 2006
• Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.:
  Model-Based Testing of Reactive Systems
  Volume 3472 of Springer LNCS, 2005
• Pretschner, A.:
  Model-Based Testing
  Tutorial, Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), pp. 722-723, St. Louis, May 2005
• Pretschner, A.:
  Modellbasiertes Testen
  Tutorial, Proc. Modellierung 2004, p. 274, Marburg, March 2004
• Pretschner, A.:
  Zum modellbasierten funktionalen Test reaktiver Systeme
  Dissertation, Fakultät für Informatik, TU München, August 2003
  Gutachter: Manfred Broy, Klaus Müller-Glaser
• Pretschner, A.:
  Modellbasiertes Testen
  Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, June 2003

Model-Based Development
--General

• Pretschner, A.:
  Doctoral Symposium at MODELS
  Proc. 11th Intl. Conf on Model Driven Engineering Languages and Systems (MODELS), Springer LNCS 5301, pp. 908-909, October 2008
• Pretschner, A. (ed.):
  Proceedings of the MODELS 2008 Doctoral Symposium
  ETH Zürich Technical Report 606, September 2008
• Pretschner, A., Breu, R.:
  Doktorandensymposium bei der Modellierung 2008
  Proc. Modellierung 2008, pp. 215-216, Berlin, March 2008
• Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (editors):
  Proceedings of the 4th Intl. Workshop on Model-Driven Engineering, Verification and Validation
  INRIA, ISBN 2-7261-1294 3, October 2007
  pdf version available
• Pretschner, A., Prenninger, W.:
  Computing Refactorings of State Machines
  J. Software Systems Modeling 6(4):381-399, December 2007
  The original publication is available at SpringerLink.
• Pretschner, A., Prenninger, W.:
  Computing Refactorings of Behavior Models
  Proc. ACM/IEEE 8th Intl. Conf. on Model Driven Engineering Languages and Systems (MoDELS'05, formely UML conferences), Springer LNCS 3717, pp.126-141, Montego Bay, October 2005
• Breu, R., Pretschner, A., Rumpe, B.:
  Modellbasierte Qualitätssicherung
  Workshopzusammenfassung QUAM 05, Proc. Jahrestagung Informatik der GI, Bonn, September 2005
• Schätz, B., Broy, M.Huber, F., Philipps, J., Prenninger, W., Pretschner, A., Rumpe, B.:
  Model Based Software and Systems Development - A White Paper
  2004
• Schätz, B., Pretschner, A., Huber, F., Philipps, J.:
  Model-Based Development of Embedded Systems © Springer Verlag
  In Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science, Vol. 2426, pp. 298-311
  Proc. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002
• Schätz, B., Pretschner, A., Huber, F., Philipps, J.:
  Model-based Development
  Technical Report TUM-I0204, Institut für Informatik, TU München, May 2002
• Blotz, A., Huber, F., Lötzbeyer, H., Pretschner, A., Slotosch, O., Zängerl, P.:
  Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
  Proc. Ada Deutschland Tagung, pp. 37-52, Jena, March 2002

--Discrete-Continuous Systems

• Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.:
  Model based development of hybrid systems: specification, simulation, test case generation © Springer Verlag
  In Engell, S., Frehse, G., Schnieder, E. (eds.): Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279, pp. 37-52, July 2002
• Stauner, T., Pretschner, A., Péter, I.:
  Approaching a Discrete-Continuous UML: Tool Support and Formalization
  Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists, pp. 242-257, Toronto, October 2001
• Péter, I., Pretschner, A., Stauner, T.:
  Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen
  Tool Presentation
  Proc. Engineering komplexer Automatisierungssysteme (EKA'01), Braunschweig, April 2001
• Pretschner, A., Slotosch, O., Stauner, T.:
  Developing Correct Safety Critical, Hybrid, Embedded Systems
  Proc. New Information Processing Techniques for Military Systems, NATO Research and Technology Organization, Istanbul, October 2000
• Péter, I., Pretschner, A., Stauner, T.:
  Heterogeneous Development of Hybrid Systems
  Proc. GI workshop Rigorose Entwicklung software-intensiver Systeme, pp. 83-93, Berlin, August 2000

Personalization; Information Retrieval

• Gauch, S., Speretta, M., Pretschner, A.:
  Ontology-Based User Profiles for Personalized Search
  Chapter 24 of Kishore, R., Ramesh, R., and Sharman, R. (eds.):
Ontologies in the Context of Information Systems, Springer Verlag, September 2006
• Gauch, S., Chaffee, J., Pretschner, A.:
  Ontology-Based Personalized Search and Browsing
  J. Web Intelligence and Agent Systems 1(3-4):219-234, 2003
• Pretschner, A., Gauch, S.:
  Ontology Based Personalized Search
  Proc. 11th IEEE Intl. Conf. on Tools with Artificial Intelligence (ICTAI'99), pp. 391-398, Chicago, IL, November 1999
• Zhu, X., Gauch, S., Gerhard, L., Kral, N., Pretschner, A.:
  Ontology-Based Web Site Mapping for Information Exploration
  Proc. 8th Intl. Conf. on Information and Knowledge Management (CIKM'99), pp. 188-194, Kansas City, MO, November 1999
• Pretschner, A., Gauch, S.:
  Personalization on the Web
  Technical Report ITTC-FY2000-TR-13591-01, Information and Telecommunication Technology Center (ITTC), The University of Kansas, Lawrence, KS, December 1999
• Pretschner, A.:
  Ontology Based Personalized Search
  Master's thesis, University of Kansas, Lawrence, June 1999
  Committee: Susan Gauch, Arvin Agah, Jim Miller

Automotive SW Engineering

• Pretschner, A., Salzmann, C., Schätz, B., Stauner, T. (editors):
  Proceedings of the 4th Intl. ICSE Workshop on Software Engineering for Automotive Systems
  ACM Press, May 2007
• Pretschner, A., Broy, M., Krüger, I., Stauner, T.:
  Software Engineering for Automotive Systems: A Roadmap
  Future of Software Engineering 2007, pp. 55-71, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007
• Pretschner, A., Salzmann, C., Schätz, B., Stauner, T.:
  4th International ICSE Workshop on Software Engineering for Automotive Systems
  ICSE Companion 2007, p. 146, May 2007
• Broy, M., Krüger, I., Pretschner, A., Salzmann, C.:
  Engineering Automotive Software
  Proceedings of the IEEE 95(2):356-373, February 2007
  Abstract, Paper
• Rappl, M., Pretschner, A., Salzmann, C., Stauner, T. (editors):
  Proceedings of the 2006 International Workshop on Software Engineering for Automotive Systems
  ACM Press, ISBN 1-59593-402-2, May 2006
• Rappl, M., Pretschner, A., Salzmann, C., Stauner, T.:
  3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006
  Proc. 28th Intl. Conf. on Software Engineering (ICSE'06), p. 1034, Shanghai, May 2006
• Broy, M., Pretschner, A., Salzmann, C., Stauner, T.:
  Software intensive systems in the automotive domain: challenges for research and education
  Proc. SAE world congress, SAE special publication SP-2028 "In-vehicle software and hardware systems" (ISBN 076801763-7), pp. 259-266, Detroit, April 2006
• Pretschner, A., Salzmann, C., Stauner, T.:
  2nd Intl. ICSE workshop onSoftware engineering for automotive systems--workshop summary
  The ACM SIGSOFT Software Engineering Notes 30(4):79, July 2005 contain only the abstract
• Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.:
  One Evaluation of Model-Based Testing and its Automation
  Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), pp. 392-401, St. Louis, May 2005
  © ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. ICSE'05.]
• Pretschner, A., Salzmann, C., Stauner, T. (editors):
  Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems
  ACM Press, ISBN 1-59593-128-7, May 2005
• Salzmann, C., Stauner, T., Pretschner, A.:
  2nd ICSE Intl. Workshop on SW Engineering for Automotive Systems
  Workshop Summary, Proc. ICSE'05, pp. 695, St. Louis, May 2005
• Pretschner, A., Salzmann, C., Stauner, T.:
  Software engineering for automotive systems at ICSE 2004--workshop summary
  ACM SIGSOFT Software Engineering Notes 29(5), September 2004
• Pretschner, A., Salzmann, C., Stauner, T. (editors):
  Proceedings of the ICSE 2004 workshop on Software Engineering for Automotive Systems
  The Institution of Electrical Engineers, ISBN 0-86341-429-X, May 2004
• Salzmann, C., Stauner, T., Pretschner, A.:
  ICSE workshop: Software Engineering for Automotive Systems
  Proc. ICSE 2004, p. 779, Edinburgh, May 2004
• Braun, P., Broy, M., Cengarle, M.V., Philipps, J.,Prenninger, W., Pretschner, A., Rappl, M., Sandner, R.:
  The Automotive CASE
  In: Nagl, M., Westfechtel, B. (eds.), Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen, pp. 211-228, Wiley-VCH, April 2003

Other

• Pretschner, A.:
  
Vergleich von Narrowing-Verfahren erster und höherer Ordnung
(Comparison of first and higher order narrowing calculi)
Diplomarbeit, RWTH Aachen, June 1998
Gutachter: Michael Hanus, Klaus Indermark
• Hanus, M., Antoy, S., Pretschner, A., Sadre, R., Steiner, F.:
  TasteCurry's User Manual
  RWTH Aachen, 1998
• Prüfer, D., Pretschner, A., Oelert, J., Adzessa, P., Oelert, H.:
  Neue computergestützte Leistungserfassung und -auswertung in der Herzchirurgie
  (New computer based performance evaluation in cardiac surgery)
  In Krian A., Scheld H. (Hrsg.): Dokumentationsverfahren in der Herzchirurgie, pp. 105-106, Darmstadt, 1995
• Pretschner, A.:
  Symbolisches Differenzieren mit prozeduralen Programmiersprachen
  (Symbolic differentiation with procedural languages)
  ST-Computer 5/94, pp.80-87, May 1994