Search dblp for Publications

export results for "toc:db/conf/fsen/fsen2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fsen/AzamnouriP21,
  author       = {Aidin Azamnouri and
                  Samad Paydar},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Compressing Automatically Generated Unit Test Suites Through Test
                  Parameterization},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {215--221},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_15},
  doi          = {10.1007/978-3-030-89247-0\_15},
  timestamp    = {Tue, 19 Oct 2021 18:32:11 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/AzamnouriP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/AzzopardiEP21,
  author       = {Shaun Azzopardi and
                  Joshua Ellul and
                  Gordon J. Pace},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Runtime Monitoring Processes Across Blockchains},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_10},
  doi          = {10.1007/978-3-030-89247-0\_10},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/AzzopardiEP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/BenevidesMM21,
  author       = {Mario R. F. Benevides and
                  Alexandre Madeira and
                  Manuel A. Martins},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Adding Proof Calculi to Epistemic Logics with Structured Knowledge},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {53--68},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_4},
  doi          = {10.1007/978-3-030-89247-0\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/BenevidesMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/DokterA21,
  author       = {Kasper Dokter and
                  Farhad Arbab},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Protocol Scheduling},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_1},
  doi          = {10.1007/978-3-030-89247-0\_1},
  timestamp    = {Tue, 19 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/DokterA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/EerdGHMW21,
  author       = {Johri van Eerd and
                  Jan Friso Groote and
                  Pieter Hijma and
                  Jan Martens and
                  Anton Wijs},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Term Rewriting on GPUs},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {175--189},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_12},
  doi          = {10.1007/978-3-030-89247-0\_12},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/EerdGHMW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/EliottB21,
  author       = {Harold Pancho Eliott and
                  Martin Berger},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {A Program Logic for Fresh Name Generation},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_6},
  doi          = {10.1007/978-3-030-89247-0\_6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/EliottB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/Figueiredo21,
  author       = {Daniel Figueiredo},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Introducing Interval Differential Dynamic Logic},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {69--75},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_5},
  doi          = {10.1007/978-3-030-89247-0\_5},
  timestamp    = {Fri, 14 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/Figueiredo21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/GhoreshiH21,
  author       = {Mohammad Ghoreshi and
                  Hassan Haghighi},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Systematic Extraction of Tests from Object-Oriented Programs},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {222--228},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_16},
  doi          = {10.1007/978-3-030-89247-0\_16},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/GhoreshiH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/LanoR21,
  author       = {Kevin Lano and
                  Shekoufeh Kolahdouz Rahimi},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Extending {OCL} with Map and Function Types},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_8},
  doi          = {10.1007/978-3-030-89247-0\_8},
  timestamp    = {Tue, 19 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/LanoR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/MailleHM21,
  author       = {Amaury Maill{\'{e}} and
                  Ludovic Henrio and
                  Matthieu Moy},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Promise Plus: Flexible Synchronization for Parallel Computations on
                  Arrays},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {190--196},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_13},
  doi          = {10.1007/978-3-030-89247-0\_13},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/MailleHM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/MallozziNP21,
  author       = {Piergiuseppe Mallozzi and
                  Pierluigi Nuzzo and
                  Patrizio Pelliccione},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Incremental Refinement of Goal Models with Contracts},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {35--50},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_3},
  doi          = {10.1007/978-3-030-89247-0\_3},
  timestamp    = {Sat, 20 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/MallozziNP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/SoltaniehS21,
  author       = {Amin Soltanieh and
                  Markus Siegle},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Solving Systems of Bilinear Equations for Transition Rate Reconstruction},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {157--172},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_11},
  doi          = {10.1007/978-3-030-89247-0\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/SoltaniehS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/StramagliaKZ21,
  author       = {Anna Stramaglia and
                  Jeroen J. A. Keiren and
                  Hans Zantema},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Deadlock in Packet Switching Networks},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_9},
  doi          = {10.1007/978-3-030-89247-0\_9},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/StramagliaKZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/UwimbabaziIN21,
  author       = {Aline Uwimbabazi and
                  Omar Inverso and
                  Rocco De Nicola},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Automated Replication of Tuple Spaces via Static Analysis},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_2},
  doi          = {10.1007/978-3-030-89247-0\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/UwimbabaziIN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/ZakeriyanKSK21,
  author       = {Arvin Zakeriyan and
                  Ramtin Khosravi and
                  Hadi Safari and
                  Ehsan Khamespanah},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Towards Automatic Test Case Generation for Industrial Software Systems
                  Based on Functional Specifications},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {199--214},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_14},
  doi          = {10.1007/978-3-030-89247-0\_14},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/ZakeriyanKSK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsen/ZyubinAGSRL21,
  author       = {Vladimir Zyubin and
                  Igor S. Anureev and
                  Natalya Olegovna Garanina and
                  Sergey M. Staroletov and
                  Andrei Rozov and
                  Tatiana V. Liakh},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Event-Driven Temporal Logic Pattern for Control Software Requirements
                  Specification},
  booktitle    = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0\_7},
  doi          = {10.1007/978-3-030-89247-0\_7},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/ZyubinAGSRL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fsen/2021,
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {Fundamentals of Software Engineering - 9th International Conference,
                  {FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12818},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89247-0},
  doi          = {10.1007/978-3-030-89247-0},
  isbn         = {978-3-030-89246-3},
  timestamp    = {Tue, 19 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/2021.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.