Alexander Pretschner

295 papers A* 11A 44B 23C 21Misc 5Journal 81Unranked 95

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Analyzing the Availability of E-Mail Addresses for PyPI Libraries. CoRR Alexandros Tsakpinis, Alexander Pretschner
2026	J	`jnl`	Forecasting the Maintained Score from the OpenSSF Scorecard for GitHub Repositories linked to PyPI libraries. CoRR Alexandros Tsakpinis, Efe Berk Ergülec, Emil Schwenger, Alexander Pretschner
2026	J	`jnl`	Generating Test Cases for Decentralized Swarming Unmanned Aerial Vehicles. J. Intell. Robotic Syst. David K. Marson, Alexander Pretschner
2026	—	`conf`	On Effort Awareness for Just-In-Time Defect Prediction. SWQD Peter Bludau, Alexander Pretschner
2026	—	`conf`	Understanding Integration Testing. Engineering Safe and Trustworthy Cyber Physical Systems Alexander Pretschner, Lena Gregor
2026	J	`jnl`	Why Authors and Maintainers Link (or Don't Link) Their PyPI Libraries to Code Repositories and Donation Platforms. CoRR Alexandros Tsakpinis, Nicolas Raube, Alexander Pretschner
2025	A	`conf`	A Taxonomy of Integration-Relevant Faults for Microservice Testing. ICST Lena Gregor, Anja Hentschel, Leon Kastner, Alexander Pretschner
2025	A	`conf`	Analyzing the Usage of Donation Platforms for PyPI Libraries. EASE Alexandros Tsakpinis, Alexander Pretschner
2025	J	`jnl`	Analyzing the Usage of Donation Platforms for PyPI Libraries. CoRR Alexandros Tsakpinis, Alexander Pretschner
2025	—	`conf`	Automated Extract Method Refactoring with Open-Source LLMs: A Comparative Study. AIware Sivajeet Chand, Melih Kilic, Roland Würsching, Sushant Kumar Pandey, Alexander Pretschner
2025	J	`jnl`	Automated Extract Method Refactoring with Open-Source LLMs: A Comparative Study. CoRR Sivajeet Chand, Melih Kilic, Roland Würsching, Sushant Kumar Pandey, Alexander Pretschner
2025	J	`jnl`	Automatically Improving Scenario Descriptions Derived From Recorded Traffic. IEEE Trans. Intell. Veh. Nicola Kolb, Florian Huber, Alexander Pretschner
2025	—	`conf`	Balancing Benefits and Risks: continuous Data Sharing with AI Assistants in Workplaces. ECIS Mena Teebken, Thomas Hess, Alexander Pretschner, Christian Matt
2025	—	`conf`	Benchmarking Component and Integration Testing in Microservices: Test Suites and Fault Analysis on TrainTicket. SOSE Lena Gregor, Marcel Skalski, Alexander Pretschner
2025	—	`conf`	Enhanced Traffic Rule Monitoring Using Model-Predictive and Duration-Aware Robustness. ITSC Florian Finkeldei, Michael Wolf, Jan-Niklas Weghorn, Alexander Pretschner, Matthias Althoff
2025	—	`conf`	GeMTest: A General Metamorphic Testing Framework. ICSE Companion Simon Speth, Alexander Pretschner
2025	—	`conf`	Generating Latent Space-Aware Test Cases for Neural Networks using Gradient-Based Search. ICSTW Simon Speth, Christoph Jasper, Claudius Jordan, Alexander Pretschner
2025	J	`jnl`	Latent Space Class Dispersion: Effective Test Data Quality Assessment for DNNs. CoRR Vivek Vekariya, Mojdeh Golagha, Andrea Stocco, Alexander Pretschner
2025	—	`conf`	Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems. MODELS-C Sebastian Bergemann, Andreas Bayha, Derui Zhu, Mohammad Sadeghi, Colin Atkinson, Alexander Pretschner
2025	A	`conf`	RustyRTS: Regression Test Selection for Rust. ICST Simon Hundsdorfer, Roland Würsching, Alexander Pretschner
2025	A*	`conf`	Should We Evaluate LLM Based Security Analysis Approaches on Open Source Systems? ASE Kohei Dozono, Jonas Engesser, Benjamin Hummel, Tobias Roehm, Alexander Pretschner
2024	B	`conf`	A Failure Model Library for Simulation-Based Validation of Functional Safety. SAFECOMP Tiziano Munaro, Irina Muntean, Alexander Pretschner
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024	A	`conf`	Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries. EASE Alexandros Tsakpinis, Alexander Pretschner
2024	J	`jnl`	Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries. CoRR Alexandros Tsakpinis, Alexander Pretschner
2024	A	`conf`	Cost of Flaky Tests in Continuous Integration: An Industrial Case Study. ICST Fabian Leinen, Daniel Elsner, Alexander Pretschner, Andreas Stahlbauer, Michael Sailer, Elmar Jürgens
2024	J	`jnl`	Generation of Tailored and Confined Datasets for IDS Evaluation in Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. Thomas Hutzelmann, Dominik Mauksch, Ana Petrovska, Alexander Pretschner
2024	—	`conf`	Navigating the New Norm: Employees' Continuous Data Sharing in AI-Driven Workplaces. Wirtschaftsinformatik Mena Teebken, Thomas Hess, Alexander Pretschner
2024	—	`conf`	On the Impact of Hitting System Resource Limits on Test Flakiness. FTW@ICSE Fabian Leinen, Alexander Perathoner, Alexander Pretschner
2024	C	`conf`	System-Level Test Case Generation and Execution for Distributed Cooperative Unmanned Aerial Systems. IV David K. Marson, Diana Deldar, Alexander Pretschner
2023	J	`jnl`	A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2023	C	`conf`	Automatisierte Identifikation von sicherheitsrelevanten Konfigurationseinstellungen mittels NLP. Software Engineering Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner
2023	C	`conf`	Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. AST Patrick Stöckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner
2023	J	`jnl`	Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. CoRR Patrick Stöckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner
2023	A	`conf`	BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI. ICST Daniel Elsner, Severin Kacianka, Stephan Lipp, Alexander Pretschner, Axel Habermann, Maria Graber, Silke Reimer
2023	A	`conf`	DIRTS: Dependency Injection Aware Regression Test Selection. ICST Simon Hundsdorfer, Daniel Elsner, Alexander Pretschner
2023	J	`jnl`	Decentralized Inverse Transparency With Blockchain. CoRR Valentin Zieglmeier, Gabriel Loyola Daiqui, Alexander Pretschner
2023	J	`jnl`	Decentralized Inverse Transparency with Blockchain. Distributed Ledger Technol. Res. Pract. Valentin Zieglmeier, Gabriel Loyola Daiqui, Alexander Pretschner
2023	A	`conf`	Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. ISSTA Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu
2023	—	`conf`	On Scenario-Based Testing of Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products Alexander Pretschner, Florian Hauer, Tabea Schmidt
2023	J	`jnl`	Rethinking People Analytics With Inverse Transparency by Design. CoRR Valentin Zieglmeier, Alexander Pretschner
2023	J	`jnl`	Rethinking People Analytics With Inverse Transparency by Design. Proc. ACM Hum. Comput. Interact. Valentin Zieglmeier, Alexander Pretschner
2023	A	`conf`	Revisiting Inter-Class Maintainability Indicators. SANER Lena Gregor, Markus Schnappinger, Alexander Pretschner
2023	A	`conf`	Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software. ICST Roland Wuersching, Daniel Elsner, Fabian Leinen, Alexander Pretschner, Georg Grueneissl, Thomas Neumeyr, Tobias Vosseler
2023	—	`conf`	When to Apply Scenario-Based Testing to a New System Domain? ITSC Nicola Kolb, Tabea Schmidt, Joachim Fröhlich, Alexander Pretschner
2022	C	`conf`	A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2022	—	`conf`	A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability. SWQD Markus Schnappinger, Simon Zachau, Arnaud Fietzke, Alexander Pretschner
2022	A	`conf`	An empirical study on the effectiveness of static C code analyzers for vulnerability detection. ISSTA Stephan Lipp, Sebastian Banescu, Alexander Pretschner
2022	A*	`conf`	Automated Identification of Security-Relevant Configuration Settings Using NLP. ASE Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner
2022	J	`jnl`	Automated Identification of Security-Relevant Configuration Settings Using NLP. CoRR Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner
2022	J	`jnl`	Automated Implementation of Windows-related Security-Configuration Guides. CoRR Patrick Stöckle, Bernd Grobauer, Alexander Pretschner
2022	—	`conf`	Automatic Evaluation of Automatically Derived Semantic Scenario Instance Descriptions. ITSC Nicola Kolb, Claudius Jordan, Florian Huber, Alexander Pretschner
2022	—	`conf`	Build System Aware Multi-language Regression Test Selection in Continuous Integration. ICSE (SEIP) Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner, Maria Graber, René Dammer, Silke Reimer
2022	C	`conf`	Challenges in Regression Test Selection for End-to-End Testing of Microservice-based Software Systems. AST Daniel Elsner, Daniel Bertagnolli, Alexander Pretschner, Rudi Klaus
2022	B	`conf`	Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. SAFECOMP Nicola Kolb, Florian Hauer, Mojdeh Golagha, Alexander Pretschner
2022	J	`jnl`	Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems. Inf. Softw. Technol. Ana Petrovska, Stefan Kugele, Thomas Hutzelmann, Theo Beffart, Sebastian Bergemann, Alexander Pretschner
2022	B	`conf`	Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. SAFECOMP Tabea Schmidt, Florian Hauer, Alexander Pretschner
2022	J	`jnl`	Feature Sets in Just-in-Time Defect Prediction: An Empirical Evaluation. CoRR Peter Bludau, Alexander Pretschner
2022	—	`conf`	Feature sets in just-in-time defect prediction: an empirical evaluation. PROMISE Peter Bludau, Alexander Pretschner
2022	—	`conf`	FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme
2022	—	`conf`	Hardening with Scapolite: A DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations. CODASPY Patrick Stöckle, Ionut Pruteanu, Bernd Grobauer, Alexander Pretschner
2022	J	`jnl`	Hardening with Scapolite: a DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations. CoRR Patrick Stöckle, Ionut Pruteanu, Bernd Grobauer, Alexander Pretschner
2022	—	`conf`	Increasing Employees' Willingness to Share: Introducing Appeal Strategies for People Analytics. ICSOB Valentin Zieglmeier, Maren Gierlich-Joas, Alexander Pretschner
2022	J	`jnl`	Increasing Employees' Willingness to Share: Introducing Appeal Strategies for People Analytics. CoRR Valentin Zieglmeier, Maren Gierlich-Joas, Alexander Pretschner
2022	A	`conf`	PR-SZZ: How pull requests can support the tracing of defects in software repositories. SANER Peter Bludau, Alexander Pretschner
2022	J	`jnl`	PR-SZZ: How pull requests can support the tracing of defects in software repositories. CoRR Peter Bludau, Alexander Pretschner
2022	C	`conf`	Probe-based Syscall Tracing for Efficient and Practical File-level Test Traces. AST Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner
2022	A	`conf`	StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing (Tools and Artifact Track). ISSRE Tabea Schmidt, Alexander Pretschner
2022	—	`conf`	Unreliable Test Infrastructures in Automotive Testing Setups. ICSE (SEIP) Claudius Jordan, Philipp Foth, Alexander Pretschner, Matthias Fruth
2022	A	`conf`	Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report). ISSRE Claudius Jordan, Philipp Foth, Matthias Fruth, Alexander Pretschner
2021	—	`conf`	A Causal Model of Intersection-Related Collisions for Drivers With and Without Visual Field Loss. HCI (43) Bianca Biebl, Severin Kacianka, Anirudh Unni, Alexander Trende, Jochem W. Rieger, Andreas Lüdtke, Alexander Pretschner, Klaus Bengler
2021	C	`conf`	Automated Implementation of Windows-related Security-Configuration Guides. Software Engineering Patrick Stöckle, Bernd Grobauer, Alexander Pretschner
2021	—	`conf`	Designing Accountable Systems. FAccT Severin Kacianka, Alexander Pretschner
2021	J	`jnl`	Designing Accountable Systems. CoRR Severin Kacianka, Alexander Pretschner
2021	A	`conf`	Dynamic Taint Analysis versus Obfuscated Self-Checking. ACSAC Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner
2021	A	`conf`	Empirically evaluating readily available information for regression test optimization in continuous integration. ISSTA Daniel Elsner, Florian Hauer, Alexander Pretschner, Silke Reimer
2021	J	`jnl`	Empowered and Embedded: Ethics and Agile Processes. CoRR Niina Zuber, Severin Kacianka, Jan Gogoll, Alexander Pretschner, Julian Nida-Rümelin
2021	J	`jnl`	Ethik in der agilen Software-Entwicklung. Inform. Spektrum Alexander Pretschner, Niina Zuber, Jan Gogoll, Severin Kacianka, Julian Nida-Rümelin
2021	—	`conf`	Fitness Function Templates for Testing Automated and Autonomous Driving Systems in Intersection Scenarios. ITSC Nicola Kolb, Florian Hauer, Alexander Pretschner
2021	—	`conf`	How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies. ESEC/SIGSOFT FSE Roman Haas, Daniel Elsner, Elmar Jürgens, Alexander Pretschner, Sven Apel
2021	A	`conf`	Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. EASE Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner
2021	—	`conf`	IoT Thing To Service Semantic Matching. PerCom Workshops Nisrine Bnouhanna, Rute C. Sofia, Alexander Pretschner
2021	J	`jnl`	Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. ACM Trans. Priv. Secur. Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
2021	—	`conf`	Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. SEAMS@ICSE Ana Petrovska, Malte Neuss, Ilias Gerostathopoulos, Alexander Pretschner
2021	J	`jnl`	Tests für automatisierte und autonome Fahrsysteme. Inform. Spektrum Alexander Pretschner, Florian Hauer, Tabea Schmidt
2021	J	`jnl`	Trustworthy Transparency by Design. CoRR Valentin Zieglmeier, Alexander Pretschner
2021	C	`conf`	Understanding Safety for Unmanned Aerial Vehicles in Urban Environments. IV Tabea Schmidt, Florian Hauer, Alexander Pretschner
2020	A	`conf`	Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. ECAI Amjad Ibrahim, Tobias Klesel, Ehsan Zibaei, Severin Kacianka, Alexander Pretschner
2020	B	`conf`	Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. SAFECOMP Tabea Schmidt, Florian Hauer, Alexander Pretschner
2020	A*	`conf`	Automated Implementation of Windows-related Security-Configuration Guides. ASE Patrick Stöckle, Bernd Grobauer, Alexander Pretschner
2020	A	`conf`	Can We Predict the Quality of Spectrum-based Fault Localization? ICST Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand
2020	—	`conf`	Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. GraMSec Amjad Ibrahim, Simon Rehwald, Antoine Scemama, Florian Andres, Alexander Pretschner
2020	J	`jnl`	Center for Code Excellence Trends - Eine Plattform für Trends in Softwaretechnologien. Inform. Spektrum Johannes Kroß, Peter Bludau, Alexander Pretschner
2020	—	`conf`	Center for Code Excellence. SE Johannes Kroß, Peter Bludau, Alexander Pretschner
2020	C	`conf`	Clustering Traffic Scenarios Using Mental Models as Little as Possible. IV Florian Hauer, Ilias Gerostathopoulos, Tabea Schmidt, Alexander Pretschner
2020	A	`conf`	Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. ICSME Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner
2020	J	`jnl`	Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation. CoRR Jan Gogoll, Niina Zuber, Severin Kacianka, Timo Greger, Alexander Pretschner, Julian Nida-Rümelin
2020	J	`jnl`	Expressing Accountability Patterns using Structural Causal Models. CoRR Severin Kacianka, Amjad Ibrahim, Alexander Pretschner
2020	B	`conf`	From Checking to Inference: Actual Causality Computations as Optimization Problems. ATVA Amjad Ibrahim, Alexander Pretschner
2020	J	`jnl`	From Checking to Inference: Actual Causality Computations as Optimization Problems. CoRR Amjad Ibrahim, Alexander Pretschner
2020	—	`conf`	How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. ECSA Companion Thomas Hutzelmann, Dominik Mauksch, Alexander Pretschner
2020	—	`conf`	Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems. SEAMS@ICSE Ana Petrovska, Sergio Quijano, Ilias Gerostathopoulos, Alexander Pretschner
2020	J	`jnl`	Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. CoRR Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
2020	C	`conf`	Re-Using Concrete Test Scenarios Generally Is a Bad Idea. IV Florian Hauer, Alexander Pretschner, Bernd Holzmüller
2020	—	`conf`	Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study. ISSRE Workshops Claudius V. Jordan, Florian Hauer, Philipp Foth, Alexander Pretschner
2019	—	`ed.`	22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019 MoDELS (Companion) Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel
2019	A	`ed.`	22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019 MoDELS Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño
2019	Misc	`conf`	A real-time remote IDS testbed for connected vehicles. SAC Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner
2019	Misc	`conf`	Attack graph generation for microservice architecture. SAC Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner
2019	J	`jnl`	Chapter Eight - A Taxonomy of Software Integrity Protection Techniques. Adv. Comput. Mohsen Ahmadvand, Alexander Pretschner, Florian Kelbert
2019	J	`jnl`	Compositional Fuzzing Aided by Targeted Symbolic Execution. CoRR Saahil Ognawala, Fabian Kilger, Alexander Pretschner
2019	—	`conf`	Did We Test All Scenarios for Automated and Autonomous Driving Systems? ITSC Florian Hauer, Tabea Schmidt, Bernd Holzmüller, Alexander Pretschner
2019	J	`jnl`	Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods. CoRR Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
2019	J	`jnl`	Efficiently Checking Actual Causality with SAT Solving. CoRR Amjad Ibrahim, Simon Rehwald, Alexander Pretschner
2019	—	`conf`	Extending Causal Models from Machines into Humans. CREST Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke
2019	A	`conf`	Failure clustering without coverage. ISSTA Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger
2019	B	`conf`	Fitness Functions for Testing Automated and Autonomous Driving Systems. SAFECOMP Florian Hauer, Alexander Pretschner, Bernd Holzmüller
2019	J	`jnl`	Guest editorial for the special section on MODELS 2016. Softw. Syst. Model. Jörg Kienzle, Alexander Pretschner
2019	—	`conf`	Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. FAS*W@SASO/ICAC Ana Petrovska, Alexander Pretschner
2019	A	`conf`	Learning a classifier for prediction of maintainability based on static analysis tools. ICPC Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Arnaud Fietzke
2019	J	`jnl`	Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection. IEEE Trans. Dependable Secur. Comput. Tobias Wüchner, Aleksander Cislak, Martín Ochoa, Alexander Pretschner
2019	—	`conf`	Practical Causal Models for Cyber-Physical Systems. NFM Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
2019	—	`conf`	Selecting Flow Optimal System Parameters for Automated Driving Systems. ITSC Florian Hauer, Raphael E. Stern, Alexander Pretschner
2019	—	`conf`	VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. SPRO@CCS Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner
2019	J	`jnl`	VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. CoRR Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner
2018	J	`jnl`	A Real-Time Remote IDS Testbed for Connected Vehicles. CoRR Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner
2018	—	`conf`	Aletheia: a failure diagnosis toolchain. ICSE (Companion Volume) Mojdeh Golagha, Abu Mohammed Raisuddin, Lennart Mittag, Dominik Hellhake, Alexander Pretschner
2018	J	`jnl`	Automatically Assessing Vulnerabilities Discovered by Compositional Analysis. CoRR Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni
2018	—	`conf`	Automatically assessing vulnerabilities discovered by compositional analysis. MASES@ASE Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni
2018	J	`jnl`	Chapter Five - A Tutorial on Software Obfuscation. Adv. Comput. Sebastian Banescu, Alexander Pretschner
2018	J	`jnl`	Data Usage Control for Distributed Systems. ACM Trans. Priv. Secur. Florian Kelbert, Alexander Pretschner
2018	—	`conf`	Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example. ICSRS Ehsan Zibaei, Sebastian Banescu, Alexander Pretschner
2018	—	`conf`	Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models. ESSoS Aleieldin Salem, Tabea Schmidt, Alexander Pretschner
2018	Misc	`conf`	Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. SAC Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner
2018	—	`conf`	Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework. STAF Workshops Mohsen Ahmadvand, Alexander Pretschner, Keith Ball, Daniel Eyring
2018	J	`jnl`	Model-Based Safety and Security Engineering. CoRR Vivek Nigam, Alexander Pretschner, Harald Ruess
2018	—	`conf`	Pairika: a failure diagnosis benchmark for C++ programs. ICSE (Companion Volume) Md. Rezaur Rahman, Mojdeh Golagha, Alexander Pretschner
2018	—	`conf`	Poking the bear: lessons learned from probing three Android malware datasets. A-Mobile@ASE Aleieldin Salem, Alexander Pretschner
2018	A	`conf`	Practical Integrity Protection with Oblivious Hashing. ACSAC Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner
2018	—	`conf`	Repackman: a tool for automatic repackaging of Android apps. A-Mobile@ASE Aleieldin Salem, F. Franziska Paulus, Alexander Pretschner
2018	J	`jnl`	Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing. CoRR Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato
2018	A	`conf`	Software quality assessment in practice: a hypothesis-driven framework. ESEM Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Markus Pizka, Arnaud Fietzke
2018	B	`conf`	Understanding and Formalizing Accountability for Cyber-Physical Systems. SMC Severin Kacianka, Alexander Pretschner
2018	J	`jnl`	Understanding and Formalizing Accountability for Cyber-Physical Systems. CoRR Severin Kacianka, Alexander Pretschner
2017	—	`conf`	ACCBench: A Framework for Comparing Causality Algorithms. CREST Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner
2017	—	`conf`	Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. ICST Workshops Mojdeh Golagha, Alexander Pretschner
2017	—	`ch.`	Defect-Based Testing. Dependable Software Systems Engineering Alexander Pretschner
2017	—	`book`	Dependable Software Systems Engineering Dependable Software Systems Engineering Alexander Pretschner, Doron Peled, Thomas Hutzelmann
2017	—	`conf`	Detecting Patching of Executables without System Calls. CODASPY Sebastian Banescu, Mohsen Ahmadvand, Alexander Pretschner, Robert Shield, Chris Hamilton
2017	J	`jnl`	Herausforderungen an der Schnittstelle von Informatik und Gesellschaft - Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt. Inform. Spektrum Markus Anding, Andreas Boes, Claudia Eckert, Dietmar Harhoff, Thomas Hess, Ursula Münch, Alexander Pretschner
2017	—	`ch.`	Herausforderungen an der Schnittstelle von Informatik und Gesellschaft: Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt. 50 Jahre Universitäts-Informatik in München Markus Anding, Andreas Boes, Claudia Eckert, Dietmar Harhoff, Thomas Hess, Ursula Münch, Alexander Pretschner
2017	J	`jnl`	Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. CoRR Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner
2017	—	`conf`	Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. ISSRE Workshops Florian Hauer, Alexander Pretschner, Maximilian Schmitt, Markus Groetsch
2017	—	`ch.`	Informatik-Forschung für digitale Mobilitätsplattformen. 50 Jahre Universitäts-Informatik in München Sasan Amini, Kristian Beckers, Markus Böhm, Fritz Busch, Nihan Celikkaya, Vittorio Cozzolino, Anne Faber, Michael Haus, Dominik Huth, Alfons Kemper, Andreas Kipf, Helmut Krcmar, Florian Matthes, Jörg Ott, Christian Prehofer, Alexander Pretschner, Ömer Uludag, Wolfgang Wörndl
2017	J	`jnl`	Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility. Inform. Spektrum Sasan Amini, Kristian Beckers, Markus Böhm, Fritz Busch, Nihan Celikkaya, Vittorio Cozzolino, Anne Faber, Michael Haus, Dominik Huth, Alfons Kemper, Andreas Kipf, Helmut Krcmar, Florian Matthes, Jörg Ott, Christian Prehofer, Alexander Pretschner, Ömer Uludag, Wolfgang Wörndl
2017	J	`jnl`	One evaluation of model-based testing and its automation. CoRR Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner
2017	A*	`conf`	Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. USENIX Security Symposium Sebastian Banescu, Christian S. Collberg, Alexander Pretschner
2017	—	`ed.`	Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, CODASPY 2017, Scottsdale, AZ, USA, March 22-24, 2017 CODASPY Gail-Joon Ahn, Alexander Pretschner, Gabriel Ghinita
2017	—	`conf`	Reducing Failure Analysis Time: An Industrial Evaluation. ICSE-SEIP Mojdeh Golagha, Alexander Pretschner, Dominik Fisch, Roman Nagy
2016	J	`jnl`	A Field Study on the Elicitation and Classification of Defects for Defect Models. CoRR Dominik Holling, Daniel Méndez Fernández, Alexander Pretschner
2016	A	`conf`	Code obfuscation against symbolic execution attacks. ACSAC Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner
2016	—	`conf`	Data Accountability in Socio-Technical Systems. BMMDS/EMMSAD Kristian Beckers, Jörg Landthaler, Florian Matthes, Alexander Pretschner, Bernhard Waltl
2016	C	`conf`	Enhancing Operation Security using Secret Sharing. SECRYPT Mohsen Ahmadvand, Antoine Scemama, Martín Ochoa, Alexander Pretschner
2016	A	`conf`	Failure Models for Testing Continuous Controllers. ISSRE Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar
2016	C	`conf`	Generating behavior-based malware detection models with genetic programming. PST Tobias Wüchner, Martín Ochoa, Enrico Lovat, Alexander Pretschner
2016	A*	`conf`	MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. ASE Saahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer
2016	Misc	`conf`	MalFlow: identification of C&C servers through host-based data flow profiling. SAC Tobias Wüchner, Martín Ochoa, Mojdeh Golagha, Gaurav Srivastava, Thomas Schreck, Alexander Pretschner
2016	J	`jnl`	Model-based security testing: a taxonomy and systematic classification. Softw. Test. Verification Reliab. Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler, Alexander Pretschner
2016	—	`conf`	Nequivack: Assessing Mutation Score Confidence. ICST Workshops Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner
2016	—	`ed.`	Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, CODASPY 2016, New Orleans, LA, USA, March 9-11, 2016 CODASPY Elisa Bertino, Ravi S. Sandhu, Alexander Pretschner
2016	A	`conf`	Profiting from Unit Tests for Integration Testing. ICST Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar
2016	J	`jnl`	Security Testing: A Survey. Adv. Comput. Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner
2016	—	`conf`	Sound and Precise Cross-Layer Data Flow Tracking. ESSoS Enrico Lovat, Martín Ochoa, Alexander Pretschner
2016	—	`conf`	Towards a Unified Model of Accountability Infrastructures. CREST Severin Kacianka, Florian Kelbert, Alexander Pretschner
2016	—	`conf`	VOT4CS: A Virtualization Obfuscation Tool for C#. SPRO@CCS Sebastian Banescu, Ciprian Lucaci, Benjamin Krämer, Alexander Pretschner
2015	—	`conf`	A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE Sebastian Banescu, Martín Ochoa, Alexander Pretschner
2015	B	`conf`	A Fully Decentralized Data Usage Control Enforcement Infrastructure. ACNS Florian Kelbert, Alexander Pretschner
2015	—	`conf`	A framework for empirical evaluation of malware detection resilience against behavior obfuscation. MALWARE Sebastian Banescu, Tobias Wüchner, Aleieldin Salem, Marius Guggenmos, Martín Ochoa, Alexander Pretschner
2015	B	`conf`	Automated Translation of End User Policies for Usage Control Enforcement. DBSec Prachi Kumari, Alexander Pretschner
2015	—	`ch.`	Defect-Based Testing. Dependable Software Systems Engineering Alexander Pretschner
2015	—	`book`	Dependable Software Systems Engineering Dependable Software Systems Engineering Maximilian Irlbeck, Doron A. Peled, Alexander Pretschner
2015	J	`jnl`	FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. CoRR Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner
2015	B	`conf`	Field Study on the Elicitation and Classification of Defects for Defect Models. PROFES Dominik Holling, Daniel Méndez Fernández, Alexander Pretschner
2015	B	`conf`	ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. SAFECOMP Rafael Fedler, Sebastian Banescu, Alexander Pretschner
2015	—	`conf`	Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner
2015	—	`conf`	Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ESSoS Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren
2015	B	`conf`	Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. DIMVA Tobias Wüchner, Martín Ochoa, Alexander Pretschner
2015	J	`jnl`	Robust and Effective Malware Detection through Quantitative Data Flow Graph Metrics. CoRR Tobias Wüchner, Martín Ochoa, Alexander Pretschner
2015	Misc	`conf`	SHRIFT System-Wide HybRid Information Flow Tracking. SEC Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner
2015	—	`conf`	Software-Based Protection against Changeware. CODASPY Sebastian Banescu, Alexander Pretschner, Dominic Battré, Stéfano Cazzulani, Robert Shield, Greg Thompson
2014	A*	`conf`	8Cage: lightweight fault-based test generation for simulink. ASE Dominik Holling, Alexander Pretschner, Matthias Gemmar
2014	C	`conf`	DAVAST: data-centric system level activity visualization. VizSEC Tobias Wüchner, Alexander Pretschner, Martín Ochoa
2014	B	`conf`	Decentralized Distributed Data Usage Control. CANS Florian Kelbert, Alexander Pretschner
2014	J	`jnl`	Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). NII Shonan Meet. Rep. Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun
2014	A	`conf`	Malware detection with quantitative data flow graphs. AsiaCCS Tobias Wüchner, Martín Ochoa, Alexander Pretschner
2014	—	`conf`	On quantitative dynamic data flow tracking. CODASPY Enrico Lovat, Johan Oudinet, Alexander Pretschner
2013	A	`conf`	A Generic Fault Model for Quality Assurance. MoDELS Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar
2013	J	`jnl`	A Trustworthy Usage Control Enforcement Framework. Int. J. Mob. Comput. Multim. Commun. Ricardo Neisse, Alexander Pretschner, Valentina Di Giacomo
2013	—	`conf`	Data usage control enforcement in distributed systems. CODASPY Florian Kelbert, Alexander Pretschner
2013	B	`conf`	Enforcing privacy through usage-controlled video surveillance. AVSS Pascal Birnstill, Alexander Pretschner
2013	—	`conf`	Model-Based Usage Control Policy Derivation. ESSoS Prachi Kumari, Alexander Pretschner
2012	J	`jnl`	A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. Mark Utting, Alexander Pretschner, Bruno Legeard
2012	A	`conf`	Data Loss Prevention Based on Data-Driven Usage Control. ISSRE Tobias Wüchner, Alexander Pretschner
2012	—	`conf`	Data Protection in a Cloud-Enabled Smart Grid. SmartGridSec Alexander Fromm, Florian Kelbert, Alexander Pretschner
2012	—	`conf`	Deriving implementation-level policies for usage control enforcement. CODASPY Prachi Kumari, Alexander Pretschner
2012	—	`conf`	Flexible Data-Driven Security for Android. SERE Denis Feth, Alexander Pretschner
2012	J	`jnl`	Preface. J. Comput. Secur. Gilles Barthe, Jorge Cuéllar, Javier López, Alexander Pretschner
2012	A	`conf`	SPaCiTE - Web Application Testing Engine. ICST Matthias Büchler, Johan Oudinet, Alexander Pretschner
2012	—	`conf`	Semi-Automatic Security Testing of Web Applications from a Secure Model. SERE Matthias Büchler, Johan Oudinet, Alexander Pretschner
2012	C	`conf`	Towards a policy enforcement infrastructure for distributed usage control. SACMAT Florian Kelbert, Alexander Pretschner
2011	B	`conf`	A Hypervisor-Based Bus System for Usage Control. ARES Cornelius Moucha, Enrico Lovat, Alexander Pretschner
2011	—	`ch.`	A Model-Based View onto Testing. Model-Based Testing for Embedded Systems Manfred Broy, Alexander Pretschner
2011	B	`conf`	A Trustworthy Usage Control Enforcement Framework. ARES Ricardo Neisse, Alexander Pretschner, Valentina Di Giacomo
2011	J	`jnl`	A virtualized usage control bus system. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Cornelius Moucha, Enrico Lovat, Alexander Pretschner
2011	—	`conf`	Data protection in heterogeneous distributed systems: A smart meter example. GI-Jahrestagung Prachi Kumari, Florian Kelbert, Alexander Pretschner
2011	C	`conf`	Data-centric multi-layer usage control enforcement: a social network example. SACMAT Enrico Lovat, Alexander Pretschner
2011	—	`conf`	Distributed data usage control for web applications: a social network implementation. CODASPY Prachi Kumari, Alexander Pretschner, Jonas Peschla, Jens-Michael Kuhn
2011	B	`conf`	Implementing Trust in Cloud Infrastructures. CCGRID Ricardo Neisse, Dominik Holling, Alexander Pretschner
2011	J	`jnl`	On the number and nature of faults found by random testing. Softw. Test. Verification Reliab. Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer
2011	—	`conf`	Representation-Independent Data Usage Control. DPM/SETOP Alexander Pretschner, Enrico Lovat, Matthias Büchler
2011	—	`conf`	Security Mutants for Property-Based Testing. TAP@TOOLS Matthias Büchler, Johan Oudinet, Alexander Pretschner
2011	—	`ed.`	Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers STM Jorge Cuéllar, Gilles Barthe, Alexander Pretschner, Javier López
2011	C	`ed.`	Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe Software Engineering (Workshops) Ralf H. Reussner, Alexander Pretschner, Stefan Jähnichen
2011	J	`jnl`	Software Security in Virtualized Infrastructures - The Smart Meter Example. it Inf. Technol. Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting
2010	—	`conf`	10141 Abstracts Collection - Distributed Usage Control. Distributed Usage Control Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett
2010	—	`conf`	10141 Summary - Distributed Usage Control. Distributed Usage Control Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett
2010	—	`conf`	10421 Abstracts Collection - Model-Based Testing in Practice. Model-Based Testing in Practice Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2010	—	`conf`	10421 Summary - Model-Based Testing in Practice. Model-Based Testing in Practice Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2010	—	`ed.`	Distributed Usage Control, 06.04. - 09.04.2010 Distributed Usage Control Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett
2010	C	`conf`	Doktorandensymposium der SE 2010. Software Engineering (Workshops) Alexander Pretschner
2010	—	`ed.`	Model-Based Testing in Practice, 17.10. - 22.10.2010 Model-Based Testing in Practice Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2010	C	`ed.`	Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn Software Engineering (Workshops) Gregor Engels, Markus Luckey, Alexander Pretschner, Ralf H. Reussner
2009	B	`conf`	Formal Analyses of Usage Control Policies. ARES Alexander Pretschner, Judith Rüesch, Christian Schaefer, Thomas Walter
2009	A	`conf`	On the Effectiveness of Test Extraction without Overhead. ICST Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol
2009	B	`conf`	State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. NSS Matús Harvan, Alexander Pretschner
2009	—	`conf`	Usage Control Policy Enforcement in OpenOffice.org and Information Flow. ISSA Christian Schaefer, Thomas Walter, Matús Harvan, Alexander Pretschner
2008	A	`conf`	Doctoral Symposium at MODELS 2008. MoDELS Alexander Pretschner
2008	A	`conf`	Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner
2008	A	`conf`	Mechanisms for usage control. AsiaCCS Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter
2008	A	`conf`	Model-Based Tests for Access Control Policies. ICST Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon
2008	B	`conf`	Negotiation of Usage Control Policies - Simply the Best? ARES Alexander Pretschner, Thomas Walter
2008	A	`conf`	On the Predictability of Random Tests for Object-Oriented Software. ICST Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer
2008	—	`conf`	Policy Evolution in Distributed Usage Control. STM@IFIPTM Alexander Pretschner, Florian Schütz, Christian Schaefer, Thomas Walter
2008	A	`conf`	Test-Driven Assessment of Access Control in Legacy Applications. ICST Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry
2008	J	`jnl`	Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinf. Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner
2008	J	`jnl`	Usage Control Enforcement: Present and Future. IEEE Secur. Priv. Alexander Pretschner, Manuel Hilty, Florian Schütz, Christian Schaefer, Thomas Walter
2008	—	`conf`	Vorwort zum Doktorandensymposium der Modellierung 2008. Modellierung Alexander Pretschner, Ruth Breu
2007	J	`jnl`	4 ACM SIGSOFT Softw. Eng. Notes Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
2007	—	`conf`	4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner
2007	—	`conf`	4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. MoDELS (Workshops) Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner
2007	A	`conf`	A Policy Language for Distributed Usage Control. ESORICS Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter
2007	—	`conf`	A technical architecture for enforcing usage control requirements in service-oriented architectures. SWS Berthold Agreiter, Muhammad Alam, Ruth Breu, Michael Hafner, Alexander Pretschner, Jean-Pierre Seifert, Xinwen Zhang
2007	J	`jnl`	Computing refactorings of state machines. Softw. Syst. Model. Alexander Pretschner, Wolfgang Prenninger
2007	—	`conf`	DUKE - Distributed Usage Control Enforcement. POLICY Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter
2007	J	`jnl`	Engineering Automotive Software. Proc. IEEE Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann
2007	—	`conf`	Monitors for Usage Control. IFIPTM Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter
2007	—	`ch.`	Ontology-Based User Profiles for Personalized Search. Ontologies Susan Gauch, Mirco Speretta, Alexander Pretschner
2007	—	`conf`	Software Engineering for Automotive Systems: A Roadmap. FOSE Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
2007	B	`conf`	Usage Control in Service-Oriented Architectures. TrustBus Alexander Pretschner, Fabio Massacci, Manuel Hilty
2006	J	`jnl`	3 ACM SIGSOFT Softw. Eng. Notes Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner
2006	A*	`conf`	3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner
2006	J	`jnl`	Distributed usage control. Commun. ACM Alexander Pretschner, Manuel Hilty, David A. Basin
2006	—	`conf`	Usage Control Requirements in Mobile and Ubiquitous Computing Applications. ICSNC Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter
2006	—	`conf`	Zur Kosteneffektivität des modellbasierten Testens. MBEES Alexander Pretschner
2005	J	`jnl`	2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes Alexander Pretschner, Christian Salzmann, Thomas Stauner
2005	A*	`conf`	2nd international workshop on software engineering for automotive systems. ICSE Christian Salzmann, Thomas Stauner, Alexander Pretschner
2005	A	`conf`	Computing Refactorings of Behavior Models. MoDELS Alexander Pretschner, Wolfgang Prenninger
2005	B	`conf`	Model-Based Testing in Practice. FM Alexander Pretschner
2005	—	`ed.`	Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Model-Based Testing of Reactive Systems Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
2005	A*	`conf`	Model-based testing. ICSE Alexander Pretschner
2005	A	`conf`	On Obligations. ESORICS Manuel Hilty, David A. Basin, Alexander Pretschner
2005	A*	`conf`	One evaluation of model-based testing and its automation. ICSE Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner
2004	—	`conf`	Abstractions for Model-Based Testing. TACoS Wolfgang Prenninger, Alexander Pretschner
2004	A	`conf`	Coverage Metrics for Continuous Function Charts. ISSRE Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner
2004	A*	`conf`	ICSE Workshop: Software Engineering for Automotive Systems. ICSE Christian Salzmann, Thomas Stauner, Alexander Pretschner
2004	—	`conf`	Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems Alexander Pretschner, Jan Philipps
2004	J	`jnl`	Model based testing in incremental system development. J. Syst. Softw. Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
2004	—	`conf`	Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems Alexander Pretschner, Martin Leucker
2004	J	`jnl`	Model-based testing for real. Int. J. Softw. Tools Technol. Transf. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
2004	—	`conf`	Modellbasiertes Testen. Modellierung Alexander Pretschner
2004	J	`jnl`	Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Softw. Eng. Notes Alexander Pretschner, Christian Salzmann, Thomas Stauner
2003	—	`conf`	Compositional Generation of MC/DC Integration Test Suites. TACoS Alexander Pretschner
2003	C	`conf`	Model-Based Test Case Generation for Smart Cards. FMICS Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
2003	J	`jnl`	Ontology-based personalized search and browsing. Web Intell. Agent Syst. Susan Gauch, Jason Chaffee, Alexander Pretschner
2003	C	`conf`	Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
2002	—	`conf`	Model-Based Development of Embedded Systems. OOIS Workshops Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
2002	J	`jnl`	Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems CoRR Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
2002	—	`conf`	Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
2001	—	`conf`	Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML Thomas Stauner, Alexander Pretschner, Istran Péter
2001	C	`conf`	Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
2000	J	`jnl`	Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
1999	B	`conf`	Ontology Based Personalized Search. ICTAI Alexander Pretschner, Susan Gauch
1999	A	`conf`	Ontology-Based Web Site Mapping for Information Exploration. CIKM Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner