Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sefm/sefm2022w.bht:"
download as .bib file
@proceedings{DBLP:conf/sefm/2022w,
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26236-4},
doi = {10.1007/978-3-031-26236-4},
isbn = {978-3-031-26235-7},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AldiniAG22,
author = {Alessandro Aldini and
Samuel Allen Alexander and
Pierluigi Graziani},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution
to the Surprise Examination Paradox},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {383--399},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_30},
doi = {10.1007/978-3-031-26236-4\_30},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AldiniAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BamiLJ22,
author = {Youness Bami and
Yannik Luysberg and
J{\"{u}}rgen Jakumeit},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Fast Simulation Response by a Simulation Based Machine Learning (SMiLe)
Approach},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {48--58},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_5},
doi = {10.1007/978-3-031-26236-4\_5},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BamiLJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Barros22,
author = {Fernando J. Barros},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {High-Fidelity Modeling {\&} Co-simulation with {\(\pi\)} sc HyFlow},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {269--285},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_23},
doi = {10.1007/978-3-031-26236-4\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Barros22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BelliM22,
author = {Dimitri Belli and
Franco Mazzanti},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A Case Study in Formal Analysis of System Requirements},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {164--173},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_14},
doi = {10.1007/978-3-031-26236-4\_14},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BelliM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernardeschiDDPS22,
author = {Cinzia Bernardeschi and
Pierpaolo Dini and
Andrea Domenici and
Maurizio Palmieri and
Sergio Saponara},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Do-it-Yourself {FMU} Generation},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {210--227},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_19},
doi = {10.1007/978-3-031-26236-4\_19},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BernardeschiDDPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BoiarKSMDL22,
author = {Daniel Boiar and
Nils Killich and
Lukas Schulte and
Victor Hernandez Moreno and
Jochen Deuse and
Thomas Liebig},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {26--37},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_3},
doi = {10.1007/978-3-031-26236-4\_3},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BoiarKSMDL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BordisKRS22,
author = {Tabea Bordis and
Maximilian Kodetzki and
Tobias Runge and
Ina Schaefer},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {156--163},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_13},
doi = {10.1007/978-3-031-26236-4\_13},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BordisKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Calboli22,
author = {Stefano Calboli},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Robot Nudgers. What About Transparency?},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {291--301},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_24},
doi = {10.1007/978-3-031-26236-4\_24},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Calboli22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CavadaCGS22,
author = {Roberto Cavada and
Alessandro Cimatti and
Alberto Griggio and
Angelo Susi},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A Formal {IDE} for Railways: Research Challenges},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {107--115},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_9},
doi = {10.1007/978-3-031-26236-4\_9},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CavadaCGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Cerone22,
author = {Antonio Cerone},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A BRDL-Based Framework for Motivators and Emotions},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {351--365},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_28},
doi = {10.1007/978-3-031-26236-4\_28},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Cerone22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Correnson22,
author = {Lo{\"{\i}}c Correnson},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Ivette: {A} Modern {GUI} for Frama-C},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {116--131},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_10},
doi = {10.1007/978-3-031-26236-4\_10},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Correnson22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Corti22,
author = {Laura Corti},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Robot as Embodied Agent? {A} Phenomenological Critique},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {302--312},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_25},
doi = {10.1007/978-3-031-26236-4\_25},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Corti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Denil22,
author = {Joachim Denil},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Validity in (Co-) Simulation},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {193--199},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_17},
doi = {10.1007/978-3-031-26236-4\_17},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Denil22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GrossmannGKKKKW22,
author = {J{\"{u}}rgen Gro{\ss}mann and
Nicolas Grube and
Sami Kharma and
Dorian Knoblauch and
Roman Krajewski and
Mariia Kucheiko and
Hans{-}Werner Wiesbrock},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Test and Training Data Generation for Object Recognition in the Railway
Domain},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {5--16},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_1},
doi = {10.1007/978-3-031-26236-4\_1},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GrossmannGKKKKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HoangSDFB22,
author = {Thai Son Hoang and
Colin F. Snook and
Dana Dghaym and
Asieh Salehi Fathabadi and
Michael J. Butler},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Building an Extensible Textual Framework for the Rodin Platform},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {132--147},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_11},
doi = {10.1007/978-3-031-26236-4\_11},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HoangSDFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KoddenbrockH22,
author = {Mario Koddenbrock and
Hendrik Heinze},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Condition Monitoring of a Mechanical Pulsatile Heart Support System
via Support-Vector Machine},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {59--70},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_6},
doi = {10.1007/978-3-031-26236-4\_6},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/KoddenbrockH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Kuppe22,
author = {Markus Alexander Kuppe},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {The TLA\({}^{\mbox{+}}\) Debugger},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {174--180},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_15},
doi = {10.1007/978-3-031-26236-4\_15},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Kuppe22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LarotondaP22,
author = {Miguel A. Larotonda and
Giuseppe Primiero},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A Depth-Bounded Semantics for Becoming Informed},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {366--382},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_29},
doi = {10.1007/978-3-031-26236-4\_29},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LarotondaP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LiuCLZ22,
author = {Zizheng Liu and
Yingguang Chu and
Guoyuan Li and
Houxiang Zhang},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A Co-simulation-Based System Using Vico for Marine Operation},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {228--241},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_20},
doi = {10.1007/978-3-031-26236-4\_20},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LiuCLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/OlbrychKZLS22,
author = {Sylwia Olbrych and
Marco Kemmerling and
Hans Aoyang Zhou and
Daniel L{\"{u}}tticke and
Robert H. Schmitt},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {A Conceptual Framework for Production Process Parameter Optimization
with Modular Hybrid Simulations},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {17--25},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_2},
doi = {10.1007/978-3-031-26236-4\_2},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/OlbrychKZLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PluckCV22,
author = {Graham Pluck and
Antonio Cerone and
David Villagomez{-}Pacheco},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Executive Function and Intelligent Goal-Directed Behavior: Perspectives
from Psychology, Neurology, and Computer Science},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {324--350},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_27},
doi = {10.1007/978-3-031-26236-4\_27},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PluckCV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ProbstRR22,
author = {Dominik Probst and
Hasnain Raza and
Erik Rodner},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Evaluating Zero-Cost Active Learning for Object Detection},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {38--47},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_4},
doi = {10.1007/978-3-031-26236-4\_4},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ProbstRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Raffa22,
author = {Maria Raffa},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Markov Blankets for Sustainability},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {313--323},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_26},
doi = {10.1007/978-3-031-26236-4\_26},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Raffa22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RathjeWKKSOS22,
author = {Anne Rathje and
Ronja Witt and
Anna Lena Knott and
Benjamin K{\"{u}}ster and
Malte Stonis and
Ludger Overmeyer and
Robert H. Schmitt},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Quality Monitoring Procedure in Additive Material Extrusion Using
Machine Learning},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {93--102},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_8},
doi = {10.1007/978-3-031-26236-4\_8},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RathjeWKKSOS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Riant22,
author = {L{\'{e}}a Riant},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Debugging Support in Atelier {B}},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {148--155},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_12},
doi = {10.1007/978-3-031-26236-4\_12},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Riant22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RichartVCVB22,
author = {Matias Richart and
Felipe Vel{\'{a}}zquez and
Federico Ciuffardi and
Jorge Visca and
Javier Baliosian},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {CoCoSim: {A} Tool for Co-simulation of Mobile Cooperative Robots},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {258--268},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_22},
doi = {10.1007/978-3-031-26236-4\_22},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/RichartVCVB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SchlagenhaufYB22,
author = {Tobias Schlagenhauf and
Faruk Yildirim and
Benedikt Br{\"{u}}ckner},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Siamese Basis Function Networks for Data-Efficient Defect Classification
in Technical Domains},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {71--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_7},
doi = {10.1007/978-3-031-26236-4\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SchlagenhaufYB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SnookBHFD22,
author = {Colin F. Snook and
Michael J. Butler and
Thai Son Hoang and
Asieh Salehi Fathabadi and
Dana Dghaym},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Developing the {UML-B} Modelling Tools},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {181--188},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_16},
doi = {10.1007/978-3-031-26236-4\_16},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SnookBHFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Tagliaferri22,
author = {Mirko Tagliaferri},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Using Justified True Beliefs to Explore Formal Ignorance},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {400--417},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_31},
doi = {10.1007/978-3-031-26236-4\_31},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Tagliaferri22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TottrupHKME22,
author = {Malthe Faurschou T{\o}ttrup and
Emil Chao Hu and
Bastian Aron Kramer and
Hugo Daniel Macedo and
Lukas Esterle},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Using {INTO-CPS} Tools in the Development of a Digital Twin for the
{F1TENTH} Race Car},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {200--209},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_18},
doi = {10.1007/978-3-031-26236-4\_18},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/TottrupHKME22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/VerenoHN22,
author = {Dominik Vereno and
Jonas Harb and
Christian Neureiter},
editor = {Paolo Masci and
Cinzia Bernardeschi and
Pierluigi Graziani and
Mario Koddenbrock and
Maurizio Palmieri},
title = {Paving the Way for Reinforcement Learning in Smart Grid Co-simulations},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2022 Collocated Workshops
- AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13765},
pages = {242--257},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26236-4\_21},
doi = {10.1007/978-3-031-26236-4\_21},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/VerenoHN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-22 17:35 CEST from data curated 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:
