Stop the war!
Остановите войну!
for scientists:
default search action
8th ECBS 2023: Västerås, Sweden
- Jan Kofron, Tiziana Margaria, Cristina Seceleanu:
Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings. Lecture Notes in Computer Science 14390, Springer 2024, ISBN 978-3-031-49251-8 - Moshe Y. Vardi:
How to Be An Ethical Technologist. 1-6 - Francisco Herrera:
Toward Responsible Artificial Intelligence Systems: Safety and Trustworthiness. 7-11 - Selma Rahman, Mattias Olausson, Carlo Vitucci, Ioannis Avgouleas:
Ambient Temperature Prediction for Embedded Systems Using Machine Learning. 12-25 - Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic:
A Federated Learning Algorithms Development Paradigm. 26-41 - Manal Rahal, Bestoun S. Ahmed, Jorgen Samuelsson:
Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework. 42-59 - Amandeep Singh, Olga Minguett:
IDPP: Imbalanced Datasets Pipelines in Pyrus. 60-69 - Rong Gu:
Learning in Uppaal for Test Case Generation for Cyber-Physical Systems. 70-74 - Masoumeh Taromirad, Per Runeson:
A Literature Survey of Assertions in Software Testing. 75-96 - Florian Sprang, Tiberiu Seceleanu:
FPGA-Based Encryption for Peer-to-Peer Industrial Network Links. 97-114 - Wei Lin, Sini Chen, Huibiao Zhu:
Formalization and Verification of MQTT-SN Communication Using CSP. 115-132 - Nikola Stojkov, Filip Tirnanic, Aleksa Lukovic:
Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar Systems. 133-152 - Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen:
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. 153-169 - Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin:
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example. 170-190 - Daniel Busch, Alexander Bainczyk, Bernhard Steffen:
Towards LLM-Based System Migration in Language-Driven Engineering. 191-200 - Peter Backeman:
Synthesizing Understandable Strategies. 201-204 - Ahmad Rezaei, Johannes Nau, Detlef Streitferdt, Jörg Schambach, Todor Vangelov:
ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs. 205-214 - Manuela-Luminita Bujorianu:
Cyber-Physical Ecosystems: Modelling and Verification. 215-230 - Sven Erik Jeroschewski, Johannes Kristan, Milena Jäntgen, Max Grzanna:
Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell. 231-234 - Moshe Goldstein, Oren Eliezer:
A Software Package (in progress) that Implements the Hammock-EFL Methodology. 235-238 - Lukas Johannes Dust, Saad Mubeen:
Dynamic Priority Scheduling for Periodic Systems Using ROS 2. 239-243 - Bruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels:
Continuous Integration of Neural Networks in Autonomous Systems. 244-253 - Tiberiu Seceleanu, Ning Xiong, Eduard Paul Enoiu, Cristina Seceleanu:
Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. 254-258 - Ali Teymur Kahraman, Tomas Fröding, Dimitrios Toumpanakis, Mikael Fridenfalk, Christian Jamtheim Gustafsson, Tobias Sjöblom:
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models. 259-262 - Murat Isik, Kayode Inadagbo:
Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks. 263-273 - Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan:
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. 274-288 - Maria-Iuliana Dascalu, Andrei-Sergiu Bumbacea, Ioan-Alexandru Bratosin, Iulia-Cristina Stanica, Constanta-Nicoleta Bodea:
CareProfSys - Combining Machine Learning and Virtual Reality to Build an Attractive Job Recommender System for Youth: Technical Details and Experimental Data. 289-298
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.