Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM Workshops 2022: Berlin, Germany
- Paolo Masci
, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri:
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, 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. 5-16 - 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. 17-25 - Daniel Boiar, Nils Killich, Lukas Schulte, Victor Hernandez Moreno, Jochen Deuse, Thomas Liebig:
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, Hendrik Heinze:
Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine. 59-70 - Tobias Schlagenhauf, Faruk Yildirim, Benedikt Brückner:
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, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
Building an Extensible Textual Framework for the Rodin Platform. 132-147 - Léa Riant:
Debugging Support in Atelier B. 148-155 - Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer:
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. 156-163 - Dimitri Belli, Franco Mazzanti:
A Case Study in Formal Analysis of System Requirements. 164-173 - Markus Alexander Kuppe:
The TLA+ Debugger. 174-180 - Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym:
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, Lukas Esterle:
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. 200-209 - Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara:
Do-it-Yourself FMU Generation. 210-227 - Zizheng Liu, Yingguang Chu, Guoyuan Li, Houxiang Zhang:
A Co-simulation-Based System Using Vico for Marine Operation. 228-241 - Dominik Vereno, Jonas Harb, Christian Neureiter:
Paving the Way for Reinforcement Learning in Smart Grid Co-simulations. 242-257 - Matias Richart, Felipe Velázquez, Federico Ciuffardi, Jorge Visca, Javier Baliosian:
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, Antonio Cerone, David Villagomez-Pacheco:
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, Samuel Allen Alexander, Pierluigi Graziani:
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
a service of 
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-04-30 21:09 CEST 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:
