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

Issues and Their Causes in WebAssembly Applications: An Empirical Study

Waseem, M., Das, T., Ahmad, A., Liang, P. & Mikkonen, T., 18/06/2024, Proceedings of 2024 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024. New York: The Association for Computing Machinery, p. 170-180 11 p. (ACM International Conference Proceeding Series).

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

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

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

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

Ligand Affinity Prediction with Multi-pattern Kernels.

Ullrich, K., Mack, J. & Welke, P., 21/09/2016, Ligand Affinity Prediction with Multi-pattern Kernels.. Springer Nature, p. 474-489 15 p. (Lecture Notes in Computer Science; vol. 9956).

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

Logical Distillation of Graph Neural Networks

Pluska, A., Welke, P., Gärtner, T. & Malhotra, S., 2/11/2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). IJCAI, p. 920-930 11 p.

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

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

Min-Hashing for Probabilistic Frequent Subtree Feature Spaces.

Welke, P., Horváth, T. & Wrobel, S., 21/09/2016, Min-Hashing for Probabilistic Frequent Subtree Feature Spaces.. 1 ed. Springer, Cham, Vol. 9956. p. 67-82 15 p. (Lecture Notes in Computer Science; vol. 9956).

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

Mining Tree Patterns with Partially Injective Homomorphisms.

Schulz, T. H., Horváth, T., Welke, P. & Wrobel, S., 14/09/2018, Mining Tree Patterns with Partially Injective Homomorphisms.. Springer, Cham, Vol. 11052. p. 585-601 16 p. (Lecture Notes in Computer Science; vol. 11052).

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

More is Less in Kieker? The Paradox of No Logging Being Slower Than Logging

Reichelt, D. G., Jung, R., Hoorn, A. V. & Hoorn, A. V., 8/11/2023, 14th Symposium on Software Performance.

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

Neural Cellular Automata Can Respond to Signals

Stovold, J., 24/07/2023, ALIFE 2023: Ghost in the Machine: : Proceedings of the 2023 Artificial Life Conference. Cambridge, Mass.: MIT Press

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

Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

Kretínský, J. & Meggendorfer, T., 1/08/2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). p. 1-17 17 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

On the Complexity of Frequent Subtree Mining in Very Simple Structures.

Welke, P., Horváth, T. & Wrobel, S., 27/12/2015, Springer Switerzland. Springer Nature, Vol. 9046. p. 194-209 (Lecture Notes in Computer Science; vol. 9046).

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

On the nature of issues in five open source microservices systems: An empirical study

Waseem, M., Liang, P., Shahin, M., Ahmad, A. & Nassab, A. R., 21/06/2021, Proceedings of EASE 2021 - Evaluation and Assessment in Software Engineering. The Association for Computing Machinery, p. 201-210 10 p. (ACM International Conference Proceeding Series).

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

Overhead Comparison of Instrumentation Frameworks

Reichelt, D. G., Bulej, L., Jung, R. & Hoorn, A. V., 7/05/2024, ICPE '24 Companion: Companion of the 15th ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 249-256 8 p. (Companion of the International Conference on Performance Engineering).

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

Owl: A Library for ω-Words, Automata, and LTL.

Kretínský, J., Meggendorfer, T. & Sickert, S., 2018, ATVA 2018: Automated Technology for Verification and Analysis. Springer, p. 543-550 8 p.

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

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

Personalmanagement

Stargardt, T., Kotter, P. M., Dorn, T., Albrecht, C., Edwards, D. R., Winter, C., Oswald, J., Schmidt-Rettig, B., Kopetsch, T., Wende, D., Golubinski, V., Hoogestraat, F., Wild, E.-M., Winter, V., Kirchner, L., Blobner, M., Brunner, J. O., Gross, C. N. & Schoenfelder, J., 24/05/2022, Management im Gesundheitswesen. Busse, R., Schreyögg, J. & Stargardt, T. (eds.). Heidelberg: Springer, p. 437-527 91 p.

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

PET - A Partial Exploration Tool for Probabilistic Verification.

Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

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

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

Meggendorfer, T. & Weininger, M., 26/07/2024, Computer Aided Verification: CAV 2024. Gurfinkel, A. & Ganesh, V. (eds.). Cham: Springer, p. 359-372 14 p. (Lecture Notes in Computer Science; vol. 14683).

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

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

Probabilistic Frequent Subtree Kernels.

Welke, P., Horváth, T. & Wrobel, S., 18/05/2016, Probabilistic Frequent Subtree Kernels.. Springer, Cham, Vol. 9067. p. 179-193 14 p. (Lecture Notes in Computer Science; vol. 9607).

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

Quantifying Degrees of E-admissibility in Decision Making with Imprecise Probabilities

Jansen, C., Schollmeyer, G. & Augustin, T., 14/01/2023, Reflections on the Foundations of Probability and Statistics: Essays in Honor of Teddy Seidenfeld. Augustin, T., Gagliardi Cozman, F. & Wheeler, G. (eds.). Cham: Springer, p. 319-346 28 p. (Theory and Decision Library A; vol. 54).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

Kretínský, J., Meggendorfer, T., Sickert, S. & Ziegler, C., 18/07/2018, CAV 2018: Computer Aided Verification . Springer, p. 567-577 11 p.

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

Retention is All You Need

Mohiuddin, K., Alam, M. A., Alam, M. M., Welke, P., Martin, M., Lehmann, J. & Vahdati, S., 21/10/2023, CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. New York: ACM, p. 4752-4758 7 p.

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

Risk-Aware Stochastic Shortest Path

Meggendorfer, T., 28/06/2022, AAAI-22 Technical Tracks 9. p. 9858-9867 10 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

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

Robust Self-Supervised Learning for Adversarial Attack Detection

Li, Y., Angelov, P. & Suri, N., 15/11/2024, (Accepted/In press) The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NIPS).

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

Robust statistical comparison of random variables with locally varying scale of measurement

Jansen, C., Schollmeyer, G., Blocher, H., Rodemann, J. & Augustin, T., 31/07/2023, Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence. PMLR, (PMLR; vol. 216).

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

Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.

Weininger, M., Meggendorfer, T. & Kretínský, J., 11/12/2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. p. 2284-2291 8 p. 9029460. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

Self-Supervised Representation Learning for Adversarial Attack Detection

Li, Y., Angelov, P. & Suri, N., 26/11/2024, Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part I. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Cham: Springer, p. 236-252 18 p. (Lecture Notes in Computer Science; vol. 15118).

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

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

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

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 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. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

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

SiGBDT: Large-Scale Gradient Boosting Decision Tree Training via Function Secret Sharing

Jiang, Y., Mei, F., Dai, T. & Li, Y., 1/07/2024, ASIA CCS '24: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security. New York: ACM, p. 274-288 15 p.

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

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

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

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

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

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

Kretínský, J., Meggendorfer, T. & Weininger, M., 14/07/2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE, p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

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

SUSAN: The Structural Similarity Random Walk Kernel

Kalofolias, J., Welke, P. & Vreeken, J., 31/12/2021, Proceedings of the 2021 SIAM International Conference on Data Mining (SDM). Demeniconi, C., Davidson, I., Akoglu, L. & Terzi, E. (eds.). SIAM PUBLICATIONS, p. 298-306 9 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

The Kieker Observability Framework Version 2

Yang, S., Reichelt, D. G., Jung, R., Hansson, M. & Hasselbring, W., 5/05/2025, ICPE '25: Companion of the 16th ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 11-15 5 p.

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

Three-hop distance estimation in social graphs.

Welke, P., Markowetz, A., Suel, T. & Christoforaki, M., 5/12/2016, Three-hop distance estimation in social graphs.. IEEE, p. 1048-1055 7 p.

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

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

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

Towards Solving the Challenge of Minimal Overhead Monitoring

Reichelt, D. G., Kühne, S. & Hasselbring, W., 15/04/2023, ICPE 2023 - Companion of the 2023 ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 381-388 8 p.

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

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