Abstract is missing.
- Test and Training Data Generation for Object Recognition in the Railway DomainJürgen Grossmann, Nicolas Grube, Sami Kharma, Dorian Knoblauch, Roman Krajewski, Mariia Kucheiko, Hans-Werner Wiesbrock. 5-16 [doi]
- A Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid SimulationsSylwia Olbrych, Marco Kemmerling, Hans Aoyang Zhou, Daniel Lütticke, Robert H. Schmitt. 17-25 [doi]
- Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMsDaniel Boiar, Nils Killich, Lukas Schulte, Victor Hernandez Moreno, Jochen Deuse, Thomas Liebig. 26-37 [doi]
- Evaluating Zero-Cost Active Learning for Object DetectionDominik Probst, Hasnain Raza, Erik Rodner. 38-47 [doi]
- Fast Simulation Response by a Simulation Based Machine Learning (SMiLe) ApproachYouness Bami, Yannik Luysberg, Jürgen Jakumeit. 48-58 [doi]
- Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector MachineMario Koddenbrock, Hendrik Heinze. 59-70 [doi]
- Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical DomainsTobias Schlagenhauf, Faruk Yildirim, Benedikt Brückner. 71-92 [doi]
- Quality Monitoring Procedure in Additive Material Extrusion Using Machine LearningAnne Rathje, Ronja Witt, Anna Lena Knott, Benjamin Küster, Malte Stonis, Ludger Overmeyer, Robert H. Schmitt. 93-102 [doi]
- A Formal IDE for Railways: Research ChallengesRoberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi. 107-115 [doi]
- Ivette: A Modern GUI for Frama-CLoïc Correnson. 116-131 [doi]
- Building an Extensible Textual Framework for the Rodin PlatformThai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler. 132-147 [doi]
- Debugging Support in Atelier BLéa Riant. 148-155 [doi]
- VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-ConstructionTabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer. 156-163 [doi]
- A Case Study in Formal Analysis of System RequirementsDimitri Belli, Franco Mazzanti. 164-173 [doi]
- + DebuggerMarkus Alexander Kuppe. 174-180 [doi]
- Developing the UML-B Modelling ToolsColin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym. 181-188 [doi]
- Validity in (Co-) SimulationJoachim Denil. 193-199 [doi]
- Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race CarMalthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo, Lukas Esterle. 200-209 [doi]
- Do-it-Yourself FMU GenerationCinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara. 210-227 [doi]
- A Co-simulation-Based System Using Vico for Marine OperationZizheng Liu, Yingguang Chu, Guoyuan Li, Houxiang Zhang. 228-241 [doi]
- Paving the Way for Reinforcement Learning in Smart Grid Co-simulationsDominik Vereno, Jonas Harb, Christian Neureiter. 242-257 [doi]
- CoCoSim: A Tool for Co-simulation of Mobile Cooperative RobotsMatias Richart, Felipe Velázquez, Federico Ciuffardi, Jorge Visca, Javier Baliosian. 258-268 [doi]
- High-Fidelity Modeling & Co-simulation with π sc HyFlowFernando J. Barros. 269-285 [doi]
- Robot Nudgers. What About Transparency?Stefano Calboli. 291-301 [doi]
- Robot as Embodied Agent? A Phenomenological CritiqueLaura Corti. 302-312 [doi]
- Markov Blankets for SustainabilityMaria Raffa. 313-323 [doi]
- Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer ScienceGraham Pluck, Antonio Cerone, David Villagomez-Pacheco. 324-350 [doi]
- A BRDL-Based Framework for Motivators and EmotionsAntonio Cerone. 351-365 [doi]
- A Depth-Bounded Semantics for Becoming InformedMiguel A. Larotonda, Giuseppe Primiero. 366-382 [doi]
- Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination ParadoxAlessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani. 383-399 [doi]
- Using Justified True Beliefs to Explore Formal IgnoranceMirko Tagliaferri. 400-417 [doi]