Filter
Conference Article in proceeding

Search results

  • 2023

    ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra

    de la Piedra, A., Venema, M. & Alpár, G., 15 Nov 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM Digital Library, p. 3269-3283 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

    Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Adopting the digital platform model for citizen services: proposed waves towards a government platform organization

    Vanderbeken, Y., Huygh, T., Bollen, L. H. H. & Helms, R. W., 2023, ECIS 2023 Proceedings. AIS Electronic Library, 10 p. 12

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Framework for the Localization of Programming Languages

    Swidan, A. & Hermans, F., 18 Oct 2023, SPLASH-E 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E: SPLASH 2023. Feldman, M. Q. & Hilton, M. (eds.). Association for Computing Machinery (ACM), p. 13-25 13 p. (Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns

    Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Practical Method to Plan Co-Evolution of Business and Information Technology

    Nodehi, S., Huygh, T., Bollen, L. & Visser, J., 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - (Volume 2). Joaquim Filipe, Michał Śmiałek, Alexander Brodsky & Slimane Hammoudi (eds.). SciTePress, Vol. 2. p. 615-622 8 p. (International Conference on Enterprise Information Systems, ICEIS - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A quantitative experiment: inter-team retrospectives in scaled agile programs

    Toegl, D., Huygh, T. & de Haes, S., 2023, 36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability, BLED 2023 - Proceedings. Pucihar, A., Borstnar, M. K., Bons, R., Bons, R., Ongena, G., Heikkila, M. & Vidmar, D. (eds.). University of Maribor Press, p. 875-889 15 p. (36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability, BLED 2023 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Architecting Agility: Unraveling the Impact of AI Capability on Organizational Change and Competitive Advantage

    van de Wetering, R., de Weerd-Nederhof, P., Bagheri, S. & Bons, R., Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Cham: Springer, Vol. 483. p. 203-213 11 p. (Lecture Notes in Business Information Processing, Vol. 483).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Are some prices more equal than others? Evaluating store-based price differentiation

    Jonker, H., Karsch, S., Krumnow, B. & Meesters, G., Mar 2023, Proceedings Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb) 2023 . Internet Society, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Systematic Mapping Study of Code Quality in Education

    Keuning, H., Jeuring, J. & Heeren, B., 30 Jun 2023, ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 5-11 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Augmented Reality and Affective Computing for Nonverbal Interaction Support of the Visually Impaired

    Iren, Y. D., Shingjergji, K., Urlings, C. C. J., Klemke, R., Böttger, F., Meindert Osinga, J., van de Goor, S., Bustowski, D. & Passariello-Jansen, J., 25 Mar 2023, Proceedings - 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2023. IEEE, p. 360- 363 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A Web-Based Approach for Traceability in Rule-Based Business Information Systems

    Rutledge, L., Berghuis, B., Lim, K. & Soerokromo, M., Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Springer, Cham, p. 308-318 11 p. (Lecture Notes in Business Information Processing, Vol. 483 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries

    Engel, D., Verbeek, F. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 3-20 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Caos: A Reusable Scala Web Animator of Operational Semantics

    Proença, J. & Edixhoven, L., Jun 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S.-S. & Lopes, A. (eds.). Cham: Springer, Vol. 13908. p. 163-171 9 p. (Lecture Notes in Computer Science, Vol. 13908).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

    Kappé, T., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Composing an Initial Domain-Specific Modeling Language Notation by Reusing Icons

    Roelens, B., Ebben, R. & de Wetering, R. V., Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Boris Shishkov (ed.). 1 ed. Cham: Springer, Vol. 483. p. 245-255 11 p. (Lecture Notes in Business Information Processing, Vol. 483).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Conditional Syntax Splitting for Non-monotonic Inference Operators

    Heyninck, J., Kern-Isberner, G., Meyer, T., Haldimann, J. P. & Beierle, C., 27 Jun 2023, Proceedings of the 37th AAAI Conference on Artificial Intelligence. Williams, B., Chen, Y. & Neville, J. (eds.). 5 ed. AAAI Press, Vol. 37. p. 6416-6424 9 p. (AAAI Conference on Artificial Intelligence. Conference Proceedings , Vol. 37).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). Darmstadt: International Joint Conferences on Artificial Intelligence, p. 6868-6872

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Data governance capabilities: empirical validation in case studies of large organisations

    Merkus, J., Helms, R. W. & Kusters, R. J., Jun 2023, 36th Bled eConference Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability. Pucihar, A., Borštnar, M. K., Bons, R., Ongena, G., Heikkilä, M. & Vidmar, D. (eds.). 1 ed. Bled: University of Maribor Press, p. 35-48 14 p. (36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability, BLED 2023 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    97 Downloads (Pure)
  • Design lessons from building deep learning disinformation generation and detection solutions

    Maathuis, C., Kerkhof, I., Godschalk, R. & Passier, H., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). 1 ed. Academic Conferences International Limited, Vol. 22. p. 285-293 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Detecting Design Patterns As Described By An Explicit Specification

    van Doorn, E. & Stuurman, S., 2023, SEKE 2023: Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc., p. 218-221 4 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Determining Optimal Incentive Policy for Decentralized Distributed Systems Using Reinforcement Learning

    Pankovska, E., Sai, A. R. & Vranken, H., 2023, 2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023. Institute of Electrical and Electronics Engineers Inc., 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Development and Validation of an Approach for Assessing the Risk and Health of IT Project Portfolios

    Kusters, R., Martin, H. & Wissenburg, R., 3 Dec 2023, 2023 International Conference on Advanced Enterprise Information System (AEIS). IEEE Canada, p. 96-105 10 p. 10483044

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Domain TILEs: Test Informed Learning with Examples from the Testing Domain

    Doorn, N., Vos, T., Marín, B., Bockisch, C., Dick, S. & Barendsen, E., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer, Cham, p. 501-508 8 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Dynamic Causality

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 28 Sept 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. 867-874 (Frontiers in Artificial Intelligence and Applications, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Dynamics of Causal Dependencies in Multi-agent Settings.

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, Revised Selected Papers. Ciortea, A., Dastani, M. & Luo, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-112 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14378 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Dynamic TopHat: Start and Stop Tasks at Runtime

    Steenvoorden, T. & Naus, N., 29 Aug 2023, IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. Ney York, NY: Association for Computing Machinery (ACM), p. 1-13 13 p. 13

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • ENACTEST project - European Innovation Alliance for Testing Education

    Marín, B., Vos, T. E. J., Snoeck, M., Paiva, A. C. R. & Fasolino, A. R., 2023, Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023). Font, J., Arcega, L., Reyes-Román, J.-F. & Giachetti, G. (eds.). CEUR-WS, Vol. 3413. p. 91-96 6 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Enterprise Architecture Artifacts’ Role in Improved Organizational Performance

    Grave, F., van de Wetering, R. & Kusters, R. J., Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Springer, Vol. 483. p. 214-224 11 p. (Lecture Notes in Business Information Processing, Vol. 483).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Enterprise Modeling with Conventions

    Joosten, S. M. M. & Roubtsova, E. E., 4 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Boris Shishkov (ed.). 1 ed. Cham: Springer, p. 56-73 18 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Exploring Factors Influencing the Satisfaction of Adult Software Engineering Students with Teamwork in Distance Education

    Rahimi, E., Passier, H. & Stuurman, S., 13 Nov 2023, Proceedings of the 23rd Koli Calling International Conference on Computing Education Research. Mühling, A. & Jormanainen, I. (eds.). ACM Digital Library, 11 p. 3631823

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • First Six Months of War from Ukrainian Topic and Sentiment Analysis

    Maathuis, C. & Kerkhof, I., 2023, Proceedings of the 10th European Conference on Social Media, ECSM 2023. Lupa-Wojcik, I. & Czyzewska, M. (eds.). Academic Conferences Ltd, Vol. 10. p. 163-173 11 p. (Proceedings of the 10th European Conference on Social Media, ECSM 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection

    Kraker, W. D., Vranken, H. & Hommmersom, A., 2023, 8th IEEE European Symposium on Security and Privacy Workshops. Institute of Electrical and Electronics Engineers Inc., p. 34-41 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs

    Venema, M. & Alpár, G., 2 May 2023, Public-Key Cryptography – PKC 2023. Boldyreva, A. & Kolesnikov, V. (eds.). Cham: Springer Nature Switzerland AG, Vol. 13940. p. 652-682 31 p. (Lecture Notes in Computer Science (LNCS), Vol. 13940).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Group Responsibility for Exceeding Risk Threshold

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 322–332

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Influence diagrams in cyber security: Conceptualization and potential applications

    Chockalingam, S. & Maathuis, C., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). 1 ed. Academic Conferences International Limited, Vol. 22. p. 124-131 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Intention Progression with Maintenance Goals

    Wu, D., Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2023, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. Vol. 2023-May. p. 2400-2402 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Interpretable Explainability for Face Expression Recognition

    Shingjergi, K., Iren, Y. D., Klemke, R., Urlings, C. C. J. & Böttger, F., 16 Mar 2023, Heterodox Methods for Interpretable and Efficient Artificial Intelligence, 2022. Zenodo, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    285 Downloads (Pure)
  • Introduction to the Minitrack “IT Governance and its Mechanisms” HICSS 56 (2023)

    De Haes, S., Van Grembergen, W., Huygh, T. & Joshi, A., 3 Jan 2023, Proceedings of the 56th Hawaii International Conference on System Sciences. Scholar Space, University of Hawai'i at Manoa, p. 5875-5876 2 p. (Annual Hawaii International Conference on System Sciences. Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • IT Project Portfolio Management: Development and Validation of a Reference Model

    Wissenburg, R., Kusters, R. J. & Martin, H. H., 10 May 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 1, ICEIS 2023. Filipe, J., Smialek, M., Brodsky, A. & Hammoudi, S. (eds.). Lissabon: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 202-211 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • IT Project Portfolio Risks: development and validation of a reference model

    Wissenburg, R., Kusters, R. J. & Martin, H. H., 9 Jun 2023, 2022 International Conference on Advanced Enterprise Information System (AEIS). Piscataway, NY, USA: IEEE, p. 60-71

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Modelling Responsible Digital Security Behaviour for Countering Social Media Manipulation

    Maathuis, C. & Chockalingam, S., 2023, Proceedings of the 10th European Conference on Social Media: ECSM 2023. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences Ltd, p. 144-152 9 p. (Proceedings of the European Conference on Social Media, ECSM).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Multi-Agent Intention Recognition and Progression

    Dann, M., Yao, Y., Alechina, N., Logan, B., Meneguzzi, F. & Thangarajah, J., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 91-99 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Multiparty Session Typing in Java, Deductively

    Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis

    Ferreira, F. & Jongmans, S. S., Jul 2023, ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. Just, R. & Fraser, G. (eds.). Association for Computing Machinery (ACM), p. 1511-1514 4 p. (ISSTA: International Symposium on Software Testing and Analysis. Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Pair-wise selective classification with dynamic sampling for shipment importer prediction

    Chen, X., Tan, D. S., Gupta, P. & Bromuri, S., 7 Sept 2023, ICMLC 2023: Proceedings of the 2023 15th International Conference on Machine Learning and Computing. Association for Computing Machinery, p. 152-157 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

    Różowski, W., Kappé, T., Kozen, D., Schmid, T. & Silva, A., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 261. 20 p. 136. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Probabilistic Temporal Logic for Reasoning about Bounded Policies

    Motamed, N., Alechina, N., Dastani, M., Doder, D. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 3296-3303 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access