Abstract is missing.
- Is Your AI-Based System Five Star Sustainable?Ina Schieferdecker. 3-19 [doi]
- Certainty vs. IntelligenceEdward A. Lee. 20-32 [doi]
- Responsible and Trusted AI: An Interdisciplinary PerspectiveThorsten Helfer, Kevin Baum 0001, Andreas Sesing-Wagenpfeil, Eva Schmidt, Markus Langer. 35-39 [doi]
- Team Design Patterns for Meaningful Human Control in Responsible Military Artificial IntelligenceJurriaan van Diggelen, Christine Boshuijzen-van Burken, Hussein Abbass. 40-54 [doi]
- Transparent Transparency Developing a Scheme for Understanding Transparency RequirementsDeborah Baum, Kevin Baum 0001, Sasha Zamani, Christian Bennoit, Dirk Werth. 55-73 [doi]
- AI Act for the Working ProgrammerHolger Hermanns, Anne Lauber-Rönsberg, Philip Meinel, Sarah Sterz, Hanwei Zhang. 74-98 [doi]
- AI Assisted Programming - (AISoLA 2024 Track Introduction)Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund. 101-106 [doi]
- SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement LearningGerhard Stenzel, Kyrill Schmid, Michael Kölle 0001, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner. 107-124 [doi]
- Towards Specification-Driven LLM-Based Generation of Embedded Automotive SoftwareMinal Suresh Patil, Gustav Ung, Mattias Nyberg. 125-144 [doi]
- Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation ProofbaseAmer Tahat, David S. Hardin, Adam Petz, Perry Alexander. 145-166 [doi]
- LLM-Based Scheme for Synthesis of Formal Verification AlgorithmsItay Cohen 0001, Doron Peled. 167-182 [doi]
- Verification and Learning for Assured AutonomyRaúl Pardo, Devdatt Dubhashi, Gerardo Schneider, Hazem Torfah. 185-189 [doi]
- A Comparison of Monitoring Techniques for Deep Neural NetworksEzio Bartocci, Wasim Essbai. 190-205 [doi]
- Efficient Shield Synthesis via State-Space TransformationAsger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling 0001. 206-224 [doi]
- Runtime Verification and AI: Addressing Pragmatic Regulatory ChallengesChristian Colombo 0001, Gordon J. Pace, Dylan Seychell. 225-241 [doi]
- A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVLChristoph Matheja. 242-258 [doi]
- Systematic Translation from Natural Language Robot Task Descriptions to STLSara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh. 259-276 [doi]
- It's Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic GamesMaike Schwammberger, Qais Hamarneh. 277-290 [doi]
- Monitoring Safety and Reliability of Underwater Robots: A Case StudyMahsa Varshosaz, Andrzej Wasowski. 291-299 [doi]
- Statistical Model Checking the 2024 Edition!Sudeep Kanav, Jan Kretínský, Kim G. Larsen. 303-311 [doi]
- Reinforcement Learning for Discretized Euclidean MDPsManfred Jaeger, Kim Guldstrand Larsen. 312-335 [doi]
- Adaptive Stopping Algorithms Based on Concentration InequalitiesMaxime Parmentier, Axel Legay. 336-353 [doi]
- Digging for Decision Trees: A Case Study in Strategy Sampling and LearningCarlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns. 354-378 [doi]
- Statistical Analysis of the Impact of Bit-Flips in Security Critical CodeTobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen. 379-397 [doi]
- Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and MesaAndrea Vandin. 398-419 [doi]
- On SMC-Based Dependability Analysis in LoLiPoP-IoT ProjectJosef Strnadel, Jakub Lojda, Pavel Smrz, Václav Simek. 420-445 [doi]
- Towards Verifying Robotic Systems Using Statistical Model Checking in STORMMarco Lampacrescia, Michaela Klauck, Matteo Palmas. 446-467 [doi]