Informatics 4 - Chair of Software und Systems Engineering

Search results

  • 2014

    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

    50 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

    34 Scopus citations

  • Data usage control for the cloud

    Kelbert, F. & Pretschner, A., 2013, p. 156-159. 4 p.

    Research output: Contribution to conference › Paper › peer-review

    2 Scopus citations

  • DUMA 2013 workshop introduction

    Pretschner, A. & Kagal, L., 2013, In: Proceedings - IEEE CS Security and Privacy Workshops, SPW 2013. p. x 6565214.

    Research output: Contribution to journal › Editorial

    Open Access

  • Enforcing privacy through usage-controlled video surveillance

    Birnstill, P. & Pretschner, A., 2013, 2013 10th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2013. IEEE Computer Society, p. 318-323 6 p. 6636659. (2013 10th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Model-based usage control policy derivation

    Kumari, P. & Pretschner, A., 2013, Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Proceedings. p. 58-74 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7781 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations
  • 2012

    Data loss prevention based on data-driven usage control

    Wüchner, T. & Pretschner, A., 2012, Proceedings - 2012 IEEE 23rd International Symposium on Software Reliability Engineering, ISSRE 2012. p. 151-160 10 p. 6405363. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    49 Scopus citations

  • Preface

    Barthe, G., Cuellar, J., Lopez, J. & Pretschner, A., 2012, In: Journal of Computer Security. 20, 4, p. 307-308 2 p.

    Research output: Contribution to journal › Editorial

    Open Access
  • 2010

    Vorwort

    Translated title of the contribution: PrefaceReussner, R., Pretschner, A. & Engels, G., 2010, In: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI). P-160

    Research output: Contribution to journal › Editorial

  • 2007

    TOIS reviewers January 2006 through May 2007

    Marchionini, G., Abbasi, A., Agichtein, E., Ahmad, K., Al-Maskari, A., Amati, G., Yahia, S. A., Argamon, S., Ashbrook, D., Atzeni, P., Bacchin, M., Back, G., Badia, A., Banczur, A., Berendt, B., Bertino, E., Bhagyavati, B., Bhavnani, S., Bhosale, D. & Bodoff, D. & 215 others, Boldi, P., Bollen, J., Bonifati, A., Borlund, P., Bose, J., Bouguettaya, A., Brinkmeier, M., Brown, P., Brusilovsky, P., Bruza, P., Burges, C., Burke, R., Carterette, B., Cater, A., Chang, K., Chen, H. H., Chen, Z., Cheney, J., Cheng, P. J., Chiang, R., Choi, B., Chua, T. S., Clarke, C., Clough, P., Consens, M., Cormack, G., Craswell, N., Crestani, F., Crouch, C., Cucerzan, S. P., Cui, H., Cunningham, S. J., Cutrell, E., De La Fuente, P., De Vries, A., Diekema, A., Dominich, S., Doraisamy, S., Dunlop, M., Dupret, G., Efron, M., Ellman, J., Enser, P., Erkan, G., Fochtmann, L., Fongen, A., Ford, N., Franz, M., Fu, X., Garza, P., Gauch, S., Geneves, P., Gladney, H., Gnasa, M., Goldberg, A., Goncalves, M., Goutte, C., Grossman, D., Groth, D., Gwizdka, J., Haas, S., Harabagiu, S., Harman, D., Henrich, A., Hiemstra, D., Hollaar, L., Hsu, C. N., Huang, F., Huang, Z., Huhns, M., Hurtado, C., Innoue, K., Ipeirotis, P., Jansen, B., Jianqiang, W., Jin, R., Junkkari, M., Juola, P., Kakade, V., Kamps, J., Kang, I. H., Karakos, D., Karkaletsis, V., Kaszkiel, M., Kaza, S., Kekäläinen, J., Kelly, D., Kimelfeld, B., Kolcz, A., Konstan, J., Kwok, K. L., Lad, A., Laender, A., Lalmas, M., Larkey, L., Larson, R., Layaida, N., Le, Z., Lee, D. L., Lee, D., Leidner, J., Levow, G., Li, H., Li, X., Lin, C. Y., Lin, J., Liu, T. Y., Liu, Z., Losada, D., Lu, J., Ma, Y., Mani, I., Mani, M., Manolescu, I., Marshall, C., Martinez, M., Mass, Y., McNamee, P., McNee, S., Medjahed, B., Meho, L., Metzler, D., Mihalcea, R., Mitkov, R., Mobasher, B., Mongiello, M., Nenkova, A., Neven, F., Ng, D., Ng, W., Ngu, A., Nichols, D., Nie, J. Y., Noy, N., Oakes, M., Scott Olsson, J., Ounis, I., Pang, B., Pehcevski, J., Petrakis, E., Piwowarski, B., Powell, A., Prager, J., Pretschner, A., Raje, R., Ramesh, B., Robertson, S., Rocha, L., Rölleke, T., Roussinov, D., Ruthven, I., Sakai, T., Sauvagnat, K., Savoy, J., Schenkel, R., Schneider, F., Schuetze, H., Seeling, C., Segal, R., Shen, H. T., Shokouhi, M., Si, L., Silvestri, F., Smeaton, A., Smyth, B., Spink, A., Srihari, R., Staab, S., Stokoe, C., Straccia, U., Strohman, T., Tan, A. H., Teevan, J., Tennis, J., Tetlow, P., Teufel, S., Tombros, T., Toms, E. G., Trotman, A., Tsai, W. H., Turpin, A., Tzanetakis, G., Uitdenbogerd, S., Van Renesse, R., Van Rijsbergen, K., Voorhees, E., Wang, J. H., Wang, J., Watters, C., Weaver, A., Weikum, G., Westerveld, T., White, R., Whittle, M., Wiebe, J., Wu, Y., Xi, W., Xu, J., Xu, W., Yee, W. G., Yerazunis, W., Yilmazel, O., Yu, C., Yu, X., Zaragoza, H., Zhang, C., Zhang, S., Zhang, Y., Zhang, Y., Zhang, Z., Zhao, Y., Zhong, S., Zhou, X. M., Zhu, J. B. & Zhu, Y., 1 Oct 2007, In: ACM Transactions on Information Systems. 25, 4, 15.

    Research output: Contribution to journal › Editorial

  • 2005

    Abstractions for Model-Based Testing

    Prenninger, W. & Pretschner, A., 19 Jan 2005, In: Electronic Notes in Theoretical Computer Science. 116, SPEC.ISS., p. 59-71 13 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    32 Scopus citations

  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface

    Broy, M., Jonsson, B., Katoen, J. P., Leucker, M. & Pretschner, A., 2005, Model-Based Testing of Reactive Systems: Advanced Lectures. Broy, M., Leucker, M., Jonsson, B., Katoen, J.-P. & Pretschner, A. (eds.). p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3472 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

    62 Scopus citations
  • 2004

    Model based testing in incremental system development

    Pretschner, A., Lötzbeyer, H. & Philipps, J., Mar 2004, In: Journal of Systems and Software. 70, 3, p. 315-329 15 p.

    Research output: Contribution to journal › Conference article › peer-review

    9 Scopus citations

  • Tutorial 2: Modellbasiertes Testen

    Translated title of the contribution: Tutorial 2: Model-based testingPretschner, A., 2004, In: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI). P-45, p. 274 1 p.

    Research output: Contribution to journal › Conference article › peer-review

  • 2003

    Compositional generation of MC/DC integration test suites

    Pretschner, A., Sep 2003, In: Electronic Notes in Theoretical Computer Science. 82, 6, p. 1-10 10 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    15 Scopus citations

  • Ontology-based personalized search and browsing

    Gauch, S., Chaffee, J. & Pretschner, A., 2003, In: Web Intelligence and Agent Systems. 1, 3-4, p. 219-234 16 p.

    Research output: Contribution to journal › Article › peer-review

    309 Scopus citations

  • Prototype-based tests for hybrid reactive systems

    Hahn, G., Philipps, J., Pretschner, A. & Stauner, T., 2003, Proceedings - 14th IEEE International Workshop on Rapid Systems Prototyping, RSP 2003. IEEE Computer Society, p. 78-84 7 p. 1207033. (Proceedings of the International Workshop on Rapid System Prototyping; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 2002

    Model-based development of embedded systems

    Schätz, B., Pretschner, A., Huber, F. & Philipps, J., 2002, Advances in Object-Oriented Information Systems - OOIS 2002 Workshops, Proceedings. Bellahsene, Z. & Bruel, J.-M. (eds.). Springer Verlag, p. 298-311 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2426 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    44 Scopus citations
  • 2001

    Approaching a Discrete-Continuous UML: Tool Support and Formalization

    Stauner, T., Pretschner, A. & Peter, I., 2001, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group - held together with the �UML� 2001. Evans, A., France, R. B., Moreira, A. M. D. & Rumpe, B. (eds.). Gesellschaft fur Informatik (GI), p. 242-257 16 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-7).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Model based testing in evolutionary software development

    Pretschner, A., Lötzbeyer, H. & Philipps, J., 2001, In: Proceedings of the International Workshop on Rapid System Prototyping. p. 155-160 6 p.

    Research output: Contribution to journal › Conference article › peer-review

    16 Scopus citations
  • 2000

    Specification based test sequence generation with propositional logic

    Wimmel, G., Lötzbeyer, H., Pretschner, A. & Slotosch, O., Dec 2000, In: Software Testing Verification and Reliability. 10, 4, p. 229-248 20 p.

    Research output: Contribution to journal › Article › peer-review

    22 Scopus citations
  • 1999

    Ontology based personalized search

    Pretschner, A. & Gauch, S., 1999, In: Proceedings of the International Conference on Tools with Artificial Intelligence. p. 391-398 8 p.

    Research output: Contribution to journal › Conference article › peer-review

    212 Scopus citations