Towards Human-Bot Collaborative Software Architecting with ChatGPT

Ahmad, A., Waseem, M., Liang, P., Fahmideh, M., Aktar, M. S. & Mikkonen, T., 14/06/2023, Proceedings of EASE 2023 - Evaluation and Assessment in Software Engineering. New York: ACM, p. 279-285 7 p. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards Process Centered Architecting for Quantum Software Systems

Ahmad, A., Khan, A. A., Waseem, M., Fahmideh, M. & Mikkonen, T., 18/08/2022, Proceedings - 2022 IEEE International Conference on Quantum Software, QSW 2022. Ali, S., Ardagna, C. A., Barzen, J., Bian, H., Chang, C. K., Chang, R. N., Damiani, E., Faro, I., Feld, S., Leymann, F., Martin-Fernandez, F. J., Ward, R., Wimmer, M., Xhafa, F., Yu, J. & Zhang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 26-31 6 p. (Proceedings - 2022 IEEE International Conference on Quantum Software, QSW 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

IoT-based implementation and mobility-driven management of the smart and energy efficient home appliance ecosystem

Ahmad, A., Altamimi, A. B. & Alshammari, M. T., 22/07/2018, Smart Societies, Infrastructure, Technologies and Applications - First International Conference, SCITA 2017, Proceedings. Mehmood, R., Katib, I., Chlamtac, I. & Bhaduri, B. (eds.). Springer-Verlag, p. 353-356 4 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 224).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards a pattern language for self-adaptation of cloud-based architectures

Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. New York: The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A framework for architecture-driven migration of legacy systems to cloud-enabled software

Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pattern-driven reuse in architecture-centric evolution for service software

Ahmad, A., Jamshidi, P. & Pahl, C., 24/07/2012, ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. SciTePress, p. 279-284 6 p. (ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Graph-based implicit knowledge discovery from architecture change logs

Ahmad, A., Jamshidi, P., Arshad, M. & Pahl, C., 20/08/2012, Joint 10th Working Conference on Software Architecture, WICSA 2012 and 6th European Conference on Software Architecture, ECSA 2012 - Proceedings Companion Volume. New York: The Association for Computing Machinery, p. 116-123 8 p. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Graph-based pattern identification from architecture change logs

Ahmad, A., Jamshidi, P. & Pahl, C., 2012, Advanced Information Systems EngineeringWorkshops - CAiSE 2012 International Workshops, Proceedings. Bajec, M. & Eder, J. (eds.). Berlin: Springer-Verlag, p. 200-213 14 p. (Lecture Notes in Business Information Processing; vol. 112 ).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Customisable transformation-driven evolution for service architectures

Ahmad, A. & Pahl, C., 5/04/2011, Proceedings - 2011 15th European Conference on Software Maintenance and Reengineering, CSMR 2011. IEEE, p. 373-376 4 p. 5741350. (Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pattern-based customisable transformations for style-based service architecture evolution

Ahmad, A. & Pahl, C., 22/11/2010, 2010 International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2010. IEEE, p. 371-376 6 p. 5643631. (2010 International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2010).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Algorithms and Hardness Results for Computing Cores of Markov Chains.

Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi, R. & Zikelic, Ð., 14/12/2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). p. 29:1-29:20 20 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Causally Deterministic Markov Decision Processes.

Akshay, S., Meggendorfer, T. & Thiagarajan, P. S., 9/09/2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 6:1-6:22 22 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Security awareness of end-users of mobile health applications: An empirical study

Aljedaani, B., Ahmad, A., Zahedi, M. & Ali Babar, M., 7/12/2020, Proceedings of the 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2020. The Association for Computing Machinery, p. 125-136 12 p. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An empirical study on developing secure mobile health apps: The developers' perspective

Aljedaani, B., Ahmad, A., Zahedi, M. & Babar, M. A., 1/12/2020, Proceedings - 2020 27th Asia-Pacific Software Engineering Conference, APSEC 2020. IEEE Computer Society Press, p. 208-217 10 p. 9359266. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2020-December).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 1/11/2024, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Cham: Springer, p. 90-146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Learning by doing and environmental sustainability: The moderating role of employee empowerment

Anjum, N., Paulraj, A. & Blome, C., 2023, (Accepted/In press) 2024 POMS Annual Conference.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Abstract

A Regression-Based Predictive Model Hierarchy for Nonwoven Tensile Strength Inference

Antweiler, D., Burgard, J. P., Harmening, M., Marheineke, N., Schmeißer, A., Wegener, R. & Welke, P., 10/04/2025, Informed Machine Learning. Schulz, D. & Bauckhage, C. (eds.). Cham: Springer, p. 63-90 28 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Reachability Poorman Discrete-Bidding Games.

Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J. & Žikelić, Đ., 28/09/2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 141-148 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Entropic Risk for Turn-Based Stochastic Games.

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harnessing Prior Knowledge for Explainable Machine Learning: An Overview

Beckh, K., Müller, S., Jakobs, M., Toborek, V., Tan, H., Fischer, R., Welke, P., Houben, S. & von Rüden, L., 1/06/2023, 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML). IEEE, p. 450-463 14 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 4/11/2021, 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021. IEEE, p. 523-542 20 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An In-Depth Symbolic Security Analysis of the ACME Standard

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 13/11/2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2601-2617 17 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Tutorial-Style Introduction to DY*

Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 19/11/2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Cham: Springer, p. 77-97 21 p. (Lecture Notes in Computer Science ; vol. 13066).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Layered Symbolic Security Analysis in DY*

Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Statistical Models for Partial Orders Based on Data Depth and Formal Concept Analysis

Blocher, H., Schollmeyer, G. & Jansen, C., 4/07/2022, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Ciucci, D., Couso, I., Medina, J., Ślęzak, D., Petturiti, D., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer, (Communications in Computer and Information Sciences; vol. 1602).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Depth functions for partial orders with a descriptive analysis of machine learning algorithms

Blocher, H., Schollmeyer, G., Jansen, C. & Nalenz, M., 14/07/2023, Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications (ISIPTA 2023). PMLR, p. 59-71 13 p. (PMLR; vol. 215).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Domain Validation++ For MitM-Resilient PKI

Brandt, M., Dai, T., Klein, A., Shulman, H. & Waidner, M., 15/10/2018, ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2060-2076 17 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sound Statistical Model Checking for Probabilities and Expected Rewards

Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.

Chatterjee, K., Meggendorfer, T., Saona, R. & Svoboda, J., 16/01/2023, 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023. Curran Associates, Inc. , p. 4590-4605 16 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2023-January).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DNSSEC Misconfigurations in Popular Domains

Dai, T., Shulman, H. & Waidner, M., 28/10/2016, Cryptology and Network Security. CANS 2016.. Foresti, S. & Persiano, G. (eds.). Cham: Springer, p. 651-660 10 p. (Lecture Notes in Computer Science; vol. 10052).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SMap: Internet-wide Scanning for Spoofing

Dai, T. & Shulman, H., 6/12/2021, ACSAC '21: Proceedings of the 37th Annual Computer Security Applications Conference. New York: ACM, p. 1039-1050 12 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Hijackers Guide To The Galaxy: Off-Path Taking Over Internet Resources

Dai, T., Jeitner, P., Shulman, H. & Waidner, M., 13/08/2021, 30th USENIX Security Symposium (USENIX Security 21).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DNS-over-TCP considered vulnerable

Dai, T., Shulman, H. & Waidner, M., 24/07/2021, ANRW 2021 - Proceedings of the 2021 Applied Networking Research Workshop. New York: ACM, p. 76-81 6 p. (ANRW 2021 - Proceedings of the 2021 Applied Networking Research Workshop).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Let's Downgrade Let's Encrypt

Dai, T., Shulman, H. & Waidner, M., 12/11/2021, Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. ACM, p. 1421 - 1440

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

From IP to transport and beyond: cross-layer attacks against applications

Dai, T., Jeitner, P., Shulman, H. & Waidner, M., 9/08/2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. New York: ACM, p. 836-849 14 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

NodeGuard: A Highly Efficient Two-Party Computation Framework for Training Large-Scale Gradient Boosting Decision Tree

Dai, T., Jiang, Y., Li, Y. & Mei, F., 4/07/2024, 2024 IEEE Security and Privacy Workshops (SPW). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Off-Path Attacks Against PKI

Dai, T., Shulman, H. & Waidner, M., 15/10/2018, CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2213-2215 3 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Poster: Off-path VoIP Interception Attacks

Dai, T., Shulman, H. & Waidner, M., 4/10/2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Poster: Fragmentation Attacks on DNS over TCP

Dai, T., Shulman, H. & Waidner, M., 4/10/2021, 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Semi-supervised Learning Guided by the Generalized Bayes Rule Under Soft Revision

Dietrich, S., Rodemann, J. & Jansen, C., 10/08/2024, Combining, Modelling and Analyzing Imprecision, Randomness and Dependence. Cham: Springer, p. 110-117 8 p. (Advances in Intelligent Systems and Computing (AISC); vol. 1458).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

Fett, D., Küsters, R. & Schmitz, G., 20/11/2014, 2014 IEEE Symposium on Security and Privacy. IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web

Fett, D., Küsters, R. & Schmitz, G., 13/01/2016, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer, (Lecture Notes in Computer Science; vol. 9326).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web

Fett, D., Küsters, R. & Schmitz, G., 12/10/2015, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15. New York: ACM, p. 1358-1369 12 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A comprehensive formal security analysis of OAuth 2.0

Fett, D., Küsters, R. & Schmitz, G., 24/10/2016, Proceedings of the ACM Conference on Computer and Communications Security. ACM, p. 1204-1215

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pi and More: Eine Veranstaltungsreihe rund um "kleine Computer"

Fett, D. & Schmitz, G., 2016, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

Fett, D., Küsters, R. & Schmitz, G., 28/09/2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Business Analytics und Operations Management in der Klinik

Grieger, M., Schoenfelder, J. & Brunner, J. O., 3/05/2024, Digitale Innovationen in der Pflege. Swoboda, W. & Seifert, N. (eds.). Heidelberg: Springer, p. 65-91 27 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

Grover, K., Kretínský, J., Meggendorfer, T. & Weininger, M., 6/09/2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 11:1-11:20 20 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Autonomic resource provisioning for cloud-based software

Jamshidi, P., Ahmad, A. & Pahl, C., 2/06/2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. The Association for Computing Machinery, p. 95-104 10 p. (9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A framework for classifying and comparing architecture-centric software evolution research

Jamshidi, P., Ghafari, M., Ahmad, A. & Pahl, C., 8/03/2013, Proceedings of the 17th European Conference on Software Maintenance and Reengineering, CSMR 2013. IEEE, p. 305-314 10 p. 6498478. (Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Multi-target Decision Making Under Conditions of Severe Uncertainty

Jansen, C., Schollmeyer, G. & Augustin, T., 19/05/2023, Modeling Decisions for Artificial Intelligence: 20th International Conference, MDAI 2023, Umeå, Sweden, June 19–22, 2023, Proceedings. Torra, V. & Narukawa, Y. (eds.). Cham: Springer, p. 45-57 18 p. (Lecture Notes in Artificial Intelligence; vol. 13890).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review