• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 216 matches

• 2024
• 
  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 [contents]
• 2023
• 
  Peter Backeman:
  Synthesizing Understandable Strategies. ECBS 2023: 201-204
• 
  Manuela-Luminita Bujorianu:
  Cyber-Physical Ecosystems: Modelling and Verification. ECBS 2023: 215-230
• 
  Daniel Busch, Alexander Bainczyk, Bernhard Steffen:
  Towards LLM-Based System Migration in Language-Driven Engineering. ECBS 2023: 191-200
• 
  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. ECBS 2023: 289-298
• 
  Lukas Johannes Dust, Saad Mubeen:
  Dynamic Priority Scheduling for Periodic Systems Using ROS 2. ECBS 2023: 239-243
• 
  Moshe Goldstein, Oren Eliezer:
  A Software Package (in progress) that Implements the Hammock-EFL Methodology. ECBS 2023: 235-238
• 
  Rong Gu:
  Learning in Uppaal for Test Case Generation for Cyber-Physical Systems. ECBS 2023: 70-74
• 
  Francisco Herrera:
  Toward Responsible Artificial Intelligence Systems: Safety and Trustworthiness. ECBS 2023: 7-11
• 
  Murat Isik, Kayode Inadagbo:
  Astrocyte-Integrated Dynamic Function Exchange in Spiking Neural Networks. ECBS 2023: 263-273
• 
  Sven Erik Jeroschewski, Johannes Kristan, Milena Jäntgen, Max Grzanna:
  Integrating IoT Infrastructures in Industrie 4.0 Scenarios with the Asset Administration Shell. ECBS 2023: 231-234
• 
  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. ECBS 2023: 259-262
• 
  Wei Lin, Sini Chen, Huibiao Zhu:
  Formalization and Verification of MQTT-SN Communication Using CSP. ECBS 2023: 115-132
• 
  Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin:
  Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example. ECBS 2023: 170-190
• 
  Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen:
  Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS 2023: 153-169
• 
  Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic:
  A Federated Learning Algorithms Development Paradigm. ECBS 2023: 26-41
• 
  Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan:
  Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS 2023: 274-288
• 
  Manal Rahal, Bestoun S. Ahmed, Jorgen Samuelsson:
  Machine Learning Data Suitability and Performance Testing Using Fault Injection Testing Framework. ECBS 2023: 42-59
• 
  Selma Rahman, Mattias Olausson, Carlo Vitucci, Ioannis Avgouleas:
  Ambient Temperature Prediction for Embedded Systems Using Machine Learning. ECBS 2023: 12-25
• 
  Ahmad Rezaei, Johannes Nau, Detlef Streitferdt, Jörg Schambach, Todor Vangelov:
  ReProInspect: Framework for Reproducible Defect Datasets for Improved AOI of PCBAs. ECBS 2023: 205-214
• 
  Tiberiu Seceleanu, Ning Xiong, Eduard Paul Enoiu, Cristina Seceleanu:
  Building a Digital Twin Framework for Dynamic and Robust Distributed Systems. ECBS 2023: 254-258
• 
  Amandeep Singh, Olga Minguett:
  IDPP: Imbalanced Datasets Pipelines in Pyrus. ECBS 2023: 60-69
• 
  Florian Sprang, Tiberiu Seceleanu:
  FPGA-Based Encryption for Peer-to-Peer Industrial Network Links. ECBS 2023: 97-114
• 
  Bruno Steffen, Jonas Zohren, Utku Pazarci, Fiona Kullmann, Hendrik Weißenfels:
  Continuous Integration of Neural Networks in Autonomous Systems. ECBS 2023: 244-253
• 
  Nikola Stojkov, Filip Tirnanic, Aleksa Lukovic:
  Detecting Road Tunnel-Like Environments Using Acoustic Classification for Sensor Fusion with Radar Systems. ECBS 2023: 133-152
• 
  Masoumeh Taromirad, Per Runeson:
  A Literature Survey of Assertions in Software Testing. ECBS 2023: 75-96
• 
  Moshe Y. Vardi:
  How to Be An Ethical Technologist. ECBS 2023: 1-6
• 2021
• 
  Timea Bezdan, Dusan Cvetnic, Luka Gajic, Miodrag Zivkovic, Ivana Strumberger, Nebojsa Bacanin:
  Feature Selection by Firefly Algorithm with Improved Initialization Strategy. ECBS 2021: 8:1-8:8
• 
  Milan Z. Bjelica:
  My Big, Fat, Safe Software Stack: Functional Safety for Complex Software for Next-Generation Vehicles. ECBS 2021: 4:1-4:2
• 
  Costas Busch:
  Scheduling Problems in Distributed Transactional Memory. ECBS 2021: 2:1-2:2

skipping 186 more matches