Alexander Pretschner

发表

Designing Accountable Systems pdf

Severin Kacianka, Alexander Pretschner, A. Pretschner, 2021, FAccT.

Software engineering for automotive systems at ICSE 2004 workshop summary

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2004, SOEN.

Software Security in Virtualized Infrastructures — The Smart Meter Example

Bernhard Beckert, Alexander Pretschner, Jörn Müller-Quade, 2011, it Inf. Technol..

2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2005, SOEN.

State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition

Alexander Pretschner, Matús Harvan, A. Pretschner, 2009, 2009 Third International Conference on Network and System Security.

Computing refactorings of state machines

Alexander Pretschner, Wolfgang Prenninger, A. Pretschner, 2007, Software & Systems Modeling.

Generating behavior-based malware detection models with genetic programming

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2016, 2016 14th Annual Conference on Privacy, Security and Trust (PST).

Decentralized Distributed Data Usage Control

Alexander Pretschner, Florian Kelbert, 2014, CANS.

External Reviewers

Bernhard Rumpe, Bernhard Schätz, Ruth Breu, 2004, ICWS.

Approaching a Discrete-Continuous UML: Tool Support and Formalization

Alexander Pretschner, Thomas Stauner, Istran Péter, 2001, pUML.

Ontology-Based User Profiles for Personalized Search

Alexander Pretschner, Susan Gauch, Mirco Speretta, 2007, Ontologies.

Model-Based Test Case Generation for Smart Cards

Alexander Pretschner, Oscar Slotosch, Jan Philipps, 2003, FMICS.

Data Protection in a Cloud-Enabled Smart Grid

Alexander Pretschner, Florian Kelbert, Alexander Fromm, 2012, SmartGridSec.

A real-time remote IDS testbed for connected vehicles

Severin Kacianka, Alexander Pretschner, Valentin Zieglmeier, 2018, SAC.

Model Based Testing for Real: The Inhouse Card Case Study

Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, 2001 .

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005 .

Part IV. Tools and Case Studies

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Model-based testing

Alexander Pretschner, 2005, ICSE '05.

A virtualized usage control bus system

Alexander Pretschner, Enrico Lovat, Cornelius Moucha, 2011, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Part V. Standardized Test Notation and Execution Architecture

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation pdf

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2015, ArXiv.

Specification based test sequence generation with propositional logic

Alexander Pretschner, Guido Wimmel, Oscar Slotosch, 2000, Softw. Test. Verification Reliab..

Model-Based Development of Embedded Systems

Bernhard Schätz, Alexander Pretschner, Franz Huber, 2002, OOIS Workshops.

SPaCiTE -- Web Application Testing Engine

Alexander Pretschner, Matthias Büchler, Johan Oudinet, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

A taxonomy of model‐based testing approaches

Bruno Legeard, Alexander Pretschner, Mark Utting, 2012, Softw. Test. Verification Reliab..

Doktorandensymposium der SE 2010

Alexander Pretschner, 2010, Software Engineering.

Usage Control in Service-Oriented Architectures

Alexander Pretschner, Fabio Massacci, Manuel Hilty, 2007, TrustBus.

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs

Alexander Pretschner, Per A. Hallgren, Martín Ochoa, 2015, ESSoS.

Enhancing Operation Security using Secret Sharing

Alexander Pretschner, Martín Ochoa, Mohsen Ahmadvand, 2016, SECRYPT.

On quantitative dynamic data flow tracking

Alexander Pretschner, Enrico Lovat, Johan Oudinet, 2014, CODASPY '14.

Aletheia: A Failure Diagnosis Toolchain

Alexander Pretschner, Dominik Hellhake, Mojdeh Golagha, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Part VII. Appendices

Manfred Broy, Alexander Pretschner, Joost-Pieter Katoen, 2004, Model-Based Testing of Reactive Systems.

Data protection in heterogeneous distributed systems: A smart meter example

Alexander Pretschner, Florian Kelbert, Prachi Kumari, 2011, GI-Jahrestagung.

Poster: Pairika—A Failure Diagnosis Benchmark for C++ Programs

