Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2021
[j34]Alexander Pretschner, Florian Hauer, Tabea Schmidt:
Tests für automatisierte und autonome Fahrsysteme. Inform. Spektrum 44(3): 214-218 (2021)- [c136]Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner:
Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. EASE 2021: 160-169 - [c135]Severin Kacianka, Alexander Pretschner:
Designing Accountable Systems. FAccT 2021: 424-437 - [c134]Daniel Elsner, Florian Hauer, Alexander Pretschner, Silke Reimer:
Empirically evaluating readily available information for regression test optimization in continuous integration. ISSTA 2021: 491-504 - [c133]Nisrine Bnouhanna, Rute C. Sofia, Alexander Pretschner:
IoT Thing To Service Semantic Matching. PerCom Workshops 2021: 418-419 - [c132]Patrick Stöckle, Bernd Grobauer, Alexander Pretschner:
Automated Implementation of Windows-related Security-Configuration Guides. Software Engineering 2021: 101-102 - [c131]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 - [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
- [j33]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) - [c130]Amjad Ibrahim, Alexander Pretschner:
From Checking to Inference: Actual Causality Computations as Optimization Problems. ATVA 2020: 343-359 - [c129]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 - [c128]Thomas Hutzelmann, Dominik Mauksch, Alexander Pretschner:
How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. ECSA Companion 2020: 518-526 - [c127]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 - [c126]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 - [c125]Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner:
Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. ICSME 2020: 278-289 - [c124]Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand:
Can We Predict the Quality of Spectrum-based Fault Localization? ICST 2020: 4-15 - [c123]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 - [c122]Florian Hauer, Ilias Gerostathopoulos, Tabea Schmidt, Alexander Pretschner:
Clustering Traffic Scenarios Using Mental Models as Little as Possible. IV 2020: 1007-1012 - [c121]Florian Hauer, Alexander Pretschner, Bernd Holzmüller:
Re-Using Concrete Test Scenarios Generally Is a Bad Idea. IV 2020: 1305-1310 - [c120]Patrick Stöckle, Bernd Grobauer, Alexander Pretschner:
Automated Implementation of Windows-related Security-Configuration Guides. ASE 2020: 598-610 - [c119]Tabea Schmidt, Florian Hauer, Alexander Pretschner:
Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach. SAFECOMP 2020: 179-194 - [c118]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
- [j32]Mohsen Ahmadvand, Alexander Pretschner, Florian Kelbert:
Chapter Eight - A Taxonomy of Software Integrity Protection Techniques. Adv. Comput. 112: 413-486 (2019) - [j31]Jörg Kienzle, Alexander Pretschner:
Guest editorial for the special section on MODELS 2016. Softw. Syst. Model. 18(3): 1681-1682 (2019) - [j30]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) - [c117]Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner:
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. SPRO@CCS 2019: 53-63 - [c116]Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger:
Failure clustering without coverage. ISSTA 2019: 134-145 - [c115]Florian Hauer, Tabea Schmidt, Bernd Holzmüller, Alexander Pretschner:
Did We Test All Scenarios for Automated and Autonomous Driving Systems? ITSC 2019: 2950-2955 - [c114]Florian Hauer, Raphael E. Stern, Alexander Pretschner:
Selecting Flow Optimal System Parameters for Automated Driving Systems. ITSC 2019: 3776-3781 - [c113]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 - [c112]Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai:
Practical Causal Models for Cyber-Physical Systems. NFM 2019: 211-227 - [c111]Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner:
Attack graph generation for microservice architecture. SAC 2019: 1235-1242 - [c110]Valentin Zieglmeier, Severin Kacianka, Thomas Hutzelmann, Alexander Pretschner:
A real-time remote IDS testbed for connected vehicles. SAC 2019: 1898-1905 - [c109]Florian Hauer, Alexander Pretschner, Bernd Holzmüller:
Fitness Functions for Testing Automated and Autonomous Driving Systems. SAFECOMP 2019: 69-84 - [c108]Ana Petrovska, Alexander Pretschner:
Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. FAS*W@SASO/ICAC 2019: 234-236 - [c107]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
- [j29]Sebastian Banescu, Alexander Pretschner:
Chapter Five - A Tutorial on Software Obfuscation. Adv. Comput. 108: 283-353 (2018) - [j28]Florian Kelbert, Alexander Pretschner:
Data Usage Control for Distributed Systems. ACM Trans. Priv. Secur. 21(3): 12:1-12:32 (2018) - [c106]Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner:
Practical Integrity Protection with Oblivious Hashing. ACSAC 2018: 40-52 - [c105]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 - [c104]Aleieldin Salem, Tabea Schmidt, Alexander Pretschner:
Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models. ESSoS 2018: 108-115 - [c103]Mojdeh Golagha, Abu Mohammed Raisuddin, Lennart Mittag, Dominik Hellhake, Alexander Pretschner:
Aletheia: a failure diagnosis toolchain. ICSE (Companion Volume) 2018: 13-16 - [c102]Md. Rezaur Rahman, Mojdeh Golagha, Alexander Pretschner:
Pairika: a failure diagnosis benchmark for C++ programs. ICSE (Companion Volume) 2018: 204-205 - [c101]Saahil Ognawala, Ricardo Nales Amato, Alexander Pretschner, Pooja Kulkarni:
Automatically assessing vulnerabilities discovered by compositional analysis. MASES@ASE 2018: 16-25 - [c100]Aleieldin Salem, Alexander Pretschner:
Poking the bear: lessons learned from probing three Android malware datasets. A-Mobile@ASE 2018: 19-24 - [c99]Aleieldin Salem, F. Franziska Paulus, Alexander Pretschner:
Repackman: a tool for automatic repackaging of Android apps. A-Mobile@ASE 2018: 25-28 - [c98]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 - [c97]Severin Kacianka, Alexander Pretschner:
Understanding and Formalizing Accountability for Cyber-Physical Systems. SMC 2018: 3165-3170 - [c96]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
- [j27]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) - [j26]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) - [c95]Sebastian Banescu, Mohsen Ahmadvand, Alexander Pretschner, Robert Shield, Chris Hamilton:
Detecting Patching of Executables without System Calls. CODASPY 2017: 185-196 - [c94]Mojdeh Golagha, Alexander Pretschner, Dominik Fisch, Roman Nagy:
Reducing Failure Analysis Time: An Industrial Evaluation. ICSE-SEIP 2017: 293-302 - [c93]Mojdeh Golagha, Alexander Pretschner:
Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. ICST Workshops 2017: 379-381 - [c92]Florian Hauer, Alexander Pretschner, Maximilian Schmitt, Markus Groetsch:
Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. ISSRE Workshops 2017: 5-8 - [c91]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 - [c90]Simon Rehwald, Amjad Ibrahim, Kristian Beckers, Alexander Pretschner:
ACCBench: A Framework for Comparing Causality Algorithms. CREST@ETAPS 2017: 16-30 - [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
- [j25]Michael Felderer, Matthias Büchler, Martin Johns, Achim D. Brucker, Ruth Breu, Alexander Pretschner:
Security Testing: A Survey. Adv. Comput. 101: 1-51 (2016) - [j24]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) - [c89]Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner:
Code obfuscation against symbolic execution attacks. ACSAC 2016: 189-200 - [c88]Kristian Beckers, Jörg Landthaler, Florian Matthes, Alexander Pretschner, Bernhard Waltl:
Data Accountability in Socio-Technical Systems. BMMDS/EMMSAD 2016: 335-348 - [c87]Sebastian Banescu, Ciprian Lucaci, Benjamin Krämer, Alexander Pretschner:
VOT4CS: A Virtualization Obfuscation Tool for C#. SPRO@CCS 2016: 39-49 - [c86]Enrico Lovat, Martín Ochoa, Alexander Pretschner:
Sound and Precise Cross-Layer Data Flow Tracking. ESSoS 2016: 38-55 - [c85]Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner:
Nequivack: Assessing Mutation Score Confidence. ICST Workshops 2016: 152-161 - [c84]Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar:
Profiting from Unit Tests for Integration Testing. ICST 2016: 353-363 - [c83]Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar:
Failure Models for Testing Continuous Controllers. ISSRE 2016: 365-375 - [c82]Saahil Ognawala, Martín Ochoa, Alexander Pretschner, Tobias Limmer:
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. ASE 2016: 780-785 - [c81]Tobias Wüchner, Martín Ochoa, Enrico Lovat, Alexander Pretschner:
Generating behavior-based malware detection models with genetic programming. PST 2016: 506-511 - [c80]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 - [c79]Mohsen Ahmadvand, Antoine Scemama, Martín Ochoa, Alexander Pretschner:
Enhancing Operation Security using Secret Sharing. SECRYPT 2016: 446-451 - [c78]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
- [c77]Florian Kelbert, Alexander Pretschner:
A Fully Decentralized Data Usage Control Enforcement Infrastructure. ACNS 2015: 409-430 - [c76]Sebastian Banescu, Alexander Pretschner, Dominic Battré, Stéfano Cazzulani, Robert Shield, Greg Thompson:
Software-Based Protection against Changeware. CODASPY 2015: 231-242 - [c75]Prachi Kumari, Alexander Pretschner:
Automated Translation of End User Policies for Usage Control Enforcement. DBSec 2015: 250-258 - [c74]Tobias Wüchner, Martín Ochoa, Alexander Pretschner:
Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics. DIMVA 2015: 98-118 - [c73]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 - [c72]Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner:
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS 2015: 149-156 - [c71]Sebastian Banescu, Martín Ochoa, Alexander Pretschner:
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE 2015: 45-51 - [c70]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 - [c69]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 - [c68]Rafael Fedler, Sebastian Banescu, Alexander Pretschner:
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. SAFECOMP 2015: 362-371 - [c67]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
- [c66]Florian Kelbert, Alexander Pretschner:
Decentralized Distributed Data Usage Control. CANS 2014: 353-369 - [c65]Tobias Wüchner, Martín Ochoa, Alexander Pretschner:
Malware detection with quantitative data flow graphs. AsiaCCS 2014: 271-282 - [c64]Enrico Lovat, Johan Oudinet, Alexander Pretschner:
On quantitative dynamic data flow tracking. CODASPY 2014: 211-222 - [c63]Dominik Holling, Alexander Pretschner, Matthias Gemmar:
8Cage: lightweight fault-based test generation for simulink. ASE 2014: 859-862 - [c62]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
- [j23]Ricardo Neisse, Alexander Pretschner, Valentina Di Giacomo:
A Trustworthy Usage Control Enforcement Framework. Int. J. Mob. Comput. Multim. Commun. 5(3): 34-49 (2013) - [c61]Pascal Birnstill, Alexander Pretschner:
Enforcing privacy through usage-controlled video surveillance. AVSS 2013: 318-323 - [c60]Florian Kelbert, Alexander Pretschner:
Data usage control enforcement in distributed systems. CODASPY 2013: 71-82 - [c59]Prachi Kumari, Alexander Pretschner:
Model-Based Usage Control Policy Derivation. ESSoS 2013: 58-74 - [c58]Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar:
A Generic Fault Model for Quality Assurance. MoDELS 2013: 87-103 - 2012
- [j22]Gilles Barthe, Jorge Cuéllar, Javier López, Alexander Pretschner:
Preface. J. Comput. Secur. 20(4): 307-308 (2012) - [j21]Mark Utting, Alexander Pretschner, Bruno Legeard:
A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5): 297-312 (2012) - [c57]Prachi Kumari, Alexander Pretschner:
Deriving implementation-level policies for usage control enforcement. CODASPY 2012: 83-94 - [c56]Matthias Büchler, Johan Oudinet, Alexander Pretschner:
SPaCiTE - Web Application Testing Engine. ICST 2012: 858-859 - [c55]Tobias Wüchner, Alexander Pretschner:
Data Loss Prevention Based on Data-Driven Usage Control. ISSRE 2012: 151-160 - [c54]