ECBS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 81 from 81

2024

Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, ProceedingsJan Kofron, Tiziana Margaria, Cristina Seceleanu, editors, Volume 14390 of Lecture Notes in Computer Science, Springer, 2024. [doi]

2023

Synthesizing Understandable StrategiesPeter Backeman. ecbseerc 2024: 201-204 [doi]

Cyber-Physical Ecosystems: Modelling and VerificationManuela-Luminita Bujorianu. ecbseerc 2024: 215-230 [doi]

Towards LLM-Based System Migration in Language-Driven EngineeringDaniel Busch, Alexander Bainczyk, Bernhard Steffen. ecbseerc 2024: 191-200 [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. ecbseerc 2024: 289-298 [doi]

Dynamic Priority Scheduling for Periodic Systems Using ROS 2Lukas Johannes Dust, Saad Mubeen. ecbseerc 2024: 239-243 [doi]

A Software Package (in progress) that Implements the Hammock-EFL MethodologyMoshe Goldstein, Oren Eliezer 0001. ecbseerc 2024: 235-238 [doi]

Learning in Uppaal for Test Case Generation for Cyber-Physical SystemsRong Gu. ecbseerc 2024: 70-74 [doi]

Toward Responsible Artificial Intelligence Systems: Safety and TrustworthinessFrancisco Herrera. ecbseerc 2024: 7-11 [doi]

Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural NetworksMurat Isik, Kayode Inadagbo. ecbseerc 2024: 263-273 [doi]

Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration ShellSven Erik Jeroschewski, Johannes Kristan, Milena Jäntgen, Max Grzanna. ecbseerc 2024: 231-234 [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. ecbseerc 2024: 259-262 [doi]

Formalization and Verification of MQTT-SN Communication Using CSPWei Lin, Sini Chen, Huibiao Zhu. ecbseerc 2024: 115-132 [doi]

Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake ExampleStefan Marksteiner, Marjan Sirjani, Mikael Sjödin. ecbseerc 2024: 170-190 [doi]

Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/SimulinkMuhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen. ecbseerc 2024: 153-169 [doi]

A Federated Learning Algorithms Development ParadigmMiroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic. ecbseerc 2024: 26-41 [doi]

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSPIvan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan. ecbseerc 2024: 274-288 [doi]

Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing FrameworkManal Rahal, Bestoun S. Ahmed, Jorgen Samuelsson. ecbseerc 2024: 42-59 [doi]

Ambient Temperature Prediction for Embedded Systems Using Machine LearningSelma Rahman, Mattias Olausson, Carlo Vitucci, Ioannis Avgouleas. ecbseerc 2024: 12-25 [doi]

ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAsAhmad Rezaei, Johannes Nau, Detlef Streitferdt, Jörg Schambach, Todor Vangelov. ecbseerc 2024: 205-214 [doi]

Building a Digital Twin Framework for Dynamic and Robust Distributed SystemsTiberiu Seceleanu, Ning Xiong 0001, Eduard Paul Enoiu, Cristina Seceleanu. ecbseerc 2024: 254-258 [doi]

IDPP: Imbalanced Datasets Pipelines in PyrusAmandeep Singh, Olga Minguett. ecbseerc 2024: 60-69 [doi]

FPGA-Based Encryption for Peer-to-Peer Industrial Network LinksFlorian Sprang, Tiberiu Seceleanu. ecbseerc 2024: 97-114 [doi]

Continuous Integration of Neural Networks in Autonomous SystemsBruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels. ecbseerc 2024: 244-253 [doi]

Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar SystemsNikola Stojkov, Filip Tirnanic, Aleksa Lukovic. ecbseerc 2024: 133-152 [doi]

A Literature Survey of Assertions in Software TestingMasoumeh Taromirad, Per Runeson. ecbseerc 2024: 75-96 [doi]

How to Be An Ethical TechnologistMoshe Y. Vardi. ecbseerc 2024: 1-6 [doi]

2021

ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, SerbiaACM, 2021. [doi]

Feature Selection by Firefly Algorithm with Improved Initialization StrategyTimea Bezdan, Dusan Cvetnic, Luka Gajic, Miodrag Zivkovic, Ivana Strumberger, Nebojsa Bacanin. ecbseerc 2021: [doi]

My Big, Fat, Safe Software Stack: Functional Safety for Complex Software for Next-Generation VehiclesMilan Bjelica. ecbseerc 2021: [doi]

Scheduling Problems in Distributed Transactional MemoryCostas Busch. ecbseerc 2021: [doi]

Thou Shalt Not Move: A Visibility-based Emergency Stop System for Smart IndustriesGabriele Capannini, Jan Carlson, Roger Mellander. ecbseerc 2021: [doi]

An overview of the challenges for developing software within the field of autonomous vehiclesPavle Dakic, Miodrag Zivkovic. ecbseerc 2021: [doi]

Building Air Quality Monitoring IoT PlatformJakub Dubec, Tibor Krajcovic. ecbseerc 2021: [doi]

Type Systems for Trustworthiness -- from Mathematics to Large-Scale SystemsSilvia Ghilezan. ecbseerc 2021: [doi]

Implementing the Hammock-EFL Methodology for Project Management and Parallel Programming: (research in progress)Moshe Goldstein, Oren Eliezer, David Dayan. ecbseerc 2021: [doi]

Success Factors of Distributed Software Development Projects in IsraelMeir Hahami, David Raz. ecbseerc 2021: [doi]

Multi-constrained Network Occupancy OptimizationAmar Halilovic, Nedim Zaimovic, Hamid Feyzmahdavian, Tiberiu Seceleanu. ecbseerc 2021: [doi]

Towards Automatic Application Fingerprinting Using Performance Monitoring CountersShamoona Imtiaz, Jakob Danielsson, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar. ecbseerc 2021: [doi]

Enabling Industry 4.0 Communication Protocol Interoperability: An OPC UA Case StudySubash Kannoth, Frank Schnicke, Pablo Oliveira Antonino. ecbseerc 2021: [doi]

Large Scale Real-time Distributed Systems - Resource Allocation and Scheduling IssuesHelen D. Karatza. ecbseerc 2021: [doi]

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service OrchestrationAshalatha Kunnappilly, Peter Backeman, Cristina Seceleanu. ecbseerc 2021: [doi]

Improving Critical Infrastructure Protection by Enhancing Software Acquisition Process Through BlockchainJelena Marjanovic, Nikola Dalcekovic, Goran Sladic. ecbseerc 2021: [doi]

On Sustainability for Offset Based Response-Time AnalysisJukka Mäki-Turja, Kaj Hänninen, Mikael Sjödin. ecbseerc 2021: [doi]

Smart Indoor GreenhouseJán Nemcík, Edvin Mako, Tibor Krajcovic. ecbseerc 2021: [doi]

PSTM Transaction Scheduler Verification Based on CSP and TestingMiroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu. ecbseerc 2021: [doi]

A Network Traffic Processing Library for ICS Anomaly DetectionOndrej Rysavý, Petr Matousek. ecbseerc 2021: [doi]

Architecture Blueprint Enabling Distributed Digital TwinsFrank Schnicke, Daniel Espen, Pablo Oliveira Antonino, Thomas Kuhn 0001. ecbseerc 2021: [doi]

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS ApproachCristina Seceleanu, Eduard Paul Enoiu, Jan Carlson, Kristina Lundqvist, Séverine Sentilles, Moris Behnam, Gabriele Capannini. ecbseerc 2021: [doi]

Smart Contract and Blockchain Based Contract Management SystemSvetislav Simic, Marko Markovic, Stevan Gostojic. ecbseerc 2021: [doi]

File Spooler and Copy System for Fast Data TransferAlice Florenta Suiu, Mihai Carabas, Sergiu Weisz, Costin Grigoras, Nicolae Tapus. ecbseerc 2021: [doi]

Supporting Autonomous Vehicle Applications on the Heterogeneous System ArchitectureNandinbaatar Tsog, Marielle Gallardo, Sweta Chakraborty, Torbjörn Martinson, Alexandra Hengl, Magnus Moberg, Adem Sen, Mobyen Uddin Ahmed, Shahina Begum, Moris Behnam, Mikael Sjödin, Saad Mubeen. ecbseerc 2021: [doi]

Smart Body Sensor Network for Logging of Activities of Daily LivingIgor Vurdelja, Elena Vuceljic, Jelena Medarevic, Marko Markovic, Milica Jankovic, Zaharije Radivojevic. ecbseerc 2021: [doi]

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSPJunya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao. ecbseerc 2021: [doi]

Survey of Learning Environments for Software Testing EducationTamara Zivkovic, Miodrag Zivkovic. ecbseerc 2021: [doi]

2019

UAMSA: Unified Approach for Multilingual Sentiment Analysis Using GATEAnam Amjad, Usman Qamar. ecbseerc 2019: [doi]

Energy optimization for the low data rate IoT devices by using Manchester's coded pseudo-random sequencesAlexandru Badea, Simona Halunga, George Luca. ecbseerc 2019: [doi]

Developing a Smart Toilet System for ageing people and persons with disabilitiesCristina Balaceanu, Ioana Marcu, George Suciu, Carina Dantas, Peter Mayer. ecbseerc 2019: [doi]

Electromagnetic Vulnerabilities of LCD ProjectorsAlexandru Boitan, Razvan Bartusica, Simona Halunga, Octavian Fratu. ecbseerc 2019: [doi]

Instruction caching for bhyveMihai Carabas, Costin Carabas. ecbseerc 2019: [doi]

Optimization and Tradeoffs in Secure Floating-Point Computation: Products, Powers, and PolynomialsOctavian Catrina. ecbseerc 2019: [doi]

Connecting the Dots: Promising directions for developing a robotic cybersecurity analystMihail Cazacu, Constanta-Nicoleta Bodea, Maria-Iuliana Dascalu. ecbseerc 2019: [doi]

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, ECBS 2019, Bucharest, Romania, September 2-3, 2019Maria-Iuliana Dascalu, Ondrej Rysavý, Constanta-Nicoleta Bodea, Moshe Goldstein, Miodrag Dukic, editors, ACM, 2019. [doi]

Automating Network Security Analysis at Packet-level by using Rule-based EngineMartin Holkovic, Ondrej Rysavý, Jindrich Dudek. ecbseerc 2019: [doi]

Software Testing Practices in IT Industry of PakistanMuhammad Shah Jahan, Muhammad Talha Riaz, Kashif, Muhammad Abbas. ecbseerc 2019: [doi]

Big Data Network Flow Processing Using Apache SparkKamil Jerábek, Ondrej Rysavý. ecbseerc 2019: [doi]

A Protein Structure Prediction Program Architecture Based on a Software Transactional MemoryBranislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan. ecbseerc 2019: [doi]

Network Forensic Analysis for Lawful Enforcement on Steroids, Distributed and ScalableViliam Letavay, Jan Pluskal, Ondrej Rysavý. ecbseerc 2019: [doi]

A new approach on Smart-Parking conceptIoana-Manuela Marcu, Andrei Tiganus, Ana-Maria Dragulinescu, George Suciu, Jr.. ecbseerc 2019: [doi]

Hypertension Detection based on Machine LearningIuliana Marin, Nicolae Goga. ecbseerc 2019: [doi]

Security Monitoring of IoT Communication Using FlowsPetr Matousek, Ondrej Rysavý, Matej Grégr. ecbseerc 2019: [doi]

Cyber-Physical Systems Oriented Redundant Network NodeMihnea Alexandru Moisescu, Ioan Dumitrache, Bogdan Barbulescu, Ioan Stefan Sacala, Simona Iuliana Caramihai, Marius Danciuc. ecbseerc 2019: [doi]

Scalar Preisach Hysteresis Model AlgorithmVeronica Manescu Paltanea, Gheorghe Paltanea, Iosif Vasile Nemoianu, Radu Mircea Ciuceanu. ecbseerc 2019: [doi]

Hazelnut - An Energy Efficient Base IoT Module for Wide Variety of Sensing ApplicationsBranimir Pervan, Emanuel Guberovic, Filip Turcinovic. ecbseerc 2019: [doi]

Network Forensics in GSE Overlay NetworksJan Pluskal, Martin Vondrácek, Ondrej Rysavý. ecbseerc 2019: [doi]

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic ModelMiroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic. ecbseerc 2019: [doi]

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed EnvironmentsMaghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna. ecbseerc 2019: [doi]

Mutual Electromagnetic Perturbations-RF Measurements in the VHF and UHF Frequencies in Bucharest: Theoretical and Practical AspectsEugen Stancu, Cristian Capota, Simona Halunga, Octavian Fratu. ecbseerc 2019: [doi]

VR System for Neurorehabilitation: Where Technology Meets Medicine for Empowering Patients and Therapists in the Rehabilitation ProcessIulia-Cristina Stanica, Florica Moldoveanu, Maria-Iuliana Dascalu, Alin Moldoveanu, Giovanni-Paul Portelli, Constanta-Nicoleta Bodea. ecbseerc 2019: [doi]

IoT System for Air Pollutants Assessment in Underground InfrastructuresGeorge Suciu, Mihaela Balanescu, Carmen Nadrag, Andrei Birdici, Cristina Mihaela Balaceanu, Marius-Alexandru Dobrea, Adrian Pasat, Radu-Ioan Ciobanu. ecbseerc 2019: [doi]

Multi-agent System Simulation for Smart Homes based on the i-Light frameworkAndrei Vasilateanu, Alexandra Bolovan, Maria Fatu. ecbseerc 2019: [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

ECBS (ecbseerc)

Viewing Publication 1 - 81 from 81

2024

2023

2021

2019

Links

Filter by YearOR AND NOT 1

Filter by Tag

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

ECBS (ecbseerc)

Viewing Publication 1 - 81 from 81

2024

2023

2021

2019

Filter by Year
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1