Alexander Pretschner, Mojdeh Golagha, Md. Rezaur Rahman, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Policy Evolution in Distributed Usage Control

Christian Schaefer, Alexander Pretschner, Thomas Walter, 2009, STM@IFIPTM.

Informatikforschung für digitale Mobilitätsplattformen

Jörg Ott, Helmut Krcmar, Alexander Pretschner, 2017, Informatik-Spektrum.

Distributed data usage control for web applications: a social network implementation

Alexander Pretschner, Prachi Kumari, Jonas Peschla, 2011, CODASPY '11.

Defect-Based Testing

Alexander Pretschner, 2017, Dependable Software Systems Engineering.

Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2019, IEEE Transactions on Dependable and Secure Computing.

Test-Driven Assessment of Access Control in Legacy Applications

Yves Le Traon, Alexander Pretschner, Benoit Baudry, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

10141 Abstracts Collection - Distributed Usage Control

Marianne Winslett, Sandro Etalle, Alexander Pretschner, 2010, Distributed Usage Control.

The Automotive CASE

Manfred Broy, Alexander Pretschner, Robert Sandner, 2003 .

Modellbasiertes Testen

Alexander Pretschner, 2004, Modellierung.

Enhancement of Automotive Penetration Testing with Threat Analyses Results

Alexander Pretschner, Johannes Braun, Reiner Kriesten, 2018 .

A Model-Based View onto Testing

Manfred Broy, Alexander Pretschner, M. Broy, 2011, Model-Based Testing for Embedded Systems.

Data Accountability in Socio-Technical Systems

Alexander Pretschner, Kristian Beckers, Florian Matthes, 2016, BMMDS/EMMSAD.

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems

Alexander Pretschner, Franz Huber, Oscar Slotosch, 2002, Ada Deutschland Tagung.

Fitness Functions for Testing Automated and Autonomous Driving Systems

Alexander Pretschner, Florian Hauer, Bernd Holzmüller, 2019, SAFECOMP.

Engineering Secure and Dependable Software Systems

Alexander Pretschner, Peter Müller, Patrick Stöckle, 2019 .

Proceedings of the ICSE 2004 workshop on Software Engineering for Automotive Systems

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2004 .

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks

Alexander Pretschner, Antoine Scemama, Amjad Ibrahim, 2020, GraMSec@CSF.

Zum modellbasierten funktionalen Test reaktiver Systeme

Alexander Pretschner, 2003 .

Zur Kosteneffektivität des modellbasierten Testens

Alexander Pretschner, 2006, MBEES.

Extending Causal Models from Machines into Humans pdf

Severin Kacianka, Alexander Pretschner, Andreas Lüdtke, 2019, CREST@ETAPS.

Implementing Trust in Cloud Infrastructures

Alexander Pretschner, Ricardo Neisse, Dominik Holling, 2011, 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.

Prototype-based tests for hybrid reactive systems

Alexander Pretschner, Thomas Stauner, Jan Philipps, 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..

Model-Based Safety and Security Engineering pdf

Alexander Pretschner, Vivek Nigam, Harald Ruess, 2018, ArXiv.

Formal Analyses of Usage Control Policies

Christian Schaefer, Alexander Pretschner, Thomas Walter, 2009, 2009 International Conference on Availability, Reliability and Security.

VOT4CS: A Virtualization Obfuscation Tool for C#

Alexander Pretschner, Sebastian Banescu, Benjamin Krämer, 2016, SPRO@CCS.

Profiting from Unit Tests for Integration Testing

Alexander Pretschner, Dominik Holling, Andreas Hofbauer, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution

Alexander Pretschner, Martín Ochoa, Tobias Limmer, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

A Policy Language for Distributed Usage Control

Christian Schaefer, Alexander Pretschner, David A. Basin, 2007, ESORICS.

Computing refactorings of behavior models

Alexander Pretschner, Wolfgang Prenninger, 2005, MoDELS'05.

Negotiation of Usage Control Policies - Simply the Best?

Alexander Pretschner, Thomas Walter, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Tests for mixed discrete-continuous systems

