Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2023

    Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 113-130 18 p. (Lecture Notes in Computer Science; No. 14290).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Moral Transparency as a Mitigator of Moral Bias in Conversational User Interfaces

    Wester, J., Lee, M. & van Berkel, N., 19 Jul 2023, Proceedings of the 5th International Conference on Conversational User Interfaces (CUI ’23). Lee, M., Munteanu, C., Porcheron, M., Trippas, J. & Völkel, S. T. (eds.). Association for Computing Machinery, 6 p. 12

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Most Probable Densest Subgraphs

    Saha, A., Ke, X., Khan, A. & Long, C., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 1447-1460 14 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • OntoEval: an Automated Ontology Evaluation System

    Zaitoun, A., Sagi, T. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 82–85 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Nature Switzerland AG, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13903).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    5 Citations (Scopus)

  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 Jun 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (eds.). Springer, p. 51-56 6 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 13897).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Patterns of Closeness and Abstractness in Colexifications: The Case of Indigineous Languages in the Americas

    Chen, Y. & Bjerva, J., Jul 2023, Third Workshop on NLP for Indigenous Languages of the Americas. Association for Computational Linguistics, 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Personalized Location-Preference Learning for Federated Task Assignment in Spatial Crowdsourcing

    Zhong, X., Miao, H., Qiu, D., Zhao, Y. & Zheng, K., 21 Oct 2023, Proceedings of the 32nd ACM International Conference on Information and Knowledge Management (CIKM '23). Association for Computing Machinery, p. 3534-3543 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 180-187 8 p. (Lecture Notes in Computer Science; No. 13872).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Provotyping Accountability: Exploring Smartphone Use in the Home through Design

    Jensen, R. H., Encinas, E., Strengers, Y., Dannesboe, C., Kruuse, E., Skovby, J., Bach, M., Tietze, P. & Christensen, S., 2023, Proceedings of the 2023 ACM Designing Interactive Systems Conference (DIS '23). Association for Computing Machinery, p. 1595–1609 15 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    97 Downloads (Pure)

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 96-112 17 p. (Lecture Notes in Computer Science; No. 14290).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Reinforcement Learning based Tree Decomposition for Distance Querying in Road Networks

    Zheng, B., Ma, Y., Wan, J., Gao, Y., Huang, K., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 1678-1690 13 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • RHB-Net: A Relation-aware Historical Bridging Network for Text2SQL Auto-Completion

    Zheng, B., Bi, L., Xi, R., Chen, L., Gao, Y., Zhou, X. & Jensen, C. S., 19 Jul 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, p. 1458-1467 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.). Springer Nature Switzerland AG, p. 796-813 18 p. (Lecture Notes in Computer Science; No. 14281).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • S 2TUL: A Semi-Supervised Framework for Trajectory-User Linking

    Deng, L., Sun, H., Zhao, Y., Liu, S. & Zheng, K., 27 Feb 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 375-383 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Scaling Large RDF Archives to Very Long Histories

    Pelgrin, O., Taelman, R., Galarraga, L. & Hose, K., 2023, Proceedings - 17th IEEE International Conference on Semantic Computing, ICSC 2023. IEEE, p. 41-48 8 p. (IEEE International Conference on Semantic Computing (ICSC)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    14 Downloads (Pure)

  • Scientific Data Extraction from Oceanographic Papers

    Veyhe, B. E., Sagi, T. & Hose, K., 30 Apr 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW '23 Companion). Association for Computing Machinery, p. 800–804 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • SEA: A Scalable Entity Alignment System

    Wu, J., Li, T., Chen, L., Gao, Y. & Wei, Z., 19 Jul 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, p. 3175-3179 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    67 Downloads (Pure)

  • SHACTOR: Improving the Quality of Large-Scale Knowledge Graphs with Validating Shapes

    Rabbani, K., Lissandrini, M. & Hose, K., 4 Jun 2023, Companion of the 2023 International Conference on Management of Data (SIGMOD '23). Association for Computing Machinery, p. 151-154 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • SimiDTR: Deep Trajectory Recovery with Enhanced Trajectory Similarity

    Zhang, Y., Deng, L., Zhao, Y., Chen, J., Xie, J. & Zheng, K., 2023, Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part I. Wang, X., Sapino, M. L., Han, W-S., El Abbadi, A., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (eds.). Springer, p. 431-447 17 p. (Lecture Notes in Computer Science, Vol. LNCS 13943).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • StarBench: Benchmarking RDF-star Triplestores

    Abuoda, G., Aebeloe, C., Dell'Aglio, D., Keen, A. & Hose, K., 2023, Joint Proceedings of the QuWeDa and MEPDaW 2023: 7th Workshop on Storing, Querying and Benchmarking Knowledge Graphs and 9th Workshop on Managing the Evolution and Preservation of the Data Web co-located with 22nd International Semantic Web Conference (ISWC 2023). CEUR Workshop Proceedings, 16 p. (CEUR Workshop Proceedings, Vol. 3565).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • ST-MoE: Spatio-Temporal Mixture-of-Experts for Debiasing in Traffic Prediction

    Li, S., Cui, Y., Zhao, Y., Yang, W., Zhang, R. & Zhou, X., 21 Oct 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1208–1217 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (eds.). Springer, p. 181-198 18 p. (Lecture Notes in Computer Science, Vol. LNCS 14000).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    3 Citations (Scopus)

  • TARGET-tool: Participatory Design of an Interactive Professional Development Tool for Secondary School Physical Education Teachers

    Weeldenburg, G., Kromkamp, L., Borghouts, L., Verburg, P., Hansen, N. B. & Vos, S., 9 Jun 2023, ICFET '23: Proceedings of the 2023 9th International Conference on Frontiers of Educational Technologies. Association for Computing Machinery, p. 40-51 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • Task Assignment with Spatio-temporal Recommendation in Spatial Crowdsourcing

    Zhu, C., Cui, Y., Zhao, Y. & Zheng, K., 2023, Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part I. Li, B., Tao, C., Yue, L., Han, X., Calvanese, D. & Amagasa, T. (eds.). Springer, p. 264-279 16 p. (Lecture Notes in Computer Science, Vol. LNCS 13421).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • The Character of Eco-feedback Systems for Energy Communities

    Gil Peña, È. & Jensen, R. H., 29 May 2023, Proceedings of the 11th International Conference on Communities and Technologies: Humanization of Digital Technologies 2023, C&T '23. Association for Computing Machinery, p. 203–214 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    83 Downloads (Pure)

  • The Past, Present, and Future of Typological Databases in NLP

    Baylor, E., Ploeger, E. & Bjerva, J., Dec 2023, Findings of the Association for Computational Linguistics: EMNLP 2023. Association for Computational Linguistics, p. 1163-1169 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Tuning Shared Hospital Spaces: Sound Zones in Healthcare

    Fangel Skov, K., Axel Nielsen, P. & Kjeldskov, J., 30 Aug 2023, Proceedings of the 18th International Audio Mostly Conference, AM 2023. Association for Computing Machinery, p. 63-70 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Uncertain FlexOffers: a scalable, uncertainty-aware model for energy flexibility

    Lilliu, F., Pedersen, T. B., Siksnys, L. & Neupane, B., 20 Jun 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 30-41 12 p. (e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    25 Downloads (Pure)

  • Uncertainty Quantification for Traffic Forecasting: A Unified Approach

    Qian, W., Zhang, D., Zhao, Y., Zheng, K. & Yu, J. J. Q., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, p. 992-1004 13 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Unsupervised Entity Alignment for Temporal Knowledge Graphs

    Liu, X., Wu, J., Li, T., Chen, L. & Gao, Y., 30 Apr 2023, ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 2528–2538 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

    Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (eds.). Springer, p. 141-157 17 p. (Lecture Notes in Computer Science, Vol. 14138 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • User Experience in Large-Scale Robot Development: A Case Study of Mechanical and Software Teams

    Nielsen, S., Skov, M. B. & Bruun, A., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, Proceedings, Part II. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer Science+Business Media, p. 40-61 22 p. (Lecture Notes in Computer Science (LNCS), Vol. 14143).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Using Colour and Brightness for Sound Zone Feedback

    Johansen, S. S., Nielsen, P. A., Stec, K. & Kjeldskov, J., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, p. 247-272 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14142 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Verified Verifying: SMT-LIB for Strings in Isabelle

    Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 Aug 2023, Implementation and Application of Automata: 27th International Conference, CIAA 2023, Proceedings. Nagy, B. (ed.). Springer Nature Switzerland AG, p. 206-217 12 p. (Lecture Notes in Computer Science; No. 14151).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Visualizing How-Provenance Explanations for SPARQL Queries

    Galárraga, L., Hernández, D., Katim, A. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 212-216 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Voting-based Opinion Maximization

    Saha, A., Ke, X., Khan, A. & Lakshmanan, L. V. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE, p. 544-557 14 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 2022

    Additive Pattern Databases for Decoupled Search

    Sievers, S., Gnad, D. & Torralba, A., 17 Jul 2022, Proceedings of the Fifteenth International Symposium on Combinatorial Search . 1 ed. The AAAI Press, Vol. 15. p. 180-189 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Decision Support System to Predict Acute Fish Toxicity

    Madsen, A. L., Moe, S. J., Braunbeck, T., Connors, K. A., Embry, M., Schirmer, K., Scholz, S., Wolf, R. & Lillicrap, A. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models. Salmerón, A. & Rumi, R. (eds.). PMLR Press, p. 253-264 12 p. (The Proceedings of Machine Learning Research, Vol. 186).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    10 Downloads (Pure)

  • A Diagram-Centric Modeling Tool for Systems of Systems

    Harbo, S. K. R., Voldby, E. P., Madsen, J. & Albano, M., 23 Oct 2022, Proceedings of the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery, p. 51-55 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

    Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 344-362 19 p. (Lecture Notes in Computer Science, Vol. 13299).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

    Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Quantitative Evaluation of Systems. Springer, p. 173–191 (Lecture Notes in Computer Science, Vol. 13479).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • An approach for Web of Things over Named Data Networking

    Dongo, J., 7 Nov 2022, IoT 2022 - Proceedings of the 12th International Conference on the Internet of Things 2022. Association for Computing Machinery, p. 187-192 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)

    Kirkeby, M. H., Gallagher, J. & Thomsen, B., 31 May 2022, Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS). Iyenghar, P. & Rakic, G. (eds.). CEUR Workshop Proceedings, (CEUR Workshop Proceedings, Vol. 3145).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    109 Downloads (Pure)

  • An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

    Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Computational Methods in Systems Biology (CMSB'2022). Springer, p. 294-301 (Lecture Notes in Computer Science, Vol. LNBI, volume 13447).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Anomaly Detection in Time Series with Robust Variational Quasi-Recurrent Autoencoders

    Kieu, T., Yang, B., Guo, C., Cirstea, R-G., Zhao, Y., Song, Y. & Jensen, C. S., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, p. 1342-1354 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    18 Citations (Scopus)

  • Approximate and Interactive Processing of Aggregate Queries on Knowledge Graphs: A Demonstration

    Wang, Y., Khan, A., Xu, X., Ye, S., Pan, S. & Zhou, Y., 17 Oct 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. 31st ACM International Conference on Information and Knowledge Management (CIKM ’22), October 17–21, 2022, Atlanta, GA, USA. : Association for Computing Machinery, p. 5034-5038 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • A Python Library for Trace Analysis

    Dams, D., Havelund, K. & Kauffman, S., Sept 2022, International Conference on Runtime Verification. Dang, T. & Stolz, V. (eds.). Springer, Vol. 13498. p. 264-273 10 p. (Lecture Notes in Computer Science, Vol. 13498).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Benet, L., Chen, X., Fan, J., Forets, M., Huang, C., Johnson, T. T., Ladner, T., Li, W., Schilling, C. & Zhu, Q., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 142-184 43 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)
    50 Downloads (Pure)