Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/safecomp/ArarKKR13,
  author       = {Chafik Arar and
                  Hamoudi Kalla and
                  Salim Kalla and
                  Hocine Riadh},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded
                  Systems},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848542},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ArarKKR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Bessling13,
  author       = {Sara Bessling},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Towards Failure Models and Error Propagation in Product Lines},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848617},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Bessling13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BruckmullerKK13,
  author       = {Felix Bruckm{\"{u}}ller and
                  Erwin Krister and
                  Wilfried Kubinger},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {FlexRay demonstrator for certification},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848645},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BruckmullerKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HeikkilaDK13,
  author       = {Tapio Heikkil{\"{a}} and
                  Lars Dalgaard and
                  Jukka Koskinen},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Designing Autonomous Robot Systems - Evaluation of the {R3-COP} Decision
                  Support System Approach},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848634},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HeikkilaDK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HerznerMZ13,
  author       = {Wolfgang Herzner and
                  Markus Murschitz and
                  Oliver Zendel},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Model-based Test-Case Generation for Testing Robustness of Vision
                  Components of Robotic Systems},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848601},
  timestamp    = {Fri, 18 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/HerznerMZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HerznerS13,
  author       = {Wolfgang Herzner and
                  Erwin Schoitsch},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {{R3-COP} Resilient Reasoning Robotic Co-operating Systems},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848598},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HerznerS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/HoranyiMM13,
  author       = {Gergo Hor{\'{a}}nyi and
                  Zolt{\'{a}}n Micskei and
                  Istv{\'{a}}n Majzik},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Scenario-based Automated Evaluation of Test Traces of Autonomous Systems},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848607},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/HoranyiMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KleppeS13,
  author       = {Adam Leon Kleppe and
                  Amund Skavhaug},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Obstacle detection and mapping in low-cost, low-power multi-robot
                  systems using an Inverted Particle Filter},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00849817},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KleppeS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/KucisZZH13,
  author       = {Michal Kucis and
                  Pavel Zemc{\'{\i}}k and
                  Oliver Zendel and
                  Wolfgang Herzner},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Overview of Simulation of Video-Camera Effects for Robotic Systems
                  in {R3-COP}},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848628},
  timestamp    = {Fri, 18 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/KucisZZH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/LillS13,
  author       = {Raimar Lill and
                  Francesca Saglietti},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Model-based Testing of Cooperating Robotic Systems using Coloured
                  Petri Nets},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848597},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LillS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/OdegaardS13,
  author       = {Kjell Arne {\O}degaard and
                  Amund Skavhaug},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Simple Methods for Error Detection and Correction for Low-Cost Nano
                  Satellites},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848615},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/OdegaardS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/RothL13,
  author       = {Michael Roth and
                  Peter Liggesmeyer},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Modeling and Analysis of Safety-Critical Cyber Physical Systems using
                  State/Event Fault Trees},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848640},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/RothL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SteinerL13,
  author       = {Max Steiner and
                  Peter Liggesmeyer},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {Combination of Safety and Security Analysis - Finding Security Problems
                  That Threaten The Safety of a System},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848604},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SteinerL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/WestmanN13,
  author       = {Jonas Westman and
                  Mattias Nyberg},
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {A Reference Example on the Specification of Safety Requirements using
                  {ISO} 26262},
  booktitle    = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS/hal-00848610},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/WestmanN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/safecomp/2013decs,
  editor       = {Erwin Schoitsch and
                  Amund Skavhaug},
  title        = {{SAFECOMP} 2013 - Workshop {DECS} {(ERCIM/EWICS} Workshop on Dependable
                  Embedded and Cyber-physical Systems) of the 32nd International Conference
                  on Computer Safety, Reliability and Security, Toulouse, France, 2013},
  publisher    = {{HAL}},
  year         = {2013},
  url          = {http://hal.archives-ouvertes.fr/view\_by\_stamp.php?label=SAFECOMP2013-DECS\&action\_todo=browse\_byDate},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2013decs.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.