Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/safecomp/BateK02,
  author       = {Iain Bate and
                  Tim Kelly},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Architectural Considerations in the Certification of Modular Systems},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {321--333},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_31},
  doi          = {10.1007/3-540-45732-1\_31},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BateK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BenerecettiPST02,
  author       = {Massimo Benerecetti and
                  Maurizio Panti and
                  Luca Spalazzi and
                  Simone Tacconi},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Verification of the {SSL/TLS} Protocol Using a Model Checkable Logic
                  of Belief and Time},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {126--138},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_14},
  doi          = {10.1007/3-540-45732-1\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BenerecettiPST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Bishop02,
  author       = {Peter G. Bishop},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Estimating Residual Faults from Code Coverage},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {163--174},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_17},
  doi          = {10.1007/3-540-45732-1\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Bishop02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BishopBCG02,
  author       = {Peter G. Bishop and
                  Robin E. Bloomfield and
                  Tim Clement and
                  Sofia Guerra},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Software Criticality Analysis of {COTS/SOUP}},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {198--211},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_20},
  doi          = {10.1007/3-540-45732-1\_20},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BishopBCG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BobbioCFGMP02,
  author       = {Andrea Bobbio and
                  Ester Ciancamerla and
                  Giuliana Franceschinis and
                  Rossano Gaeta and
                  Michele Minichino and
                  Luigi Portinale},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Methods of Increasing Modelling Power for Safety Analysis, Applied
                  to a Turbine Digital Control System},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {212--223},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_21},
  doi          = {10.1007/3-540-45732-1\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BobbioCFGMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BolognaH02,
  author       = {Sandro Bologna and
                  Erik Hollnagel},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Human-Computer System Dependability},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_1},
  doi          = {10.1007/3-540-45732-1\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BolognaH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BrederekeL02,
  author       = {Jan Bredereke and
                  Axel Lankenau},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {A Rigorous View of Mode Confusion},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {19--31},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_4},
  doi          = {10.1007/3-540-45732-1\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BrederekeL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/ChenMH02,
  author       = {Luping Chen and
                  John H. R. May and
                  Gordon Hughes},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Assessment of the Benefit of Redundant Systems},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {151--162},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_16},
  doi          = {10.1007/3-540-45732-1\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ChenMH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Dafelmair02,
  author       = {Ferdinand J. Dafelmair},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Survivability Strategy for a Security Critical Process},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {61--69},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_8},
  doi          = {10.1007/3-540-45732-1\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Dafelmair02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Droste02,
  author       = {Thomas Droste},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Redundant Data Acquisition in a Distributed Security Compound},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {53--60},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_7},
  doi          = {10.1007/3-540-45732-1\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Droste02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/FredriksenKGSOD02,
  author       = {Rune Fredriksen and
                  Monica Kristiansen and
                  Bj{\o}rn Axel Gran and
                  Ketil St{\o}len and
                  Tom Arthur Opperud and
                  Theodosis Dimitrakos},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {The {CORAS} Framework for a Model-Based Risk Management Process},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {94--105},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_11},
  doi          = {10.1007/3-540-45732-1\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/FredriksenKGSOD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/GribaudoHBTCM02,
  author       = {Marco Gribaudo and
                  Andr{\'{a}}s Horv{\'{a}}th and
                  Andrea Bobbio and
                  Enrico Tronci and
                  Ester Ciancamerla and
                  Michele Minichino},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Model-Checking Based on Fluid Petri Nets for the Temperature Control
                  System of the {ICARO} Co-generative Plant},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {273--283},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_27},
  doi          = {10.1007/3-540-45732-1\_27},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/GribaudoHBTCM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Heidtmann02,
  author       = {Klaus D. Heidtmann},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for
                  Reliability and Safety Evaluation},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {70--81},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_9},
  doi          = {10.1007/3-540-45732-1\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Heidtmann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Hollnagel02,
  author       = {Erik Hollnagel},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Dependability of Joint Human-Computer Systems},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {4--9},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_2},
  doi          = {10.1007/3-540-45732-1\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Hollnagel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/JacobsT02,
  author       = {Jef Jacobs and
                  Jos J. M. Trienekens},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Towards a Metrics Based Verification and Validation Maturity Model},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {175--185},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_18},
  doi          = {10.1007/3-540-45732-1\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/JacobsT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Knight02,
  author       = {John C. Knight},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Software Challenges in Aviation Systems},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {106--112},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_12},
  doi          = {10.1007/3-540-45732-1\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Knight02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/LanoCA02,
  author       = {Kevin Lano and
                  David Clark and
                  Kelly Androutsopoulos},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Safety and Security Analysis of Object-Oriented Models},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {82--93},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_10},
  doi          = {10.1007/3-540-45732-1\_10},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/LanoCA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Littlewood02,
  author       = {Bev Littlewood},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {On Diversity, and the Elusiveness of Independence},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {249--251},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_24},
  doi          = {10.1007/3-540-45732-1\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Littlewood02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/MohajeraniM02,
  author       = {MahdiReza Mohajerani and
                  Ali Moeini},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {An Approach to a New Network Security Architecture for Academic Environments},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {252--260},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_25},
  doi          = {10.1007/3-540-45732-1\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MohajeraniM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/OliveiraC02,
  author       = {{\'{I}}talo Romani de Oliveira and
                  Paulo S{\'{e}}rgio Cugnasca},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Checking Safe Trajectories of Aircraft Using Hybrid Automata},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {224--235},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_22},
  doi          = {10.1007/3-540-45732-1\_22},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/OliveiraC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/OrtmeierSTRHT02,
  author       = {Frank Ortmeier and
                  Gerhard Schellhorn and
                  Andreas Thums and
                  Wolfgang Reif and
                  Bernhard Hering and
                  Helmut Trappschuh},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Safety Analysis of the Height Control System for the Elbtunnel},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {296--308},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_29},
  doi          = {10.1007/3-540-45732-1\_29},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/OrtmeierSTRHT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Papadopoulos02,
  author       = {Yiannis Papadopoulos},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation
                  Model},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {236--248},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_23},
  doi          = {10.1007/3-540-45732-1\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Papadopoulos02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PaynterB02,
  author       = {Stephen Paynter and
                  Bob W. Born},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Analysing the Safety of a Software Development Process},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {186--197},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_19},
  doi          = {10.1007/3-540-45732-1\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PaynterB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Popov02,
  author       = {Peter T. Popov},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Reliability Assessment of Legacy Safety-Critical Systems Upgraded
                  with Off-the-Shelf Components},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {139--150},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_15},
  doi          = {10.1007/3-540-45732-1\_15},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Popov02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/RheeK02,
  author       = {Yoon{-}Jung Rhee and
                  Tai{-}Yun Kim},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Practical Solutions to Key Recovery Based on {PKI} in {IP} Security},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {44--52},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_6},
  doi          = {10.1007/3-540-45732-1\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/RheeK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/RodriguezCS02,
  author       = {Francisco Rodr{\'{\i}}guez and
                  Jos{\'{e}} Carlos Campelo and
                  Juan Jos{\'{e}} Serrano},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {A Watchdog Processor Architecture with Minimal Performance Overhead},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {261--272},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_26},
  doi          = {10.1007/3-540-45732-1\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/RodriguezCS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/RottkeHHH02,
  author       = {Thomas Rottke and
                  Denis Hatebur and
                  Maritta Heisel and
                  Monika Heiner},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {A Problem-Oriented Approach to Common Criteria Certification},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {334--346},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_32},
  doi          = {10.1007/3-540-45732-1\_32},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/RottkeHHH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Saridakis02,
  author       = {Titos Saridakis},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Dependability and Configurability: Partners or Competitors in Pervasive
                  Computing?},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {309--320},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_30},
  doi          = {10.1007/3-540-45732-1\_30},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Saridakis02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Servida02,
  author       = {Andrea Servida},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Dependability in the Information Society: Getting Ready for the {FP6}},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {10--18},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_3},
  doi          = {10.1007/3-540-45732-1\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Servida02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/SharmaDR02,
  author       = {Babita Sharma and
                  S. D. Dhodapkar and
                  S. Ramesh},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Assertion Checking Environment {(ACE)} for Formal Verification of
                  {C} Programs},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {284--295},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_28},
  doi          = {10.1007/3-540-45732-1\_28},
  timestamp    = {Thu, 07 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/SharmaDR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/VossSPWHR02,
  author       = {Alexander Vo{\ss} and
                  Roger Slack and
                  Rob Procter and
                  Robin Williams and
                  Mark Hartswood and
                  Mark Rouncefield},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Dependability as Ordinary Action},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {32--43},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_5},
  doi          = {10.1007/3-540-45732-1\_5},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/VossSPWHR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Zhang02,
  author       = {Wenhui Zhang},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {A Strategy for Improving the Efficiency of Procedure Verification},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {113--125},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_13},
  doi          = {10.1007/3-540-45732-1\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Zhang02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/safecomp/2002,
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1},
  doi          = {10.1007/3-540-45732-1},
  isbn         = {3-540-44157-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.