default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/serene:"
download as .bib file
@inproceedings{DBLP:conf/serene/Adjepon-Yamoah19,
author = {David Ebo Adjepon{-}Yamoah},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Reactive Middleware for Effective Requirement Change Management of
Cloud-Based Global Software Development},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {46--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_4},
doi = {10.1007/978-3-030-30856-8\_4},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Adjepon-Yamoah19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/AnderssonGMP19,
author = {Jesper Andersson and
Vincenzo Grassi and
Raffaela Mirandola and
Diego Perez{-}Palacin},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {A Distilled Characterization of Resilience and Its Embraced Properties
Based on State-Spaces},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {11--25},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_2},
doi = {10.1007/978-3-030-30856-8\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/AnderssonGMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BassoSM19,
author = {T{\^{a}}nia Basso and
Hebert de Oliveira Silva and
Regina Moraes},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {On the Use of Quality Models to Characterize Trustworthiness Properties},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {147--155},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_11},
doi = {10.1007/978-3-030-30856-8\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BassoSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BaudetAMJ19,
author = {Arthur Baudet and
Oum{-}El{-}Kheir Aktouf and
Annabelle Mercier and
Jean{-}Paul Jamont},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Toward Testing Self-organizations in Multi-Embedded-Agent Systems},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {97--108},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_7},
doi = {10.1007/978-3-030-30856-8\_7},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BaudetAMJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/DarrouxJAM19,
author = {Arthur Darroux and
Jean{-}Paul Jamont and
Oum{-}El{-}Kheir Aktouf and
Annabelle Mercier},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {An Energy Aware Approach to Trust Management Systems for Embedded
Multi-Agent Systems},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {121--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_9},
doi = {10.1007/978-3-030-30856-8\_9},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/DarrouxJAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Inverardi19,
author = {Paola Inverardi},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Ethics and Privacy in Autonomous Systems: {A} Software Exoskeleton
to Empower the User},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {3--8},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_1},
doi = {10.1007/978-3-030-30856-8\_1},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Inverardi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MoghaddamM19,
author = {Mahyar Tourchi Moghaddam and
Henry Muccini},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Fault-Tolerant IoT - {A} Systematic Mapping Study},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {67--84},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_5},
doi = {10.1007/978-3-030-30856-8\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MoghaddamM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/OliveroBMEM19,
author = {Miguel Angel Olivero and
Antonia Bertolino and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Ilaria Matteucci},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Addressing Security Properties in Systems of Systems: Challenges and
Ideas},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {138--146},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_10},
doi = {10.1007/978-3-030-30856-8\_10},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/OliveroBMEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ParriPSV19,
author = {Jacopo Parri and
Fulvio Patara and
Samuele Sampietro and
Enrico Vicario},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {JARVIS, {A} Hardware/Software Framework for Resilient Industry 4.0
Systems},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {85--93},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_6},
doi = {10.1007/978-3-030-30856-8\_6},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/ParriPSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Stefanakos19,
author = {Ioannis Stefanakos},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Towards Integrated Correctness Analysis and Performance Evaluation
of Software Systems (Doctoral Forum Paper)},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {109--117},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_8},
doi = {10.1007/978-3-030-30856-8\_8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Stefanakos19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/VistbakkaT19,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Modelling Autonomous Resilient Multi-robotic Systems},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {29--45},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_3},
doi = {10.1007/978-3-030-30856-8\_3},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/VistbakkaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2019,
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8},
doi = {10.1007/978-3-030-30856-8},
isbn = {978-3-030-30855-1},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BerntssonSW17,
author = {Petter Sainio Berntsson and
Lars Strand{\'{e}}n and
Fredrik Warg},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Evaluation of Open Source Operating Systems for Safety-Critical Applications},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {117--132},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_8},
doi = {10.1007/978-3-319-65948-0\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/BerntssonSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BorckKSGJAC17,
author = {Hayley Borck and
Paul Kline and
Hazel Shackleton and
John Gohde and
Steven Johnston and
Perry Alexander and
Todd Carpenter},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {100 Years of Software - Adapting Cyber-Physical Systems to the Changing
World},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {133--148},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_9},
doi = {10.1007/978-3-319-65948-0\_9},
timestamp = {Fri, 18 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BorckKSGJAC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/DraguleMP17,
author = {Swaib Dragule and
Bart Meyers and
Patrizio Pelliccione},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {A Generated Property Specification Language for Resilient Multirobot
Missions},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {45--61},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_4},
doi = {10.1007/978-3-319-65948-0\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/DraguleMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GenshRXRY17,
author = {Rem Gensh and
Ashur Rafiev and
Fei Xia and
Alexander B. Romanovsky and
Alex Yakovlev},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Modelling for Systems with Holistic Fault Tolerance},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {169--183},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_11},
doi = {10.1007/978-3-319-65948-0\_11},
timestamp = {Tue, 12 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/GenshRXRY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HavelundJ17,
author = {Klaus Havelund and
Rajeev Joshi},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Modeling and Monitoring of Hierarchical State Machines in Scala},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {21--36},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_2},
doi = {10.1007/978-3-319-65948-0\_2},
timestamp = {Fri, 18 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/HavelundJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KubackiS17,
author = {Marcin Kubacki and
Janusz Sosnowski},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Holistic Processing and Exploring Event Logs},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {184--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_12},
doi = {10.1007/978-3-319-65948-0\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KubackiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Malek17,
author = {Miroslaw Malek},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Predictive Analytics: {A} Shortcut to Dependable Computing},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {3--17},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_1},
doi = {10.1007/978-3-319-65948-0\_1},
timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Malek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MartinR17,
author = {Luke J. W. Martin and
Alexander B. Romanovsky},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Stochastic Activity Networks for the Verification of Knowledge Bases},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {37--44},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_3},
doi = {10.1007/978-3-319-65948-0\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MartinR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MucciniM17,
author = {Henry Muccini and
Mahyar Tourchi Moghaddam},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {81--95},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_6},
doi = {10.1007/978-3-319-65948-0\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MucciniM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RaufT17,
author = {Irum Rauf and
Elena Troubitsyna},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Towards a Model-Driven Security Assurance of Open Source Components},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {65--80},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_5},
doi = {10.1007/978-3-319-65948-0\_5},
timestamp = {Fri, 18 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/RaufT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/VistbakkaTKL17,
author = {Inna Vistbakka and
Elena Troubitsyna and
Tuomas Kuismin and
Timo Latvala},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Co-engineering Safety and Security in Industrial Control Systems:
{A} Formal Outlook},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {96--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_7},
doi = {10.1007/978-3-319-65948-0\_7},
timestamp = {Fri, 18 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/VistbakkaTKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ZhouPHI17,
author = {Yulai Zhou and
Patrizio Pelliccione and
Johan Haraldsson and
Mafijul Md. Islam},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Improving Robustness of {AUTOSAR} Software Components with Design
by Contract: {A} Study Within Volvo {AB}},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {151--168},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_10},
doi = {10.1007/978-3-319-65948-0\_10},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/ZhouPHI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2017,
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0},
doi = {10.1007/978-3-319-65948-0},
isbn = {978-3-319-65947-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Adjepon-Yamoah16,
author = {David Ebo Adjepon{-}Yamoah},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based
Architectures},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {105--114},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_8},
doi = {10.1007/978-3-319-45892-2\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/Adjepon-Yamoah16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/JakobsTW16,
author = {Christine Jakobs and
Peter Tr{\"{o}}ger and
Matthias Werner},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Configurable Fault Trees},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {13--27},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_2},
doi = {10.1007/978-3-319-45892-2\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/JakobsTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KlikovitsLGB16,
author = {Stefan Klikovits and
David P. Y. Lawrence and
Manuel Gonzalez{-}Berges and
Didier Buchs},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Automated Test Case Generation for the {CTRL} Programming Language
Using Pex: Lessons Learned},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {117--132},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_9},
doi = {10.1007/978-3-319-45892-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KlikovitsLGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KoukouvisCP16,
author = {Kostantinos Koukouvis and
Roberto Alca{\~{n}}iz Cubero and
Patrizio Pelliccione},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {{A/B} Testing in E-commerce Sales Processes},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {133--148},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_10},
doi = {10.1007/978-3-319-45892-2\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KoukouvisCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MaceMM16,
author = {John C. Mace and
Charles Morisset and
Aad P. A. van Moorsel},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {{WRAD:} Tool Support for Workflow Resiliency Analysis and Design},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {79--87},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_6},
doi = {10.1007/978-3-319-45892-2\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MaceMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MallozziSP16,
author = {Piergiuseppe Mallozzi and
Massimo Sciancalepore and
Patrizio Pelliccione},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Formal Verification of the On-the-Fly Vehicle Platooning Protocol},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {62--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_5},
doi = {10.1007/978-3-319-45892-2\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MallozziSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MartinR16,
author = {Luke J. W. Martin and
Alexander B. Romanovsky},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {A Formal Approach to Designing Reliable Advisory Systems},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {28--42},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_3},
doi = {10.1007/978-3-319-45892-2\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MartinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/PradhanDG16,
author = {Subhav Pradhan and
Abhishek Dubey and
Aniruddha S. Gokhale},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Designing a Resilient Deployment and Reconfiguration Infrastructure
for Remotely Managed Cyber-Physical Systems},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {88--104},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_7},
doi = {10.1007/978-3-319-45892-2\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/PradhanDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RacordonB16,
author = {Dimitri Racordon and
Didier Buchs},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Verifying Multi-core Schedulability with Data Decision Diagrams},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {45--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_4},
doi = {10.1007/978-3-319-45892-2\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/RacordonB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/WangGM16,
author = {Rui Wang and
J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {A Framework for Assessing Safety Argumentation Confidence},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {3--12},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_1},
doi = {10.1007/978-3-319-45892-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/WangGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2016,
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2},
doi = {10.1007/978-3-319-45892-2},
isbn = {978-3-319-45891-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/AutiliSGPT15,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Alexander Perucci and
Massimo Tivoli},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Biological Immunity and Software Resilience: Two Faces of the Same
Coin?},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {1--15},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_1},
doi = {10.1007/978-3-319-23129-7\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/AutiliSGPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BasileCGGM15,
author = {Davide Basile and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Stefania Gnesi and
Franco Mazzanti},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Stochastic Model-Based Analysis of Energy Consumption in a Rail Road
Switch Heating System},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {82--98},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_7},
doi = {10.1007/978-3-319-23129-7\_7},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BasileCGGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BozokiKP15,
author = {Szil{\'{a}}rd Boz{\'{o}}ki and
G{\'{a}}bor Koronka and
Andr{\'{a}}s Pataricza},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Risk Assessment Based Cloudification},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {71--81},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_6},
doi = {10.1007/978-3-319-23129-7\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BozokiKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GenshRY15,
author = {Rem Gensh and
Alexander B. Romanovsky and
Alex Yakovlev},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Engineering Cross-Layer Fault Tolerance in Many-Core Systems},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {62--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_5},
doi = {10.1007/978-3-319-23129-7\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/GenshRY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HollerRIK15,
author = {Andrea H{\"{o}}ller and
Tobias Rauter and
Johannes Iber and
Christian Kreiner},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Towards Dynamic Software Diversity for Resilient Redundant Embedded
Systems},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {16--30},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_2},
doi = {10.1007/978-3-319-23129-7\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/HollerRIK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KlikovitsLGB15,
author = {Stefan Klikovits and
David P. Y. Lawrence and
Manuel Gonzalez{-}Berges and
Didier Buchs},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Considering Execution Environment Resilience: {A} White-Box Approach},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {46--61},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_4},
doi = {10.1007/978-3-319-23129-7\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KlikovitsLGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MaceMM15,
author = {John C. Mace and
Charles Morisset and
Aad P. A. van Moorsel},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Resiliency Variance in Workflows with Choice},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {128--143},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_10},
doi = {10.1007/978-3-319-23129-7\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MaceMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/SilvestreSKK15,
author = {Guthemberg Silvestre and
Carla Sauvanaud and
Mohamed Ka{\^{a}}niche and
Karama Kanoun},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Tejo: {A} Supervised Anomaly Detection Scheme for NewSQL Databases},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {114--127},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_9},
doi = {10.1007/978-3-319-23129-7\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/SilvestreSKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/SporerMHK15,
author = {Harald Sporer and
Georg Macher and
Andrea H{\"{o}}ller and
Christian Kreiner},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Bidirectional Crosslinking of System and Software Modeling in the
Automotive Domain},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {99--113},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_8},
doi = {10.1007/978-3-319-23129-7\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/SporerMHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TothVM15,
author = {Tam{\'{a}}s T{\'{o}}th and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
Istv{\'{a}}n Majzik},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {A Decomposition Method for the Verification of a Real-Time Safety-Critical
Protocol},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {31--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_3},
doi = {10.1007/978-3-319-23129-7\_3},
timestamp = {Mon, 02 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/TothVM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2015,
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7},
doi = {10.1007/978-3-319-23129-7},
isbn = {978-3-319-23128-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/AreiasAC14,
author = {Cristiana Areias and
Nuno Antunes and
Jo{\~{a}}o Carlos Cunha},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {On Applying {FMEA} to SOAs: {A} Proposal and Open Challenges},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {86--100},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_7},
doi = {10.1007/978-3-319-12241-0\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/AreiasAC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BostromHHWL14,
author = {Pontus Bostr{\"{o}}m and
Mikko Heikkil{\"{a}} and
Mikko Huova and
Marina Wald{\'{e}}n and
Matti Linjama},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Verification and Validation of a Pressure Control Unit for Hydraulic
Systems},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {101--115},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_8},
doi = {10.1007/978-3-319-12241-0\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/BostromHHWL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FlorioSB14,
author = {Vincenzo De Florio and
Hong Sun and
Chris Blondia},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Community Resilience Engineering: Reflections and Preliminary Contributions},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {1--8},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_1},
doi = {10.1007/978-3-319-12241-0\_1},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/FlorioSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HollerKPK14,
author = {Andrea H{\"{o}}ller and
Nermin Kajtazovic and
Christopher Preschern and
Christian Kreiner},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Formal Fault Tolerance Analysis of Algorithms for Redundant Systems
in Early Design Stages},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {71--85},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_6},
doi = {10.1007/978-3-319-12241-0\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/HollerKPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/IliasovPR14,
author = {Alexei Iliasov and
Roberto Palacin and
Alexander B. Romanovsky},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Advanced Modelling, Simulation and Verification for Future Traffic
Regulation Optimisation},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {131--138},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_10},
doi = {10.1007/978-3-319-12241-0\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/IliasovPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LaibinisKTDLK14,
author = {Linas Laibinis and
Dmitry M. Klionskiy and
Elena Troubitsyna and
Anatoly Dorokhov and
Johan Lilius and
Mikhail Kupriyanov},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Modelling Resilience of Data Processing Capabilities of {CPS}},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {55--70},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_5},
doi = {10.1007/978-3-319-12241-0\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/LaibinisKTDLK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LawrenceBW14,
author = {David P. Y. Lawrence and
Didier Buchs and
Armin Wellig},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Using Instrumentation for Quality Assessment of Resilient Software
in Embedded Systems},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {139--153},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_11},
doi = {10.1007/978-3-319-12241-0\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/LawrenceBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LipkaPP14,
author = {Richard Lipka and
Marek Paska and
Tomas Potuzak},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Simulation Testing and Model Checking: {A} Case Study Comparing these
Approaches},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {116--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_9},
doi = {10.1007/978-3-319-12241-0\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/LipkaPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MalavoltaMR14,
author = {Ivano Malavolta and
Henry Muccini and
V. Smrithi Rekha},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Enhancing Architecture Design Decisions Evolution with Group Decision
Making Principles},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {9--23},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_2},
doi = {10.1007/978-3-319-12241-0\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MalavoltaMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RuscioMP14,
author = {Davide Di Ruscio and
Ivano Malavolta and
Patrizio Pelliccione},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {The Role of Parts in the System Behaviour},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {24--39},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_3},
doi = {10.1007/978-3-319-12241-0\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/RuscioMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TurenneKGB14,
author = {Maxime Turenne and
Ali Kanso and
Abdelouahed Gherbi and
Ronan Barrett},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Automatic Generation of Description Files for Highly Available Services},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {40--54},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_4},
doi = {10.1007/978-3-319-12241-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/TurenneKGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/UnsalSAS14,
author = {Arda Ahmet {\"{U}}nsal and
G{\"{o}}rkem Sazara and
Baris Aktemur and
Hasan S{\"{o}}zer},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Adaptive Domain-Specific Service Monitoring},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {154--168},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_12},
doi = {10.1007/978-3-319-12241-0\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/UnsalSAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/UrbanicsGUHK14,
author = {G{\'{a}}bor Urbanics and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Bal{\'{a}}zs Urb{\'{a}}n and
J{\'{a}}nos Hartwig and
Imre Kocsis},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Combined Error Propagation Analysis and Runtime Event Detection in
Process-Driven Systems},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {169--183},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_13},
doi = {10.1007/978-3-319-12241-0\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/UrbanicsGUHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2014,
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0},
doi = {10.1007/978-3-319-12241-0},
isbn = {978-3-319-12240-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/serene/BeekMP12,
author = {Maurice H. ter Beek and
Henry Muccini and
Patrizio Pelliccione},
editor = {Paris Avgeriou},
title = {Assume-Guarantee Testing of Evolving Software Product Line Architectures},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {91--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_7},
doi = {10.1007/978-3-642-33176-3\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/BeekMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FayollasFNPD12,
author = {Camille Fayollas and
Jean{-}Charles Fabre and
David Navarre and
Philippe A. Palanque and
Yannick Deleris},
editor = {Paris Avgeriou},
title = {Fault-Tolerant Interactive Cockpits for Critical Applications: Overall
Approach},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {32--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_3},
doi = {10.1007/978-3-642-33176-3\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/FayollasFNPD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FerrariICS12,
author = {Alessio Ferrari and
Massimiliano Leone Itria and
Silvano Chiaradonna and
Giorgio Oronzo Spagnolo},
editor = {Paris Avgeriou},
title = {Model-Based Evaluation of the Availability of a {CBTC} System},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {165--179},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_12},
doi = {10.1007/978-3-642-33176-3\_12},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/FerrariICS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GorbenkoRKT12,
author = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko and
Olga Tarasyuk},
editor = {Paris Avgeriou},
title = {Dependability of Service-Oriented Computing: Time-Probabilistic Failure
Modelling},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {121--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_9},
doi = {10.1007/978-3-642-33176-3\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/GorbenkoRKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GulcuSA12,
author = {Koray G{\"{u}}lc{\"{u}} and
Hasan S{\"{o}}zer and
Baris Aktemur},
editor = {Paris Avgeriou},
title = {{FAS:} Introducing a Service for Avoiding Faults in Composite Services},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {106--120},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_8},
doi = {10.1007/978-3-642-33176-3\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/GulcuSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HamidGZG12,
author = {Brahim Hamid and
Jacob Geisel and
Adel Ziani and
David Gonz{\'{a}}lez},
editor = {Paris Avgeriou},
title = {Safety Lifecycle Development Process Modeling for Embedded Systems
- Example of Railway Domain},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {63--75},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_5},
doi = {10.1007/978-3-642-33176-3\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/HamidGZG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HamidaBCALL12,
author = {Amira Ben Hamida and
Antonia Bertolino and
Antonello Calabr{\`{o}} and
Guglielmo De Angelis and
Nelson Lago and
Julien Lesbegueries},
editor = {Paris Avgeriou},
title = {Monitoring Service Choreographies from Multiple Sources},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {134--149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_10},
doi = {10.1007/978-3-642-33176-3\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/HamidaBCALL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KhanR12,
author = {Yasir Imtiaz Khan and
Matteo Risoldi},
editor = {Paris Avgeriou},
title = {Language Enrichment for Resilient {MDE}},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {76--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_6},
doi = {10.1007/978-3-642-33176-3\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KhanR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LilisS12,
author = {Yannis Lilis and
Anthony Savidis},
editor = {Paris Avgeriou},
title = {Implementing Reusable Exception Handling Patterns with Compile-Time
Metaprogramming},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {1--15},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_1},
doi = {10.1007/978-3-642-33176-3\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/LilisS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MasciFCHB12,
author = {Paolo Masci and
Dominic Furniss and
Paul Curzon and
Michael D. Harrison and
Ann Blandford},
editor = {Paris Avgeriou},
title = {Supporting Field Investigators with {PVS:} {A} Case Study in the Healthcare
Domain},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {150--164},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_11},
doi = {10.1007/978-3-642-33176-3\_11},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MasciFCHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/PereverzevaTL12,
author = {Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
editor = {Paris Avgeriou},
title = {A Case Study in Formal Development of a Fault Tolerant Multi-robotic
System},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {16--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_2},
doi = {10.1007/978-3-642-33176-3\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/PereverzevaTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ProkhorovaT12,
author = {Yuliya Prokhorova and
Elena Troubitsyna},
editor = {Paris Avgeriou},
title = {Linking Modelling in Event-B with Safety Cases},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {47--62},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_4},
doi = {10.1007/978-3-642-33176-3\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/ProkhorovaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2012,
editor = {Paris Avgeriou},
title = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3},
doi = {10.1007/978-3-642-33176-3},
isbn = {978-3-642-33175-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BeekMP11,
author = {Maurice H. ter Beek and
Henry Muccini and
Patrizio Pelliccione},
editor = {Elena Troubitsyna},
title = {Guaranteeing Correct Evolution of Software Product Lines: Setting
Up the Problem},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {100--105},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_9},
doi = {10.1007/978-3-642-24124-6\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/BeekMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BertolinoCLMS11,
author = {Antonia Bertolino and
Antonello Calabr{\`{o}} and
Francesca Lonetti and
Antinisca Di Marco and
Antonino Sabetta},
editor = {Elena Troubitsyna},
title = {Towards a Model-Driven Infrastructure for Runtime Monitoring},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {130--144},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_13},
doi = {10.1007/978-3-642-24124-6\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BertolinoCLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BuchsHM11,
author = {Didier Buchs and
Steve Hostettler and
Alexis Marechal},
editor = {Elena Troubitsyna},
title = {Experience-Based Model Refinement},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {40--47},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_4},
doi = {10.1007/978-3-642-24124-6\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BuchsHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Crnkovic11,
author = {Ivica Crnkovic},
editor = {Elena Troubitsyna},
title = {Predictability and Evolution in Resilient Systems},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {113--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_11},
doi = {10.1007/978-3-642-24124-6\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Crnkovic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GorbenkoKTR11,
author = {Anatoliy Gorbenko and
Vyacheslav S. Kharchenko and
Olga Tarasyuk and
Alexander B. Romanovsky},
editor = {Elena Troubitsyna},
title = {Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {145--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_14},
doi = {10.1007/978-3-642-24124-6\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/GorbenkoKTR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Iliasov11,
author = {Alexei Iliasov},
editor = {Elena Troubitsyna},
title = {Use Case Scenarios as Verification Conditions: Event-B/Flow Approach},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {9--23},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_2},
doi = {10.1007/978-3-642-24124-6\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Iliasov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MalavoltaMR11,
author = {Ivano Malavolta and
Henry Muccini and
V. Smrithi Rekha},
editor = {Elena Troubitsyna},
title = {Supporting Architectural Design Decisions Evolution through Model
Driven Engineering},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {63--77},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_6},
doi = {10.1007/978-3-642-24124-6\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MalavoltaMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MasciNG11,
author = {Paolo Masci and
Nicola Nostro and
Felicita Di Giandomenico},
editor = {Elena Troubitsyna},
title = {On Enabling Dependability Assurance in Heterogeneous Networks through
Automated Model-Based Analysis},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {78--92},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_7},
doi = {10.1007/978-3-642-24124-6\_7},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MasciNG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/McQueenG11,
author = {Miles McQueen and
Annarita Giani},
editor = {Elena Troubitsyna},
title = {'Known Secure Sensor Measurements' for Critical Infrastructure Systems:
Detecting Falsification of System State},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {156--163},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_15},
doi = {10.1007/978-3-642-24124-6\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/McQueenG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MontagnaVRPS11,
author = {Sara Montagna and
Mirko Viroli and
Matteo Risoldi and
Danilo Pianini and
Giovanna Di Marzo Serugendo},
editor = {Elena Troubitsyna},
title = {Self-organising Pervasive Ecosystems: {A} Crowd Evacuation Example},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {115--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_12},
doi = {10.1007/978-3-642-24124-6\_12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MontagnaVRPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MustafizK11,
author = {Sadaf Mustafiz and
J{\"{o}}rg Kienzle},
editor = {Elena Troubitsyna},
title = {Idealized Fault-Tolerant Components in Requirements Engineering},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {106--112},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_10},
doi = {10.1007/978-3-642-24124-6\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MustafizK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Popov11,
author = {Peter T. Popov},
editor = {Elena Troubitsyna},
title = {Preliminary Interdependency Analysis {(PIA):} Method and Tool Support},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {1--8},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_1},
doi = {10.1007/978-3-642-24124-6\_1},
timestamp = {Mon, 02 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Popov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Savidis11,
author = {Anthony Savidis},
editor = {Elena Troubitsyna},
title = {Supporting Cross-Language Exception Handling When Extending Applications
with Embedded Languages},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {93--99},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_8},
doi = {10.1007/978-3-642-24124-6\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Savidis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/StoicescuFR11,
author = {Miruna Stoicescu and
Jean{-}Charles Fabre and
Matthieu Roy},
editor = {Elena Troubitsyna},
title = {Architecting Resilient Computing Systems: Overall Approach and Open
Issues},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {48--62},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_5},
doi = {10.1007/978-3-642-24124-6\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/StoicescuFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TarasyukTL11,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
editor = {Elena Troubitsyna},
title = {Quantitative Verification of System Safety in Event-B},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {24--39},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_3},
doi = {10.1007/978-3-642-24124-6\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/TarasyukTL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2011,
editor = {Elena Troubitsyna},
title = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6},
doi = {10.1007/978-3-642-24124-6},
isbn = {978-3-642-24123-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/0001JBCND10,
author = {Jinfu Wang and
Peng Jiang and
John Bigham and
Bob Chew and
Milan Novkovic and
Ilesh Dattani},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Adding resilience to message oriented middleware},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {89--94},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401747},
doi = {10.1145/2401736.2401747},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/0001JBCND10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BertolinoMMIS10,
author = {Antonia Bertolino and
Antinisca Di Marco and
Fabio Martinelli and
Val{\'{e}}rie Issarny and
Rachid Saadi},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Dependability in dynamic, evolving and heterogeneous systems: the
connect approach},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {83--88},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401746},
doi = {10.1145/2401736.2401746},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BertolinoMMIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BroeninkKLJVP10,
author = {Jan F. Broenink and
Christian Kleijn and
Peter Gorm Larsen and
Dusko S. Jovanovic and
Marcel Verhoef and
Kenneth Pierce},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Design support and tooling for dependable embedded control software},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {77--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401745},
doi = {10.1145/2401736.2401745},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BroeninkKLJVP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FerrariPFG10,
author = {Alessio Ferrari and
Mario Papini and
Alessandro Fantechi and
Daniele Grasso},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {An industrial application of formal model based development: the Metr{\^{o}}
Rio {ATP} case},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {71--76},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401744},
doi = {10.1145/2401736.2401744},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/FerrariPFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HamoudaKK10,
author = {Ossama Hamouda and
Mohamed Ka{\^{a}}niche and
Karama Kanoun},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Availability modelling of a virtual black box for automotive systems},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {52--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401742},
doi = {10.1145/2401736.2401742},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/HamoudaKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HarrisonAZ10,
author = {Neil B. Harrison and
Paris Avgeriou and
Uwe Zdun},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {On the impact of fault tolerance tactics on architecture patterns},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {12--21},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401738},
doi = {10.1145/2401736.2401738},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/HarrisonAZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LopatkinIR10,
author = {Ilya Lopatkin and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {On fault tolerance reuse during refinement},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {22--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401739},
doi = {10.1145/2401736.2401739},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/LopatkinIR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Martin-Guillerez10,
author = {Damien Martin{-}Guillerez and
J{\'{e}}r{\'{e}}mie Guiochet and
David Powell and
Christophe Zanon},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {A UML-based method for risk analysis of human-robot interactions},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {32--41},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401740},
doi = {10.1145/2401736.2401740},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Martin-Guillerez10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RodriguezMB10,
author = {Ricardo J. Rodr{\'{\i}}guez and
Jos{\'{e}} Merseguer and
Simona Bernardi},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Modelling and analysing resilience as a security issue within {UML}},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {42--51},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401741},
doi = {10.1145/2401736.2401741},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/RodriguezMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/SlattenKH10,
author = {Vidar Sl{\aa}tten and
Frank Alexander Kraemer and
Peter Herrmann},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Towards a model-driven method for reliable applications: from ideal
to realistic transmission semantics},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {2--11},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401737},
doi = {10.1145/2401736.2401737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/SlattenKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TarasyukTL10,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Augmenting formal development of control systems with quantitative
reliability assessment},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {61--70},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401743},
doi = {10.1145/2401736.2401743},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/TarasyukTL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2010,
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736},
doi = {10.1145/2401736},
isbn = {978-1-4503-0289-0},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Barros08,
author = {Fernando J. Barros},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {An evolving hierarchical {\&} modular approach to resilient software},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {79--86},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479788},
doi = {10.1145/1479772.1479788},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/Barros08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/BhattacharyyaF08,
author = {Anirban Bhattacharyya and
John S. Fitzgerald},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Development of a formalism for modelling and analysis of dynamic reconfiguration
of dependable real-time systems: a technical diary},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {67--72},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479785},
doi = {10.1145/1479772.1479785},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/BhattacharyyaF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/CiraniFV08,
author = {Simone Cirani and
Natalya Fedotova and
Luca Veltri},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {A resilient architecture for DHT-based distributed collaborative environments},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {1--8},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479774},
doi = {10.1145/1479772.1479774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/CiraniFV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/EllenH08,
author = {Thorsten van Ellen and
Wilhelm Hasselbring},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Extended exceptions for contingencies},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {107--116},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479793},
doi = {10.1145/1479772.1479793},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/EllenH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FeliciMTR08,
author = {Massimo Felici and
Valentino Meduri and
Alessandra Tedeschi and
Carlo Riccucci},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Supporting resilience in air traffic management},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {61--66},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479783},
doi = {10.1145/1479772.1479783},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/FeliciMTR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/GorbenkoKTCR08,
author = {Anatoliy Gorbenko and
Vyacheslav S. Kharchenko and
Olga Tarasyuk and
Yuhui Chen and
Alexander B. Romanovsky},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {The threat of uncertainty in service-oriented architecture},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {49--54},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479781},
doi = {10.1145/1479772.1479781},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/GorbenkoKTCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HarrisonA08,
author = {Neil B. Harrison and
Paris Avgeriou},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Incorporating fault tolerance tactics in software architecture patterns},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {9--18},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479775},
doi = {10.1145/1479772.1479775},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/HarrisonA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HawthorneA08,
author = {James Hawthorne and
Richard Anthony},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {A reconfigurable component model using reflection},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {95--100},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479791},
doi = {10.1145/1479772.1479791},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/HawthorneA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Hayes08,
author = {Ian J. Hayes},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Towards reasoning about teleo-reactive programs for robust real-time
systems},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {87--94},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479789},
doi = {10.1145/1479772.1479789},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/Hayes08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/KovacsLMB08,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
Paolo Lollini and
Istv{\'{a}}n Majzik and
Andrea Bondavalli},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {An integrated framework for the dependability evaluation of distributed
mobile applications},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {29--38},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479778},
doi = {10.1145/1479772.1479778},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/KovacsLMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LaibinisTIR08,
author = {Linas Laibinis and
Elena Troubitsyna and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Formal development of cooperative exception handling for mobile agent
systems},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {39--48},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479779},
doi = {10.1145/1479772.1479779},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/LaibinisTIR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Lopatkin08,
author = {Ilya Lopatkin},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Resilience through dynamic reconfiguration in agent systems},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {101--106},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479792},
doi = {10.1145/1479772.1479792},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/Lopatkin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MasciMT08,
author = {Paolo Masci and
Henrique Moniz and
Alessandra Tedeschi},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Services for fault-tolerant conflict resolution in air traffic management},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {121--125},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479796},
doi = {10.1145/1479772.1479796},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/MasciMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MustafizKB08,
author = {Sadaf Mustafiz and
J{\"{o}}rg Kienzle and
Andrey Berlizev},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Addressing degraded service outcomes and exceptional modes of operation
in behavioural models},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {19--28},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479776},
doi = {10.1145/1479772.1479776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/MustafizKB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Payne08,
author = {Richard John Payne},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {{RPL:} a policy language for dynamic reconfiguration},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {73--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479786},
doi = {10.1145/1479772.1479786},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/Payne08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Romanovsky08,
author = {Alexander B. Romanovsky},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {{DEPLOY:} industrial deployment of advanced system engineering methods
for high productivity and dependability},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {117--119},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479795},
doi = {10.1145/1479772.1479795},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/Romanovsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ZenarosaS08,
author = {Gabriel L. Zenarosa and
Soumya Simanta},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Experiences in engineering active replication into a traditional three-tiered
client-server system},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {55--60},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479782},
doi = {10.1145/1479772.1479782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/ZenarosaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2008,
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-60558-275-7},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/2008.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.
retrieved on 2024-11-19 12:55 CET 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:
