


default search action
Search dblp for Publications
export results for "toc:db/conf/csp/csp2021.bht:"
@inproceedings{DBLP:conf/csp/AliG21, author = {Aliyu Tanko Ali and Damas P. Gruska}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Attack Trees with Time Constraints}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {93--105}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper5.pdf}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csp/AliG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/AzadC0M21, author = {Mohammad Azad and Igor Chikalov and Shahid Hussain and Mikhail Moshkov}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Sorting by Decision Trees with Hypotheses (extended abstract)}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {126--130}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/AzadC0M21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/BorutaGK21, author = {Agnieszka Boruta and Pawel Gburzynski and Ewa Kuznicka}, editor = {Holger Schlingloff and Thomas Vogel}, title = {On Reliable Wireless Streaming of Real-time Sensor Data}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {131--144}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/BorutaGK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/BozhenkovaV21, author = {Elena N. Bozhenkova and Irina B. Virbitskaite}, editor = {Holger Schlingloff and Thomas Vogel}, title = {On Semantics for Testing in Time Petri Nets}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {60--71}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/BozhenkovaV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Czaja21, author = {Ludwik Czaja}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Cause-Effect Structures Behaving like Reaction Systems}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {31--45}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Czaja21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/DuttaS21, author = {Soma Dutta and Andrzej Skowron}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {46--59}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/DuttaS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/GroplerSGB21, author = {Robin Gr{\"{o}}pler and Viju Sudhi and Emilio Jos{\'{e}} Calleja Garc{\'{\i}}a and Andre Bergmann}, editor = {Holger Schlingloff and Thomas Vogel}, title = {NLP-Based Requirements Formalization for Automatic Test Case Generation}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {18--30}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/GroplerSGB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/GruskaR21, author = {Damas P. Gruska and M. Carmen Ruiz}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Process Opacity and Insertion Functions}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {83--92}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper7.pdf}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csp/GruskaR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Knapp21, author = {Alexander Knapp}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Specifying Event/Data-based Systems (keynote)}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {1}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/keynote1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Knapp21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/MilewskiHG21, author = {Roman Milewski and Simon Heiden and Lars Grunske}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {2--17}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/MilewskiHG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/NestorukS21, author = {Roman Nestoruk and Grzegorz Slowinski}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Prediction of Football Games Results}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {156--165}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/NestorukS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Nguyen21, author = {Hung Son Nguyen}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Efficient Machine Learning Methods over Pairwise Space (keynote)}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {117--119}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/keynote2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Nguyen21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/PuzyninMH21, author = {Eugen Puzynin and Heinrich Mellmann and Verena V. Hafner}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Extended Abstract: {A} Novel Mobile App for the Next Generation of Beekeepers}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {113--116}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/PuzyninMH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Redziejowski21, author = {Roman R. Redziejowski}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Left Recursion by Recursive Ascent}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {72--82}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Redziejowski21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/SkowronekGMK21, author = {Lukasz Skowronek and Pawel G{\'{o}}ra and Marcin Mozejko and Arkadiusz Klemenko}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Graph-based Sparse Neural Networks for Traffic Signal Optimization}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {145--155}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/SkowronekGMK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Slowinski21, author = {Grzegorz Slowinski}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Influence of Data Dimension Reduction, Feature Scaling and Activation Function on Machine Learning Performance}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {120--125}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Slowinski21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/Slowinski21a, author = {Grzegorz Slowinski}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Dry Beans Classification Using Machine Learning}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {166--173}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/Slowinski21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/TaliaronakMH21, author = {Volha Taliaronak and Heinrich Mellmann and Verena V. Hafner}, editor = {Holger Schlingloff and Thomas Vogel}, title = {Extended Abstract: Simulation of Interactions between Beehives}, booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, pages = {106--112}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/TaliaronakMH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/csp/2021, editor = {Holger Schlingloff and Thomas Vogel}, title = {Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2951}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2951}, urn = {urn:nbn:de:0074-2951-9}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csp/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.