Publications

2021

  • Ana Petrovska: Self-Awareness as a Prerequisite for Self-Adaptivity in Computing Systems. 6th Workshop on Self-Aware Computing (SeAC), 2021 more…
  • 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. 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS, 2021 more…
  • Ana Petrovska, Malte Neuss, Sebastian Bergemann, Martin Büchner, M. Ansab Shohab: Smart Self-Adaptive Cyber-Physical Systems: How can Exploration and Learning Improve Performance in a Partially Observable Multi-Agent Context? ADAPTIVE 2021 : The Thirteenth International Conference on Adaptive and Self-Adaptive Systems and Applications, 2021 more…
  • Elsner, Daniel; Hauer, Florian; Pretschner, Alexander; Reimer, Silke: Empirically evaluating readily available information for regression test optimization in continuous integration. Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2021 more…
  • Gogoll, Jan; Zuber, Niina; Kacianka, Severin; Greger, Timo; Pretschner, Alexander; Nida-Rümelin, Julian: Ethics in the Software Development Process: from Codes of Conduct to Ethical Deliberation. Philosophy & Technology, 2021 more…
  • Haas, Roman; Elsner, Daniel; Juergens, Elmar; Pretschner, Alexander; Apel, Sven: How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies. Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, 2021 more…
  • Kacianka, Severin; Pretschner, Alexander: Designing Accountable Systems. Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, ACM, 2021 more…
  • Poechhacker, Nikolaus; Kacianka, Severin: Algorithmic Accountability in Context. Socio-Technical Perspectives on Structural Causal Models. Frontiers in Big Data 3, 2021 more…
  • Pretschner, Alexander; Hauer, Florian; Schmidt, Tabea: Tests für automatisierte und autonome Fahrsysteme. Informatik Spektrum, 2021 more…
  • Pretschner, Alexander; Zuber, Niina; Gogoll, Jan; Kacianka, Severin; Nida-Rümelin, Julian: Ethik in der agilen Software-Entwicklung. Informatik Spektrum, 2021 more…
  • Salem, Aleieldin: Towards Accurate Labeling of Android Apps for Reliable Malware Detection. Proceedings of the Eleventh ACM Conference on Data and Application Security and Privacy, ACM, 2021 more…
  • Salem, Aleieldin; Banescu, Sebastian; Pretschner, Alexander: Maat. ACM Transactions on Privacy and Security 24 (4), 2021, 1-35 more…
  • Schnappinger, Markus; Fietzke, Arnaud; Pretschner, Alexander: Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. Evaluation and Assessment in Software Engineering, ACM, 2021 more…
  • Stefan Kugele, Ana Petrovska, Ilias Gerostathopoulos: Towards a Taxonomy of Autonomous Systems. 15th European Conference on Software Architecture (ECSA 2021), 2021 more…
  • Stöckle, Patrick AND Grobauer, Bernd AND Pretschner, Alexander: Automated Implementation of Windows-related Security-Configuration Guides. Software Engineering 2021, Gesellschaft für Informatik e.V., 2021 more…
  • Zieglmeier, Valentin; Loyola Daiqui, Gabriel: GDPR-Compliant Use of Blockchain for Secure Usage Logs. Evaluation and Assessment in Software Engineering, ACM, 2021 more…

2020

  • Claudius Jordan, Florian Hauer, Philipp Foth, Alexander Pretschner: Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study. , IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). , 2020 more…
  • Mingfeng Shang, Florian Hauer, Raphael Stern: Do cut-ins matter? Assessing the impact of lane changing and string stability on traffic flow behavior. , IEEE Intelligent Transportation Systems Conference (ITSC). , 2020 more…
  • Alexander Hayward, Marian Daun, Wolfgang Böhm, Ana Petrovska, Lisa Krajinski, Alexander Fay: Modellierung von Funktionen in der Modellbasierten Entwicklung von Systemverbünden Kollaborierender Cyber-Physischer Systeme. EKA 2020 - Entwurf komplexer Automatisierungssysteme, 2020 more…
  • Ana Petrovska, Patricia Goldberg, Anne Brüggemann-Klein, and Anne Nyokabi: Mining Gender Bias: A Preliminary Study on Implicit Biases and Gender Identity in the Department of Computer Science at the Technical University of Munich. European Conference on Software Architecture, 2020 more…
  • Ana Petrovska, Sergio Quijano, Ilias Gerostathopoulos, Alexander Pretschner: Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical Systems. 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2020 more…
  • Calo, Alessandro; Arcaini, Paolo; Ali, Shaukat; Hauer, Florian; Ishikawa, Fuyuki: Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), IEEE, 2020 more…
  • Calò, Alessandro; Arcaini, Paolo; Ali, Shaukat; Hauer, Florian; Ishikawa, Fuyuki: Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. Proceedings of the 2020 Genetic and Evolutionary Computation Conference, ACM, 2020 more…
  • Diego Marmsoler, Ana Petrovska: Runtime Verification for Dynamic Architectures. Journal of Logical and Algebraic Methods in Programming, 2020 more…
  • Florian Hauer, Alexander Pretschner, Bernd Holzmüller: Re-Using Concrete Test Scenarios Generally Is a Bad Idea. 2020 IEEE Intelligent Vehicles Symposium (IV), IEEE, 2020 more…
  • Florian Hauer, Bernd Holzmüller: A sound approach to scenario-based testing as the basis for safety argumentations. Automotive Testing Technology Magazine Special Issue, 2020 more…
  • Florian Hauer, Ilias Gerostathopoulos, Tabea Schmidt, Alexander Pretschner: Clustering Traffic Scenarios Using Mental Models as Little as Possible. 2020 IEEE Intelligent Vehicles Symposium (IV), IEEE, 2020 more…
  • Golagha, Mojdeh; Pretschner, Alexander; Briand, Lionel C.: Can We Predict the Quality of Spectrum-based Fault Localization? 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), IEEE, 2020 more…
  • Hayward, Alexander; Daun, Marian; Petrovska, Ana; Böhm, Wolfgang; Krajinski, Lisa; Fay, Alexander: Function Modeling for Collaborative Embedded Systems. In: Model-Based Engineering of Collaborative Embedded Systems. Springer International Publishing, 2020 more…
  • Hutzelmann, Thomas; Mauksch, Dominik; Pretschner, Alexander: How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines. In: Communications in Computer and Information Science. Springer International Publishing, 2020 more…
  • Ibrahim Amjad; Klesel Tobias; Zibaei Ehsan; Kacianka Severin; Pretschner Alexander: Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. Frontiers in Artificial Intelligence and Applications 325 (ECAI 2020), 2020, 2978-2985 more…
  • Ibrahim, Amjad; Pretschner, Alexander: From Checking to Inference: Actual Causality Computations as Optimization Problems. In: Automated Technology for Verification and Analysis. Springer International Publishing, 2020 more…
  • Ibrahim, Amjad; Rehwald, Simon; Scemama, Antoine; Andres, Florian; Pretschner, Alexander: Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. In: Graphical Models for Security. Springer International Publishing, 2020 more…
  • Moncada, David Santiago Velasco; Schneider, Daniel; Petrovska, Ana; Laxman, Nishanth; Möhrle, Felix; Rothbauer, Stefan; Zeller, Marc; Koo, Chee Hung; Safdari, Samira: Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. In: Model-Based Engineering of Collaborative Embedded Systems. Springer International Publishing, 2020 more…
  • Schmidt, Tabea; Hauer, Florian; Pretschner, Alexander: Automated Anomaly Detection in CPS Log Files. In: Lecture Notes in Computer Science. Springer International Publishing, 2020 more…
  • Schnappinger, Markus; Fietzke, Arnaud; Pretschner, Alexander: A Software Maintainability Dataset. 2020 more…
  • Schnappinger, Markus; Fietzke, Arnaud; Pretschner, Alexander: Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE, 2020 more…
  • Stöckle, Patrick; Grobauer, Bernd; Pretschner, Alexander: Automated implementation of windows-related security-configuration guides. Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2020 more…
  • Zhong, Bingzhuo; Jordan, Claudius; Provost, Julien: Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems, 2020 more…

2019

  • Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander: Efficient Checking of Actual Causality with SAT Solving. , Engineering Secure and Dependable Software Systems (2019). IOS Press, 2019 more…
  • Lukas Heinzmann and Sina Shafaei and Mohd Hafeez Osman and Christoph Segler and Alois Knoll: A Framework for Safety Violation Identification and Assessment in Autonomous Driving. , Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019.. , 2019 more…
  • Saasha Nair and Sina Shafaei and Stefan Kugele and Mohd Hafeez Osman and Alois Knoll: Monitoring Safety of Autonomous Vehicles with Crash Prediction Networks. , Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 . , 2019 more…
  • Ahmadvand, Mohsen; Below, Daniel; Banescu, Sebastian; Pretschner, Alexander: VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. Proceedings of the 3rd ACM Workshop on Software Protection - SPRO'19, ACM Press, 2019 more…
  • Ahmadvand, Mohsen; Fischer, Dennis; Banescu, Sebastian: SIP shaker: software integrity protection composition. Proceedings of the 35th Annual Computer Security Applications Conference on - ACSAC '19, ACM Press, 2019 more…
  • Aleieldin Salem, Michael Hesse, Jona Neumeier, Alexander Pretschner: Towards Empirically Assessing Behavior Stimulation Approaches for Android Malware. SECURWARE 2019, The Thirteenth International Conference on Emerging Security Information, Systems and Technologies, 2019, 47-52 more…
  • Florian Hauer: Supplementary material for the paper "Fitness Functions for Testing Automated and Autonomous Driving Systems". Chair of Software and Systems Engineering, 2019, more…
  • Florian Hauer, Alexander Pretschner, Bernd Holzmüller: Fitness Functions for Testing Automated and Autonomous Driving Systems. 38th International Conference on Computer Safety, Reliability and Security, Springer International Publishing , 2019 more…
  • Florian Hauer, Bernd Holzmüller: How Many Test Scenarios Do We Need for Testing Automated and Autonomous Driving Systems? TÜV / TUM Fachtagung "Automatisiertes Fahren" 2019 more…
  • Florian Hauer, Tabea Schmidt, Bernd Holzmuller, Alexander Pretschner: Did We Test All Scenarios for Automated and Autonomous Driving Systems? 2019 IEEE Intelligent Transportation Systems Conference (ITSC) , IEEE , 2019 more…
  • Golagha, Mojdeh; Lehnhoff, Constantin; Pretschner, Alexander; Ilmberger, Hermann: Failure clustering without coverage. Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019, ACM Press, 2019 more…
  • Hauer, Florian; Stern, Raphael; Pretschner, Alexander: Selecting Flow Optimal System Parameters for Automated Driving Systems. 2019 IEEE Intelligent Transportation Systems Conference (ITSC), IEEE, 2019 more…
  • Hildebrandt, Constantin; Bandyszak, Torsten; Petrovska, Ana; Laxman, Nishanth; Cioroaica, Emilia; Toersleff, Sebastian: EURECA: Epistemic Uncertainty Classification Scheme for Runtime Information Exchange in Collaborative System Groups. SICS Software-Intensive Cyber-Physical Systems, 2019 more…
  • Hutzelmann, Thomas; Banescu, Sebastian; Pretschner, Alexander: A Comprehensive Attack and Defense Model for the Automotive Domain. SAE International Journal of Transportation Cybersecurity and Privacy 2 (1), 2019 more…
  • Ibrahim, Amjad; Bozhinoski, Stevica; Pretschner, Alexander: Attack graph generation for microservice architecture. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, ACM Press, 2019 more…
  • Ibrahim, Amjad; Kacianka, Severin; Pretschner, Alexander; Hartsell, Charles; Karsai, Gabor: Practical Causal Models for Cyber-Physical Systems. In: Lecture Notes in Computer Science. Springer International Publishing, 2019 more…
  • Jordan, Claudius V.; Maurer, Franziska; Lowenberg, Sven; Provost, Julien: Framework for Flexible, Adaptive Support of Test Management by Means of Software Agents. IEEE Robotics and Automation Letters 4 (3), 2019, 2754-2761 more…
  • Marmsoler, Diego; Petrovska, Ana: Detecting Architectural Erosion using Runtime Verification. 12th Interaction and Concurrency Experience (ICE 2019), 2019 more…
  • Petrovska, Ana: Learning Approach for Smart Self-Adaptive Cyber-Physical Systems. 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), IEEE, 2019 more…
  • Schnappinger, Markus; Osman, Mohd Hafeez; Pretschner, Alexander; Fietzke, Arnaud: Learning a Classifier for Prediction of Maintainability Based on Static Analysis Tools. 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC), IEEE, 2019 more…
  • Segler, Christoph; Kugele, Stefan; Obergfell, Philipp; Osman, Mohd Hafeez; Shafaci, Sina; Sax, Eric; Knoll, Alois: Anomaly Detection for Advanced Driver Assistance Systems Using Online Feature Selection. 2019 IEEE Intelligent Vehicles Symposium (IV), IEEE, 2019 more…
  • Segler, Christoph; Kugele, Stefan; Obergfell, Philipp; Osman, Mohd Hafeez; Shafaei, Sina; Sax, Eric; Knoll, Alois: Evaluation of Feature Selection for Anomaly Detection in Automotive E/E Architectures. 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), IEEE, 2019 more…
  • Zieglmeier, Valentin; Kacianka, Severin; Hutzelmann, Thomas; Pretschner, Alexander: A real-time remote IDS testbed for connected vehicles. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, ACM Press, 2019 more…

2018

  • Petrovska, Ana;Grigoleit, Florian: Towards Context Modeling for Dynamic Collaborative Embedded Systems in Open Context. , Tenth International Workshop Modelling and Reasoning in Context (MRC). , 2018 more…
  • Saahil Ognawala, Alexander Pretschner, Thomas Hutzelmann, Eirini Psallida, Ricardo Nales Amato: Presentation: Reviewing KLEE’s Sonar-Search Strategy in Context of Greybox Fuzzing. , 1st International KLEE Workshop, London. , 2018 more…
  • Ognawala, S. and Amato, R.N. and Pretschner, A. and Kulkarni, P.: Automatically Assessing Vulnerabilities Discovered by Compositional Analysis. , 1st International Workshop on Machine Learning and Software Engineering in Symbiosis (MASES'18), co-located with IEEE/ACM International Conference on Automated Software Engineering. . , 2018 more…
  • Ahmadvand, Mohsen; Hayrapetyan, Anahit; Banescu, Sebastian; Pretschner, Alexander: Practical Integrity Protection with Oblivious Hashing. Proceedings of the 34th Annual Computer Security Applications Conference on - ACSAC '18, ACM Press, 2018 more…
  • Ahmadvand, Mohsen; Pretschner, Alexander; Ball, Keith; Eyring, Daniel: Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework. In: Software Technologies: Applications and Foundations. Springer International Publishing, 2018 more…
  • Ahmadvand, Mohsen; Pretschner, Alexander; Kelbert, Florian: A Taxonomy of Software Integrity Protection Techniques. In: Advances in Computers. Elsevier, 2018 more…
  • Aleieldin Salem: Stimulation and Detection of Android Repackaged Malware with Active Learning. (Talk) 2018 more…
  • Aleieldin Salem: GoldRusher: A Miner for Rapid Identification of Hidden Code. Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, IEEE, 2018, 517--521 more…
  • Alexander Ludewig, Marian Daun, Ana Petrovska, Wolfgang Böhm, Alexander Fay: Requirements for modeling dynamic function networks for collaborative embedded systems. Workshops at Modellierung 2018, Modellierung in der Entwicklung von kollaborativen eingebetteten Systemen (MEKES), 2018 more…
  • Dürrwang, J., Braun, M., Kriesten, R., Pretschner, A.: Enhancement of Automotive Penetration Testing with Threat Analyses Results. To appear in SAE International Journal of Transportation Cybersecurity and Privacy, 2018 more…
  • Florian Hauer, Bernd Holzmüller: Szenario-Optimierung für die Absicherung von automatisierten und autonomen Fahrsystemen – PrePrint für den Tagungsband der FKFS AutoTest Fachtagung 2018. Chair of Software and Systems Engineering, 2018, more…
  • Forian Kelbert,Alexander Pretschner: Data Usage Control for Distributed Systems. ACM Transactions on Privacy and Security, 2018 more…
  • Golagha, Mojdeh; Raisuddin, Abu Mohammed; Mittag, Lennart; Hellhake, Dominik; Pretschner, Alexander: Aletheia. Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, ACM Press, 2018 more…
  • Huch, Fabian; Golagha, Mojdeh; Petrovska, Ana; Krauss, Alexander: Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), IEEE, 2018 more…
  • Jordan, Claudius V.; Herrero, Judit Cuezva; Provost, Julien: Extension of the Plant Feature Approach Introducing Temporal Relations. 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), IEEE, 2018 more…
  • Ma, Canlong; Jordan, Claudius; Provost, Julien: SATE: Model-Based Testing with Design-to-Test and Plant Features. IFAC-PapersOnLine 51 (7), 2018, 310-315 more…
  • Ognawala, Saahil; Hutzelmann, Thomas; Psallida, Eirini; Pretschner, Alexander: Improving function coverage with munch. Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, ACM Press, 2018 more…
  • Osman, Mohd Hafeez; Ho-Quang, Truong; Chaudron, Michel: An Automated Approach for Classifying Reverse-Engineered and Forward-Engineered UML Class Diagrams. 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, 2018 more…
  • Osman, Mohd Hafeez; Zaharin, Mohd Firdaus: Ambiguous software requirement specification detection. Proceedings of the 5th International Workshop on Requirements Engineering and Testing - RET '18, ACM Press, 2018 more…
  • Rahman, Md. Rezaur; Golagha, Mojdeh; Pretschner, Alexander: Pairika. Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, ACM Press, 2018 more…
  • Salem, Aleieldin; Paulus, F. Franziska; Pretschner, Alexander: Repackman: a tool for automatic repackaging of Android apps. Proceedings of the 1st International Workshop on Advances in Mobile App Analysis - A-Mobile 2018, ACM Press, 2018 more…
  • Salem, Aleieldin; Pretschner, Alexander: Poking the bear: lessons learned from probing three Android malware datasets. Proceedings of the 1st International Workshop on Advances in Mobile App Analysis - A-Mobile 2018, ACM Press, 2018 more…
  • Salem, Aleieldin; Schmidt, Tabea; Pretschner, Alexander: Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models. In: Lecture Notes in Computer Science. Springer International Publishing, 2018 more…
  • Schnappinger, Markus; Osman, Mohd Hafeez; Pretschner, Alexander; Pizka, Markus; Fietzke, Arnaud: Software quality assessment in practice. Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '18, ACM Press, 2018 more…
  • Shafaei, Sina; Kugele, Stefan; Osman, Mohd Hafeez; Knoll, Alois: Uncertainty in Machine Learning: A Safety Perspective on Autonomous Driving. In: Developments in Language Theory. Springer International Publishing, 2018 more…
  • Valentin Zieglmeier: Real-Time Remote Intrusion Detection. Master thesis, 2018 more…
  • Zibaei, Ehsan; Banescu, Sebastian; Pretschner, Alexander: Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example. 2018 3rd International Conference on System Reliability and Safety (ICSRS), IEEE, 2018 more…

2017

  • Banescu, Sebastian and Ahmadvand, Mohsen and Pretschner, Alexander and Shield, Robert and Hamilton, Chris: Detecting Patching of Executables without System Calls. Proceedings of the Conference on Data and Application Security and Privacy, 2017 more…
  • Banescu, Sebastian and Collberg, Christian and Pretschner, Alexander: Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. To appear in Usenix Security, 2017, 2017 more…
  • Banescu, Sebastian and Pretschner, Alexander: A Tutorial on Software Obfuscation. to appear in advances in computing, 2017 more…
  • Cârlan, Carmen; Gallina, Barbara; Kacianka, Severin; Breu, Ruth: Arguing on Software-Level Verification Techniques Appropriateness. In: Lecture Notes in Computer Science. Springer International Publishing, 2017 more…
  • Dieber, Bernhard; Breiling, Benjamin; Taurer, Sebastian; Kacianka, Severin; Rass, Stefan; Schartner, Peter: Security for the Robot Operating System. Robotics and Autonomous Systems 98, 2017, 192-203 more…
  • Golagha, Mojdeh: A Framework for Failure Diagnosis. 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2017 more…
  • Golagha, Mojdeh; Pretschner, Alexander: Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE, 2017 more…
  • Golagha, Mojdeh; Pretschner, Alexander; Fisch, Dominik; Nagy, Roman: Reducing failure analysis time: an industrial evaluation. 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP), IEEE, 2017 more…
  • Hauer, Florian; Pretschner, Alexander; Schmitt, Maximilian; Groetsch, Markus: Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems. 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE, 2017 more…
  • Jordan, Claudius; Ma, Canlong; Provost, Julien: An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week. 2017 IEEE Global Engineering Education Conference (EDUCON), IEEE, 2017 more…
  • Kacianka, Severin; Beckers, Kristian; Kelbert, Florian; Kumari, Prachi: How Accountability is Implemented and Understood in Research Tools. In: Product-Focused Software Process Improvement. Springer International Publishing, 2017 more…
  • Rehwald, Simon; Ibrahim, Amjad; Beckers, Kristian; Pretschner, Alexander: ACCBench: A Framework for Comparing Causality Algorithms. Electronic Proceedings in Theoretical Computer Science 259, 2017, 16-30 more…
  • Schüle, Maximilian E.; Schliski, Pascal M. N.; Hutzelmann, Thomas; Rosenberger, Tobias; Leis, Viktor; Vorona, Dimitri; Kemper, Alfons; Neumann, Thomas: Monopedia. Proceedings of the VLDB Endowment 10 (12), 2017, 1921-1924 more…
  • Tobias Wüchner, Aleksander Cislak, Martin Ochoa, Alexander Pretschner: Leveraging Compression-based Graph Mining for Behavior-based Malware Detection. IEEE Transactions on Dependable and Secure Computing, 2017, 2017 more…

