Search dblp for Publications

export results for "toc:db/conf/sefm/sefm2023w.bht:"

 download as .bib file

@proceedings{DBLP:conf/sefm/2023w,
  editor       = {Alessandro Aldini},
  title        = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-66021-4},
  doi          = {10.1007/978-3-031-66021-4},
  isbn         = {978-3-031-66020-7},
  timestamp    = {Tue, 20 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/2023w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/AldiniGT23,
  author       = {Alessandro Aldini and
                  Pierluigi Graziani and
                  Mirko Tagliaferri},
  editor       = {Alessandro Aldini},
  title        = {Frequentist Probability Logic},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {54--71},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_4},
  doi          = {10.1007/978-3-031-66021-4\_4},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/AldiniGT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Alexander23,
  author       = {Samuel A. Alexander},
  editor       = {Alessandro Aldini},
  title        = {Private Memory Confers No Advantage},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {42--53},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_3},
  doi          = {10.1007/978-3-031-66021-4\_3},
  timestamp    = {Tue, 20 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Alexander23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/CeroneZ23,
  author       = {Antonio Cerone and
                  Olzhas Zhalgendinov},
  editor       = {Alessandro Aldini},
  title        = {Using Maude to Model Motivation in Human Behaviour},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {72--89},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_5},
  doi          = {10.1007/978-3-031-66021-4\_5},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/CeroneZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/GahrnAndersen23,
  author       = {Rasmus Gahrn{-}Andersen},
  editor       = {Alessandro Aldini},
  title        = {Code Biology and Enactivism: Bringing Adaptors to Basic Minds},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_8},
  doi          = {10.1007/978-3-031-66021-4\_8},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/GahrnAndersen23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Galli23,
  author       = {Giovanni Galli},
  editor       = {Alessandro Aldini},
  title        = {Scientific Understanding and the Explanatory Integration in Cognitive
                  Sciences},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {99--113},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_7},
  doi          = {10.1007/978-3-031-66021-4\_7},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Galli23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/LarghiD23,
  author       = {Silvia Larghi and
                  Edoardo Datteri},
  editor       = {Alessandro Aldini},
  title        = {Mentalistic Stances Towards {AI} Systems: Beyond the Intentional Stance},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {28--41},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_2},
  doi          = {10.1007/978-3-031-66021-4\_2},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/LarghiD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/NizamiKAB23,
  author       = {Muhammad Suffian Nizami and
                  Ulrike Kuhl and
                  Jose Maria Alonso{-}Moral and
                  Alessandro Bogliolo},
  editor       = {Alessandro Aldini},
  title        = {{CL-XAI:} Toward Enriched Cognitive Learning with Explainable Artificial
                  Intelligence},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {5--27},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_1},
  doi          = {10.1007/978-3-031-66021-4\_1},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/NizamiKAB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/PersicoP23,
  author       = {Donatella Persico and
                  Francesca Pozzi},
  editor       = {Alessandro Aldini},
  title        = {Facets of Openness in a Serious Game: Opening up Format, Content,
                  Software and Hardware},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_10},
  doi          = {10.1007/978-3-031-66021-4\_10},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/PersicoP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/PluckA23,
  author       = {Graham Pluck and
                  Kris Ariyabuddhiphongs},
  editor       = {Alessandro Aldini},
  title        = {Clinical Cognitive Sciences},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {130--148},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_9},
  doi          = {10.1007/978-3-031-66021-4\_9},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/PluckA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Watts23,
  author       = {Matthew Watts},
  editor       = {Alessandro Aldini},
  title        = {Semantic Memory, Mnemonic Effort and Mnemonic Habit},
  booktitle    = {Software Engineering and Formal Methods. {SEFM} 2023 Collocated Workshops
                  - {CIFMA} 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November
                  6-10, 2023, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14568},
  pages        = {90--98},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-66021-4\_6},
  doi          = {10.1007/978-3-031-66021-4\_6},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Watts23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.