SEFM Workshops

Keyphrases

Publications

volume 13765, 2023

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers SEFM Workshops 13765 (2023)

2022

Maria Raffa
Markov Blankets for Sustainability. SEFM Workshops (2022)
Stefano Calboli
Robot Nudgers. What About Transparency? SEFM Workshops (2022)
Markus Alexander Kuppe
Debugger. SEFM Workshops (2022)
Antonio Cerone
A BRDL-Based Framework for Motivators and Emotions. SEFM Workshops (2022)
Léa Riant
Debugging Support in Atelier B. SEFM Workshops (2022)
Mario Koddenbrock, Hendrik Heinze
Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine. SEFM Workshops (2022)
Graham Pluck, Antonio Cerone, David Villagomez-Pacheco
Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science. SEFM Workshops (2022)
Fernando J. Barros
High-Fidelity Modeling & Co-simulation with π sc HyFlow. SEFM Workshops (2022)
Jürgen Grossmann, Nicolas Grube, Sami Kharma, Dorian Knoblauch, Roman Krajewski, Mariia Kucheiko, Hans-Werner Wiesbrock
Test and Training Data Generation for Object Recognition in the Railway Domain. SEFM Workshops (2022)
Dominik Probst, Hasnain Raza, Erik Rodner
Evaluating Zero-Cost Active Learning for Object Detection. SEFM Workshops (2022)
Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi
A Formal IDE for Railways: Research Challenges. SEFM Workshops (2022)
Dominik Vereno, Jonas Harb, Christian Neureiter
Paving the Way for Reinforcement Learning in Smart Grid Co-simulations. SEFM Workshops (2022)
Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. SEFM Workshops (2022)
Joachim Denil
Validity in (Co-) Simulation. SEFM Workshops (2022)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops (2022)
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara
Do-it-Yourself FMU Generation. SEFM Workshops (2022)
Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM Workshops (2022)
Matias Richart, Felipe Velázquez, Federico Ciuffardi, Jorge Visca, Javier Baliosian
CoCoSim: A Tool for Co-simulation of Mobile Cooperative Robots. SEFM Workshops (2022)
Laura Corti
Robot as Embodied Agent? A Phenomenological Critique. SEFM Workshops (2022)
Miguel A. Larotonda, Giuseppe Primiero
A Depth-Bounded Semantics for Becoming Informed. SEFM Workshops (2022)
Sylwia Olbrych, Marco Kemmerling, Hans Aoyang Zhou, Daniel Lütticke, Robert H. Schmitt
A Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid Simulations. SEFM Workshops (2022)
Tobias Schlagenhauf, Faruk Yildirim, Benedikt Brückner
Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains. SEFM Workshops (2022)
Loïc Correnson
Ivette: A Modern GUI for Frama-C. SEFM Workshops (2022)
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. SEFM Workshops (2022)
Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym
Developing the UML-B Modelling Tools. SEFM Workshops (2022)
Malthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo, Lukas Esterle
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. SEFM Workshops (2022)
Dimitri Belli, Franco Mazzanti
A Case Study in Formal Analysis of System Requirements. SEFM Workshops (2022)
Daniel Boiar, Nils Killich, Lukas Schulte, Victor Hernandez Moreno, Jochen Deuse, Thomas Liebig
Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs. SEFM Workshops (2022)
Youness Bami, Yannik Luysberg, Jürgen Jakumeit
Fast Simulation Response by a Simulation Based Machine Learning (SMiLe) Approach. SEFM Workshops (2022)
Mirko Tagliaferri
Using Justified True Beliefs to Explore Formal Ignorance. SEFM Workshops (2022)
Zizheng Liu, Yingguang Chu, Guoyuan Li, Houxiang Zhang
A Co-simulation-Based System Using Vico for Marine Operation. SEFM Workshops (2022)

volume 13230, 2022

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers SEFM Workshops 13230 (2022)

2021