2016

  • Ahmadvand, Mohsen; Ibrahim, Amjad: Requirements Reconciliation for Scalable and Secure Microservice (De)composition. 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), IEEE, 2016 more…
  • Ahmadvand, Mohsen; Scemama, Antoine; Ochoa, Martín; Pretschner, Alexander: Enhancing Operation Security using Secret Sharing. Proceedings of the 13th International Joint Conference on e-Business and Telecommunications, SCITEPRESS - Science and Technology Publications, 2016 more…
  • Aleieldin Salem; Sebastian Banescu: Metadata Recovery From Obfuscated Programs Using Machine Learning. Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, ACM, 2016, 1:1--1:11 more…
  • Banescu, Sebastian and Collberg, Christian and Ganesh, Vijay and Newsham, Zack and Pretschner, Alexander: Code Obfuscation Against Symbolic Execution Attacks. Proceedings of the 32Nd Annual Conference on Computer Security Applications, ACM, 2016, 189--200 more…
  • Banescu, Sebastian and Lucaci, Ciprian and Krämer, Benjamin and Pretschner, Alexander: VOT4CS: A Virtualization Obfuscation Tool for C\#. Proceedings of the 2016 ACM Workshop on Software PROtection, ACM, 2016, 39--49 more…
  • Bernhard Dieber; Severin Kacianka; Stefan Rass; Peter Schartner: Application-level security for ROS-based applications. International Conference on Intelligent Robots and Systems, IEEE, 2016 more…
  • D Ki-Aries, Shamal Faily, Kristian Beckers: Persona-Driven Information Security Awareness. Proceedings of British HCI, ACM, 2016, to appear more…
  • D. Holling and S. Banescu and M. Probst and A. Petrovska and A. Pretschner: Nequivack: Assessing Mutation Score Confidence. 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2016, 152-161 more…
  • Felderer, Michael; Büchler, Matthias; Johns, Martin; Brucker, Achim D.; Breu, Ruth; Pretschner, Alexander: Security Testing. In: Advances in Computers. Elsevier BV, 2016 more…
  • Felderer, Michael; Büchler, Matthias; Johns, Martin; Brucker, Achim D.; Breu, Ruth; Pretschner, Alexander: Security Testing. In: Advances in Computers. Elsevier BV, 2016 more…
  • Holling, Dominik; Hofbauer, Andreas; Pretschner, Alexander; Gemmar, Matthias: Profiting from Unit Tests for Integration Testing. 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), Institute of Electrical and Electronics Engineers (IEEE), 2016 more…
  • Holling, Dominik; Stanescu, Alvin; Beckers, Kristian; Pretschner, Alexander; Gemmar, Matthias: Failure Models for Testing Continuous Controllers. 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Institute of Electrical and Electronics Engineers (IEEE), 2016 more…
  • Ibrahim, Amjad and Banescu, Sebastian: StIns4CS: A State Inspection Tool for C\#. Proceedings of the 2016 ACM Workshop on Software PROtection, ACM, 2016, 61--71 more…
  • Kelbert, Florian; Fromm, Alexander: Compliance Monitoring of Third-Party Applications in Online Social Networks. The 8th International Workshop on Privacy Engineering (Proceedings of the 8th International Workshop on Privacy Engineering), IEEE, 2016, 9-16 more…
  • Kristian Beckers, Isabelle Cote, Thomas Frese, Denis Hatebur, Maritta Heisel: A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface. Reliability Engineering & System Safety, 2016 more…
  • Kristian Beckers, Jörg Landthaler, Florian Matthes, Alexander Pretschner, Bernhard Waltl: Data Accountability in Socio-Technical Systems. Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings, Springer, 2016, 335-348 more…
  • Kristian Beckers, Jürgen Dürrwang, Dominik Holling: Standard Compliant Hazard and Threat Analysis for the Automotive Domain. Information 36 (7), 2016 more…
  • Kristian Beckers,Sebastian Pape: A Serious Game for Eliciting Social Engineering Security Requirements. Proceedings of the International Conference on Requirements Engineering, RE, 2016, to appear more…
  • Kristian Beckers,Sebastian Pape, Veronika Fries: HATCH: Hack And Trick Capricious Humans – A Serious Game on Social Engineering. Proceedings of British HCI, ACM, 2016, to appear more…
  • Lovat, Enrico; Ochoa, Martín; Pretschner, Alexander: Sound and Precise Cross-Layer Data Flow Tracking. In: Lecture Notes in Computer Science. Springer Nature, 2016 more…
  • Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias: MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016, 780--785 more…
  • Peter Schaab, Kristian Beckers, Sebastian Pape: A Systematic Gap Analysis of Social Engineering Defence Mechanisms Considering Social Psychology. 10th International Symposium on Human Aspects of Information Security & Assurance, HAISA 2016 ,Frankfurt, Germany, July, 2016, Proceedings, to appear, 2016, 241-251 more…
  • Severin Kacianka; Florian Kelbert; Alexander Pretschner: Towards a Unified Model of Accountability Infrastructures. Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2016), Open Publishing Association, 2016, 40-54 more…
  • Thomas Hutzelmann: Compositional Analysis for Exposing Vulnerabilities – A Symbolic Execution Approach. Master thesis, 2016 more…
  • Tobias Wüchner,Martin Ochoa,Mojdeh Golagha,Gaurav Srivastava,Thomas Schreck,Alexander Pretschner: MalFlow: identification of C\&C servers through host-based data flow profiling. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, 2016, 2087--2094 more…
  • Tong Li, Jennifer Horkoff, Elda Paja, Kristian Beckers and John Mylopoulos: Security Attack Analysis Using Attack Patterns. 10th IEEE International Conference on Research Challenges in Information Science, RCIS 2016, IEEE, 2016, to appear more…
  • Zieglmeier, Valentin: Resilience Metrics. , 2016 more…

