Abstract is missing.
- How to Be An Ethical TechnologistMoshe Y. Vardi. 1-6 [doi]
- Toward Responsible Artificial Intelligence Systems: Safety and TrustworthinessFrancisco Herrera. 7-11 [doi]
- Ambient Temperature Prediction for Embedded Systems Using Machine LearningSelma Rahman, Mattias Olausson, Carlo Vitucci, Ioannis Avgouleas. 12-25 [doi]
- A Federated Learning Algorithms Development ParadigmMiroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic. 26-41 [doi]
- Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing FrameworkManal Rahal, Bestoun S. Ahmed, Jorgen Samuelsson. 42-59 [doi]
- IDPP: Imbalanced Datasets Pipelines in PyrusAmandeep Singh, Olga Minguett. 60-69 [doi]
- Learning in Uppaal for Test Case Generation for Cyber-Physical SystemsRong Gu. 70-74 [doi]
- A Literature Survey of Assertions in Software TestingMasoumeh Taromirad, Per Runeson. 75-96 [doi]
- FPGA-Based Encryption for Peer-to-Peer Industrial Network LinksFlorian Sprang, Tiberiu Seceleanu. 97-114 [doi]
- Formalization and Verification of MQTT-SN Communication Using CSPWei Lin, Sini Chen, Huibiao Zhu. 115-132 [doi]
- Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar SystemsNikola Stojkov, Filip Tirnanic, Aleksa Lukovic. 133-152 [doi]
- Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/SimulinkMuhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen. 153-169 [doi]
- Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake ExampleStefan Marksteiner, Marjan Sirjani, Mikael Sjödin. 170-190 [doi]
- Towards LLM-Based System Migration in Language-Driven EngineeringDaniel Busch, Alexander Bainczyk, Bernhard Steffen. 191-200 [doi]
- Synthesizing Understandable StrategiesPeter Backeman. 201-204 [doi]
- ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAsAhmad Rezaei, Johannes Nau, Detlef Streitferdt, Jörg Schambach, Todor Vangelov. 205-214 [doi]
- Cyber-Physical Ecosystems: Modelling and VerificationManuela-Luminita Bujorianu. 215-230 [doi]
- Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration ShellSven Erik Jeroschewski, Johannes Kristan, Milena Jäntgen, Max Grzanna. 231-234 [doi]
- A Software Package (in progress) that Implements the Hammock-EFL MethodologyMoshe Goldstein, Oren Eliezer 0001. 235-238 [doi]
- Dynamic Priority Scheduling for Periodic Systems Using ROS 2Lukas Johannes Dust, Saad Mubeen. 239-243 [doi]
- Continuous Integration of Neural Networks in Autonomous SystemsBruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels. 244-253 [doi]
- Building a Digital Twin Framework for Dynamic and Robust Distributed SystemsTiberiu Seceleanu, Ning Xiong 0001, Eduard Paul Enoiu, Cristina Seceleanu. 254-258 [doi]
- A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning ModelsAli Teymur Kahraman, Tomas Fröding, Dimitrios Toumpanakis, Mikael Fridenfalk, Christian Jamtheim Gustafsson, Tobias Sjöblom. 259-262 [doi]
- Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural NetworksMurat Isik, Kayode Inadagbo. 263-273 [doi]
- Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSPIvan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan. 274-288 [doi]
- CareProfSys - Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental DataMaria-Iuliana Dascalu, Andrei-Sergiu Bumbacea, Ioan-Alexandru Bratosin, Iulia-Cristina Stanica, Constanta-Nicoleta Bodea. 289-298 [doi]