default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander 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]Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner:
Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. SAC 2018: 1475-1482 - [c101]Severin Kacianka, Alexander Pretschner:
Understanding and Formalizing Accountability for Cyber-Physical Systems. SMC 2018: 3165-3170 - [c100]Mohsen Ahmadvand, Alexander Pretschner, Keith Ball, Daniel Eyring:
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework. STAF Workshops 2018: 573-588 - [i16]Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato:
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing. CoRR abs/1803.04881 (2018) - [i15]Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni:
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis. CoRR abs/1807.09160 (2018) - [i14]Vivek Nigam, Alexander Pretschner, Harald Ruess:
Model-Based Safety and Security Engineering. CoRR abs/1810.04866 (2018) - [i13]Severin Kacianka, Alexander Pretschner:
Understanding and Formalizing Accountability for Cyber-Physical Systems. CoRR abs/1810.09704 (2018) - [i12]Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner:
A Real-Time Remote IDS Testbed for Connected Vehicles. CoRR abs/1811.10945 (2018) - 2017
- [j23]Markus Anding, Andreas Boes, Claudia Eckert, Dietmar Harhoff, Thomas Hess, Ursula Münch, Alexander Pretschner:
Herausforderungen an der Schnittstelle von Informatik und Gesellschaft - Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt. Inform. Spektrum 40(2): 172-175 (2017) - [j22]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:
Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility. Inform. Spektrum 40(2): 180-191 (2017) - [c99]Sebastian Banescu, Mohsen Ahmadvand, Alexander Pretschner, Robert Shield, Chris Hamilton:
Detecting Patching of Executables without System Calls. CODASPY 2017: 185-196 - [c98]Mojdeh Golagha, Alexander Pretschner, Dominik Fisch, Roman Nagy:
Reducing Failure Analysis Time: An Industrial Evaluation. ICSE-SEIP 2017: 293-302 - [c97]Mojdeh Golagha, Alexander Pretschner:
Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. ICST Workshops 2017: 379-381 - [c96]Florian Hauer, Alexander Pretschner, Maximilian Schmitt, Markus Groetsch:
Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. ISSRE Workshops 2017: 5-8 - [c95]Sebastian Banescu, Christian S. Collberg, Alexander Pretschner:
Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. USENIX Security Symposium 2017: 661-678 - [c94]Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner:
ACCBench: A Framework for Comparing Causality Algorithms. CREST@ETAPS 2017: 16-30 - [p6]Markus Anding, Andreas Boes, Claudia Eckert, Dietmar Harhoff, Thomas Hess, Ursula Münch, Alexander Pretschner:
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 2017: 141-147 - [p5]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:
Informatik-Forschung für digitale Mobilitätsplattformen. 50 Jahre Universitäts-Informatik in München 2017: 155-172 - [p4]Alexander Pretschner:
Defect-Based Testing. Dependable Software Systems Engineering 2017: 141-163 - [e10]Gail-Joon Ahn, Alexander Pretschner, Gabriel Ghinita:
Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, CODASPY 2017, Scottsdale, AZ, USA, March 22-24, 2017. ACM 2017, ISBN 978-1-4503-4523-1 [contents] - [e9]Alexander Pretschner, Doron Peled, Thomas Hutzelmann:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 50, IOS Press 2017, ISBN 978-1-61499-809-9 [contents] - [i11]Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner:
One evaluation of model-based testing and its automation. CoRR abs/1701.06815 (2017) - [i10]Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner:
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. CoRR abs/1711.09362 (2017) - 2016
- [j21]Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner:
Security Testing: A Survey. Adv. Comput. 101: 1-51 (2016) - [j20]Michael Felderer, Philipp Zech, Ruth Breu, Matthias Büchler, Alexander Pretschner:
Model-based security testing: a taxonomy and systematic classification. Softw. Test. Verification Reliab. 26(2): 119-148 (2016) - [c93]Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner:
Code obfuscation against symbolic execution attacks. ACSAC 2016: 189-200 - [c92]Kristian Beckers, Jörg Landthaler, Florian Matthes, Alexander Pretschner, Bernhard Waltl:
Data Accountability in Socio-Technical Systems. BMMDS/EMMSAD 2016: 335-348 - [c91]Sebastian Banescu, Ciprian Lucaci, Benjamin Krämer, Alexander Pretschner:
VOT4CS: A Virtualization Obfuscation Tool for C#. SPRO@CCS 2016: 39-49 - [c90]Enrico Lovat, Martín Ochoa, Alexander Pretschner:
Sound and Precise Cross-Layer Data Flow Tracking. ESSoS 2016: 38-55 - [c89]Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner:
Nequivack: Assessing Mutation Score Confidence. ICST Workshops 2016: 152-161 - [c88]Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar:
Profiting from Unit Tests for Integration Testing. ICST 2016: 353-363 - [c87]Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar:
Failure Models for Testing Continuous Controllers. ISSRE 2016: 365-375 - [c86]Saahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer:
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. ASE 2016: 780-785 - [c85]Tobias Wüchner, Martín Ochoa, Enrico Lovat, Alexander Pretschner:
Generating behavior-based malware detection models with genetic programming. PST 2016: 506-511 - [c84]Tobias Wüchner, Martín Ochoa, Mojdeh Golagha, Gaurav Srivastava, Thomas Schreck, Alexander Pretschner:
MalFlow: identification of C&C servers through host-based data flow profiling. SAC 2016: 2087-2094 - [c83]Mohsen Ahmadvand, Antoine Scemama, Martín Ochoa, Alexander Pretschner:
Enhancing Operation Security using Secret Sharing. SECRYPT 2016: 446-451 - [c82]Severin Kacianka, Florian Kelbert, Alexander Pretschner:
Towards a Unified Model of Accountability Infrastructures. CREST@ETAPS 2016: 40-54 - [e8]Elisa Bertino, Ravi S. Sandhu, Alexander Pretschner:
Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, CODASPY 2016, New Orleans, LA, USA, March 9-11, 2016. ACM 2016, ISBN 978-1-4503-3935-3 [contents] - [i9]Dominik Holling, Daniel Méndez Fernández, Alexander Pretschner:
A Field Study on the Elicitation and Classification of Defects for Defect Models. CoRR abs/1611.10023 (2016) - 2015
- [c81]Florian Kelbert, Alexander Pretschner:
A Fully Decentralized Data Usage Control Enforcement Infrastructure. ACNS 2015: 409-430 - [c80]Sebastian Banescu, Alexander Pretschner, Dominic Battré, Stéfano Cazzulani, Robert Shield, Greg Thompson:
Software-Based Protection against Changeware. CODASPY 2015: 231-242 - [c79]Prachi Kumari, Alexander Pretschner:
Automated Translation of End User Policies for Usage Control Enforcement. DBSec 2015: 250-258 - [c78]Tobias Wüchner, Martín Ochoa, Alexander Pretschner:
Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. DIMVA 2015: 98-118 - [c77]Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren:
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ESSoS 2015: 34-42 - [c76]Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner:
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS 2015: 149-156 - [c75]Sebastian Banescu, Martín Ochoa, Alexander Pretschner:
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE 2015: 45-51 - [c74]Sebastian Banescu, Tobias Wüchner, Aleieldin Salem, Marius Guggenmos, Martín Ochoa, Alexander Pretschner:
A framework for empirical evaluation of malware detection resilience against behavior obfuscation. MALWARE 2015: 40-47 - [c73]Dominik Holling, Daniel Méndez Fernández, Alexander Pretschner:
Field Study on the Elicitation and Classification of Defects for Defect Models. PROFES 2015: 380-396 - [c72]Rafael Fedler, Sebastian Banescu, Alexander Pretschner:
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. SAFECOMP 2015: 362-371 - [c71]Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner:
SHRIFT System-Wide HybRid Information Flow Tracking. SEC 2015: 371-385 - [p3]Alexander Pretschner:
Defect-Based Testing. Dependable Software Systems Engineering 2015: 224-245 - [e7]Maximilian Irlbeck, Doron A. Peled, Alexander Pretschner:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series, D: Information and Communication Security 40, IOS Press 2015, ISBN 978-1-61499-494-7 [contents] - [i8]Tobias Wüchner, Martín Ochoa, Alexander Pretschner:
Robust and Effective Malware Detection through Quantitative Data Flow Graph Metrics. CoRR abs/1502.01609 (2015) - [i7]Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner:
FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. CoRR abs/1502.03245 (2015) - 2014
- [c70]Florian Kelbert, Alexander Pretschner:
Decentralized Distributed Data Usage Control. CANS 2014: 353-369 - [c69]Tobias Wüchner, Martín Ochoa, Alexander Pretschner:
Malware detection with quantitative data flow graphs. AsiaCCS 2014: 271-282 - [c68]Enrico Lovat, Johan Oudinet, Alexander Pretschner:
On quantitative dynamic data flow tracking. CODASPY 2014: 211-222 - [c67]Dominik Holling, Alexander Pretschner, Matthias Gemmar:
8Cage: lightweight fault-based test generation for simulink. ASE 2014: 859-862 - [c66]Tobias Wüchner, Alexander Pretschner, Martín Ochoa:
DAVAST: data-centric system level activity visualization. VizSEC 2014: 25-32 - [i6]Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun:
Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [j19]Ricardo Neisse, Alexander Pretschner, Valentina Di Giacomo:
A Trustworthy Usage Control Enforcement Framework. Int. J. Mob. Comput. Multim. Commun. 5(3): 34-49 (2013) - [c65]Pascal Birnstill, Alexander Pretschner:
Enforcing privacy through usage-controlled video surveillance. AVSS 2013: 318-323 - [c64]Florian Kelbert, Alexander Pretschner:
Data usage control enforcement in distributed systems. CODASPY 2013: 71-82 - [c63]Prachi Kumari, Alexander Pretschner:
Model-Based Usage Control Policy Derivation. ESSoS 2013: 58-74 - [c62]Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar:
A Generic Fault Model for Quality Assurance. MoDELS 2013: 87-103 - 2012
- [j18]Gilles Barthe, Jorge Cuéllar, Javier López, Alexander Pretschner:
Preface. J. Comput. Secur. 20(4): 307-308 (2012) - [j17]Mark Utting, Alexander Pretschner, Bruno Legeard:
A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5): 297-312 (2012) - [c61]Prachi Kumari, Alexander Pretschner:
Deriving implementation-level policies for usage control enforcement. CODASPY 2012: 83-94 - [c60]Matthias Büchler, Johan Oudinet, Alexander Pretschner:
SPaCiTE - Web Application Testing Engine. ICST 2012: 858-859 - [c59]Tobias Wüchner, Alexander Pretschner:
Data Loss Prevention Based on Data-Driven Usage Control. ISSRE 2012: 151-160 - [c58]Florian Kelbert, Alexander Pretschner:
Towards a policy enforcement infrastructure for distributed usage control. SACMAT 2012: 119-122 - [c57]Alexander Fromm, Florian Kelbert, Alexander Pretschner:
Data Protection in a Cloud-Enabled Smart Grid. SmartGridSec 2012: 96-107 - [c56]Denis Feth, Alexander Pretschner:
Flexible Data-Driven Security for Android. SERE 2012: 41-50 - [c55]Matthias Büchler, Johan Oudinet, Alexander Pretschner:
Semi-Automatic Security Testing of Web Applications from a Secure Model. SERE 2012: 253-262 - 2011
- [j16]Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting:
Software Security in Virtualized Infrastructures - The Smart Meter Example. it Inf. Technol. 53(3): 142-151 (2011) - [j15]Cornelius Moucha, Enrico Lovat, Alexander Pretschner:
A virtualized usage control bus system. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 2(4): 84-101 (2011) - [j14]Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer:
On the number and nature of faults found by random testing. Softw. Test. Verification Reliab. 21(1): 3-28 (2011) - [c54]Ricardo Neisse, Alexander Pretschner, Valentina Di Giacomo:
A Trustworthy Usage Control Enforcement Framework. ARES 2011: 230-235 - [c53]Cornelius Moucha, Enrico Lovat, Alexander Pretschner:
A Hypervisor-Based Bus System for Usage Control. ARES 2011: 254-259 - [c52]Ricardo Neisse, Dominik Holling, Alexander Pretschner:
Implementing Trust in Cloud Infrastructures. CCGRID 2011: 524-533 - [c51]Prachi Kumari, Alexander Pretschner, Jonas Peschla, Jens-Michael Kuhn:
Distributed data usage control for web applications: a social network implementation. CODASPY 2011: 85-96 - [c50]Alexander Pretschner, Enrico Lovat, Matthias Büchler:
Representation-Independent Data Usage Control. DPM/SETOP 2011: 122-140 - [c49]Prachi Kumari, Florian Kelbert, Alexander Pretschner:
Data protection in heterogeneous distributed systems: A smart meter example. GI-Jahrestagung 2011: 353 - [c48]Enrico Lovat, Alexander Pretschner:
Data-centric multi-layer usage control enforcement: a social network example. SACMAT 2011: 151-152 - [c47]Matthias Büchler, Johan Oudinet, Alexander Pretschner:
Security Mutants for Property-Based Testing. TAP@TOOLS 2011: 69-77 - [p2]Manfred Broy, Alexander Pretschner:
A Model-Based View onto Testing. Model-Based Testing for Embedded Systems 2011 - [e6]Ralf H. Reussner, Alexander Pretschner, Stefan Jähnichen:
Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe. LNI P-184, GI 2011, ISBN 978-3-88579-278-9 [contents] - [e5]Jorge Cuéllar, Gilles Barthe, Alexander Pretschner, Javier López:
Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6710, Springer 2011, ISBN 978-3-642-22443-0 [contents] - 2010
- [c46]Alexander Pretschner:
Doktorandensymposium der SE 2010. Software Engineering (Workshops) 2010: 514-516 - [e4]Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett:
Distributed Usage Control, 06.04. - 09.04.2010. Dagstuhl Seminar Proceedings 10141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e3]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
Model-Based Testing in Practice, 17.10. - 22.10.2010. Dagstuhl Seminar Proceedings 10421, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e2]Gregor Engels, Markus Luckey, Alexander Pretschner, Ralf H. Reussner:
Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn. LNI P-160, GI 2010, ISBN 978-3-88579-254-3 [contents] - [i5]Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett:
10141 Abstracts Collection - Distributed Usage Control. Distributed Usage Control 2010 - [i4]Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett:
10141 Summary - Distributed Usage Control. Distributed Usage Control 2010 - [i3]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
10421 Abstracts Collection - Model-Based Testing in Practice. Model-Based Testing in Practice 2010 - [i2]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
10421 Summary - Model-Based Testing in Practice. Model-Based Testing in Practice 2010
2000 – 2009
- 2009
- [c45]Alexander Pretschner, Judith Rüesch, Christian Schaefer, Thomas Walter:
Formal Analyses of Usage Control Policies. ARES 2009: 98-105 - [c44]Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol:
On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425 - [c43]Christian Schaefer, Thomas Walter, Matús Harvan, Alexander Pretschner:
Usage Control Policy Enforcement in OpenOffice.org and Information Flow. ISSA 2009: 393-406 - [c42]Matús Harvan, Alexander Pretschner:
State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. NSS 2009: 373-380 - 2008
- [j13]Alexander Pretschner, Manuel Hilty, Florian Schütz, Christian Schaefer, Thomas Walter:
Usage Control Enforcement: Present and Future. IEEE Secur. Priv. 6(4): 44-53 (2008) - [j12]Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner:
Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinf. 50(5): 383-391 (2008) - [c41]Alexander Pretschner, Thomas Walter:
Negotiation of Usage Control Policies - Simply the Best? ARES 2008: 1135-1136 - [c40]Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter:
Mechanisms for usage control. AsiaCCS 2008: 240-244 - [c39]Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81 - [c38]Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry:
Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247 - [c37]Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon:
Model-Based Tests for Access Control Policies. ICST 2008: 338-347 - [c36]Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner:
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166 - [c35]Alexander Pretschner, Ruth Breu:
Vorwort zum Doktorandensymposium der Modellierung 2008. Modellierung 2008: 215-216 - [c34]Alexander Pretschner:
Doctoral Symposium at MODELS 2008. MoDELS 2008: 908-909 - [c33]Alexander Pretschner, Florian Schütz, Christian Schaefer, Thomas Walter:
Policy Evolution in Distributed Usage Control. STM@IFIPTM 2008: 109-123 - 2007
- [j11]Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann:
Engineering Automotive Software. Proc. IEEE 95(2): 356-373 (2007) - [j10]Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner:
4th Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 32(4): 40 (2007) - [j9]Alexander Pretschner, Wolfgang Prenninger:
Computing refactorings of state machines. Softw. Syst. Model. 6(4): 381-399 (2007) - [c32]Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter:
A Policy Language for Distributed Usage Control. ESORICS 2007: 531-546 - [c31]Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner:
Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71 - [c30]Alexander Pretschner, Christian Salzmann, Bernhard Schätz, Thomas Stauner:
4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146 - [c29]Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter:
Monitors for Usage Control. IFIPTM 2007: 411-414 - [c28]Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner:
4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. MoDELS (Workshops) 2007: 145-150 - [c27]Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter:
DUKE - Distributed Usage Control Enforcement. POLICY 2007: 275 - [c26]Berthold Agreiter, Muhammad Alam, Ruth Breu, Michael Hafner, Alexander Pretschner, Jean-Pierre Seifert, Xinwen Zhang:
A technical architecture for enforcing usage control requirements in service-oriented architectures. SWS 2007: 18-25 - [c25]Alexander Pretschner, Fabio Massacci, Manuel Hilty:
Usage Control in Service-Oriented Architectures. TrustBus 2007: 83-93 - [p1]Susan Gauch, Mirco Speretta, Alexander Pretschner:
Ontology-Based User Profiles for Personalized Search. Ontologies 2007: 665-694 - 2006
- [j8]Alexander Pretschner, Manuel Hilty, David A. Basin:
Distributed usage control. Commun. ACM 49(9): 39-44 (2006) - [j7]Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner:
3rd Intl. ICSE workshop on software engineering for automotive systems. ACM SIGSOFT Softw. Eng. Notes 31(5): 22-23 (2006) - [c24]Martin Rappl, Alexander Pretschner, Christian Salzmann, Thomas Stauner:
3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034 - [c23]Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter:
Usage Control Requirements in Mobile and Ubiquitous Computing Applications. ICSNC 2006: 27 - [c22]Alexander Pretschner:
Zur Kosteneffektivität des modellbasierten Testens. MBEES 2006: 85-94 - 2005
- [j6]Alexander Pretschner, Christian Salzmann, Thomas Stauner:
2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-2 (2005) - [c21]Manuel Hilty, David A. Basin, Alexander Pretschner:
On Obligations. ESORICS 2005: 98-117 - [c20]Alexander Pretschner:
Model-Based Testing in Practice. FM 2005: 537-541 - [c19]Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner:
One evaluation of model-based testing and its automation. ICSE 2005: 392-401 - [c18]Christian Salzmann, Thomas Stauner, Alexander Pretschner:
2nd international workshop on software engineering for automotive systems. ICSE 2005: 695 - [c17]Alexander Pretschner:
Model-based testing. ICSE 2005: 722-723 - [c16]Alexander Pretschner, Wolfgang Prenninger:
Computing Refactorings of Behavior Models. MoDELS 2005: 126-141 - [e1]Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner:
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]. Lecture Notes in Computer Science 3472, Springer 2005, ISBN 3-540-26278-4 [contents] - 2004
- [j5]Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps:
Model based testing in incremental system development. J. Syst. Softw. 70(3): 315-329 (2004) - [j4]Alexander Pretschner, Christian Salzmann, Thomas Stauner:
Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-2 (2004) - [j3]Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel:
Model-based testing for real. Int. J. Softw. Tools Technol. Transf. 5(2-3): 140-157 (2004) - [c15]Alexander Pretschner, Jan Philipps:
Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291 - [c14]Alexander Pretschner, Martin Leucker:
Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems 2004: 607-609 - [c13]Christian Salzmann, Thomas Stauner, Alexander Pretschner:
ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779 - [c12]Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner:
Coverage Metrics for Continuous Function Charts. ISSRE 2004: 257-268 - [c11]Alexander Pretschner:
Modellbasiertes Testen. Modellierung 2004: 274 - [c10]Wolfgang Prenninger, Alexander Pretschner:
Abstractions for Model-Based Testing. TACoS 2004: 59-71 - 2003
- [b1]Walter Alexander Pretschner:
Zum modellbasierten funktionalen Test reaktiver Systeme. Technical University Munich, Germany, 2003, pp. 1-234 - [j2]Susan Gauch, Jason Chaffee, Alexander Pretschner:
Ontology-based personalized search and browsing. Web Intell. Agent Syst. 1(3-4): 219-234 (2003) - [c9]Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner:
Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78- - [c8]Alexander Pretschner:
Compositional Generation of MC/DC Integration Test Suites. TACoS 2003: 1-10 - [c7]Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl:
Model-Based Test Case Generation for Smart Cards. FMICS 2003: 170-184 - 2002
- [c6]Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung 2002: 37-52 - [c5]Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps:
Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312 - [i1]Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. CoRR cs.SE/0201023 (2002) - 2001
- [c4]Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps:
Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping 2001: 155-161 - [c3]Thomas Stauner, Alexander Pretschner, Istran Péter:
Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML 2001: 242-257 - 2000
- [j1]Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch:
Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. 10(4): 229-248 (2000)
1990 – 1999
- 1999
- [c2]Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner:
Ontology-Based Web Site Mapping for Information Exploration. CIKM 1999: 188-194 - [c1]Alexander Pretschner, Susan Gauch:
Ontology Based Personalized Search. ICTAI 1999: 391-398
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
