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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.