Search dblp for Publications

export results for "toc:db/conf/safecomp/safecomp2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/safecomp/0001JK16,
  author       = {Matthias Volk and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces
                  Fast and Synthesise Failure Rates},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {253--265},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_20},
  doi          = {10.1007/978-3-319-45477-1\_20},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/0001JK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AlajramiGSRI16,
  author       = {Sami Alajrami and
                  Barbara Gallina and
                  Irfan Sljivo and
                  Alexander B. Romanovsky and
                  Petter Isberg},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Towards Cloud-Based Enactment of Safety-Related Processes},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {309--321},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_24},
  doi          = {10.1007/978-3-319-45477-1\_24},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AlajramiGSRI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AliabadiP16,
  author       = {Maryam Raiyat Aliabadi and
                  Karthik Pattabiraman},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {{FIDL:} {A} Fault Injection Description Language for Compiler-Based
                  {SFI} Tools},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {12--23},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_2},
  doi          = {10.1007/978-3-319-45477-1\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AliabadiP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AnielloCCFQR16,
  author       = {Leonardo Aniello and
                  Claudio Ciccotelli and
                  Marcello Cinque and
                  Flavio Frattini and
                  Leonardo Querzoni and
                  Stefano Russo},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Automatic Invariant Selection for Online Anomaly Detection},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {172--183},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_14},
  doi          = {10.1007/978-3-319-45477-1\_14},
  timestamp    = {Wed, 22 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/AnielloCCFQR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AskarpourMRV16,
  author       = {Mehrnoosh Askarpour and
                  Dino Mandrioli and
                  Matteo Rossi and
                  Federico Vicentini},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {{SAFER-HRC:} Safety Analysis Through Formal vERification in Human-Robot
                  Collaboration},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {283--295},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_22},
  doi          = {10.1007/978-3-319-45477-1\_22},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AskarpourMRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BackstromBHKK16,
  author       = {Ola B{\"{a}}ckstr{\"{o}}m and
                  Yuliya Butkova and
                  Holger Hermanns and
                  Jan Krc{\'{a}}l and
                  Pavel Krc{\'{a}}l},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Effective Static and Dynamic Fault Tree Analysis},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {266--280},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_21},
  doi          = {10.1007/978-3-319-45477-1\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BackstromBHKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BosBT16,
  author       = {Victor Bos and
                  Harold Bruintjes and
                  Stefano Tonetta},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Catalogue of System and Software Properties},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {88--101},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_8},
  doi          = {10.1007/978-3-319-45477-1\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BosBT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CappartS16,
  author       = {Quentin Cappart and
                  Pierre Schaus},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {A Dedicated Algorithm for Verification of Interlocking Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_7},
  doi          = {10.1007/978-3-319-45477-1\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CappartS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Clausing0DD16,
  author       = {Robert Clausing and
                  Robert Fischer and
                  Jana Dittmann and
                  Yongjian Ding},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Your Industrial Facility and Its {IP} Address: {A} First Approach
                  for Cyber-Physical Attack Modeling},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {201--212},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_16},
  doi          = {10.1007/978-3-319-45477-1\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Clausing0DD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DenneyP16,
  author       = {Ewen Denney and
                  Ganesh J. Pai},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Composition of Safety Argument Patterns},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {51--63},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_5},
  doi          = {10.1007/978-3-319-45477-1\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DenneyP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DureuilPPLCC16,
  author       = {Louis Dureuil and
                  Guillaume Petiot and
                  Marie{-}Laure Potet and
                  Thanh{-}Ha Le and
                  Aude Crohen and
                  Philippe de Choudens},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {{FISSC:} {A} Fault Injection and Simulation Secure Collection},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {3--11},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_1},
  doi          = {10.1007/978-3-319-45477-1\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/DureuilPPLCC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ExcoffonFL16,
  author       = {William Excoffon and
                  Jean{-}Charles Fabre and
                  Micha{\"{e}}l Lauer},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Towards Modelling Adaptive Fault Tolerance for Resilient Computing
                  Analysis},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {159--171},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_13},
  doi          = {10.1007/978-3-319-45477-1\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ExcoffonFL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/FielderLH16,
  author       = {Andrew Fielder and
                  Tingting Li and
                  Chris Hankin},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Modelling Cost-Effectiveness of Defenses in Industrial Control Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {187--200},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_15},
  doi          = {10.1007/978-3-319-45477-1\_15},
  timestamp    = {Wed, 20 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/FielderLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HardinSBPO16,
  author       = {David S. Hardin and
                  Konrad Slind and
                  Mark Bortz and
                  James Potts and
                  Scott Owens},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {A High-Assurance, High-Performance Hardware-Based Cross-Domain System},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {102--113},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_9},
  doi          = {10.1007/978-3-319-45477-1\_9},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HardinSBPO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HawkinsRK16,
  author       = {Richard Hawkins and
                  Thomas Richardson and
                  Tim Kelly},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Using Process Models in System Assurance},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {27--38},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_3},
  doi          = {10.1007/978-3-319-45477-1\_3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HawkinsRK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JamthagenLH16,
  author       = {Christopher J{\"{a}}mthagen and
                  Patrik Lantz and
                  Martin Hell},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Exploiting Trust in Deterministic Builds},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {238--249},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_19},
  doi          = {10.1007/978-3-319-45477-1\_19},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/JamthagenLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KnightR16,
  author       = {John C. Knight and
                  Jonathan C. Rowanhill},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {The Indispensable Role of Rationale in Safety Standards},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {39--50},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_4},
  doi          = {10.1007/978-3-319-45477-1\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KnightR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MacherABK16,
  author       = {Georg Macher and
                  Eric Armengaud and
                  Eugen Brenner and
                  Christian Kreiner},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {A Review of Threat Analysis and Risk Assessment Methods in the Automotive
                  Context},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {130--141},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_11},
  doi          = {10.1007/978-3-319-45477-1\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MacherABK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MallyaPALW16,
  author       = {Archana Mallya and
                  Vera Pantelic and
                  Morayo Adedjouma and
                  Mark Lawford and
                  Alan Wassyng},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Using {STPA} in an {ISO} 26262 Compliant Process},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {117--129},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_10},
  doi          = {10.1007/978-3-319-45477-1\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MallyaPALW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PuysP016,
  author       = {Maxime Puys and
                  Marie{-}Laure Potet and
                  Pascal Lafourcade},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Formal Analysis of Security Properties on the {OPC-UA} {SCADA} Protocol},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {67--75},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_6},
  doi          = {10.1007/978-3-319-45477-1\_6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/PuysP016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SilvaV16,
  author       = {Nuno Silva and
                  Marco Vieira},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Adapting the Orthogonal Defect Classification Taxonomy to the Space
                  Domain},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {296--308},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_23},
  doi          = {10.1007/978-3-319-45477-1\_23},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/SilvaV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TroubitsynaLPKI16,
  author       = {Elena Troubitsyna and
                  Linas Laibinis and
                  Inna Pereverzeva and
                  Tuomas Kuismin and
                  Dubravka Ilic and
                  Timo Latvala},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Towards Security-Explicit Formal Modelling of Safety-Critical Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {213--225},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_17},
  doi          = {10.1007/978-3-319-45477-1\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/TroubitsynaLPKI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ZanettiJPP16,
  author       = {Marcelo Zanetti and
                  Edgard Jamhour and
                  Marcelo Eduardo Pellenz and
                  Manoel Camillo Penna},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {A New SVM-Based Fraud Detection Model for {AMI}},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {226--237},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_18},
  doi          = {10.1007/978-3-319-45477-1\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ZanettiJPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ZoppiCB16,
  author       = {Tommaso Zoppi and
                  Andrea Ceccarelli and
                  Andrea Bondavalli},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Context-Awareness to Improve Anomaly Detection in Dynamic Service
                  Oriented Architectures},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {145--158},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_12},
  doi          = {10.1007/978-3-319-45477-1\_12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ZoppiCB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016,
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1},
  doi          = {10.1007/978-3-319-45477-1},
  isbn         = {978-3-319-45476-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics