Search dblp for Publications

export results for "toc:db/conf/edcc/cars2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/edcc/BarbosaK10,
  author       = {Raul Barbosa and
                  Johan Karlsson},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Opportunities from standardization in automotive safety assessment},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {61--63},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772661},
  doi          = {10.1145/1772643.1772661},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/BarbosaK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/BertrandFT10,
  author       = {Dominique Bertrand and
                  S{\'{e}}bastien Faucou and
                  Yvon Trinquet},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Temporal isolation for the cohabitation of applications in automotive
                  embedded software},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {25--28},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772651},
  doi          = {10.1145/1772643.1772651},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/BertrandFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/BornFK10,
  author       = {Marc Born and
                  John M. Favaro and
                  Olaf Kath},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Application of {ISO} {DIS} 26262 in practice},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {3--6},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772645},
  doi          = {10.1145/1772643.1772645},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/BornFK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/CasseSBM10,
  author       = {Hugues Cass{\'{e}} and
                  Pascal Sainrat and
                  Cl{\'{e}}ment Ballabriga and
                  Marianne De Michiel},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Experimentation of {WCET} computation on both ends of automotive processor
                  range},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {67--70},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772663},
  doi          = {10.1145/1772643.1772663},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/CasseSBM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/FotsingGV10,
  author       = {Christian Fotsing and
                  Annie Geniet and
                  Guy Vidal{-}Naquet},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Tree scheduling versus sequential scheduling},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {71--74},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772664},
  doi          = {10.1145/1772643.1772664},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/FotsingGV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/FujiwaraESY10,
  author       = {Takaji Fujiwara and
                  Juan Manuel Estevez and
                  Yoshinobu Satoh and
                  Shigeru Yamada},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {A calculation method for software safety integrity level},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {31--34},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772653},
  doi          = {10.1145/1772643.1772653},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/FujiwaraESY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/HeuvelBVL10,
  author       = {Martijn M. H. P. van den Heuvel and
                  Reinder J. Bril and
                  Peter van de Velde and
                  Johan J. Lukkien},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Towards verification-based development of in-vehicle safety critical
                  software: a case study},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {35--38},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772654},
  doi          = {10.1145/1772643.1772654},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/HeuvelBVL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/IzerroukenKPT10,
  author       = {Nassima Izerrouken and
                  Olivier Ssi Yan Kai and
                  Marc Pantel and
                  Xavier Thirioux},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Use of formal methods for building qualified code generator for safer
                  automotive systems},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {53--56},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772659},
  doi          = {10.1145/1772643.1772659},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/IzerroukenKPT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/JohanssonBGLSS10,
  author       = {Rolf Johansson and
                  Stefan Bunzel and
                  Marc Graniou and
                  Henrik L{\"{o}}nn and
                  H{\aa}kan Sivencrona and
                  Friedhelm Stappert},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {A road-map for enabling system analysis of AUTOSAR-based systems},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {21--24},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772650},
  doi          = {10.1145/1772643.1772650},
  timestamp    = {Mon, 25 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/JohanssonBGLSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/JouvrayCFRMC10,
  author       = {Christophe Jouvray and
                  Gr{\'{e}}goire Chartier and
                  Nicolas Fran{\c{c}}ois and
                  Ismael Ripoll and
                  Miguel Masmano and
                  Alfons Crespo},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Enforcing trust in control automotive platforms},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {43--46},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772656},
  doi          = {10.1145/1772643.1772656},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/JouvrayCFRMC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/MitzlaffKS10,
  author       = {Martin Mitzlaff and
                  R{\"{u}}diger Kapitza and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Enabling mode changes in a distributed automotive system},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {75--78},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772665},
  doi          = {10.1145/1772643.1772665},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/MitzlaffKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/NordlanderJP10,
  author       = {Johan Nordlander and
                  Rolf Johansson and
                  Risat Mahmud Pathan},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Unambiguous semantics in automotive timing modeling},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {39--42},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772655},
  doi          = {10.1145/1772643.1772655},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/NordlanderJP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/PapadopoulosWRWCTSASLBJTTS10,
  author       = {Yiannis Papadopoulos and
                  Martin Walker and
                  Mark{-}Oliver Reiser and
                  Matthias Weber and
                  De{-}Jiu Chen and
                  Martin T{\"{o}}rngren and
                  David Servat and
                  Andreas Abele and
                  Friedhelm Stappert and
                  Henrik L{\"{o}}nn and
                  L. Berntsson and
                  Rolf Johansson and
                  Fulvio Tagliabo and
                  Sandra Torchiaro and
                  Anders Sandberg},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Automatic allocation of safety integrity levels},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {7--10},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772646},
  doi          = {10.1145/1772643.1772646},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/PapadopoulosWRWCTSASLBJTTS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/Peraldi-FratiA10,
  author       = {Marie{-}Agn{\`{e}}s Peraldi{-}Frati and
                  Arnaud Albinet},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Requirement traceability in safety critical systems},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {11--14},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772647},
  doi          = {10.1145/1772643.1772647},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/Peraldi-FratiA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/SchieferGH10,
  author       = {Artur Schiefer and
                  Volker Gruhn and
                  Ruslan Hrushchak},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {{VESBA:} a middleware oriented architecture for virtualized embedded
                  systems},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {47--50},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772657},
  doi          = {10.1145/1772643.1772657},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/SchieferGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/SchneiderT10,
  author       = {Daniel Schneider and
                  Mario Trapp},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Conditional safety certificates in open systems},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {57--60},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772660},
  doi          = {10.1145/1772643.1772660},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/SchneiderT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/StilkerichLS10,
  author       = {Michael Stilkerich and
                  Daniel Lohmann and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Memory protection at option},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {17--20},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772649},
  doi          = {10.1145/1772643.1772649},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/StilkerichLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/edcc/2010cars,
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  publisher    = {{ACM}},
  year         = {2010},
  isbn         = {978-1-60558-915-2},
  timestamp    = {Mon, 07 Jun 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/2010cars.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.