Search dblp for Publications

export results for "toc:db/conf/serene/serene2017.bht:"

 download as .bib file

@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 = {Thu, 22 Feb 2018 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 = {Thu, 22 Feb 2018 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 = {Fri, 18 Aug 2017 01:00:00 +0200},
  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
               Mafjiul 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, 09 Apr 2021 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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics