


default search action
Alexander Pretschner
Walter Alexander Pretschner
Person information
- affiliation: Technical University Munich, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j40]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:
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8(1): 2:1-2:32 (2024) - [j39]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:
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8(1): 3:1-3:27 (2024) - [j38]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:
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8(1): 4:1-4:23 (2024) - [j37]Thomas Hutzelmann
, Dominik Mauksch, Ana Petrovska
, Alexander Pretschner
:
Generation of Tailored and Confined Datasets for IDS Evaluation in Cyber-Physical Systems. IEEE Trans. Dependable Secur. Comput. 21(4): 3948-3962 (2024) - [c178]Alexandros Tsakpinis
, Alexander Pretschner
:
Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries. EASE 2024: 345-350 - [c177]Fabian Leinen, Alexander Perathoner, Alexander Pretschner:
On the Impact of Hitting System Resource Limits on Test Flakiness. FTW@ICSE 2024: 14-19 - [c176]Fabian Leinen, Daniel Elsner, Alexander Pretschner, Andreas Stahlbauer, Michael Sailer, Elmar Jürgens:
Cost of Flaky Tests in Continuous Integration: An Industrial Case Study. ICST 2024: 329-340 - [c175]David K. Marson, Diana Deldar, Alexander Pretschner:
System-Level Test Case Generation and Execution for Distributed Cooperative Unmanned Aerial Systems. IV 2024: 1060-1067 - [c174]Tiziano Munaro
, Irina Muntean
, Alexander Pretschner
:
A Failure Model Library for Simulation-Based Validation of Functional Safety. SAFECOMP 2024: 18-32 - [i37]Alexandros Tsakpinis, Alexander Pretschner:
Analyzing the Accessibility of GitHub Repositories for PyPI and NPM Libraries. CoRR abs/2404.17403 (2024) - 2023
- [j36]Valentin Zieglmeier
, Gabriel Loyola Daiqui
, Alexander Pretschner
:
Decentralized Inverse Transparency with Blockchain. Distributed Ledger Technol. Res. Pract. 2(3): 1-28 (2023) - [j35]Valentin Zieglmeier
, Alexander Pretschner
:
Rethinking People Analytics With Inverse Transparency by Design. Proc. ACM Hum. Comput. Interact. 7(CSCW2): 1-29 (2023) - [j34]Yuri Gil Dantas
, Tiziano Munaro
, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev:
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4(4): 335 (2023) - [c173]Patrick Stöckle
, Michael Sammereier, Bernd Grobauer, Alexander Pretschner:
Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. AST 2023: 90-100 - [c172]Alexander Pretschner, Florian Hauer, Tabea Schmidt:
On Scenario-Based Testing of Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products 2023: 68-82 - [c171]Daniel Elsner, Severin Kacianka, Stephan Lipp, Alexander Pretschner, Axel Habermann, Maria Graber, Silke Reimer:
BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI. ICST 2023: 327-338 - [c170]Roland Wuersching, Daniel Elsner, Fabian Leinen, Alexander Pretschner, Georg Grueneissl, Thomas Neumeyr, Tobias Vosseler:
Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software. ICST 2023: 398-409 - [c169]Simon Hundsdorfer, Daniel Elsner, Alexander Pretschner:
DIRTS: Dependency Injection Aware Regression Test Selection. ICST 2023: 422-432 - [c168]Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu:
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. ISSTA 2023: 127-139 - [c167]Nicola Kolb, Tabea Schmidt, Joachim Fröhlich, Alexander Pretschner:
When to Apply Scenario-Based Testing to a New System Domain? ITSC 2023: 399-404 - [c166]Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner:
Automatisierte Identifikation von sicherheitsrelevanten Konfigurationseinstellungen mittels NLP. Software Engineering 2023: 115-116 - [c165]Lena Gregor, Markus Schnappinger, Alexander Pretschner:
Revisiting Inter-Class Maintainability Indicators. SANER 2023: 805-814 - [i36]Patrick Stöckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner:
Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. CoRR abs/2303.05901 (2023) - [i35]Valentin Zieglmeier
, Gabriel Loyola Daiqui, Alexander Pretschner:
Decentralized Inverse Transparency With Blockchain. CoRR abs/2304.11033 (2023) - [i34]Valentin Zieglmeier, Alexander Pretschner:
Rethinking People Analytics With Inverse Transparency by Design. CoRR abs/2305.09813 (2023) - 2022
- [j33]Ana Petrovska, Stefan Kugele
, Thomas Hutzelmann, Theo Beffart
, Sebastian Bergemann
, Alexander Pretschner:
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber-physical systems. Inf. Softw. Technol. 147: 106866 (2022) - [c164]Daniel Elsner, Daniel Bertagnolli, Alexander Pretschner, Rudi Klaus:
Challenges in Regression Test Selection for End-to-End Testing of Microservice-based Software Systems. AST@ICSE 2022: 1-5 - [c163]Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner:
Probe-based Syscall Tracing for Efficient and Practical File-level Test Traces. AST@ICSE 2022: 126-137 - [c162]Patrick Stöckle
, Ionut Pruteanu, Bernd Grobauer, Alexander Pretschner:
Hardening with Scapolite: A DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations. CODASPY 2022: 137-142 - [c161]Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme:
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion 2022: 75-79 - [c160]Daniel Elsner, Roland Wuersching, Markus Schnappinger, Alexander Pretschner, Maria Graber, René Dammer, Silke Reimer:
Build System Aware Multi-language Regression Test Selection in Continuous Integration. ICSE (SEIP) 2022: 87-96 - [c159]Claudius Jordan, Philipp Foth, Alexander Pretschner, Matthias Fruth:
Unreliable Test Infrastructures in Automotive Testing Setups. ICSE (SEIP) 2022: 307-308 - [c158]Valentin Zieglmeier
, Maren Gierlich-Joas
, Alexander Pretschner
:
Increasing Employees' Willingness to Share: Introducing Appeal Strategies for People Analytics. ICSOB 2022: 213-226 - [c157]Tabea Schmidt, Alexander Pretschner:
StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing (Tools and Artifact Track). ISSRE 2022: 37-48 - [c156]Claudius Jordan
, Philipp Foth
, Matthias Fruth, Alexander Pretschner
:
Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report). ISSRE 2022: 517-528 - [c155]Stephan Lipp, Sebastian Banescu, Alexander Pretschner:
An empirical study on the effectiveness of static C code analyzers for vulnerability detection. ISSTA 2022: 544-555 - [c154]Nicola Kolb, Claudius Jordan, Florian Huber, Alexander Pretschner:
Automatic Evaluation of Automatically Derived Semantic Scenario Instance Descriptions. ITSC 2022: 1565-1571 - [c153]Patrick Stöckle
, Theresa Wasserer
, Bernd Grobauer
, Alexander Pretschner
:
Automated Identification of Security-Relevant Configuration Settings Using NLP. ASE 2022: 131:1-131:5 - [c152]Yuri Gil Dantas, Tiziano Munaro
, Carmen Cârlan, Vivek Nigam
, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev:
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD 2022: 36-47 - [c151]Peter Bludau
, Alexander Pretschner:
Feature sets in just-in-time defect prediction: an empirical evaluation. PROMISE 2022: 22-31 - [c150]Tabea Schmidt, Florian Hauer, Alexander Pretschner:
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. SAFECOMP 2022: 335-349 - [c149]Nicola Kolb, Florian Hauer, Mojdeh Golagha, Alexander Pretschner:
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. SAFECOMP 2022: 350-364 - [c148]Markus Schnappinger, Simon Zachau, Arnaud Fietzke, Alexander Pretschner:
A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability. SWQD 2022: 41-60 - [c147]Peter Bludau
, Alexander Pretschner:
PR-SZZ: How pull requests can support the tracing of defects in software repositories. SANER 2022: 1-12 - [i33]Peter Bludau, Alexander Pretschner:
PR-SZZ: How pull requests can support the tracing of defects in software repositories. CoRR abs/2206.09967 (2022) - [i32]Valentin Zieglmeier
, Maren Gierlich-Joas, Alexander Pretschner:
Increasing Employees' Willingness to Share: Introducing Appeal Strategies for People Analytics. CoRR abs/2209.05387 (2022) - [i31]Patrick Stöckle, Ionut Pruteanu, Bernd Grobauer, Alexander Pretschner:
Hardening with Scapolite: a DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations. CoRR abs/2209.08824 (2022) - [i30]Patrick Stöckle, Theresa Wasserer, Bernd Grobauer, Alexander Pretschner:
Automated Identification of Security-Relevant Configuration Settings Using NLP. CoRR abs/2209.08853 (2022) - [i29]Patrick Stöckle, Bernd Grobauer, Alexander Pretschner:
Automated Implementation of Windows-related Security-Configuration Guides. CoRR abs/2209.08936 (2022) - [i28]Peter Bludau, Alexander Pretschner:
Feature Sets in Just-in-Time Defect Prediction: An Empirical Evaluation. CoRR abs/2209.13978 (2022) - 2021
- [j32]Alexander Pretschner, Florian Hauer, Tabea Schmidt:
Tests für automatisierte und autonome Fahrsysteme. Inform. Spektrum 44(3): 214-218 (2021) - [j31]Alexander Pretschner, Niina Zuber, Jan Gogoll
, Severin Kacianka, Julian Nida-Rümelin:
Ethik in der agilen Software-Entwicklung. Inform. Spektrum 44(5): 348-354 (2021) - [j30]Aleieldin Salem, Sebastian Banescu
, Alexander Pretschner:
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. ACM Trans. Priv. Secur. 24(4): 25:1-25:35 (2021) - [c146]Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner:
Dynamic Taint Analysis versus Obfuscated Self-Checking. ACSAC 2021: 182-193 - [c145]Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner:
Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. EASE 2021: 160-169 - [c144]Severin Kacianka, Alexander Pretschner:
Designing Accountable Systems. FAccT 2021: 424-437 - [c143]Bianca Biebl
, Severin Kacianka, Anirudh Unni, Alexander Trende, Jochem W. Rieger, Andreas Lüdtke, Alexander Pretschner, Klaus Bengler:
A Causal Model of Intersection-Related Collisions for Drivers With and Without Visual Field Loss. HCI (43) 2021: 219-234 - [c142]Daniel Elsner, Florian Hauer, Alexander Pretschner, Silke Reimer:
Empirically evaluating readily available information for regression test optimization in continuous integration. ISSTA 2021: 491-504 - [c141]Nicola Kolb, Florian Hauer, Alexander Pretschner:
Fitness Function Templates for Testing Automated and Autonomous Driving Systems in Intersection Scenarios. ITSC 2021: 217-222 - [c140]Tabea Schmidt, Florian Hauer, Alexander Pretschner:
Understanding Safety for Unmanned Aerial Vehicles in Urban Environments. IV 2021: 638-643 - [c139]Nisrine Bnouhanna, Rute C. Sofia, Alexander Pretschner:
IoT Thing To Service Semantic Matching. PerCom Workshops 2021: 418-419 - [c138]Patrick Stöckle
, Bernd Grobauer, Alexander Pretschner:
Automated Implementation of Windows-related Security-Configuration Guides. Software Engineering 2021: 101-102 - [c137]Ana Petrovska, Malte Neuss, Ilias Gerostathopoulos
, Alexander Pretschner:
Run-time Reasoning from Uncertain Observations with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. SEAMS@ICSE 2021: 130-141 - [c136]Roman Haas, Daniel Elsner, Elmar Jürgens, Alexander Pretschner, Sven Apel
:
How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies. ESEC/SIGSOFT FSE 2021: 1281-1291 - [i27]Severin Kacianka, Alexander Pretschner:
Designing Accountable Systems. CoRR abs/2101.08102 (2021) - [i26]Valentin Zieglmeier
, Alexander Pretschner:
Trustworthy Transparency by Design. CoRR abs/2103.10769 (2021) - [i25]Niina Zuber, Severin Kacianka, Jan Gogoll, Alexander Pretschner, Julian Nida-Rümelin:
Empowered and Embedded: Ethics and Agile Processes. CoRR abs/2107.07249 (2021) - 2020
- [j29]Johannes Kroß
, Peter Bludau
, Alexander Pretschner:
Center for Code Excellence Trends - Eine Plattform für Trends in Softwaretechnologien. Inform. Spektrum 43(6): 417-424 (2020) - [c135]Amjad Ibrahim, Alexander Pretschner:
From Checking to Inference: Actual Causality Computations as Optimization Problems. ATVA 2020: 343-359 - [c134]Amjad Ibrahim, Tobias Klesel, Ehsan Zibaei
, Severin Kacianka, Alexander Pretschner:
Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. ECAI 2020: 2978-2985 - [c133]Thomas Hutzelmann, Dominik Mauksch, Alexander Pretschner:
How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. ECSA Companion 2020: 518-526 - [c132]Amjad Ibrahim, Simon Rehwald, Antoine Scemama, Florian Andres, Alexander Pretschner:
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. GraMSec@CSF 2020: 3-23 - [c131]Ana Petrovska, Sergio Quijano
, Ilias Gerostathopoulos
, Alexander Pretschner:
Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems. SEAMS@ICSE 2020: 149-155 - [c130]Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner:
Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. ICSME 2020: 278-289 - [c129]Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand:
Can We Predict the Quality of Spectrum-based Fault Localization? ICST 2020: 4-15 - [c128]Claudius V. Jordan, Florian Hauer, Philipp Foth, Alexander Pretschner:
Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study. ISSRE Workshops 2020: 67-72 - [c127]Florian Hauer, Ilias Gerostathopoulos
, Tabea Schmidt, Alexander Pretschner:
Clustering Traffic Scenarios Using Mental Models as Little as Possible. IV 2020: 1007-1012 - [c126]Florian Hauer, Alexander Pretschner, Bernd Holzmüller:
Re-Using Concrete Test Scenarios Generally Is a Bad Idea. IV 2020: 1305-1310 - [c125]Patrick Stöckle
, Bernd Grobauer, Alexander Pretschner:
Automated Implementation of Windows-related Security-Configuration Guides. ASE 2020: 598-610 - [c124]Tabea Schmidt, Florian Hauer, Alexander Pretschner:
Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. SAFECOMP 2020: 179-194 - [c123]Johannes Kroß
, Peter Bludau, Alexander Pretschner:
Center for Code Excellence. SE 2020: 235-236 - [i24]Severin Kacianka, Amjad Ibrahim, Alexander Pretschner:
Expressing Accountability Patterns using Structural Causal Models. CoRR abs/2005.03294 (2020) - [i23]Amjad Ibrahim, Alexander Pretschner:
From Checking to Inference: Actual Causality Computations as Optimization Problems. CoRR abs/2006.03363 (2020) - [i22]Aleieldin Salem, Sebastian Banescu, Alexander Pretschner:
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. CoRR abs/2007.00510 (2020) - [i21]Jan Gogoll, Niina Zuber, Severin Kacianka, Timo Greger, Alexander Pretschner, Julian Nida-Rümelin:
Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation. CoRR abs/2011.03016 (2020)
2010 – 2019
- 2019
- [j28]Mohsen Ahmadvand, Alexander Pretschner, Florian Kelbert:
Chapter Eight - A Taxonomy of Software Integrity Protection Techniques. Adv. Comput. 112: 413-486 (2019) - [j27]Jörg Kienzle, Alexander Pretschner:
Guest editorial for the special section on MODELS 2016. Softw. Syst. Model. 18(3): 1681-1682 (2019) - [j26]Tobias Wüchner
, Aleksander Cislak, Martín Ochoa
, Alexander Pretschner:
Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection. IEEE Trans. Dependable Secur. Comput. 16(1): 99-112 (2019) - [c122]Mohsen Ahmadvand, Daniel Below, Sebastian Banescu
, Alexander Pretschner:
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. SPRO@CCS 2019: 53-63 - [c121]Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger:
Failure clustering without coverage. ISSTA 2019: 134-145 - [c120]Florian Hauer, Tabea Schmidt, Bernd Holzmüller, Alexander Pretschner:
Did We Test All Scenarios for Automated and Autonomous Driving Systems? ITSC 2019: 2950-2955 - [c119]Florian Hauer, Raphael E. Stern, Alexander Pretschner:
Selecting Flow Optimal System Parameters for Automated Driving Systems. ITSC 2019: 3776-3781 - [c118]Markus Schnappinger, Mohd Hafeez Osman
, Alexander Pretschner, Arnaud Fietzke:
Learning a classifier for prediction of maintainability based on static analysis tools. ICPC 2019: 243-248 - [c117]Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
:
Practical Causal Models for Cyber-Physical Systems. NFM 2019: 211-227 - [c116]Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner:
Attack graph generation for microservice architecture. SAC 2019: 1235-1242 - [c115]Valentin Zieglmeier
, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner:
A real-time remote IDS testbed for connected vehicles. SAC 2019: 1898-1905 - [c114]Florian Hauer, Alexander Pretschner, Bernd Holzmüller:
Fitness Functions for Testing Automated and Autonomous Driving Systems. SAFECOMP 2019: 69-84 - [c113]Ana Petrovska, Alexander Pretschner:
Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. FAS*W@SASO/ICAC 2019: 234-236 - [c112]Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke:
Extending Causal Models from Machines into Humans. CREST@ETAPS 2019: 17-31 - [e12]Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-2536-7 [contents] - [e11]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:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-5125-0 [contents] - [i20]Saahil Ognawala, Fabian Kilger, Alexander Pretschner:
Compositional Fuzzing Aided by Targeted Symbolic Execution. CoRR abs/1903.02981 (2019) - [i19]Aleieldin Salem, Sebastian Banescu, Alexander Pretschner:
Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods. CoRR abs/1903.10560 (2019) - [i18]Amjad Ibrahim, Simon Rehwald, Alexander Pretschner:
Efficiently Checking Actual Causality with SAT Solving. CoRR abs/1904.13101 (2019) - [i17]Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner:
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. CoRR abs/1909.11404 (2019) - 2018
- [j25]Sebastian Banescu
, Alexander Pretschner:
Chapter Five - A Tutorial on Software Obfuscation. Adv. Comput. 108: 283-353 (2018) - [j24]Florian Kelbert, Alexander Pretschner:
Data Usage Control for Distributed Systems. ACM Trans. Priv. Secur. 21(3): 12:1-12:32 (2018) - [c111]Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner:
Practical Integrity Protection with Oblivious Hashing. ACSAC 2018: 40-52 - [c110]Markus Schnappinger, Mohd Hafeez Osman
, Alexander Pretschner, Markus Pizka, Arnaud Fietzke:
Software quality assessment in practice: a hypothesis-driven framework. ESEM 2018: 40:1-40:6 - [c109]Aleieldin Salem, Tabea Schmidt, Alexander Pretschner:
Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models. ESSoS 2018: 108-115 - [c108]Mojdeh Golagha, Abu Mohammed Raisuddin
, Lennart Mittag, Dominik Hellhake, Alexander Pretschner:
Aletheia: a failure diagnosis toolchain. ICSE (Companion Volume) 2018: 13-16 - [c107]Md. Rezaur Rahman, Mojdeh Golagha, Alexander Pretschner:
Pairika: a failure diagnosis benchmark for C++ programs. ICSE (Companion Volume) 2018: 204-205 - [c106]Ehsan Zibaei
, Sebastian Banescu
, Alexander Pretschner:
Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example. ICSRS 2018: 120-129 - [c105]Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni:
Automatically assessing vulnerabilities discovered by compositional analysis. MASES@ASE 2018: 16-25 - [c104]Aleieldin Salem, Alexander Pretschner:
Poking the bear: lessons learned from probing three Android malware datasets. A-Mobile@ASE 2018: 19-24 - [c103]Aleieldin Salem, F. Franziska Paulus, Alexander Pretschner:
Repackman: a tool for automatic repackaging of Android apps. A-Mobile@ASE 2018: 25-28 - [c102]