Research output per year
Research output per year
- 100 - 150 out of 170 results
Search results
-
2018
Software quality assessment in practice: A hypothesis-driven framework
Schnappinger, M., Osman, M. H., Pretschner, A., Pizka, M. & Fietzke, A., 11 Oct 2018, Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018. IEEE Computer Society, a40. (International Symposium on Empirical Software Engineering and Measurement).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13 Scopus citations -
Understanding and Formalizing Accountability for Cyber-Physical Systems
Kacianka, S. & Pretschner, A., 2 Jul 2018, Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018. Institute of Electrical and Electronics Engineers Inc., p. 3165-3170 6 p. 8616533. (Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
9 Scopus citations -
2017
ACCBench: A framework for comparing causality algorithms
Rehwald, S., Ibrahim, A., Beckers, K. & Pretschner, A., 10 Oct 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 259, p. 16-30 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Scopus citations -
Challenges at the interface of information technology and society: Institutionalized research of digitalization to secure prosperity and progress
Anding, M., Boes, A., Eckert, C., Harhoff, D., Hess, T., Münch, U. & Pretschner, A., 2017, In: Informatik-Spektrum. 40, 2, p. 172-175 4 p.Research output: Contribution to journal › Article › peer-review
-
Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective
Golagha, M. & Pretschner, A., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. Institute of Electrical and Electronics Engineers Inc., p. 379-381 3 p. 7899086. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Scopus citations -
Defect-based testing
Pretschner, A., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. 141-163 23 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Scopus citations -
Dependable Software Systems Engineering
Pretschner, A., Peled, D. & Hutzelmann, T., 1 Jan 2017, IOS Press. 242 p.Research output: Book/Report › Book › peer-review
-
Detecting patching of executables without system calls
Banescu, S., Ahmadvand, M., Pretschner, A., Shield, R. & Hamilton, C., 22 Mar 2017, CODASPY 2017 - Proceedings of the 7th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 185-196 12 p. (CODASPY 2017 - Proceedings of the 7th ACM Conference on Data and Application Security and Privacy).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8 Scopus citations -
Foreword
Ghinita, G., Pretschner, A. & Ahn, G. J., 22 Mar 2017, In: CODASPY 2017 - Proceedings of the 7th ACM Conference on Data and Application Security and Privacy. p. iii-ivResearch output: Contribution to journal › Editorial
-
Industrial evaluation of search-based test generation techniques for control systems
Hauer, F., Pretschner, A., Schmitt, M. & Groetsch, M., 14 Nov 2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc., p. 5-8 4 p. 8109236. (Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
Information technology research for digital mobility platforms: Using the example of the TUM Living Lab Connected Mobility
Translated title of the contribution :Information technology research for digital mobility platforms: Using the example of the TUM Living Lab Connected Mobility Research output: Contribution to journal › Article › peer-review
Open Access -
Predicting the resilience of obfuscated code against symbolic execution attacks via machine learning
Banescu, S., Collberg, C. & Pretschner, A., 2017, Proceedings of the 26th USENIX Security Symposium. USENIX Association, p. 661-678 18 p. (Proceedings of the 26th USENIX Security Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
45 Scopus citations -
Preface
Pretschner, A., Peled, D. & Hutzelmann, T., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. v-ixResearch output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
-
Reducing failure analysis time: An industrial evaluation
Golagha, M., Pretschner, A., Fisch, D. & Nagy, R., 30 Jun 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017. Institute of Electrical and Electronics Engineers Inc., p. 293-302 10 p. 7965453. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13 Scopus citations -
2016
A framework for empirical evaluation of malware detection resilience against behavior obfuscation
Banescu, S., Wuchner, T., Salem, A., Guggenmos, M., Ochoa, M. & Pretschner, A., 18 Feb 2016, 2015 10th International Conference on Malicious and Unwanted Software, MALWARE 2015. Institute of Electrical and Electronics Engineers Inc., p. 40-47 8 p. 7413683. (2015 10th International Conference on Malicious and Unwanted Software, MALWARE 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access18 Scopus citations -
Code obfuscation against symbolic execution attacks
Banescu, S., Collberg, C., Ganesh, V., Newsham, Z. & Pretschner, A., 5 Dec 2016, Proceedings - 32nd Annual Computer Security Applications Conference, ACSAC 2016. Association for Computing Machinery, p. 189-200 12 p. (ACM International Conference Proceeding Series; vol. 5-9-December-2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
118 Scopus citations -
Data accountability in socio-technical systems
Beckers, K., Landthaler, J., Matthes, F., Pretschner, A. & Waltl, B., 2016, Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Schmidt, R., Bider, I., Guerreiro, S. & Guédria, W. (eds.). Springer Verlag, p. 335-348 14 p. (Lecture Notes in Business Information Processing; vol. 248).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access5 Scopus citations -
Enhancing operation security using secret sharing
Ahmadvand, M., Scemama, A., Ochoa, M. & Pretschner, A., 2016, ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. Callegari, C., van Sinderen, M., Cabello, E., Samarati, P., Lorenz, P., Obaidat, M. S. & Sarigiannidis, P. (eds.). SciTePress, p. 446-451 6 p. (ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications; vol. 4).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Scopus citations -
Failure Models for Testing Continuous Controllers
Holling, D., Stanescu, A., Beckers, K., Pretschner, A. & Gemmar, M., 5 Dec 2016, Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016. IEEE Computer Society, p. 365-375 11 p. 7774535. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Foreword
Bertino, E., Sandhu, R. & Pretschner, A., 9 Mar 2016, In: CODASPY 2016 - Proceedings of the 6th ACM Conference on Data and Application Security and Privacy. p. iiiResearch output: Contribution to journal › Editorial
-
Generating behavior-based malware detection models with genetic programming
Wuchner, T., Ochoa, M., Lovat, E. & Pretschner, A., 2016, 2016 14th Annual Conference on Privacy, Security and Trust, PST 2016. Institute of Electrical and Electronics Engineers Inc., p. 506-511 6 p. 7907008. (2016 14th Annual Conference on Privacy, Security and Trust, PST 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution
Ognawala, S., Ochoa, M., Pretschner, A. & Limmer, T., 25 Aug 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 780-785 6 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access25 Scopus citations -
Malflow: Identification of C&C servers through host-based data flow profiling
Wüchner, T., Ochoa, M., Golagha, M., Srivastava, G., Schreck, T. & Pretschner, A., 4 Apr 2016, 2016 Symposium on Applied Computing, SAC 2016. Association for Computing Machinery, p. 2087-2094 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. 04-08-April-2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
Model-based security testing: A taxonomy and systematic classification
Felderer, M., Zech, P., Breu, R., Büchler, M. & Pretschner, A., 1 Mar 2016, In: Software Testing Verification and Reliability. 26, 2, p. 119-148 30 p.Research output: Contribution to journal › Article › peer-review
73 Scopus citations -
Nequivack: Assessing Mutation Score Confidence
Holling, D., Banescu, S., Probst, M., Petrovska, A. & Pretschner, A., 1 Aug 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers Inc., p. 152-161 10 p. 7528957. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13 Scopus citations -
Preface to the 19th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems
Kienzle, J., Pretschner, A., Baudry, B. & Combemale, B., 2 Oct 2016, In: Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. p. iiiResearch output: Contribution to journal › Editorial
-
Profiting from Unit Tests for Integration Testing
Holling, D., Hofbauer, A., Pretschner, A. & Gemmar, M., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. Institute of Electrical and Electronics Engineers Inc., p. 353-363 11 p. 7515486. (Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8 Scopus citations -
Security Testing: A Survey
Felderer, M., Büchler, M., Johns, M., Brucker, A. D., Breu, R. & Pretschner, A., 2016, Advances in Computers, 2016. Memon, A. (ed.). Academic Press Inc., p. 1-51 51 p. (Advances in Computers; vol. 101).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access133 Scopus citations -
Sound and precise cross-layer data flow tracking
Lovat, E., Ochoa, M. & Pretschner, A., 2016, Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, Proceedings. Bodden, E., Caballero, J. & Athanasopoulos, E. (eds.). Springer Verlag, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9639).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Towards a unified model of accountability infrastructures
Kacianka, S., Kelbert, F. & Pretschner, A., 26 Aug 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 224, p. 40-54 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Scopus citations -
VOT4CS: A virtualization obfuscation tool for C#
Banescu, S., Lucaci, C., Krämer, B. & Pretschner, A., 28 Oct 2016, SPRO 2016 - Proceedings of the 2016 ACM Workshop on Software PROtection, co-located with CCS 2016. Association for Computing Machinery, Inc, p. 39-49 11 p. (SPRO 2016 - Proceedings of the 2016 ACM Workshop on Software PROtection, co-located with CCS 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7 Scopus citations -
2015
A field study on the elicitation and classification of defects for defect models
Holling, D., Fernández, D. M. & Pretschner, A., 2015, Product-Focused Software Process Improvement - 16th International Conference, PROFES 2015, Proceedings. Oivo, M., Abrahamsson, P., Corral, L. & Russo, B. (eds.). Springer Verlag, p. 380-396 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9459).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Scopus citations -
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks
Banescu, S., Ochoa, M. & Pretschner, A., 31 Jul 2015, Proceedings - International Workshop on Software Protection, SPRO 2015. Institute of Electrical and Electronics Engineers Inc., p. 45-51 7 p. 7174810. (Proceedings - International Workshop on Software Protection, SPRO 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
30 Scopus citations -
A fully decentralized data usage control enforcement infrastructure
Kelbert, F. & Pretschner, A., 2015, Applied Cryptography and Network Security - 13th International Conference, ACNS 2015, Revised Selected Papers. Malkin, T., Lewko, A. B., Kolesnikov, V. & Polychronakis, M. (eds.). Springer Verlag, p. 409-430 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9092).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
23 Scopus citations -
Idea: Benchmarking indistinguishability obfuscation – A candidate implementation
Banescu, S., Ochoa, M., Kunze, N. & Pretschner, A., 2015, Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Proceedings. Piessens, F., Caballero, J. & Bielova, N. (eds.). Springer Verlag, p. 149-156 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8978).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
12 Scopus citations -
Idea: Unwinding based Model-Checking and testing for Non-Interference on EFSMs
Ochoa, M., Cuéllar, J., Pretschner, A. & Hallgren, P., 2015, Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Proceedings. Piessens, F., Caballero, J. & Bielova, N. (eds.). Springer Verlag, p. 34-41 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8978).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
ISA2R: Improving software attack and analysis resilience via compiler-level software diversity
Fedler, R., Banescu, S. & Pretschner, A., 2015, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015, Proceedings. Koornneef, F. & van Gulijk, C. (eds.). Springer Verlag, p. 362-371 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
Robust and effective malware detection through quantitative data flow graph metrics
Wüchner, T., Ochoa, M. & Pretschner, A., 2015, Detection of Intrusions and Malware, and Vulnerability Assessment - 12th International Conference, DIMVA 2015, Proceedings. Maggi, F., Almgren, M. & Gulisano, V. (eds.). Springer Verlag, p. 98-118 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9148).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access48 Scopus citations -
SHRIFT system-wide HybRid information flow tracking
Lovat, E., Fromm, A., Mohr, M. & Pretschner, A., 2015, ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Proceedings. Federrath, H. & Gollmann, D. (eds.). Springer New York LLC, p. 371-385 15 p. (IFIP Advances in Information and Communication Technology; vol. 455).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access5 Scopus citations -
Software-based protection against changeware
Banescu, S., Pretschner, A., Battré, D., Cazzulani, S., Shield, R. & Thompson, G., 2 Mar 2015, CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, p. 231-242 12 p. (CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access16 Scopus citations -
2014
8Cage: Lightweight fault-based test generation for Simulink
Holling, D., Pretschner, A. & Gemmar, M., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 859-862 4 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access10 Scopus citations -
DAVAST: Data-centric system level activity visualization
Wüchner, T., Pretschner, A. & Ochoa, M., 10 Nov 2014, VizSec 2014 - Proceedings of the 11th Workshop on Visualization for Cyber Security. Whitley, K., Harrison, L., Fischer, F., Prigent, N. & Engle, S. (eds.). Association for Computing Machinery, p. 25-32 8 p. (ACM International Conference Proceeding Series; vol. 10-November-2014).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
16 Scopus citations -
Decentralized distributed data usage control
Kelbert, F. & Pretschner, A., 2014, Cryptology and Network Security - 13th International Conference, CANS 2014, Proceedings. Gritzalis, D., Kiayias, A. & Askoxylakis, I. (eds.). Springer Verlag, p. 353-369 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8813).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8 Scopus citations -
DUMA 2014: 5th International workshop on data usage management
Kagal, L. & Pretschner, A., 13 Nov 2014, In: Proceedings - IEEE Symposium on Security and Privacy. 2014-January, p. xiii-xiv 6957272.Research output: Contribution to journal › Editorial
-
Malware detection with quantitative data flow graphs
Wüchner, T., Ochoa, M. & Pretschner, A., 4 Jun 2014, ASIA CCS 2014 - Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security. Association for Computing Machinery, Inc, p. 271-282 12 p. (ASIA CCS 2014 - Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
49 Scopus citations -
On quantitative dynamic data flow tracking
Lovat, E., Oudinet, J. & Pretschner, A., 2014, p. 211-222. 12 p.Research output: Contribution to conference › Paper › peer-review
7 Scopus citations -
2013
A generic fault model for quality assurance
Pretschner, A., Holling, D., Eschbach, R. & Gemmar, M., 2013, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Proceedings. p. 87-103 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8107 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
21 Scopus citations -
A trustworthy usage control enforcement framework
Neisse, R., Pretschner, A. & Di Giacomo, V., Jul 2013, In: International Journal of Mobile Computing and Multimedia Communications. 5, 3, p. 34-49 16 p.Research output: Contribution to journal › Article › peer-review
7 Scopus citations -
Data protection in a cloud-enabled smart grid
Fromm, A., Kelbert, F. & Pretschner, A., 2013, Smart Grid Security - First International Workshop, SmartGridSec 2012, Revised Selected Papers. p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7823 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Scopus citations -
Data usage control enforcement in distributed systems
Kelbert, F. & Pretschner, A., 2013, CODASPY 2013 - Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy. p. 71-82 12 p. (CODASPY 2013 - Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
33 Scopus citations