2015

  • Banescu, Sebastian; Wuechner, Tobias; Salem, Aleieldin; Guggenmos, Marius; Ochoa, Martín; Pretschner, Alexander: A framework for empirical evaluation of malware detection resilience against behavior obfuscation. 2015 10th International Conference on Malicious and Unwanted Software (MALWARE), 2015, 40-47 more…
  • Banescu, Sebastian; Ochoa, Martín; Kunze, Nils; Pretschner, Alexander: Idea: Benchmarking Indistinguishability Obfuscation – A Candidate Implementation. 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer Science + Business Media, 2015 more…
  • Banescu, Sebastian; Pretschner, Alexander; Battré, Dominic; Cazzulani, Stéfano; Shield, Robert; Thompson, Greg: Software-Based Protection against "Changeware". Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2015 more…
  • Duliu, Alexandru and Brosig, Richard and Ognawala, Saahil and Lasser, Tobias and Ziai, Mahzad and Navab, Nassir: Illumination Compensation and Normalization Using Low-Rank Decomposition of Multispectral Images in Dermatology. Information Processing in Medical Imaging (Lecture Notes in Computer Science), Springer International Publishing, 2015, 613--625 more…
  • Duliu, Alexandru and Brosig, Richard; Ognawala, Saahil; Lasser, Tobias; Ziai, Mahzad; Navab, Nassir: Illumination Compensation and Normalization Using Low-Rank Decomposition of Multispectral Images in Dermatology. Information Processing in Medical Imaging (Lecture Notes in Computer Science), Springer International Publishing, 2015, 613--625 more…
  • Holling, Dominik; Fernández, Daniel Méndez; Pretschner, Alexander: Field Study on the Elicitation and Classification of Defects for Defect Models Pages contribution. Product-Focused Software Process Improvement - 16th International Conference, {PROFES} 2015, Bolzano, Italy, December 2-4, 201 (Lecture Notes in Computer Science), Springer Berlin Heidelberg , 2015, 380-396 more…
  • Kacianka, Severin; Hellwagner Hermann: Adaptive video streaming for UAV networks. Proceedings of the 7th ACM International Workshop on Mobile Video, 2015, 25-30 more…
  • Lovat, Enrico; Fromm, Alexander; Mohr, Martin; Pretschner, Alexander: SHRIFT System-wide HybRid Information Flow Tracking. ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, Springer International Publishing, 2015, 371-385 more…
  • Ochoa, Martín; Cuéllar, Jorge; Pretschner, Alexander; Hallgren, Per: Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer Science + Business Media, 2015 more…
  • Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers: Holistic security requirements analysis: An attacker's perspective. IEEE 23rd International Requirements Engineering Conference (RE) (Proceedings of the 2015 IEEE 23rd International Requirements Engineering Conference (RE)), IEEE, 2015, 282-283 more…
  • Tong Li, Jennifer Horkoff, Elda Paja, Kristian Beckers, John Mylopoulos: Analyzing Attack Strategies Through Anti-goal Refinement. 8th IFIP WG 8.1. Working Conference (8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings), Springer International Publishing, 2015, 75-90 more…
  • Vetro, Antonio; Ognawala, Saahil; Fernández, Daniel Méndez; Wagner, Stefan: Fast Feedback Cycles in Empirical Software Engineering Research. International Conference on Software Engineering (Lecture Notes in Computer Science), IEEE, 2015, 583-586 more…
  • Vetro, Antonio; Ognawala, Saahil; Fernández, Daniel Méndez; Wagner, Stefan: Fast Feedback Cycles in Empirical Software Engineering Research. International Conference on Software Engineering (Lecture Notes in Computer Science ), IEEE, 2015, 583 -- 586 more…

2014

  • Alexander Pretschner: Achieving Accountability with Distributed Data Usage Control Technology. 2nd International Workshop on Accountability: Science, Technology, and Policy. Massachusetts Institute of Technology, 2014 more…
  • Barthe, Gilles; Köpf, Boris; Mauborgne, Laurent; Ochoa, Martín: Leakage Resilience against Concurrent Cache Attacks. Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Springer Science + Business Media, 2014 more…
  • Fernández, Daniel Méndez; Ognawala, Saahil; Wagner, Stefan; Daneva, Maya: Where do we stand in requirements engineering improvement today?: first results from a mapping study. Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ACM New York, 2014, 58 more…
  • Fernández, Daniel Méndez; Ognawala, Saahil; Wagner, Stefan; Daneva, Maya: Where do we stand in requirements engineering improvement today?: first results from a mapping study. Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ACM, 2014, 58 more…
  • Holling, Dominik; Pretschner, Alexander; Gemmar, Matthias: 8Cage: Lightweight Fault-Based Test Generation for Simulink. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, Association for Computing Machinery (ACM), 2014 more…
  • Kelbert, Florian; Pretschner, Alexander: Decentralized Distributed Data Usage Control. 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings, Springer Science + Business Media, 2014 more…
  • Lovat, Enrico; Kelbert, Florian: Structure Matters - A New Approach for Data Flow Tracking. Proceedings of the 2014 IEEE Security and Privacy Workshops, Institute of Electrical & Electronics Engineers (IEEE), 2014 more…
  • Lovat, Enrico; Oudinet, Johan; Pretschner, Alexander: On quantitative dynamic data flow tracking. Proceedings of the 4th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2014 more…
  • Lovat, Enrico; Oudinet, Johan; Pretschner, Alexander: On quantitative dynamic data flow tracking. Proceedings of the 4th ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2014 more…
  • Rasthofer, Siegfried; Arzt, Steven; Lovat, Enrico; Bodden, Eric: DroidForce: Enforcing Complex, Data-centric, System-wide Policies in Android. Availability, Reliability and Security (ARES), 2014 Ninth International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2014 more…
  • Rocchetto, Marco; Ochoa, Martín; Torabi Dashti, Mohammad: Model-Based Detection of CSRF. 29th IFIP TC 11 International Conference, SEC 2014, Marrakech, Morocco, June 2-4, 2014. Proceedings, Springer Science + Business Media, 2014 more…
  • Wüchner, Tobias; Ochoa, Martín; Pretschner, Alexander: Malware detection with quantitative data flow graphs. Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, Association for Computing Machinery (ACM), 2014 more…
  • Wüchner, Tobias; Pretschner, Alexander; Ochoa, Martín: DAVAST. Proceedings of the Eleventh Workshop on Visualization for Cyber Security, Association for Computing Machinery (ACM), 2014 more…

2013

  • Acatech (Ed.): Privatheit im Internet.Chancen wahrnehmen, Risiken einschätzen, Vertrauen gestalten. Springer Berlin Heidelberg, 2013 more…
  • Acatech (Ed.): Internet Privacy – Options for adequate realisation. Springer Science + Business Media, 2013 more…
  • Birnstill, Pascal; Pretschner, Alexander: Enforcing privacy through usage-controlled video surveillance. Advanced Video and Signal Based Surveillance (AVSS), 2013 10th IEEE International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…
  • Büchler, Matthias: Security Testing with Fault-Models and Properties. Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…
  • Fromm, Alexander; Kelbert, Florian; Pretschner, Alexander: Data Protection in a Cloud-Enabled Smart Grid. First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers, Springer Science + Business Media, 2013 more…
  • Kelbert, F.: Data Usage Control for the Cloud. Cluster, Cloud and Grid Computing (CCGrid), 2013 13th IEEE/ACM International Symposium on, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…
  • Kelbert, Florian; Pretschner, Alexander: Data usage control enforcement in distributed systems. Proceedings of the Third ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2013 more…
  • Kumari, Prachi; Pretschner, Alexander: Model-Based Usage Control Policy Derivation. Proceedings of the 5th International Conference on Engineering Secure Software and Systems, Springer Science + Business Media, 2013 more…
  • Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina: A Trustworthy Usage Control Enforcement Framework. International Journal of Mobile Computing and Multimedia Communications, 2013, 34-49 more…
  • Oudinet, Johan; Calvi, Alberto; Büchler, Matthias: Evaluation of ASLan Mutation Operators. 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, Springer Science + Business Media, 2013 more…
  • Oudinet, Johan; Denise, Alain; Gaudel, Marie-Claude: A new dichotomic algorithm for the uniform random generation of words in regular languages. Theoretical Computer Science 502:165-176, August 2013, Elsevier BV, 2013, 165-176 more…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. In: Model-Driven Engineering Languages and Systems . Springer Berlin Heidelberg (8107. edn.), 2013, 87-103 more…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. In: Moreira, Ana; Schätz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter (Ed.): Model-Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 2013, 87-103 more…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings, Springer Science + Business Media, 2013 more…
  • Vigano, Luca: The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. OWASP AppSec Research, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…
  • Wüchner, Tobias; Müller, Steffen; Fischer, Robin: Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control. Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…

2012

  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Semi-Automatic Security Testing of Web Applications from a Secure Model. Proc. 6th IEEE Intl. Conf. on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: SPaCiTE -- Web Application Testing Engine. Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Feth, Denis; Pretschner, Alexander: Flexible Data-Driven Security for Android. Proceedings of the 2012 IEEE Sixth International Conference on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Kelbert, Florian; Pretschner, Alexander: Towards a policy enforcement infrastructure for distributed usage control. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery (ACM), 2012 more…
  • Kelbert, Florian; Shirazi, Fatemeh; Simo, Hervais; Wüchner, Tobias; Buchmann, Johannes; Pretschner, Alexander; Waidner, Michael: State of Online Privacy: A Technical Perspective. Springer Science + Business Media, 2012 more…
  • Kumari, Prachi; Pretschner, Alexander: Deriving implementation-level policies for usage control enforcement. {Proceedings of the Second ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2012 more…
  • Pretschner, Alexander; Lovat, Enrico; Büchler, Matthias: Representation-Independent Data Usage Control. In: Garcia-Alfaro, Joaquin; Navarro-Arribas, Guillermo; Cuppens-Boulahia, Nora; de Capitani di Vimercati, Sabrina (Ed.): Data Privacy Management and Autonomous Spontaneus Security. Springer Berlin Heidelberg, 2012, 122-140 more…
  • Pretschner, Alexander; Lovat, Enrico; Büchler, Matthias: Representation-Independent Data Usage Control. Proceedings of the 6th International Conference, and 4th International Conference on Data Privacy Management and Autonomous Spontaneus Security, Springer Science + Business Media, 2012 more…
  • Wuchner, Tobias; Pretschner, Alexander: Data Loss Prevention Based on Data-Driven Usage Control. Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Wuchner, Tobias; Pretschner, Alexander: Data Loss Prevention Based on Data-Driven Usage Control. 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012, IEEE, 2012 more…

2011

  • Beckert, B., Hofheinz, D., Müller-Quade, J., Pretschner, A., Snelting, G.: Software Security in Virtualized Infrastructures: The Smart Meter Example. it - Information Technology, 2011 more…
  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Security Mutants for Property-Based Testing. 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings, Springer Science + Business Media, 2011 more…
  • Ciupa, I.; Pretschner, A.; Oriol, M.; Leitner, A.; Meyer, B.: On the number and nature of faults found by random testing. Softw. Test. Verif. Reliab., Wiley-Blackwell, 2011, 3-28 more…
  • Cornelius Moucha, Enrico Lovat, and Alexander Pretschner: A virtualized usage control bus system. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 2011 more…
  • Kumari, Prachi; Pretschner, Alexander; Peschla, Jonas; Kuhn, Jens-Michael: Distributed data usage control for web applications. Proceedings of the First ACM Conference on Data and Application Security and Privacy, Association for Computing Machinery (ACM), 2011 more…
  • Lovat, Enrico; Pretschner, Alexander: Data-centric multi-layer usage control enforcement. Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, Association for Computing Machinery (ACM), 2011 more…
  • Moucha, Cornelius; Lovat, Enrico; Pretschner, Alexander: A Hypervisor-Based Bus System for Usage Control. Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security, Institute of Electrical & Electronics Engineers (IEEE), 2011 more…
  • Neisse, Ricardo; Holling, Dominik; Pretschner, Alexander: Implementing Trust in Cloud Infrastructures. Proceedings of the 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Institute of Electrical & Electronics Engineers (IEEE), 2011 more…
  • Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina: A Trustworthy Usage Control Enforcement Framework. Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security, Institute of Electrical & Electronics Engineers (IEEE), 2011 more…
  • Prachi Kumari, Florian Kelbert, Alexander Pretschner: Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example. Dependable Software for Critical Infrastructures, 2011 more…
  • Utting, Mark; Pretschner, Alexander; Legeard, Bruno: A taxonomy of model-based testing approaches. Software Testing, Verification & Reliability, Wiley-Blackwell, 2011, 297-312 more…

2010

  • Cuadrado-Gallego, Juan J and Rodriguez-Soria, Pablo and Gonzàlez, Alfonso and Castelo, Dácil and Ognawala, Saahil: Early functional size estimation with IFPUG unit modified. International Conference on Computer and Information Science, IEEE, 2010, 729--733 more…
  • Cuadrado-Gallego, Juan J; Rodriguez-Soria, Pablo; Gonzàlez, Alfonso; Castelo, Dácil; Ognawala, Saahil: Early functional size estimation with IFPUG unit modified. International Conference on Computer and Information Science, IEEE, 2010, 729--733 more…
  • Prachi Kumari: Requirements Analysis for Privacy in Social Networks. 8th Intl. Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods (VG), 2010 more…

2009

  • Gheorghe, Gabriela; Massacci, Fabio; Neuhaus, Stephan; Pretschner, Alexander: GoCoMM: A Governance and Compliance Maturity Model. Proceedings of the First ACM Workshop on Information Security Governance, Association for Computing Machinery (ACM), 2009 more…
  • Harvan, Matúš; Pretschner, Alexander: State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. Proceedings of the 2009 Third International Conference on Network and System Security, Institute of Electrical & Electronics Engineers (IEEE), 2009 more…
  • Leitner, Andreas; Pretschner, Alexander; Mori, Stefan; Meyer, Bertrand; Oriol, Manuel: On the Effectiveness of Test Extraction without Overhead. Proc. 2nd Intl. Conf. on Software Testing, Verication, and Validation (ICST, Institute of Electrical & Electronics Engineers (IEEE), 2009 more…
  • Pretschner, A., Büchler, M., Harvan, M., Schaefer, C., Walter, T.: Usage Control Enforcement with Data Flow Tracking for X11. 5th Intl. Workshop on Security and Trust Management (STM), 2009 more…
  • Pretschner, A.; Schütz, F.; Schaefer, C.; Walter, T.: Policy Evolution in Distributed Usage Control. 4th Intl. Workshop on Security and Trust Management (STM'08), Elsevier BV, 2009, 109-123 more…
  • Pretschner, A.; Schütz, F.; Schaefer, C.; Walter, T.: Policy Evolution in Distributed Usage Control. 4th Intl. Workshop on Security and Trust Management (STM'08), Elsevier BV, 2009, 109-123 more…
  • Pretschner, Alexander: An Overview of Distributed Usage Control. 2nd Conf. Knowledge Engineering: Principles and Techniques, 2009 more…
  • Pretschner, Alexander; Rüesch, Judith; Schaefer, Christian; Walter, Thomas: Formal Analyses of Usage Control Policies. Availability, Reliability and Security, 2009. ARES '09. International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2009 more…

2008

  • Ciupa, Ilinca; Meyer, Bertrand; Oriol, Manuel; Pretschner, Alexander: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. Proc. 19th Intl. Symp. on Software Reliability Engineering (ISSRE), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Ciupa, Ilinca; Pretschner, Alexander; Leitner, Andreas; Oriol, Manuel; Meyer, Bertrand: On the Predictability of Random Tests for Object-Oriented Software. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Lotz, Volkmar; Pigout, Emmanuel; Fischer, Peter M.; Kossmann, Donald; Massacci, Fabio; Pretschner, Alexander: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. J. Wirtschaftsinformatik, Springer Science + Business Media, 2008, 383-391 more…
  • Pretschner, A.; Hilty, M.; Basin, D.; Schaefer, C.; Walter, T.: Mechanisms for usage control. Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, Association for Computing Machinery (ACM), 2008 more…
  • Pretschner, Alexander; Hilty, Manuel; Schütz, Florian; Schaefer, Christian; Walter, Thomas: Usage Control Enforcement: Present and Future. Security Privacy, IEEE, Institute of Electrical & Electronics Engineers (IEEE), 2008, 44-53 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Walter, Thomas: Negotiation of Usage Control Policies - Simply the Best? Availability, Reliability and Security, 2008. ARES 08. Third International Conference on Availability, Reliability and Security , Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander: Doctoral Symposium at MODELS 2008. 11th Intl. Conf on Model Driven Engineering Languages and Systems (MODELS), Springer LNCS 5301, pp. 908-909, Springer Science + Business Media, 2008 more…
  • Sundmark, Daniel; Carlson, Jan; Punnekkat, Sasikumar; Ermedahl, Andreas: Structural Testing of Component-Based Systems. 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, Springer Science + Business Media, 2008 more…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…

2007

  • Berthold, Agreiter; Alam, Muhammad; Breu, Ruth; Hafner, Michael; Pretschner, Alexander; Seifert, Jean-Pierre; Zhang, Xinwen: A technical architecture for enforcing usage control requirements in service-oriented architectures. Proceedings of the 2007 ACM Workshop on Secure Web Services, Association for Computing Machinery (ACM), 2007 more…
  • Broy, M., Krüger, I., Pretschner, A., Salzmann, C.: Engineering Automotive Software. Proceedings of the IEEE 95(2), 2007 more…
  • Gauch, S., Speretta, M., Pretschner, A.: Ontology-Based User Profiles for Personalized Search. In: Ontologies: A Handbook of Principles, Concepts and Applications in Information Systems. Springer, 2007 more…
  • Hilty, M., Pretschner, A., Basin, D.: Verteilte Nutzungskontrolle. digma , 2007 more…
  • Hilty, M.; Pretschner, A.; Basin, D.; Schaefer, C.; Walter, T.: Monitors for Usage Control. Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security,, Springer Science + Business Media, 2007 more…
  • Hilty, M.; Pretschner, A.; Basin, D.; Schaefer, C.; Walter, T.: A Policy Language for Distributed Usage Control. Proceedings of the 12th European Conference on Research in Computer Security, Springer Science + Business Media, 2007 more…
  • Hilty, Manuel; Pretschner, Alexander; Schaefer, Christian; Walter, Thomas: DUKE--Distributed Usage Control Enforcement. 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), Institute of Electrical & Electronics Engineers (IEEE), 2007 more…
  • Pretschner, A., Broy, M., Krüger, I., Stauner, T.: Software Engineering for Automotive Systems: A Roadmap. Future of Software Engineering, IEEE-CS Press, 2007 more…
  • Pretschner, A., Salzmann, C., Schätz, B., Stauner, T.: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007, 2007 more…
  • Pretschner, A., Salzmann, C., Schätz, B., Stauner, T. (editors): Proceedings of the 4th Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM Press, 2007 more…
  • Pretschner, Alexander; Massacci, Fabio; Hilty, Manuel: Usage Control in Service-Oriented Architectures. 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings, Springer Science + Business Media, 2007 more…
  • Pretschner, Alexander; Prenninger, Wolfgang: Computing refactorings of state machines. J. Software Systems Modeling 6(4):381-399, December 2007 , Springer Science + Business Media, 2007, 381-399 more…

2006

  • Broy, M., Pretschner, A., Salzmann, C., Stauner, T.: Software intensive systems in the automotive domain: challenges for research and education. SAE world congress, 2006SAE special publication SP-2028 "In-vehicle software and hardware systems" more…
  • Hilty, Manuel; Pretschner, Alexander; Schaefer, Christian; Schaefer, Christian; Walter, Thomas: Usage Control Requirements in Mobile and Ubiquitous Computing Applications. Systems and Networks Communications, 2006. ICSNC '06. International Conference, Institute of Electrical & Electronics Engineers (IEEE), 2006 more…
  • Pretschner, A: Zur Kosteneffektivität des modellbasierten Testens. Proc. Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme, 2006 more…
  • Pretschner, Alexander; Hilty, Manuel; Basin, David: Distributed usage control. Communications of the ACM, Association for Computing Machinery (ACM), 2006, 39 more…
  • Rappl, M., Pretschner, A., Salzmann, C., Stauner, T.: 3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006. SEAS, 2006 more…
  • Rappl, M., Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the 2006 international workshop on Software engineering for automotive systems. ICSE '06 International Conference on Software Engineering , ACM, 2006 more…
  • Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Technical report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), 2006 more…

2005

  • Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems. Volume 3472 of Springer LNCS, Springer Berlin Heidelberg, 2005 more…
  • Hilty, M., Basin, D., Pretschner, A.: On Obligations. 10th European Symp. on Research in Computer Security (ESORICS'05), Springer LNCS , 2005 more…
  • Prenninger, Wolfgang; Pretschner, Alexander: Abstractions for Model-Based Testing. 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Elsevier BV, 2005, 59-71 more…
  • Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One Evaluation of Model-Based Testing and its Automation. Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), ACM, 2005 more…
  • Pretschner, A., Salzmann, C., Stauner, T.: 2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. The ACM SIGSOFT Software Engineering Notes 30(4):79, 2005 more…
  • Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems. ACM Press, 2005 more…
  • Pretschner, A.; Prenninger, W.; Wagner, S.; Kuhnel, C.; Sostawa, B.; ZoIch, R.; Stauner, T.: One evaluation of model-based testing and its automation. Tutorial, Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), Institute of Electrical & Electronics Engineers (IEEE), 2005 more…
  • Pretschner, A.; Prenninger, W.; Wagner, S.; Kühnel, C.; Baumgartner, M.; Sostawa, B.; Zölch, R.; Stauner, T.: One evaluation of model-based testing and its automation. Proceedings of the 27th International Conference on Software Engineering, Association for Computing Machinery (ACM), 2005 more…
  • Pretschner, Alexander; Philipps, Jan: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, Springer Science + Business Media, 2005 more…
  • Pretschner, Alexander; Prenninger, Wolfgang: Computing Refactorings of Behavior Models. ACM/IEEE 8th Intl. Conf. on Model Driven Engineering Languages and Systems (MoDELS'05, formely UML conferences), Springer LNCS 3717, pp.126-141, Montego Bay, , Springer Science + Business Media, 2005 more…
  • Pretschner, Alexander: Model-Based Testing in Practice. FM 2005: Formal Methods, Springer Science + Business Media, 2005 more…
  • Ruth Breu, Alexander Pretschner , Bernhard Rumpe: Modellbasierte Qualitätssicherung. Workshopzusammenfassung QUAM 05, Proc. Jahrestagung Informatik der GI, Bonn, 2005 more…

2004

  • Alyokhin, V.; Elbel, B.; Rothfelder, M.; Pretschner, A.: Coverage Metrics for Continuous Function Charts. Proc. 15th IEEE Intl. Symp. on Software Reliability Engineering (ISSRE'04), Institute of Electrical & Electronics Engineers (IEEE), 2004 more…
  • Bernhard Schätz, Manfred Broy, Franz Huber, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Bernhard Rumpe: Model Based Software and Systems Development. A White Paper, 2004 more…
  • Pretschner, A., Salzmann, C., Stauner, T.: Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Software Engineering Notes 29(5), 2004 more…
  • Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the ICSE 2004 workshop on Software Engineering for Automotive Systems. The Institution of Electrical Engineers, 2004 more…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. International Journal on Software Tools for Technology Transfer (STTT) (2-3), 2004, 140-157 more…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. J. Software Tools for Technology Transfer, Springer Science + Business Media, 2004, 140-157 more…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. Int. J. Softw. Tools Technol. Transf., Springer Science + Business Media, 2004, 140-157 more…
  • Pretschner, Alexander: Modellbasiertes Testen. Tutorial, Proc. Modellierung 2004, p. 274, Marburg, March 2004, 2004 more…
  • Pretschner, Alexander; Lötzbeyer, Heiko; Philipps, Jan: Model based testing in incremental system development. Journal of Systems and Software 70(3), Elsevier BV, 2004, 315-329 more…
  • Salzmann, C., Stauner, T., Pretschner, A.: ICSE Workshop: Software Engineering for Automotive Systems. ICSE '04 Proceedings of the 26th International Conference on Software Engineering , 2004 more…
  • Schätz, B., Broy, M.Huber, F., Philipps, J., Prenninger, W., Pretschner, A., Rumpe, B.: Model Based Software and Systems Development - A White Paper. A White Paper, 2004 more…

2003

  • Alexander Pretschner: Modellbasiertes Testen. Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, 2003 more…
  • Braun, P., Broy, M., Cengarle, M.V., Philipps, J.,Prenninger, W., Pretschner, A., Rappl, M., Sandner, R.: The Automotive CASE. Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen, Wiley-VCH, 2003 more…
  • Gauch, S., Chaffee, J., Pretschner, A.: Ontology-Based Personalized Search and Browsing. Web Intelligence and Agent Systems: An International Journal - Volume 12, issue 4, 2003 more…
  • Hahn, G., Philipps, J., Pretschner, A., Stauner, T.: Tests for mixed discrete-continuous systems. Technical Report TUM-I0301, 2003 more…
  • Philipps, J.; Hahn, G.; Pretschner, A.; Stauner, T.: Prototype-based tests for hybrid reactive systems. 14th IEEE Intl. workshop on Rapid System Prototyping, Institute of Electrical & Electronics Engineers (IEEE), 2003 more…
  • Philipps, J.; Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.; Scholl, K.: Model-Based Test Case Generation for Smart Cards1 1Support by the BMBF (project EMPRESS) is gratefully acknowledged. Electronic Notes in Theoretical Computer Science, Elsevier BV, 2003, 170-184 more…

2002

  • Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems: specification, simulation, test case generation. Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279, Springer, 2002 more…
  • Bender, Klaus; Broy, Manfred; Péter, István; Pretschner, Alexander; Stauner, Thomas: Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. Modelling, Analysis, and Design of Hybrid Systems, Springer Science + Business Media, 2002 more…
  • Blotz, A., Huber, F., Lötzbeyer, H., Pretschner, A., Slotosch, O., Zängerl, P.: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Proc. Ada Deutschland Tagung, 2002 more…
  • Pretschner, A., Philipps, J.: Szenarien modellbasierten Testens. Technical Report TUM-I0205, 2002 more…
  • Schätz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002, 2002 more…

2001

  • Pretschner, A: Classical search strategies for test case generation with Constraint Logic Programming. Proc. Formal Approaches to Testing of Software (FATES'01), 2001 more…
  • Pretschner, A., Lötzbeyer, H: Model Based Testing with Constraint Logic Programming: First Results and Challenges. 2nd ICSE Intl. Workshop on Automated Program Analysis, 2001 more…
  • Pretschner, A., Philipps, J.: Heuristische Suche in der Testfallgenerierung. Softwaretechnik-Trends 21(3):11-12, 2001 more…
  • Pretschner, A., Schaetz, B: Modellbasiertes Testen mit AutoFocus/Quest. Softwaretechnik-Trends 21(1):20-23, 2001 more…
  • Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.: Model Based Testing for Real: The Inhouse Card Case Study. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2001 more…
  • Pretschner, A.; Lotzbeyer, H.; Philipps, J.: Model based testing in evolutionary software development. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP’01), Institute of Electrical & Electronics Engineers (IEEE), 2001 more…
  • Péter, I., Pretschner, A., Stauner, T.: Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen. Proc. Engineering komplexer Automatisierungssysteme (EKA'01), 2001 more…
  • Stauner, T., Pretschner, A., Péter, I.: Approaching a Discrete-Continuous UML: Tool Support and Formalization. Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists, 2001 more…

2000

  • Lötzbeyer, H., Pretschner, A: AutoFocus on Constraint Logic Programming. Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), 2000 more…
  • Lötzbeyer, H., Pretschner, A: Testing Concurrent Reactive Systems with Constraint Logic Programming. 2nd workshop on Rule-Based Constraint Reasoning and Programming,, 2000 more…
  • Pretschner, A., Slotosch, O., Stauner, T.: Developing Correct Safety Critical, Hybrid, Embedded Systems. Proc. New Information Processing Techniques for Military Systems, NATO Research and Technology Organization, 2000 more…
  • Péter, I., Pretschner, A., Stauner, T.: Heterogeneous Development of Hybrid Systems. Proc. GI workshop Rigorose Entwicklung software-intensiver Systeme, 2000 more…
  • Wimmel, G.; Lötzbeyer, H.; Pretschner, A.; Slotosch, O.: Specification based test sequence generation with propositional logic. Journal on Software Testing, Validation, and Reliability 10(4):229-248, December 2000, Wiley-Blackwell, 2000, 229-248 more…

1999

  • Pretschner, A.: Ontology Based Personalized Search. , 1999 more…
  • Pretschner, A., Gauch, S.: Personalization on the Web – Technical Report ITTC-FY2000-TR-13591-01. Information and Telecommunication Technology Center (ITTC), The University of Kansas, Lawrence, KS, 1999, more…
  • Pretschner, A., Gauch, S.: Ontology Based Personalized Search. Proc. 11th IEEE Intl. Conf. on Tools with Artificial Intelligence (ICTAI'99), 1999 more…
  • Zhu, X., Gauch, S., Gerhard, L., Kral, N., Pretschner, A.: Ontology-Based Web Site Mapping for Information Exploration. Proc. 8th Intl. Conf. on Information and Knowledge Management (CIKM'99), 1999 more…

1998

  • Hanus, M., Antoy, S., Pretschner, A., Sadre, R., Steiner, F.: TasteCurry's User Manual. 1998 more…
  • Pretschner, A.: Vergleich von Narrowing-Verfahren erster und höherer Ordnung. , 1998 more…

1995

  • Prüfer, D.; Pretschner, A., Oelert, J., Adzessa, P., Oelert, H.: Neue computergestützte Leistungserfassung und -auswertung in der Herzchirurgie. Dokumentationsverfahren in der Herzchirurgie, 1995 more…

1994

  • Pretschner, Alexander: Symbolisches Differenzieren mit prozeduralen Programmiersprachen. ST-Computer 5/94, pp.80-87, May 1994, 1994 more…