Veröffentlichungen

2021

  • Ana Petrovska: Self-Awareness as a Prerequisite for Self-Adaptivity in Computing Systems. 6th Workshop on Self-Aware Computing (SeAC), 2021 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Hess, David J.; Lee, Dasom; Biebl, Bianca; Fränzle, Martin; Lehnhoff, Sebastian; Neema, Himanshu; Niehaus, Jürgen; Pretschner, Alexander; Sztipanovits, Janos: A comparative, sociotechnical design perspective on Responsible Innovation: multidisciplinary research and education on digitized energy and Automated Vehicles. Journal of Responsible Innovation, 2021, 1-24 mehr…
  • Kacianka, Severin; Pretschner, Alexander: Designing Accountable Systems. Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, ACM, 2021 mehr…
  • Poechhacker, Nikolaus; Kacianka, Severin: Algorithmic Accountability in Context. Socio-Technical Perspectives on Structural Causal Models. Frontiers in Big Data 3, 2021 mehr…
  • Pretschner, Alexander; Hauer, Florian; Schmidt, Tabea: Tests für automatisierte und autonome Fahrsysteme. Informatik Spektrum, 2021 mehr…
  • Pretschner, Alexander; Zuber, Niina; Gogoll, Jan; Kacianka, Severin; Nida-Rümelin, Julian: Ethik in der agilen Software-Entwicklung. Informatik Spektrum, 2021 mehr…
  • 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 mehr…
  • Salem, Aleieldin; Banescu, Sebastian; Pretschner, Alexander: Maat. ACM Transactions on Privacy and Security 24 (4), 2021, 1-35 mehr…
  • Schnappinger, Markus; Fietzke, Arnaud; Pretschner, Alexander: Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. Evaluation and Assessment in Software Engineering, ACM, 2021 mehr…
  • Stefan Kugele, Ana Petrovska, Ilias Gerostathopoulos: Towards a Taxonomy of Autonomous Systems. 15th European Conference on Software Architecture (ECSA 2021), 2021 mehr…
  • 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 mehr…
  • Zieglmeier, Valentin; Loyola Daiqui, Gabriel: GDPR-Compliant Use of Blockchain for Secure Usage Logs. Evaluation and Assessment in Software Engineering, ACM, 2021 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Diego Marmsoler, Ana Petrovska: Runtime Verification for Dynamic Architectures. Journal of Logical and Algebraic Methods in Programming, 2020 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Schmidt, Tabea; Hauer, Florian; Pretschner, Alexander: Automated Anomaly Detection in CPS Log Files. In: Lecture Notes in Computer Science. Springer International Publishing, 2020 mehr…
  • Schnappinger, Markus; Fietzke, Arnaud; Pretschner, Alexander: A Software Maintainability Dataset. 2020 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Florian Hauer: Supplementary material for the paper "Fitness Functions for Testing Automated and Autonomous Driving Systems". Chair of Software and Systems Engineering, 2019, mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Hauer, Florian; Stern, Raphael; Pretschner, Alexander: Selecting Flow Optimal System Parameters for Automated Driving Systems. 2019 IEEE Intelligent Transportation Systems Conference (ITSC), IEEE, 2019 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Marmsoler, Diego; Petrovska, Ana: Detecting Architectural Erosion using Runtime Verification. 12th Interaction and Concurrency Experience (ICE 2019), 2019 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Ahmadvand, Mohsen; Pretschner, Alexander; Kelbert, Florian: A Taxonomy of Software Integrity Protection Techniques. In: Advances in Computers. Elsevier, 2018 mehr…
  • Aleieldin Salem: Stimulation and Detection of Android Repackaged Malware with Active Learning. (Vortrag) 2018 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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, mehr…
  • Forian Kelbert,Alexander Pretschner: Data Usage Control for Distributed Systems. ACM Transactions on Privacy and Security, 2018 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Ma, Canlong; Jordan, Claudius; Provost, Julien: SATE: Model-Based Testing with Design-to-Test and Plant Features. IFAC-PapersOnLine 51 (7), 2018, 310-315 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Rahman, Md. Rezaur; Golagha, Mojdeh; Pretschner, Alexander: Pairika. Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18, ACM Press, 2018 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Valentin Zieglmeier: Real-Time Remote Intrusion Detection. Masterarbeit, 2018 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • Banescu, Sebastian and Pretschner, Alexander: A Tutorial on Software Obfuscation. to appear in advances in computing, 2017 mehr…
  • 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 mehr…
  • 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 mehr…
  • Golagha, Mojdeh: A Framework for Failure Diagnosis. 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2017 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Bernhard Dieber; Severin Kacianka; Stefan Rass; Peter Schartner: Application-level security for ROS-based applications. International Conference on Intelligent Robots and Systems, IEEE, 2016 mehr…
  • D Ki-Aries, Shamal Faily, Kristian Beckers: Persona-Driven Information Security Awareness. Proceedings of British HCI, ACM, 2016, to appear mehr…
  • 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 mehr…
  • Felderer, Michael; Büchler, Matthias; Johns, Martin; Brucker, Achim D.; Breu, Ruth; Pretschner, Alexander: Security Testing. In: Advances in Computers. Elsevier BV, 2016 mehr…
  • Felderer, Michael; Büchler, Matthias; Johns, Martin; Brucker, Achim D.; Breu, Ruth; Pretschner, Alexander: Security Testing. In: Advances in Computers. Elsevier BV, 2016 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Kristian Beckers, Jürgen Dürrwang, Dominik Holling: Standard Compliant Hazard and Threat Analysis for the Automotive Domain. Information 36 (7), 2016 mehr…
  • 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 mehr…
  • 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 mehr…
  • Lovat, Enrico; Ochoa, Martín; Pretschner, Alexander: Sound and Precise Cross-Layer Data Flow Tracking. In: Lecture Notes in Computer Science. Springer Nature, 2016 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Thomas Hutzelmann: Compositional Analysis for Exposing Vulnerabilities – A Symbolic Execution Approach. Masterarbeit, 2016 mehr…
  • 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 mehr…
  • 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 mehr…
  • Zieglmeier, Valentin: Resilience Metrics. , 2016 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Kacianka, Severin; Hellwagner Hermann: Adaptive video streaming for UAV networks. Proceedings of the 7th ACM International Workshop on Mobile Video, 2015, 25-30 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

2013

  • Acatech (Hrsg.): Privatheit im Internet.Chancen wahrnehmen, Risiken einschätzen, Vertrauen gestalten. Springer Berlin Heidelberg, 2013 mehr…
  • Acatech (Hrsg.): Internet Privacy – Options for adequate realisation. Springer Science + Business Media, 2013 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Neisse, Ricardo; Pretschner, Alexander; Di Giacomo, Valentina: A Trustworthy Usage Control Enforcement Framework. International Journal of Mobile Computing and Multimedia Communications, 2013, 34-49 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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. Aufl.), 2013, 87-103 mehr…
  • 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 (Hrsg.): Model-Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 2013, 87-103 mehr…
  • 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 mehr…
  • Vigano, Luca: The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. OWASP AppSec Research, Institute of Electrical & Electronics Engineers (IEEE), 2013 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 (Hrsg.): Data Privacy Management and Autonomous Spontaneus Security. Springer Berlin Heidelberg, 2012, 122-140 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Prachi Kumari, Florian Kelbert, Alexander Pretschner: Data Protection in Heterogeneous Distributed Systems: A Smart Meter Example. Dependable Software for Critical Infrastructures, 2011 mehr…
  • Utting, Mark; Pretschner, Alexander; Legeard, Bruno: A taxonomy of model-based testing approaches. Software Testing, Verification & Reliability, Wiley-Blackwell, 2011, 297-312 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Pretschner, Alexander: An Overview of Distributed Usage Control. 2nd Conf. Knowledge Engineering: Principles and Techniques, 2009 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • Broy, M., Krüger, I., Pretschner, A., Salzmann, C.: Engineering Automotive Software. Proceedings of the IEEE 95(2), 2007 mehr…
  • 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 mehr…
  • Hilty, M., Pretschner, A., Basin, D.: Verteilte Nutzungskontrolle. digma , 2007 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Pretschner, A., Broy, M., Krüger, I., Stauner, T.: Software Engineering for Automotive Systems: A Roadmap. Future of Software Engineering, IEEE-CS Press, 2007 mehr…
  • Pretschner, A., Salzmann, C., Schätz, B., Stauner, T.: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007, 2007 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

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" mehr…
  • 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 mehr…
  • Pretschner, A: Zur Kosteneffektivität des modellbasierten Testens. Proc. Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme, 2006 mehr…
  • Pretschner, Alexander; Hilty, Manuel; Basin, David: Distributed usage control. Communications of the ACM, Association for Computing Machinery (ACM), 2006, 39 mehr…
  • Rappl, M., Pretschner, A., Salzmann, C., Stauner, T.: 3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006. SEAS, 2006 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • Hilty, M., Basin, D., Pretschner, A.: On Obligations. 10th European Symp. on Research in Computer Security (ESORICS'05), Springer LNCS , 2005 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Pretschner, A., Salzmann, C., Stauner, T. (editors): Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems. ACM Press, 2005 mehr…
  • 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 mehr…
  • 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 mehr…
  • Pretschner, Alexander; Philipps, Jan: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, Springer Science + Business Media, 2005 mehr…
  • 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 mehr…
  • Pretschner, Alexander: Model-Based Testing in Practice. FM 2005: Formal Methods, Springer Science + Business Media, 2005 mehr…
  • Ruth Breu, Alexander Pretschner , Bernhard Rumpe: Modellbasierte Qualitätssicherung. Workshopzusammenfassung QUAM 05, Proc. Jahrestagung Informatik der GI, Bonn, 2005 mehr…

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 mehr…
  • 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 mehr…
  • Pretschner, A., Salzmann, C., Stauner, T.: Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Software Engineering Notes 29(5), 2004 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Pretschner, Alexander: Modellbasiertes Testen. Tutorial, Proc. Modellierung 2004, p. 274, Marburg, March 2004, 2004 mehr…
  • 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 mehr…
  • 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 mehr…
  • 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 mehr…

2003

  • Alexander Pretschner: Modellbasiertes Testen. Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, 2003 mehr…
  • 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 mehr…
  • 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 mehr…
  • Hahn, G., Philipps, J., Pretschner, A., Stauner, T.: Tests for mixed discrete-continuous systems. Technical Report TUM-I0301, 2003 mehr…
  • 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 mehr…
  • 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 mehr…

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 mehr…
  • 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 mehr…
  • 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 mehr…
  • Pretschner, A., Philipps, J.: Szenarien modellbasierten Testens. Technical Report TUM-I0205, 2002 mehr…
  • 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 mehr…

2001

  • Pretschner, A: Classical search strategies for test case generation with Constraint Logic Programming. Proc. Formal Approaches to Testing of Software (FATES'01), 2001 mehr…
  • 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 mehr…
  • Pretschner, A., Philipps, J.: Heuristische Suche in der Testfallgenerierung. Softwaretechnik-Trends 21(3):11-12, 2001 mehr…
  • Pretschner, A., Schaetz, B: Modellbasiertes Testen mit AutoFocus/Quest. Softwaretechnik-Trends 21(1):20-23, 2001 mehr…
  • 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 mehr…
  • 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 mehr…
  • Péter, I., Pretschner, A., Stauner, T.: Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen. Proc. Engineering komplexer Automatisierungssysteme (EKA'01), 2001 mehr…
  • 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 mehr…

2000

  • Lötzbeyer, H., Pretschner, A: AutoFocus on Constraint Logic Programming. Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), 2000 mehr…
  • Lötzbeyer, H., Pretschner, A: Testing Concurrent Reactive Systems with Constraint Logic Programming. 2nd workshop on Rule-Based Constraint Reasoning and Programming,, 2000 mehr…
  • 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 mehr…
  • Péter, I., Pretschner, A., Stauner, T.: Heterogeneous Development of Hybrid Systems. Proc. GI workshop Rigorose Entwicklung software-intensiver Systeme, 2000 mehr…
  • 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 mehr…

1999

  • Pretschner, A.: Ontology Based Personalized Search. , 1999 mehr…
  • 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, mehr…
  • Pretschner, A., Gauch, S.: Ontology Based Personalized Search. Proc. 11th IEEE Intl. Conf. on Tools with Artificial Intelligence (ICTAI'99), 1999 mehr…
  • 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 mehr…

1998

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

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 mehr…

1994

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