AISoLA

Publications

volume 14380, 2024

Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings AISoLA 14380 (2024)

2023

Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA (2023)
Itay Cohen, Doron Peled
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. AISoLA (2023)
Diego Manzanas Lopez, Taylor T. Johnson
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. AISoLA (2023)
Maxime Parmentier, Axel Legay, Firmin Chenoy
Optimized Smart Sampling. AISoLA (2023)
Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant
Benchmark: Object Detection for Maritime Search and Rescue. AISoLA (2023)
Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. AISoLA (2023)
Natan Levy, Raz Yerushalmi, Guy Katz
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. AISoLA (2023)
Dmitrii Kirov, Simone Fulvio Rollini
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. AISoLA (2023)
Falk Howar, Hardi Hungar
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA (2023)
Martin Tappler, Bernhard K. Aichernig
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. AISoLA (2023)
Edward A. Lee
Deep Neural Networks, Explanations, and Rationality. AISoLA (2023)
Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson
Benchmark: Neural Network Malware Classification. AISoLA (2023)
Daniel Neider, Taylor T. Johnson
Track C1: Safety Verification of Deep Neural Networks (DNNs). AISoLA (2023)
Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
Formal XAI via Syntax-Guided Synthesis. AISoLA (2023)
Lenz Belzner, Thomas Gabor, Martin Wirsing
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. AISoLA (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA (2023)
Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. AISoLA (2023)
Moa Johansson
What Can Large Language Models Do for Theorem Proving and Formal Methods? AISoLA (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. AISoLA (2023)
Wolfgang Ahrendt, Klaus Havelund
AI Assisted Programming - (AISoLA 2023 Track Introduction). AISoLA (2023)
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency. AISoLA (2023)
Neelanjana Pal, Seojin Lee, Taylor T. Johnson
Benchmark: Formal Verification of Semantic Segmentation Neural Networks. AISoLA (2023)
Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA (2023)
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Marcelo Forets, Christian Schilling
The Inverse Problem for Neural Networks. AISoLA (2023)
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA (2023)
Yonggang Luo, Jinyan Ma, Sanchu Han, Lecheng Xie
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving. AISoLA (2023)