Alexander Pretschner, Thomas Stauner, Jan Philipps, 2003 .

Ontology-Based User Profiles for Search and Browsing

Alexander Pretschner, Susan Gauch, Jason Chaffee, 2002 .

Did We Test All Scenarios for Automated and Autonomous Driving Systems?

Alexander Pretschner, Florian Hauer, Bernd Holzmüller, 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).

Abstractions for Model-Based Testing

Alexander Pretschner, Wolfgang Prenninger, 2005, Electron. Notes Theor. Comput. Sci..

Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework

Alexander Pretschner, Mohsen Ahmadvand, Keith Ball, 2018, STAF Workshops.

On the Predictability of Random Tests for Object-Oriented Software

Bertrand Meyer, Alexander Pretschner, Manuel Oriol, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Methodological Issues in Model-Based Testing

Alexander Pretschner, Jan Philipps, 2004, Model-Based Testing of Reactive Systems.

Learning Approach for Smart Self-Adaptive Cyber-Physical Systems

Alexander Pretschner, Ana Petrovska, 2019, 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W).

Proceedings of the 2006 international workshop on Software engineering for automotive systems

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2006, ICSE 2006.

Malware detection with quantitative data flow graphs

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2014, AsiaCCS.

Representation-Independent Data Usage Control

Alexander Pretschner, Matthias Büchler, Enrico Lovat, 2011, DPM/SETOP.

Code obfuscation against symbolic execution attacks

Alexander Pretschner, Sebastian Banescu, Vijay Ganesh, 2016, ACSAC.

Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods pdf

Alexander Pretschner, Sebastian Banescu, Aleieldin Salem, 2019, ArXiv.

Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning

Alexander Pretschner, Christian S. Collberg, Sebastian Banescu, 2017, USENIX Security Symposium.

Model‐based security testing: a taxonomy and systematic classification

Ruth Breu, Alexander Pretschner, Michael Felderer, 2016, Softw. Test. Verification Reliab..

Nequivack: Assessing Mutation Score Confidence

Alexander Pretschner, Sebastian Banescu, Ana Petrovska, 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Developing Correct Safety Critical, Hybrid, Embedded Systems

Alexander Pretschner, Thomas Stauner, Oscar Slotosch, 2000 .

Center for Code Excellence

Alexander Pretschner, Johannes Kroß, Peter Bludau, 2020, SE.

Software quality assessment in practice: a hypothesis-driven framework

Alexander Pretschner, Markus Pizka, Mohd Hafeez Osman, 2018, ESEM.

4th Intl. ICSE workshop on Software Engineering for Automotive Systems

Bernhard Schätz, Alexander Pretschner, Thomas Stauner, 2007, SOEN.

Personalization on the Web

Alexander Pretschner, Susan Gauch, A. Pretschner, 1999 .

Model Based Software and Systems Development

Manfred Broy, Bernhard Rumpe, Bernhard Schätz, 2004 .

A Fully Decentralized Data Usage Control Enforcement Infrastructure

Alexander Pretschner, Florian Kelbert, 2015, ACNS.

Model-Based Testing - A Glossary

Alexander Pretschner, Martin Leucker, 2004, Model-Based Testing of Reactive Systems.

Data-centric multi-layer usage control enforcement: a social network example

Alexander Pretschner, Enrico Lovat, 2011, SACMAT '11.

Automated Implementation of Windows-related Security-Configuration Guides

Alexander Pretschner, Bernd Grobauer, Patrick Stöckle, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

2nd international workshop on software engineering for automotive systems

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2005, ICSE '05.

A Trustworthy Usage Control Enforcement Framework

Alexander Pretschner, Ricardo Neisse, Valentina Di Giacomo, 2013, Int. J. Mob. Comput. Multim. Commun..

Understanding and Formalizing Accountability for Cyber-Physical Systems

Severin Kacianka, Alexander Pretschner, 2018, 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

A Trustworthy Usage Control Enforcement Framework

Alexander Pretschner, Ricardo Neisse, Valentina Di Giacomo, 2011, 2011 Sixth International Conference on Availability, Reliability and Security.

