| 2023 | From Data Science to Modular Workflows Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study. | Enda O'Shea, Marco Krumrey, Daniel Sami Mitwalli, Sebastian Teumert, Tiziana Margaria |
| 2023 | Track C1: Safety Verification of Deep Neural Networks (DNNs). | Daniel Neider, Taylor T. Johnson |
| 2023 | Common Language for Accessibility, Interoperability, and Reusability in Historical Demography. | Rick J. Mourits, Tim Riswick, Rombert J. Stapel |
| 2023 | White-Box Mutation Testing of Smart Contracts: A Quick Review. | Afef Jmal Malej, Mariam Lahami |
| 2023 | Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving. | Yonggang Luo, Jinyan Ma, Sanchu Han, Lecheng Xie |
| 2023 | Verified High Performance Computing: The SyDPaCC Approach. | Frdric Loulergue, Ali Ed-Dbali |
| 2023 | Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. | Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. | Natan Levy, Raz Yerushalmi, Guy Katz |
| 2023 | Deep Neural Networks, Explanations, and Rationality. | Edward A. Lee |
| 2023 | Leveraging Actionable Explanations to Improve People's Reactions to AI-Based Decisions. | Markus Langer, Isabel Valera |
| 2023 | Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. | Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer |
| 2023 | Benchmark: Object Detection for Maritime Search and Rescue. | Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant |
| 2023 | Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. | Dmitrii Kirov, Simone Fulvio Rollini |
| 2023 | What Can Large Language Models Do for Theorem Proving and Formal Methods? | Moa Johansson |
| 2023 | Welcome Remarks from AISoLA 2023/Track C2 Chairs. | Nils Jansen, Bettina Knighofer, Jan Kretnsk, Kim G. Larsen |
| 2023 | Safe AI in Autonomous Vehicles - Track at AISoLA 2023. | Falk Howar, Hardi Hungar |
| 2023 | Balancing Transparency and Risk: An Overview of the Security and Privacy Risks of Open-Source Machine Learning Models. | Dominik Hintersdorf, Lukas Struppek, Kristian Kersting |
| 2023 | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen |
| 2023 | Towards Formal Verification of Node RED-Based IoT Applications. | Ikram Garfatta, Nour Elhouda Souid, Kas Klai |
| 2023 | Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception. | Martin Frnzle, Andreas Hein |
| 2023 | Blockchain-Based Trust Management for IoMT Environment. | Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai |
| 2023 | The Inverse Problem for Neural Networks. | Marcelo Forets, Christian Schilling |
| 2023 | Teaching the Specialized Language of Mathematics with a Data-Driven Approach: What Data Do We Use? | Cecilia Fissore, Francesco Floris, Marina Marchisio Conte, Matteo Sacchet |
| 2023 | The GraphBRAIN Framework for Knowledge Graph Management and Its Applications to Cultural Heritage. | Stefano Ferilli, Eleonora Bernasconi, Davide Di Pierro, Domenico Redavid |
| 2023 | Towards a Formal Account on Negative Latency. | Clemens Dubslaff, Jonas Schulz, Patrick Wienhft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann |