Veröffentlichungen

2015

  • Banescu, Sebastian; Ochoa, Martín; Kunze, Nils; Pretschner, Alexander: Idea: Benchmarking Indistinguishability Obfuscation – A Candidate Implementation. 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer Science + Business Media, 2015 mehr…
  • Banescu, Sebastian; Pretschner, Alexander; Battré, Dominic; Cazzulani, Stéfano; Shield, Robert; Thompson, Greg: Software-Based Protection against "Changeware". Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2015 mehr…
  • Duliu, Alexandru and Brosig, Richard and Ognawala, Saahil and Lasser, Tobias and Ziai, Mahzad and Navab, Nassir: Illumination Compensation and Normalization Using Low-Rank Decomposition of Multispectral Images in Dermatology. Information Processing in Medical Imaging (Lecture Notes in Computer Science), Springer International Publishing, 2015, 613--625 mehr…
  • Holling, Dominik; Fernández, Daniel Méndez; Pretschner, Alexander: Field Study on the Elicitation and Classification of Defects for Defect Models Pages contribution. Product-Focused Software Process Improvement - 16th International Conference, {PROFES} 2015, Bolzano, Italy, December 2-4, 201 (Lecture Notes in Computer Science), Springer Berlin Heidelberg , 2015, 380-396 mehr…
  • Ochoa, Martín; Cuéllar, Jorge; Pretschner, Alexander; Hallgren, Per: Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer Science + Business Media, 2015 mehr…
  • Vetro, Antonio; Ognawala, Saahil; Fernández, Daniel Méndez; Wagner, Stefan: Fast Feedback Cycles in Empirical Software Engineering Research. International Conference on Software Engineering (Lecture Notes in Computer Science ), IEEE, 2015, 583 -- 586 mehr…

2014

  • Alexander Pretschner: Achieving Accountability with Distributed Data Usage Control Technology. 2nd International Workshop on Accountability: Science, Technology, and Policy. Massachusetts Institute of Technology, 2014 mehr…
  • Barthe, Gilles; Köpf, Boris; Mauborgne, Laurent; Ochoa, Martín: Leakage Resilience against Concurrent Cache Attacks. Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Springer Science + Business Media, 2014 mehr…
  • Fernández, Daniel Méndez; Ognawala, Saahil; Wagner, Stefan; Daneva, Maya: Where do we stand in requirements engineering improvement today?: first results from a mapping study. Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ACM, 2014, 58 mehr…
  • Holling, Dominik; Pretschner, Alexander; Gemmar, Matthias: 8Cage: Lightweight Fault-Based Test Generation for Simulink. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, Association for Computing Machinery (ACM), 2014 mehr…
  • Kelbert, Florian; Pretschner, Alexander: Decentralized Distributed Data Usage Control. 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings, Springer Science + Business Media, 2014 mehr…
  • Lovat, Enrico; Kelbert, Florian: Structure Matters - A New Approach for Data Flow Tracking. Proceedings of the 2014 IEEE Security and Privacy Workshops, Institute of Electrical & Electronics Engineers (IEEE), 2014 mehr…
  • Lovat, Enrico; Oudinet, Johan; Pretschner, Alexander: On quantitative dynamic data flow tracking. Proceedings of the 4th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2014 mehr…
  • Lovat, Enrico; Oudinet, Johan; Pretschner, Alexander: On quantitative dynamic data flow tracking. Proceedings of the 4th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2014 mehr…
  • Rasthofer, Siegfried; Arzt, Steven; Lovat, Enrico; Bodden, Eric: DroidForce: Enforcing Complex, Data-centric, System-wide Policies in Android. Availability, Reliability and Security (ARES), 2014 Ninth International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2014 mehr…
  • Rocchetto, Marco; Ochoa, Martín; Torabi Dashti, Mohammad: Model-Based Detection of CSRF. 29th IFIP TC 11 International Conference, SEC 2014, Marrakech, Morocco, June 2-4, 2014. Proceedings, Springer Science + Business Media, 2014 mehr…
  • Wüchner, Tobias; Ochoa, Martín; Pretschner, Alexander: Malware detection with quantitative data flow graphs. Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, Association for Computing Machinery (ACM), 2014 mehr…
  • Wüchner, Tobias; Pretschner, Alexander; Ochoa, Martín: DAVAST. Proceedings of the Eleventh Workshop on Visualization for Cyber Security, Association for Computing Machinery (ACM), 2014 mehr…

2013

  • Acatech (Hrsg.): Internet Privacy – Options for adequate realisation. Springer Science + Business Media, 2013 mehr…
  • Acatech (Hrsg.): Privatheit im Internet.Chancen wahrnehmen, Risiken einschätzen, Vertrauen gestalten. Springer Berlin Heidelberg, 2013 mehr…
  • Birnstill, Pascal; Pretschner, Alexander: Enforcing privacy through usage-controlled video surveillance. Advanced Video and Signal Based Surveillance (AVSS), 2013 10th IEEE International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 mehr…
  • Büchler, Matthias: Security Testing with Fault-Models and Properties. Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 mehr…
  • Fromm, Alexander; Kelbert, Florian; Pretschner, Alexander: Data Protection in a Cloud-Enabled Smart Grid. First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers, Springer Science + Business Media, 2013 mehr…
  • Kelbert, F.: Data Usage Control for the Cloud. Cluster, Cloud and Grid Computing (CCGrid), 2013 13th IEEE/ACM International Symposium on, Institute of Electrical & Electronics Engineers (IEEE), 2013 mehr…
  • Kelbert, Florian; Pretschner, Alexander: Data usage control enforcement in distributed systems. Proceedings of the Third ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2013 mehr…
  • Kumari, Prachi; Pretschner, Alexander: Model-Based Usage Control Policy Derivation. Proceedings of the 5th International Conference on Engineering Secure Software and Systems, Springer Science + Business Media, 2013 mehr…
  • Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina: A Trustworthy Usage Control Enforcement Framework. International Journal of Mobile Computing and Multimedia Communications, 2013, 34-49 mehr…
  • Oudinet, Johan; Calvi, Alberto; Büchler, Matthias: Evaluation of ASLan Mutation Operators. 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, Springer Science + Business Media, 2013 mehr…
  • Oudinet, Johan; Denise, Alain; Gaudel, Marie-Claude: A new dichotomic algorithm for the uniform random generation of words in regular languages. Theoretical Computer Science 502:165-176, August 2013, Elsevier BV, 2013, 165-176 mehr…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. In: Moreira, Ana; Schätz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter (Hrsg.): Model-Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 2013, 87-103 mehr…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings, Springer Science + Business Media, 2013 mehr…
  • Vigano, Luca: The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. OWASP AppSec Research, Institute of Electrical & Electronics Engineers (IEEE), 2013 mehr…
  • Wüchner, Tobias; Müller, Steffen; Fischer, Robin: Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control. Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 mehr…

2012

  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Semi-Automatic Security Testing of Web Applications from a Secure Model. Proc. 6th IEEE Intl. Conf. on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 mehr…
  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: SPaCiTE -- Web Application Testing Engine. Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012, Institute of Electrical & Electronics Engineers (IEEE), 2012 mehr…
  • Feth, Denis; Pretschner, Alexander: Flexible Data-Driven Security for Android. Proceedings of the 2012 IEEE Sixth International Conference on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 mehr…
  • Kelbert, Florian; Pretschner, Alexander: Towards a policy enforcement infrastructure for distributed usage control. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery (ACM), 2012 mehr…
  • Kelbert, Florian; Shirazi, Fatemeh; Simo, Hervais; Wüchner, Tobias; Buchmann, Johannes; Pretschner, Alexander; Waidner, Michael: State of Online Privacy: A Technical Perspective. Springer Science + Business Media, 2012 mehr…
  • Kumari, Prachi; Pretschner, Alexander: Deriving implementation-level policies for usage control enforcement. {Proceedings of the Second ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2012 mehr…
  • Pretschner, Alexander; Lovat, Enrico; Büchler, Matthias: Representation-Independent Data Usage Control. In: Garcia-Alfaro, Joaquin; Navarro-Arribas, Guillermo; Cuppens-Boulahia, Nora; de Capitani di Vimercati, Sabrina (Hrsg.): Data Privacy Management and Autonomous Spontaneus Security. Springer Berlin Heidelberg, 2012, 122-140 mehr…
  • Pretschner, Alexander; Lovat, Enrico; Büchler, Matthias: Representation-Independent Data Usage Control. Proceedings of the 6th International Conference, and 4th International Conference on Data Privacy Management and Autonomous Spontaneus Security, Springer Science + Business Media, 2012 mehr…
  • Wuchner, Tobias; Pretschner, Alexander: Data Loss Prevention Based on Data-Driven Usage Control. 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012, IEEE, 2012 mehr…
  • Wuchner, Tobias; Pretschner, Alexander: Data Loss Prevention Based on Data-Driven Usage Control. Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering, Institute of Electrical & Electronics Engineers (IEEE), 2012 mehr…

2011

  • Beckert, B., Hofheinz, D., Müller-Quade, J., Pretschner, A., Snelting, G.: Software Security in Virtualized Infrastructures: The Smart Meter Example. it - Information Technology, 2011 mehr…
  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Security Mutants for Property-Based Testing. 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings, Springer Science + Business Media, 2011 mehr…
  • Ciupa, I.; Pretschner, A.; Oriol, M.; Leitner, A.; Meyer, B.: On the number and nature of faults found by random testing. Softw. Test. Verif. Reliab., Wiley-Blackwell, 2011, 3-28 mehr…
  • Cornelius Moucha, Enrico Lovat, and Alexander Pretschner: A virtualized usage control bus system. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 2011 mehr…
  • Kumari, Prachi; Pretschner, Alexander; Peschla, Jonas; Kuhn, Jens-Michael: Distributed data usage control for web applications. Proceedings of the First ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2011 mehr…
  • Lovat, Enrico; Pretschner, Alexander: Data-centric multi-layer usage control enforcement. Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery (ACM), 2011 mehr…
  • Moucha, Cornelius; Lovat, Enrico; Pretschner, Alexander: A Hypervisor-Based Bus System for Usage Control. Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security, Institute of Electrical & Electronics Engineers (IEEE), 2011 mehr…
  • Neisse, Ricardo; Holling, Dominik; Pretschner, Alexander: Implementing Trust in Cloud Infrastructures. Proceedings of the 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Institute of Electrical & Electronics Engineers (IEEE), 2011 mehr…
  • Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina: A Trustworthy Usage Control Enforcement Framework. Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security, Institute of Electrical & Electronics Engineers (IEEE), 2011 mehr…
  • Prachi Kumari, Florian Kelbert, Alexander Pretschner: Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example. Dependable Software for Critical Infrastructures, 2011 mehr…
  • Utting, Mark; Pretschner, Alexander; Legeard, Bruno: A taxonomy of model-based testing approaches. Software Testing, Verification & Reliability, Wiley-Blackwell, 2011, 297-312 mehr…

2010

  • Cuadrado-Gallego, Juan J and Rodriguez-Soria, Pablo and Gonzàlez, Alfonso and Castelo, Dácil and Ognawala, Saahil: Early functional size estimation with IFPUG unit modified. International Conference on Computer and Information Science, IEEE, 2010, 729--733 mehr…
  • Prachi Kumari: Requirements Analysis for Privacy in Social Networks. 8th Intl. Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods (VG), 2010 mehr…

2009

  • Gheorghe, Gabriela; Massacci, Fabio; Neuhaus, Stephan; Pretschner, Alexander: GoCoMM: A Governance and Compliance Maturity Model. Proceedings of the First ACM Workshop on Information Security Governance, Association for Computing Machinery (ACM), 2009 mehr…
  • Harvan, Matúš; Pretschner, Alexander: State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. Proceedings of the 2009 Third International Conference on Network and System Security, Institute of Electrical & Electronics Engineers (IEEE), 2009 mehr…
  • Leitner, Andreas; Pretschner, Alexander; Mori, Stefan; Meyer, Bertrand; Oriol, Manuel: On the Effectiveness of Test Extraction without Overhead. Proc. 2nd Intl. Conf. on Software Testing, Verication, and Validation (ICST, Institute of Electrical & Electronics Engineers (IEEE), 2009 mehr…
  • Pretschner, A., Büchler, M., Harvan, M., Schaefer, C., Walter, T.: Usage Control Enforcement with Data Flow Tracking for X11. 5th Intl. Workshop on Security and Trust Management (STM), 2009 mehr…
  • Pretschner, A.; Schütz, F.; Schaefer, C.; Walter, T.: Policy Evolution in Distributed Usage Control. 4th Intl. Workshop on Security and Trust Management (STM'08), Elsevier BV, 2009, 109-123 mehr…
  • Pretschner, A.; Schütz, F.; Schaefer, C.; Walter, T.: Policy Evolution in Distributed Usage Control. 4th Intl. Workshop on Security and Trust Management (STM'08), Elsevier BV, 2009, 109-123 mehr…
  • Pretschner, Alexander: An Overview of Distributed Usage Control. 2nd Conf. Knowledge Engineering: Principles and Techniques, 2009 mehr…
  • Pretschner, Alexander; Rüesch, Judith; Schaefer, Christian; Walter, Thomas: Formal Analyses of Usage Control Policies. Availability, Reliability and Security, 2009. ARES '09. International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2009 mehr…

2008

  • Ciupa, Ilinca; Meyer, Bertrand; Oriol, Manuel; Pretschner, Alexander: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. Proc. 19th Intl. Symp. on Software Reliability Engineering (ISSRE), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Ciupa, Ilinca; Pretschner, Alexander; Leitner, Andreas; Oriol, Manuel; Meyer, Bertrand: On the Predictability of Random Tests for Object-Oriented Software. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Lotz, Volkmar; Pigout, Emmanuel; Fischer, Peter M.; Kossmann, Donald; Massacci, Fabio; Pretschner, Alexander: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. J. Wirtschaftsinformatik, Springer Science + Business Media, 2008, 383-391 mehr…
  • Pretschner, A.; Hilty, M.; Basin, D.; Schaefer, C.; Walter, T.: Mechanisms for usage control. Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, Association for Computing Machinery (ACM), 2008 mehr…
  • Pretschner, Alexander; Hilty, Manuel; Schütz, Florian; Schaefer, Christian; Walter, Thomas: Usage Control Enforcement: Present and Future. Security Privacy, IEEE, Institute of Electrical & Electronics Engineers (IEEE), 2008, 44-53 mehr…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Pretschner, Alexander; Walter, Thomas: Negotiation of Usage Control Policies - Simply the Best? Availability, Reliability and Security, 2008. ARES 08. Third International Conference on Availability, Reliability and Security , Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Pretschner, Alexander: Doctoral Symposium at MODELS 2008. 11th Intl. Conf on Model Driven Engineering Languages and Systems (MODELS), Springer LNCS 5301, pp. 908-909, Springer Science + Business Media, 2008 mehr…
  • Sundmark, Daniel; Carlson, Jan; Punnekkat, Sasikumar; Ermedahl, Andreas: Structural Testing of Component-Based Systems. 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, Springer Science + Business Media, 2008 mehr…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 mehr…

2007

  • Berthold, Agreiter; Alam, Muhammad; Breu, Ruth; Hafner, Michael; Pretschner, Alexander; Seifert, Jean-Pierre; Zhang, Xinwen: A technical architecture for enforcing usage control requirements in service-oriented architectures. Proceedings of the 2007 ACM Workshop on Secure Web Services, Association for Computing Machinery (ACM), 2007 mehr…
  • Broy, M., Krüger, I., Pretschner, A., Salzmann, C.: Engineering Automotive Software. Proceedings of the IEEE 95(2), 2007 mehr…
  • Gauch, S., Speretta, M., Pretschner, A.: Ontology-Based User Profiles for Personalized Search. In: Ontologies: A Handbook of Principles, Concepts and Applications in Information Systems. Springer, 2007 mehr…
  • Hilty, M., Pretschner, A., Basin, D.: Verteilte Nutzungskontrolle. digma , 2007 mehr…
  • Hilty, M.; Pretschner, A.; Basin, D.; Schaefer, C.; Walter, T.: A Policy Language for Distributed Usage Control. Proceedings of the 12th European Conference on Research in Computer Security, Springer Science + Business Media, 2007 mehr…
  • Hilty, M.; Pretschner, A.; Basin, D.; Schaefer, C.; Walter, T.: Monitors for Usage Control. Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security,, Springer Science + Business Media, 2007 mehr…
  • Hilty, Manuel; Pretschner, Alexander; Schaefer, Christian; Walter, Thomas: DUKE--Distributed Usage Control Enforcement. 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), Institute of Electrical & Electronics Engineers (IEEE), 2007 mehr…
  • Pretschner, A., Broy, M., Krüger, I., Stauner, T.: Software Engineering for Automotive Systems: A Roadmap. Future of Software Engineering, IEEE-CS Press, 2007 mehr…
  • Pretschner, A., Salzmann, C., Schätz, B., Stauner, T.: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007, 2007 mehr…
  • 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, 2007 mehr…
  • Pretschner, Alexander; Massacci, Fabio; Hilty, Manuel: Usage Control in Service-Oriented Architectures. 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings, Springer Science + Business Media, 2007 mehr…
  • Pretschner, Alexander; Prenninger, Wolfgang: Computing refactorings of state machines. J. Software Systems Modeling 6(4):381-399, December 2007 , Springer Science + Business Media, 2007, 381-399 mehr…

2006

  • Broy, M., Pretschner, A., Salzmann, C., Stauner, T.: Software intensive systems in the automotive domain: challenges for research and education. SAE world congress, 2006SAE special publication SP-2028 "In-vehicle software and hardware systems" mehr…
  • Hilty, Manuel; Pretschner, Alexander; Schaefer, Christian; Schaefer, Christian; Walter, Thomas: Usage Control Requirements in Mobile and Ubiquitous Computing Applications. Systems and Networks Communications, 2006. ICSNC '06. International Conference, Institute of Electrical & Electronics Engineers (IEEE), 2006 mehr…
  • Pretschner, A: Zur Kosteneffektivität des modellbasierten Testens. Proc. Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme, 2006 mehr…
  • Pretschner, Alexander; Hilty, Manuel; Basin, David: Distributed usage control. Communications of the ACM, Association for Computing Machinery (ACM), 2006, 39 mehr…
  • Rappl, M., Pretschner, A., Salzmann, C., Stauner, T.: 3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006. SEAS, 2006 mehr…
  • Rappl, M., Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the 2006 international workshop on Software engineering for automotive systems. ICSE '06 International Conference on Software Engineering , ACM, 2006 mehr…
  • 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), 2006 mehr…

2005

  • Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems. Volume 3472 of Springer LNCS, Springer Berlin Heidelberg, 2005 mehr…
  • Hilty, M., Basin, D., Pretschner, A.: On Obligations. 10th European Symp. on Research in Computer Security (ESORICS'05), Springer LNCS , 2005 mehr…
  • Prenninger, Wolfgang; Pretschner, Alexander: Abstractions for Model-Based Testing. 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Elsevier BV, 2005, 59-71 mehr…
  • 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), ACM, 2005 mehr…
  • Pretschner, A., Salzmann, C., Stauner, T.: 2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. The ACM SIGSOFT Software Engineering Notes 30(4):79, 2005 mehr…
  • Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems. ACM Press, 2005 mehr…
  • Pretschner, A.; Prenninger, W.; Wagner, S.; Kuhnel, C.; Sostawa, B.; ZoIch, R.; Stauner, T.: One evaluation of model-based testing and its automation. Tutorial, Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), Institute of Electrical & Electronics Engineers (IEEE), 2005 mehr…
  • 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. Proceedings of the 27th International Conference on Software Engineering, Association for Computing Machinery (ACM), 2005 mehr…
  • Pretschner, Alexander; Philipps, Jan: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, Springer Science + Business Media, 2005 mehr…
  • Pretschner, Alexander; Prenninger, Wolfgang: Computing Refactorings of Behavior Models. 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, , Springer Science + Business Media, 2005 mehr…
  • Pretschner, Alexander: Model-Based Testing in Practice. FM 2005: Formal Methods, Springer Science + Business Media, 2005 mehr…
  • Ruth Breu, Alexander Pretschner , Bernhard Rumpe: Modellbasierte Qualitätssicherung. Workshopzusammenfassung QUAM 05, Proc. Jahrestagung Informatik der GI, Bonn, 2005 mehr…

2004

  • Alyokhin, V.; Elbel, B.; Rothfelder, M.; Pretschner, A.: Coverage Metrics for Continuous Function Charts. Proc. 15th IEEE Intl. Symp. on Software Reliability Engineering (ISSRE'04), Institute of Electrical & Electronics Engineers (IEEE), 2004 mehr…
  • Bernhard Schätz, Manfred Broy, Franz Huber, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Bernhard Rumpe: Model Based Software and Systems Development. A White Paper, 2004 mehr…
  • Pretschner, A., Salzmann, C., Stauner, T.: Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Software Engineering Notes 29(5), 2004 mehr…
  • Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the ICSE 2004 workshop on Software Engineering for Automotive Systems. The Institution of Electrical Engineers, 2004 mehr…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. International Journal on Software Tools for Technology Transfer (STTT) (2-3), 2004, 140-157 mehr…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. J. Software Tools for Technology Transfer, Springer Science + Business Media, 2004, 140-157 mehr…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. Int. J. Softw. Tools Technol. Transf., Springer Science + Business Media, 2004, 140-157 mehr…
  • Pretschner, Alexander: Modellbasiertes Testen. Tutorial, Proc. Modellierung 2004, p. 274, Marburg, March 2004, 2004 mehr…
  • Pretschner, Alexander; Lötzbeyer, Heiko; Philipps, Jan: Model based testing in incremental system development. Journal of Systems and Software 70(3), Elsevier BV, 2004, 315-329 mehr…
  • Salzmann, C., Stauner, T., Pretschner, A.: ICSE Workshop: Software Engineering for Automotive Systems. ICSE '04 Proceedings of the 26th International Conference on Software Engineering , 2004 mehr…
  • Schätz, B., Broy, M.Huber, F., Philipps, J., Prenninger, W., Pretschner, A., Rumpe, B.: Model Based Software and Systems Development - A White Paper. A White Paper, 2004 mehr…

2003

  • Alexander Pretschner: Modellbasiertes Testen. Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, 2003 mehr…
  • Braun, P., Broy, M., Cengarle, M.V., Philipps, J.,Prenninger, W., Pretschner, A., Rappl, M., Sandner, R.: The Automotive CASE. Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen, Wiley-VCH, 2003 mehr…
  • Gauch, S., Chaffee, J., Pretschner, A.: Ontology-Based Personalized Search and Browsing. Web Intelligence and Agent Systems: An International Journal - Volume 12, issue 4, 2003 mehr…
  • Hahn, G., Philipps, J., Pretschner, A., Stauner, T.: Tests for mixed discrete-continuous systems. Technical Report TUM-I0301, 2003 mehr…
  • Philipps, J.; Hahn, G.; Pretschner, A.; Stauner, T.: Prototype-based tests for hybrid reactive systems. 14th IEEE Intl. workshop on Rapid System Prototyping, Institute of Electrical & Electronics Engineers (IEEE), 2003 mehr…
  • Philipps, J.; Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.; Scholl, K.: Model-Based Test Case Generation for Smart Cards1 1Support by the BMBF (project EMPRESS) is gratefully acknowledged. Electronic Notes in Theoretical Computer Science, Elsevier BV, 2003, 170-184 mehr…

2002

  • Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems: specification, simulation, test case generation. Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279, Springer, 2002 mehr…
  • Bender, Klaus; Broy, Manfred; Péter, István; Pretschner, Alexander; Stauner, Thomas: Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. Modelling, Analysis, and Design of Hybrid Systems, Springer Science + Business Media, 2002 mehr…
  • 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, 2002 mehr…
  • Pretschner, A., Philipps, J.: Szenarien modellbasierten Testens. Technical Report TUM-I0205, 2002 mehr…
  • Schätz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002, 2002 mehr…

2001

  • Pretschner, A: Classical search strategies for test case generation with Constraint Logic Programming. Proc. Formal Approaches to Testing of Software (FATES'01), 2001 mehr…
  • Pretschner, A., Lötzbeyer, H: Model Based Testing with Constraint Logic Programming: First Results and Challenges. 2nd ICSE Intl. Workshop on Automated Program Analysis, 2001 mehr…
  • Pretschner, A., Philipps, J.: Heuristische Suche in der Testfallgenerierung. Softwaretechnik-Trends 21(3):11-12, 2001 mehr…
  • Pretschner, A., Schaetz, B: Modellbasiertes Testen mit AutoFocus/Quest. Softwaretechnik-Trends 21(1):20-23, 2001 mehr…
  • Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.: Model Based Testing for Real: The Inhouse Card Case Study. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2001 mehr…
  • Pretschner, A.; Lotzbeyer, H.; Philipps, J.: Model based testing in evolutionary software development. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP’01), Institute of Electrical & Electronics Engineers (IEEE), 2001 mehr…
  • Péter, I., Pretschner, A., Stauner, T.: Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen. Proc. Engineering komplexer Automatisierungssysteme (EKA'01), 2001 mehr…
  • 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, 2001 mehr…

2000

  • Lötzbeyer, H., Pretschner, A: Testing Concurrent Reactive Systems with Constraint Logic Programming. 2nd workshop on Rule-Based Constraint Reasoning and Programming,, 2000 mehr…
  • Lötzbeyer, H., Pretschner, A: AutoFocus on Constraint Logic Programming. Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), 2000 mehr…
  • 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, 2000 mehr…
  • Péter, I., Pretschner, A., Stauner, T.: Heterogeneous Development of Hybrid Systems. Proc. GI workshop Rigorose Entwicklung software-intensiver Systeme, 2000 mehr…
  • 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, Wiley-Blackwell, 2000, 229-248 mehr…

1999

  • Pretschner, A.: Ontology Based Personalized Search. , 1999 mehr…
  • 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, 1999, mehr…
  • Pretschner, A., Gauch, S.: Ontology Based Personalized Search. Proc. 11th IEEE Intl. Conf. on Tools with Artificial Intelligence (ICTAI'99), 1999 mehr…
  • 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), 1999 mehr…

1998

  • Hanus, M., Antoy, S., Pretschner, A., Sadre, R., Steiner, F.: TasteCurry's User Manual. 1998 mehr…
  • Pretschner, A.: Vergleich von Narrowing-Verfahren erster und höherer Ordnung. , 1998 mehr…

1995

  • Prüfer, D.; Pretschner, A., Oelert, J., Adzessa, P., Oelert, H.: Neue computergestützte Leistungserfassung und -auswertung in der Herzchirurgie. Dokumentationsverfahren in der Herzchirurgie, 1995 mehr…

1994

  • Pretschner, Alexander: Symbolisches Differenzieren mit prozeduralen Programmiersprachen. ST-Computer 5/94, pp.80-87, May 1994, 1994 mehr…