A Framework for Measuring Software Obfuscation Resilience against Automated Attacks

Alexander Pretschner, Martín Ochoa, Sebastian Banescu, 2015, 2015 IEEE/ACM 1st International Workshop on Software Protection.

Doctoral Symposium at MODELS 2008

Alexander Pretschner, 2008, MoDELS.

Ontology-based personalized search and browsing

Alexander Pretschner, Susan Gauch, Jason Chaffee, 2003, Web Intell. Agent Syst..

Model-Based Usage Control Policy Derivation

Alexander Pretschner, Prachi Kumari, 2013, ESSoS.

Engineering for Automotive Systems : A Roadmap

Manfred Broy, Alexander Pretschner, Ingolf H. Krüger, 2007 .

10421 Abstracts Collection - Model-Based Testing in Practice

Alexander Pretschner, Robert M. Hierons, Wolfgang Grieskamp, 2010, Model-Based Testing in Practice.

Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach

Alexander Pretschner, Fabio Massacci, Donald Kossmann, 2008, Wirtsch..

Compositional Generation of MC/DC Integration Test Suites

Alexander Pretschner, 2003, Electron. Notes Theor. Comput. Sci..

MalFlow: identification of C&C servers through host-based data flow profiling

Alexander Pretschner, Thomas Schreck, Martín Ochoa, 2016, SAC.

Failure Models for Testing Continuous Controllers

Alexander Pretschner, Kristian Beckers, Dominik Holling, 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).

Expressing Accountability Patterns using Structural Causal Models pdf

Severin Kacianka, Alexander Pretschner, Amjad Ibrahim, 2020, ArXiv.

Usage Control Policy Enforcement in OpenOffice.org and Information Flow

Christian Schaefer, Alexander Pretschner, Matús Harvan, 2009, ISSA.

One evaluation of model-based testing and its automation

Alexander Pretschner, Stefan Wagner, Thomas Stauner, 2005, ICSE.

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

Jörg Kienzle, Alexander Pretschner, Benoit Combemale, 2016, MoDELS.

On Obligations

Alexander Pretschner, David A. Basin, Manuel Hilty, 2005, ESORICS.

Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2005 .

Reducing Failure Analysis Time: An Industrial Evaluation

Alexander Pretschner, Roman Nagy, Dominik Fisch, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).

Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models

Alexander Pretschner, Aleieldin Salem, Tabea Schmidt, 2018, ESSoS.

10141 Summary - Distributed Usage Control

Marianne Winslett, Sandro Etalle, Alexander Pretschner, 2010, Distributed Usage Control.

A Generic Fault Model for Quality Assurance

Alexander Pretschner, Robert Eschbach, Dominik Holling, 2013, MoDELS.

Model based testing in evolutionary software development

Alexander Pretschner, Jan Philipps, Heiko Lötzbeyer, 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

Model-Based Tests for Access Control Policies

Yves Le Traon, Alexander Pretschner, Tejeddine Mouelhi, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Distributed usage control

Alexander Pretschner, David A. Basin, Manuel Hilty, 2006, CACM.

Componentware - State of the Art 2003 Background Paper for the Understanding Components Workshop of the CUE Initiative at the Univerita Ca' Foscari di Venezia Venice, October 7th-9th 2003

Manfred Broy, Bernhard Rumpe, Jan Jürjens, 2003 .

Monitors for Usage Control

Christian Schaefer, Alexander Pretschner, David A. Basin, 2007, IFIPTM.

On the Effectiveness of Test Extraction without Overhead

Bertrand Meyer, Alexander Pretschner, Manuel Oriol, 2009, 2009 International Conference on Software Testing Verification and Validation.

Software-Intensive Systems in the Automotive Domain:Challenges for Research and Education

Manfred Broy, Alexander Pretschner, Thomas Stauner, 2006 .

Model-Based Testing of Reactive Systems, Advanced Lectures

Manfred Broy, Alexander Pretschner, Bengt Jonsson, 2005 .

Efficient Checking of Actual Causality with SAT Solving

Alexander Pretschner, Amjad Ibrahim, Simon Rehwald, 2019 .

Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection pdf

