Search dblp for Publications

export results for "toc:db/conf/icsoft/icsoft2020s.bht:"

 download as .bib file

@proceedings{DBLP:conf/icsoft/2020s,
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-83007-6},
  doi          = {10.1007/978-3-030-83007-6},
  isbn         = {978-3-030-83006-9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/2020s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/ChouchaRKK20a,
  author       = {Chams Eddine Choucha and
                  Mohamed Ramdani and
                  Mohamed Khalgui and
                  La{\"{\i}}d Kahloul},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {On Improvement of Formal Verification of Reconfigurable Real-Time
                  Systems Using {TCTL} and CTL-Based Properties on IaaS Cloud Environment},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {114--133},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_6},
  doi          = {10.1007/978-3-030-83007-6\_6},
  timestamp    = {Thu, 14 Oct 2021 10:27:24 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/ChouchaRKK20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/ChouchaSKKO20,
  author       = {Chams Eddine Choucha and
                  Mohamed Oussama Ben Salem and
                  Mohamed Khalgui and
                  La{\"{\i}}d Kahloul and
                  Na{\"{\i}}ma Sou{\^{a}}d Ougouti},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {{R-TNCES} State Space Generation Using Ontology-Based Method on a
                  Distributed Cloud-Based Architecture},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {44--69},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_3},
  doi          = {10.1007/978-3-030-83007-6\_3},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/ChouchaSKKO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/GoubaaKFL20a,
  author       = {Aicha Goubaa and
                  Mohamed Khalgui and
                  Georg Frey and
                  Zhiwu Li},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time
                  Tasks with Deadline Constraints},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {25--43},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_2},
  doi          = {10.1007/978-3-030-83007-6\_2},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/GoubaaKFL20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/KaranikiotisPS20,
  author       = {Thomas Karanikiotis and
                  Michail D. Papamichail and
                  Andreas L. Symeonidis},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {Multilevel Readability Interpretation Against Software Properties:
                  {A} Data-Centric Approach},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {203--226},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_10},
  doi          = {10.1007/978-3-030-83007-6\_10},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/KaranikiotisPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/KhemiriNE20,
  author       = {Rihab Khemiri and
                  Mohamed Naija and
                  Ernesto Exposito},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {Shared Autonomous Mobility on Demand: {A} Fuzzy-Based Approach and
                  Its Performance in the Presence of Uncertainty},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_1},
  doi          = {10.1007/978-3-030-83007-6\_1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/KhemiriNE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/KubiakR0020,
  author       = {Patrick Kubiak and
                  Stefan Rass and
                  Martin Pinzger and
                  Stephan Schneider},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {A Method for the Joint Analysis of Numerical and Textual IT-System
                  Data to Predict Critical System States},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {242--261},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_12},
  doi          = {10.1007/978-3-030-83007-6\_12},
  timestamp    = {Wed, 25 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/KubiakR0020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/MaidlMSWWH20a,
  author       = {Monika Maidl and
                  Gerhard M{\"{u}}nz and
                  Stefan Seltzsam and
                  Marvin Wagner and
                  Roman Wirtz and
                  Maritta Heisel},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {Model-Based Threat Modeling for Cyber-Physical Systems: {A} Computer-Aided
                  Approach},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {158--183},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_8},
  doi          = {10.1007/978-3-030-83007-6\_8},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/MaidlMSWWH20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/NguyenM20a,
  author       = {Duyen Phuc Nguyen and
                  Stephane Maag},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {A Machine Learning Based Methodology for Web Systems Codeless Testing
                  with Selenium},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {184--202},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_9},
  doi          = {10.1007/978-3-030-83007-6\_9},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/NguyenM20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/SalvaB20a,
  author       = {S{\'{e}}bastien Salva and
                  Elliott Blot},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {{MLCA:} {A} Model-Learning-Checking Approach for IoT Systems},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {70--97},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_4},
  doi          = {10.1007/978-3-030-83007-6\_4},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/SalvaB20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/SejdiuIA20a,
  author       = {Besmir Sejdiu and
                  Florije Ismaili and
                  Lule Ahmedi},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {A Real-Time Integration of Semantic Annotations into Air Quality Monitoring
                  Sensor Data},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_5},
  doi          = {10.1007/978-3-030-83007-6\_5},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/SejdiuIA20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/SoualahHKCK20a,
  author       = {Sohaib Soualah and
                  Yousra Hafidi and
                  Mohamed Khalgui and
                  Allaoua Chaoui and
                  La{\"{\i}}d Kahloul},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {Efficient Verification of Reconfigurable Discrete-Event System Using
                  Isabelle/HOL Theorem Prover and Hadoop},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {227--241},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_11},
  doi          = {10.1007/978-3-030-83007-6\_11},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/SoualahHKCK20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/WitteckGH20a,
  author       = {Ulrike Witteck and
                  Denis Grie{\ss}bach and
                  Paula Herber},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {A Genetic Algorithm with Tournament Selection for Automated Testing
                  of Satellite On-board Image Processing},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {134--157},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_7},
  doi          = {10.1007/978-3-030-83007-6\_7},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/WitteckGH20a.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.