Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/serene/serene2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/serene/AutiliST13,
author = {Marco Autili and
Amleto Di Salle and
Massimo Tivoli},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Synthesis of Resilient Choreographies},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {94--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_8},
doi = {10.1007/978-3-642-40894-6\_8},
timestamp = {Mon, 05 Feb 2024 20:33:35 +0100},
biburl = {https://dblp.org/rec/conf/serene/AutiliST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BloomfieldNS13,
author = {Robin E. Bloomfield and
Kateryna Netkachova and
Robert J. Stroud},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Security-Informed Safety: If It's Not Secure, It's Not Safe},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {17--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_2},
doi = {10.1007/978-3-642-40894-6\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BloomfieldNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Florio13,
author = {Vincenzo De Florio},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Preliminary Contributions Towards Auto-resilience},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {141--155},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_12},
doi = {10.1007/978-3-642-40894-6\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/Florio13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GiandomenicoFGI13,
author = {Felicita Di Giandomenico and
Alessandro Fantechi and
Stefania Gnesi and
Massimiliano Leone Itria},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Stochastic Model-Based Analysis of Railway Operation to Support Traffic
Planning},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {184--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_15},
doi = {10.1007/978-3-642-40894-6\_15},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/GiandomenicoFGI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GorskiL13,
author = {Janusz G{\'{o}}rski and
Katarzyna Lukasiewicz},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Towards Agile Development of Critical Software},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {48--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_4},
doi = {10.1007/978-3-642-40894-6\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/GorskiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/IliasovLR13,
author = {Alexei Iliasov and
Ilya Lopatkin and
Alexander B. Romanovsky},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {The SafeCap Project on Railway Safety Verification and Capacity Simulation},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {125--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_10},
doi = {10.1007/978-3-642-40894-6\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/IliasovLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Khan13,
author = {Yasir Imtiaz Khan},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Optimizing Verification of Structurally Evolving Algebraic Petri Nets},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {64--78},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_6},
doi = {10.1007/978-3-642-40894-6\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Khan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Maevsky13,
author = {Dmitry A. Maevsky},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {A New Approach to Software Reliability},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {156--168},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_13},
doi = {10.1007/978-3-642-40894-6\_13},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Maevsky13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Moiseev13,
author = {Mikhail J. Moiseev},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Static Analysis Approach for Defect Detection in Multithreaded {C/C++}
Programs},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {169--183},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_14},
doi = {10.1007/978-3-642-40894-6\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Moiseev13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/PatariczaKSG13,
author = {Andr{\'{a}}s Pataricza and
Imre Kocsis and
{\'{A}}gnes Sal{\'{a}}nki and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Empirical Assessment of Resilience},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_1},
doi = {10.1007/978-3-642-40894-6\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/PatariczaKSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ProkhorovaTL13,
author = {Yuliya Prokhorova and
Elena Troubitsyna and
Linas Laibinis},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {A Case Study in Refinement-Based Modelling of a Resilient Control
System},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {79--93},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_7},
doi = {10.1007/978-3-642-40894-6\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/ProkhorovaTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RuscioMP13,
author = {Davide Di Ruscio and
Ivano Malavolta and
Patrizio Pelliccione},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Engineering a Platform for Mission Planning of Autonomous and Resilient
Quadrotors},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {33--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_3},
doi = {10.1007/978-3-642-40894-6\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/RuscioMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RuscioP13,
author = {Davide Di Ruscio and
Patrizio Pelliccione},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Supporting the Evolution of Free and Open Source Software Distributions},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {56--63},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_5},
doi = {10.1007/978-3-642-40894-6\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/RuscioP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TarasyukPTL13,
author = {Anton Tarasyuk and
Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Formal Development and Quantitative Assessment of a Resilient Multi-robotic
System},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {109--124},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_9},
doi = {10.1007/978-3-642-40894-6\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/TarasyukPTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/WoodardS13,
author = {Mark Woodard and
Sahra Sedigh},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Modeling of Autonomous Vehicle Operation in Intelligent Transportation
Systems},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {133--140},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_11},
doi = {10.1007/978-3-642-40894-6\_11},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/WoodardS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2013,
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6},
doi = {10.1007/978-3-642-40894-6},
isbn = {978-3-642-40893-9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-29 22:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