Alexander Pretschner, Sebastian Banescu, Aleieldin Salem, 2020, ACM Trans. Priv. Secur..

Model-based testing

Alexander Pretschner, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

A framework for empirical evaluation of malware detection resilience against behavior obfuscation

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2015, 2015 10th International Conference on Malicious and Unwanted Software (MALWARE).

Defect-Based Testing

Alexander Pretschner, A. Pretschner, 2015, Dependable Software Systems Engineering.

DAVAST: data-centric system level activity visualization

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2014, VizSec '14.

Towards Empirically Assessing Behavior Stimulation Approaches for Android Malware

Alexander Pretschner, Michael Hesse, Aleieldin Salem, 2019 .

Compositional Fuzzing Aided by Targeted Symbolic Execution pdf

Alexander Pretschner, Saahil Ognawala, Fabian Kilger, 2019, ArXiv.

Specification based test sequence generation with propositional logic

Alexander Pretschner, Guido Wimmel, Oscar Slotosch, 2000, Softw. Test. Verification Reliab..

Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16)

Jun Sun, Alexander Pretschner, Werner Damm, 2014, NII Shonan Meeting Report.

Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach

Alexander Pretschner, Thomas Hutzelmann, Saahil Ognawala, 2017, SAC.

Usage Control Enforcement: Present and Future

Christian Schaefer, Alexander Pretschner, Thomas Walter, 2008, IEEE Security & Privacy.

Model based testing in incremental system development

Alexander Pretschner, Jan Philipps, Heiko Lötzbeyer, 2004, J. Syst. Softw..

Deriving implementation-level policies for usage control enforcement

Alexander Pretschner, Prachi Kumari, 2012, CODASPY '12.

Security Testing: A Survey

Ruth Breu, Achim D. Brucker, Alexander Pretschner, 2016, Adv. Comput..

Heterogeneous Development of Hybrid Systems

Alexander Pretschner, Thomas Stauner, I. Péter, 2000 .

Sound and Precise Cross-Layer Data Flow Tracking

Alexander Pretschner, Martín Ochoa, Enrico Lovat, 2016, ESSoS.

Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example

Alexander Pretschner, Sebastian Banescu, Ehsan Zibaei, 2018, 2018 3rd International Conference on System Reliability and Safety (ICSRS).

Part VI. Beyond Testing

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Usage Control Requirements in Mobile and Ubiquitous Computing Applications

Christian Schaefer, Alexander Pretschner, Thomas Walter, 2006, 2006 International Conference on Systems and Networks Communications (ICSNC'06).

Poking the bear: lessons learned from probing three Android malware datasets

Alexander Pretschner, Aleieldin Salem, 2018, A-Mobile@ASE.

Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs

Severin Kacianka, Alexander Pretschner, Amjad Ibrahim, 2020, ECAI.

Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics pdf

Alexander Pretschner, Martín Ochoa, Tobias Wüchner, 2015, DIMVA.

Chapter Five - A Tutorial on Software Obfuscation

Alexander Pretschner, Sebastian Banescu, Sebastian Banescu, 2018, Adv. Comput..

Practical Integrity Protection with Oblivious Hashing

Alexander Pretschner, Sebastian Banescu, Mohsen Ahmadvand, 2018, ACSAC.

DUKE--Distributed Usage Control Enforcement

Christian Schaefer, Alexander Pretschner, Thomas Walter, 2007, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).

Part II. Testing of Labeled Transition Systems

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing pdf

Alexander Pretschner, Thomas Hutzelmann, Saahil Ognawala, 2018, ArXiv.

Data-centric multi-layer usage control enforcement

Alexander Pretschner, Enrico Lovat, A. Pretschner, 2011, SACMAT 2011.

Proceedings of the 6th international conference on Security and trust management

Alexander Pretschner, Gilles Barthe, Javier Lopez, 2010, IWSEC 2010.

Guest editorial for the special section on MODELS 2016

Jörg Kienzle, Alexander Pretschner, 2019, Software & Systems Modeling.

Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective

Alexander Pretschner, Mojdeh Golagha, A. Pretschner, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Attack graph generation for microservice architecture

Alexander Pretschner, Amjad Ibrahim, Stevica Bozhinoski, 2019, SAC.

Coverage metrics for Continuous Function Charts

Alexander Pretschner, Martin Rothfelder, Benedikte Elbel, 2004, 15th International Symposium on Software Reliability Engineering.

VirtSC: Combining Virtualization Obfuscation with Self-Checksumming

Alexander Pretschner, Sebastian Banescu, Mohsen Ahmadvand, 2019, SPRO@CCS.

ACCBench: A Framework for Comparing Causality Algorithms

Alexander Pretschner, Kristian Beckers, Amjad Ibrahim, 2017, CREST@ETAPS.

Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems

Alexander Pretschner, Ilias Gerostathopoulos, Ana Petrovska, 2020, 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Compositional generation of MC/DC test suites

Alexander Pretschner, 2003 .

Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation

Alexander Pretschner, Martín Ochoa, Sebastian Banescu, 2015, ESSoS.

Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach

Alexander Pretschner, Florian Hauer, Tabea Schmidt, 2020, SAFECOMP.

A technical architecture for enforcing usage control requirements in service-oriented architectures

Jean-Pierre Seifert, Ruth Breu, Alexander Pretschner, 2007, SWS '07.

TasteCurry's User Manual

Ramin Sadre, Alexander Pretschner, Sergio Antoy, 1998 .

Chapter Eight - A Taxonomy of Software Integrity Protection Techniques

Alexander Pretschner, Florian Kelbert, Mohsen Ahmadvand, 2019, Adv. Comput..

Failure clustering without coverage

Alexander Pretschner, Hermann Ilmberger, Mojdeh Golagha, 2019, ISSTA.

Towards a Unified Model of Accountability Infrastructures

Severin Kacianka, Alexander Pretschner, Florian Kelbert, 2016, CREST@ETAPS.

Semi-Automatic Security Testing of Web Applications from a Secure Model

Alexander Pretschner, Matthias Büchler, Johan Oudinet, 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

Flexible Data-Driven Security for Android

Alexander Pretschner, Denis Feth, 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

Repackman: a tool for automatic repackaging of Android apps

Alexander Pretschner, Aleieldin Salem, F. Franziska Paulus, 2018, A-Mobile@ASE.

ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity

Alexander Pretschner, Sebastian Banescu, Rafael Fedler, 2015, SAFECOMP.

Vorwort zum Doktorandensymposium der Modellierung 2008

Ruth Breu, Alexander Pretschner, 2008, Modellierung.

Software Engineering for Automotive Systems: A Roadmap

Manfred Broy, Ingolf Krüger, Alexander Pretschner, 2007, Future of Software Engineering (FOSE '07).

Learning a Classifier for Prediction of Maintainability Based on Static Analysis Tools

Alexander Pretschner, Mohd Hafeez Osman, Markus Schnappinger, 2019, 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC).

10421 Summary - Model-Based Testing in Practice

Alexander Pretschner, Robert M. Hierons, Wolfgang Grieskamp, 2010, Model-Based Testing in Practice.

How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines

Alexander Pretschner, Thomas Hutzelmann, Dominik Mauksch, 2020, ECSA Companion.

A taxonomy of model-based testing

Bruno Legeard, Alexander Pretschner, Mark Utting, 2006 .

Security Mutants for Property-Based Testing

Alexander Pretschner, Matthias Büchler, Johan Oudinet, 2011, TAP@TOOLS.

Enforcing privacy through usage-controlled video surveillance

Alexander Pretschner, Pascal Birnstill, 2013, 2013 10th IEEE International Conference on Advanced Video and Signal Based Surveillance.

ICSE workshop: software engineering for automotive systems

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2004, Proceedings. 26th International Conference on Software Engineering.

Model-Based Testing of Reactive Systems, Advanced Lectures : outcome of a research seminar

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005 .

A Case Study on Artefact-Based RE Improvement in Practice pdf

Alexander Pretschner, Daniel Méndez Fernández, Dominik Holling, 2015, PROFES.

Part III. Model-Based Test Case Generation

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.

Finding faults: Manual testing vs. random testing+ vs. user reports

Alexander Pretschner, Manuel Oriol, Bertrand Meyer, 2012 .

Data usage control enforcement in distributed systems

Alexander Pretschner, Florian Kelbert, Florian Kelbert, 2013, CODASPY.

Challenges and Opportunities of Cloud Computing : Trade-off Decisions in Cloud Computing Architecture

Alexander Pretschner, Samuel Kounev, Matthias Huber, 2010 .

Data Loss Prevention Based on Data-Driven Usage Control

Alexander Pretschner, Tobias Wüchner, Tobias Wüchner, 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

Ontology based personalized search

Alexander Pretschner, Susan Gauch, A. Pretschner, 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.

Selecting Flow Optimal System Parameters for Automated Driving Systems

Alexander Pretschner, Florian Hauer, Raphael Stern, 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).

Practical Causal Models for Cyber-Physical Systems

Charles Hartsell, Gabor Karsai, Severin Kacianka, 2019, NFM.

Automated Translation of End User Policies for Usage Control Enforcement

Alexander Pretschner, Prachi Kumari, 2015, DBSec.

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports

Bertrand Meyer, Alexander Pretschner, Manuel Oriol, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

Usage Control Enforcement with Data Flow Tracking for X11

Christian Schaefer, Alexander Pretschner, Matthias Büchler, 2009, STM 2009.

Software-Based Protection against Changeware

Alexander Pretschner, Dominic Battré, Sebastian Banescu, 2015, CODASPY.

From Checking to Inference: Actual Causality Computations as Optimization Problems pdf

Alexander Pretschner, Amjad Ibrahim, A. Pretschner, 2020, ATVA.

4th International ICSE Workshop on Software Engineering for Automotive Systems

Bernhard Schätz, Alexander Pretschner, Thomas Stauner, 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

Part I. Testing of Finite State Machines

Manfred Broy, Alexander Pretschner, Bengt Jonsson, 2004, Model-Based Testing of Reactive Systems.

Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation

Manfred Broy, Alexander Pretschner, Thomas Stauner, 2002 .

On the number and nature of faults found by random testing

Bertrand Meyer, Alexander Pretschner, Manuel Oriol, 2011, Softw. Test. Verification Reliab..

Mechanisms for usage control

Christian Schaefer, Alexander Pretschner, David A. Basin, 2008, ASIACCS '08.

Szenarien modellbasierten Testens

Alexander Pretschner, Jan Philipps, A. Pretschner, 2002 .

Model-Based Testing in Practice

Alexander Pretschner, A. Pretschner, 2005, FM.

Distributed data usage control for web applications

Alexander Pretschner, Prachi Kumari, Jonas Peschla, 2011, CODASPY 2011.

An Overview of Distributed Usage Control

Alexander Pretschner, 2009 .

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE

Alexander Pretschner, Sudipto Ghosh, Benoit Baudry, 2007, MoDELS Workshops.

A Hypervisor-Based Bus System for Usage Control

Alexander Pretschner, Enrico Lovat, Cornelius Moucha, 2011, 2011 Sixth International Conference on Availability, Reliability and Security.

Towards a policy enforcement infrastructure for distributed usage control

Alexander Pretschner, Florian Kelbert, 2012, SACMAT '12.

Detecting Patching of Executables without System Calls

Alexander Pretschner, Sebastian Banescu, Mohsen Ahmadvand, 2017, CODASPY.

Engineering automotive software : For the gigabyte of costly software that will be used in intelligent cars of the future, new system and software development techniques and tools are required

Manfred Broy, Ingolf Krüger, Alexander Pretschner, 2007 .

SHRIFT System-Wide HybRid Information Flow Tracking

Alexander Pretschner, Enrico Lovat, Alexander Fromm, 2015, SEC.

Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems

Alexander Pretschner, Maximilian Schmitt, Florian Hauer, 2017, 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

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]

Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005, Model-Based Testing of Reactive Systems.

Automatically assessing vulnerabilities discovered by compositional analysis

Alexander Pretschner, Pooja Kulkarni, Saahil Ognawala, 2018, MASES@ASE.

Ontology-based web site mapping for information exploration

Alexander Pretschner, Susan Gauch, Xiaolan Zhu, 1999, CIKM '99.

A Comprehensive Attack and Defense Model for the Automotive Domain

Alexander Pretschner, Sebastian Banescu, Thomas Hutzelmann, 2019 .

Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen

Alexander Pretschner, Thomas Stauner, I. Péter, 2001 .

Engineering Automotive Software

Manfred Broy, Ingolf Krüger, Alexander Pretschner, 2007, Proceedings of the IEEE.

Efficiently Checking Actual Causality with SAT Solving pdf

Alexander Pretschner, Amjad Ibrahim, Simon Rehwald, 2019, ArXiv.

Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn

Gregor Engels, Alexander Pretschner, Ralf Reussner, 2010, Software Engineering.

3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006

Alexander Pretschner, Thomas Stauner, Christian Salzmann, 2006, SEAS '06.

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft

Claudia Eckert, Alexander Pretschner, Thomas Hess, 2017, Informatik-Spektrum.

8Cage: lightweight fault-based test generation for simulink

Alexander Pretschner, Dominik Holling, Matthias Gemmar, 2014, ASE.

Can We Predict the Quality of Spectrum-based Fault Localization?

Alexander Pretschner, Lionel C. Briand, Mojdeh Golagha, 2020, 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).

Empowered and embedded: ethics and agile processes pdf

Severin Kacianka, Alexander Pretschner, Jan Gogoll, 2021, Humanities and Social Sciences Communications.

Human-level Ordinal Maintainability Prediction Based on Static Code Metrics

Alexander Pretschner, Arnaud Fietzke, Markus Schnappinger, 2021, EASE.

How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies

Sven Apel, Alexander Pretschner, Roman Haas, 2021, ESEC/SIGSOFT FSE.

IoT Thing To Service Semantic Matching

Rute C. Sofia, Alexander Pretschner, Nisrine Bnouhanna, 2021, 2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops).

Ethics in the Software Development Process: from Codes of Conduct to Ethical Deliberation pdf

Severin Kacianka, Alexander Pretschner, Jan Gogoll, 2020, Philosophy & Technology.

Understanding Safety for Unmanned Aerial Vehicles in Urban Environments

Alexander Pretschner, Florian Hauer, Tabea Schmidt, 2021, 2021 IEEE Intelligent Vehicles Symposium (IV).

Trustworthy Transparency by Design pdf

Alexander Pretschner, Valentin Zieglmeier, A. Pretschner, 2021, ArXiv.

A Causal Model of Intersection-Related Collisions for Drivers With and Without Visual Field Loss

Severin Kacianka, Alexander Pretschner, Andreas Lüdtke, 2021, HCI.

Automated Implementation of Windows-related Security-Configuration Guides

Alexander Pretschner, Bernd Grobauer, Patrick Stöckle, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems

Alexander Pretschner, Ilias Gerostathopoulos, Malte Neuss, 2021, 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Dynamic Taint Analysis versus Obfuscated Self-Checking

Alexander Pretschner, Sebastian Banescu, Marius Guggenmos, 2021, ACSAC.

Empirically evaluating readily available information for regression test optimization in continuous integration

Alexander Pretschner, Silke Reimer, Florian Hauer, 2021, ISSTA.

Designing Accountable Systems

Severin Kacianka, Alexander Pretschner, 2021, FAccT.

Fitness Function Templates for Testing Automated and Autonomous Driving Systems in Intersection Scenarios

Alexander Pretschner, Florian Hauer, Nicola Kolb, 2021, 2021 IEEE International Intelligent Transportation Systems Conference (ITSC).

A Taxonomy of Software Integrity Protection Techniques

Alexander Pretschner, Florian Kelbert, Mohsen Ahmadvand, 2018 .

GoCoMM: a governance and compliance maturity model

Alexander Pretschner, Fabio Massacci, Gabriela Gheorghe, 2009, WISG '09.