↓ Skip to main content

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Overview of attention for book
Cover of 'Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Test and Training Data Generation for Object Recognition in the Railway Domain
  3. Altmetric Badge
    Chapter 2 A Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid Simulations
  4. Altmetric Badge
    Chapter 3 Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs
  5. Altmetric Badge
    Chapter 4 Evaluating Zero-Cost Active Learning for Object Detection
  6. Altmetric Badge
    Chapter 5 Fast Simulation Response by a Simulation Based Machine Learning (SMiLe) Approach
  7. Altmetric Badge
    Chapter 6 Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine
  8. Altmetric Badge
    Chapter 7 Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains
  9. Altmetric Badge
    Chapter 8 Quality Monitoring Procedure in Additive Material Extrusion Using Machine Learning
  10. Altmetric Badge
    Chapter 9 A Formal IDE for Railways: Research Challenges
  11. Altmetric Badge
    Chapter 10 Ivette: A Modern GUI for  Frama-C
  12. Altmetric Badge
    Chapter 11 Building an Extensible Textual Framework for the Rodin Platform
  13. Altmetric Badge
    Chapter 12 Debugging Support in Atelier B
  14. Altmetric Badge
    Chapter 13 VarCorC : Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
  15. Altmetric Badge
    Chapter 14 A Case Study in Formal Analysis of System Requirements
  16. Altmetric Badge
    Chapter 15 The TLA $$^{+}$$ Debugger
  17. Altmetric Badge
    Chapter 16 Developing the UML-B Modelling Tools
  18. Altmetric Badge
    Chapter 17 Validity in (Co-) Simulation
  19. Altmetric Badge
    Chapter 18 Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car
  20. Altmetric Badge
    Chapter 19 Do-it-Yourself FMU Generation
  21. Altmetric Badge
    Chapter 20 A Co-simulation-Based System Using Vico for Marine Operation
  22. Altmetric Badge
    Chapter 21 Paving the Way for Reinforcement Learning in Smart Grid Co-simulations
  23. Altmetric Badge
    Chapter 22 CoCoSim: A Tool for Co-simulation of Mobile Cooperative Robots
  24. Altmetric Badge
    Chapter 23 High-Fidelity Modeling & Co-simulation with  $$\pi \textsc {HyFlow}$$
  25. Altmetric Badge
    Chapter 24 Robot Nudgers. What About Transparency?
  26. Altmetric Badge
    Chapter 25 Robot as Embodied Agent? A Phenomenological Critique
  27. Altmetric Badge
    Chapter 26 Markov Blankets for Sustainability
  28. Altmetric Badge
    Chapter 27 Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science
  29. Altmetric Badge
    Chapter 28 A BRDL-Based Framework for Motivators and Emotions
  30. Altmetric Badge
    Chapter 29 A Depth-Bounded Semantics for Becoming Informed
  31. Altmetric Badge
    Chapter 30 Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox
  32. Altmetric Badge
    Chapter 31 Using Justified True Beliefs to Explore Formal Ignorance
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
15 X users
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
Published by
Springer International Publishing, March 2023
DOI 10.1007/978-3-031-26236-4
ISBNs
978-3-03-126235-7, 978-3-03-126236-4
Editors

Masci, Paolo, Bernardeschi, Cinzia, Graziani, Pierluigi, Koddenbrock, Mario, Palmieri, Maurizio

X Demographics

X Demographics

The data shown below were collected from the profiles of 15 X users who shared this research output. Click here to find out more about how the information was compiled.