default search action
SEFM Workshops 2022: Berlin, Germany
- Paolo Masci
, Cinzia Bernardeschi
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13765, Springer 2023, ISBN 978-3-031-26235-7
AI4EA 2022 - 1st Berlin Workshop on Artificial Intelligence for Engineering Applications
- Jürgen Großmann
Test and Training Data Generation for Object Recognition in the Railway Domain. 5-16 - Sylwia Olbrych
A Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid Simulations. 17-25 - Daniel Boiar
Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs. 26-37 - Dominik Probst, Hasnain Raza, Erik Rodner
Evaluating Zero-Cost Active Learning for Object Detection. 38-47 - Youness Bami, Yannik Luysberg, Jürgen Jakumeit:
Fast Simulation Response by a Simulation Based Machine Learning (SMiLe) Approach. 48-58 - Mario Koddenbrock
Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine. 59-70 - Tobias Schlagenhauf
Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains. 71-92 - Anne Rathje, Ronja Witt, Anna Lena Knott, Benjamin Küster, Malte Stonis, Ludger Overmeyer, Robert H. Schmitt:
Quality Monitoring Procedure in Additive Material Extrusion Using Machine Learning. 93-102
F-IDE 2022 - 7th Workshop on Formal Integrated Development Environment
- Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi:
A Formal IDE for Railways: Research Challenges. 107-115 - Loïc Correnson:
Ivette: A Modern GUI for Frama-C. 116-131 - Thai Son Hoang
Building an Extensible Textual Framework for the Rodin Platform. 132-147 - Léa Riant
Debugging Support in Atelier B. 148-155 - Tabea Bordis
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. 156-163 - Dimitri Belli
A Case Study in Formal Analysis of System Requirements. 164-173 - Markus Alexander Kuppe:
The TLA+ Debugger. 174-180 - Colin F. Snook
Developing the UML-B Modelling Tools. 181-188
CoSim-CPS 2022 - 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems
- Joachim Denil
Validity in (Co-) Simulation. 193-199 - Malthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. 200-209 - Cinzia Bernardeschi
Do-it-Yourself FMU Generation. 210-227 - Zizheng Liu
A Co-simulation-Based System Using Vico for Marine Operation. 228-241 - Dominik Vereno
Paving the Way for Reinforcement Learning in Smart Grid Co-simulations. 242-257 - Matias Richart
CoCoSim: A Tool for Co-simulation of Mobile Cooperative Robots. 258-268 - Fernando J. Barros
High-Fidelity Modeling & Co-simulation with π sc HyFlow. 269-285
CIFMA 2022 - 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
- Stefano Calboli:
Robot Nudgers. What About Transparency? 291-301 - Laura Corti
Robot as Embodied Agent? A Phenomenological Critique. 302-312 - Maria Raffa
Markov Blankets for Sustainability. 313-323 - Graham Pluck
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science. 324-350 - Antonio Cerone
A BRDL-Based Framework for Motivators and Emotions. 351-365 - Miguel A. Larotonda, Giuseppe Primiero:
A Depth-Bounded Semantics for Becoming Informed. 366-382 - Alessandro Aldini
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. 383-399 - Mirko Tagliaferri
Using Justified True Beliefs to Explore Formal Ignorance. 400-417
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.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: