Informatics 4 - Chair of Software und Systems Engineering – Research output

2013

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

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

46 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

Reussner, 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

307 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