Prof. Dr. Jan Jürjens - Publications by topic
Dependable Systems

Disclaimer

• D. Zaitsev, J. Jürjens: Programming in Sleptsov Net Language for Systems Control. In: Advances in Mechanical Engineering, 2016.
  @InProceedings{ame16, author = {D.~Zaitsev and J.~{J}{\"u}{r}jens}, title = {Programming in Sleptsov Net Language for Systems Control}, booktitle = {Advances in Mechanical Engineering}, year = {2016}, keywords = {dependability, dependableSystems}, }

   BibTeX 
• M. S. Rahman, M. S. Sadi, S. Ahammed, J. Jürjens: Soft Error Tolerance using HVDD: Horizontal-Vertical-Double-Bit Diagonal Parity Method. In: International Conference on Electrical Engineering and Information Communication Technology (ICEEICT), IEEE, 2015.
  @InProceedings{iceeict15RSAJ, author = {M. S.~Rahman and M. S.~Sadi and S.~Ahammed and J.~{J}{\"u}{r}jens}, title = {Soft Error Tolerance using {HVDD}: Horizontal-Vertical-Double-Bit Diagonal Parity Method}, booktitle = {International Conference on Electrical Engineering and Information Communication Technology (ICEEICT)}, OPTpages = {}, year = {2015}, organization = {IEEE}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/iceeict15RSAJ.pdf:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   preprint 
• M. S. Sadi, M. N. Uddin, M. M. R. Khan, J. Jürjens: Mitigating Soft Error Risks through Protecting Critical Variables and Blocks. In: International Conference on Computer Science, Engineering & Applications (ICCSEA'11), Springer, Communications in Computer and Information Science, vol. 154, pp. 137-145, 2011.
  @InProceedings{iccsea11SUKJ, author = {M. S.~Sadi and M. N.~Uddin and M. M. R.~Khan and J.~{J}{\"u}{r}jens}, title = {Mitigating Soft Error Risks through Protecting Critical Variables and Blocks}, booktitle = {International Conference on Computer Science, Engineering \& Applications (ICCSEA'11)}, year = {2011}, pages = {137--145}, volume = {154}, series = {Communications in Computer and Information Science}, publisher = {Springer}, DOI = {http://arxiv.org/abs/1110.3969}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/iccsea11SUKJ.pdf:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-642-21153-9_13:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   DOI   preprint   SpringerLink 
• M. S. Sadi, D. G. Myers, C. O. Sanchez, J. Jürjens: Component criticality analysis to minimize soft errors risk. In: International Journal of Computer Systems Science & Engineering, vol. 25, no. 5, pp. 23-37, 2010.
  @Article{ijcsse10SMSJ, author = {M. S.~Sadi and D. G.~Myers and C. O.~Sanchez and J.~{J}{\"u}{r}jens}, title = {Component criticality analysis to minimize soft errors risk}, journal = {International Journal of Computer Systems Science \& Engineering}, year = {2010}, volume = {25}, number = {5}, pages = {23--37}, file = {preprint:http\://rgse.uni-koblenz.de/web/pages/people/juerjens/publications/papers/ijcsse10SMSJ.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {dependability, dependableSystems}, }

   BibTeX   preprint   dblp 
• J. Jürjens: Security and Dependability Engineering. In: Springer Lecture Notes in Computer Science pp. 21-36 Security and dependability for Ambient Intelligence, 2009. Invited chapter.
  @InCollection{sde09, author = {J.~{J}{\"u}{r}jens}, title = {Security and Dependability Engineering}, booktitle = {Security and dependability for Ambient Intelligence}, year = {2009}, number = {3655}, series = {Lecture Notes in Computer Science}, pages = {21--36}, publisher = {Springer}, note = {Invited chapter}, crossref = {DBLP:series/ais/45}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/jurjens2.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-0-387-88775-3_2:URL}, keywords = {invitedBookChapters, dependableSystems}, }

   BibTeX   preprint   dblp   SpringerLink 
• M. S. Sadi, D. G. Myers, C. Ortega, J. Jürjens: A Novel Approach to Minimizing the Risks of Soft Errors in Mobile and Ubiquitous Systems. In: IEEE TENCON, Institute of Electrical and Electronics Engineers, 2009.
  @InProceedings{anamr09, author = {M. S.~Sadi and D. G.~Myers and C.~Ortega and J.~{J}{\"u}{r}jens}, title = {A Novel Approach to Minimizing the Risks of Soft Errors in Mobile and Ubiquitous Systems}, booktitle = {IEEE TENCON}, year = {2009}, organization = {Institute of Electrical and Electronics Engineers}, DOI = {http://doi.org/10.1109/TENCON.2009.5395903}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/tencon09.pdf:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   DOI   preprint 
• J. Jürjens, D. Trachtenherz, D. Reiss: Model-based Quality Assurance of Automotive Software. In: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (Models 2008), pp. 858-873, ACM/Institute of Electrical and Electronics Engineers, 2008.
  @InProceedings{mbqaas08, author = {J.~{J}{\"u}{r}jens and D.~Trachtenherz and D.~Reiss}, title = {Model-based Quality Assurance of Automotive Software}, booktitle = {ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (Models 2008)}, year = {2008}, volume = {5301}, pages = {858--873}, organization = {ACM/Institute of Electrical and Electronics Engineers}, crossref = {DBLP:conf/models/2008}, file = {experimental data:http\://rgse.uni-koblenz.de/jj/publications/experiments/autoqa:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/models08talk.pdf:URL;preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/models08d.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-540-87875-9_59:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   experimental data   slides   preprint   dblp   SpringerLink 
• J. Jürjens: Model-based vs. Code-based Verification for Critical Systems. In: Models 2008 tutorial, 2008.
  @InProceedings{mbcbvcs08, author = {J.~{J}{\"u}{r}jens}, title = {Model-based vs. Code-based Verification for Critical Systems}, booktitle = {Models 2008 tutorial}, year = {2008}, file = {slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/models08tut_handout.pdf:URL}, keywords = {atScientificConferences, tutorial, dependableSystems}, URL = {http://www.irit.fr/models/tutorials.html#CS}, }

   BibTeX   URL   slides 
• J. Jürjens: Quality Assurance for Security-Critical Systems. In: 13th Software & Systems Quality Conferences (SQC08), Congress Center Düsseldorf, Germany, 2008.
  @InProceedings{qascs08, author = {J.~{J}{\"u}{r}jens}, title = {Quality Assurance for Security-Critical Systems}, booktitle = {13th Software \& Systems Quality Conferences (SQC08)}, year = {2008}, address = {Congress Center D{\"u}sseldorf, Germany}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sqc08talk.pdf:URL}, keywords = {industrialConferences, workshop, withIndustry, dependableSystems}, }

   BibTeX   slides 
• J. Jürjens: Compliance-driven Secure Software Quality Management. In: Software & Systems Quality Conference (SQC-UK 2007), London, 2./3. Oct, 2007.
  @InProceedings{sqs07ukJ, author = {J.~{J}{\"u}{r}jens}, title = {Compliance-driven Secure Software Quality Management}, booktitle = {Software \& Systems Quality Conference (SQC-UK 2007)}, year = {2007}, address = {London, 2./3. Oct}, keywords = {industrialConferences, dependableSystems, secureSoftwareEngineeringCompliance}, }

   BibTeX 
• J. Jürjens, Stefan Wagner: Component-Based Development of Dependable Systems with UML. In: Springer pp. 320-344 Component-Based Software Development for Embedded Systems -- An Overview on Current Research Trends, 2005
  @InCollection{cbdds05, author = {J.~{J}{\"u}{r}jens and Stefan Wagner}, title = {Component-Based Development of Dependable Systems with {UML}}, booktitle = {Component-Based Software Development for Embedded Systems -- An Overview on Current Research Trends}, year = {2005}, volume = {3778}, pages = {320--344}, publisher = {Springer}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/cbsd05.pdf:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11591962_16:URL}, keywords = {contributedBookChapters, dependableSystems}, }

   BibTeX   preprint   SpringerLink 
• J. Botaschanjan, J. Jürjens: Modeling and Analyzing Time-Constraints. In: 12th Annual IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, 2005.
  @InProceedings{matc05, author = {J.~Botaschanjan and J.~{J}{\"u}{r}jens}, title = {Modeling and Analyzing Time-Constraints}, booktitle = {12th Annual IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005)}, year = {2005}, address = {Greenbelt}, DOI = {10.1109/ECBS.2005.52}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/ecbs05bot.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   DOI   preprint   dblp 
• S. Wagner, J. Jürjens: Model-Based Identification of Fault-Prone Components. In: 5th European Dependable Computing Conference on Dependable Computing (EDCC-5), Springer Verlag, Lecture Notes in Computer Science, vol. 3463, pp. 435-452, 2005.
  @InProceedings{mbifpc05, author = {S.~Wagner and J.~{J}{\"u}{r}jens}, title = {Model-Based Identification of Fault-Prone Components}, booktitle = {5th European Dependable Computing Conference on Dependable Computing (EDCC-5)}, year = {2005}, volume = {3463}, series = {Lecture Notes in Computer Science}, pages = {435--452}, publisher = {Springer Verlag}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/edcc05.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11408901_32:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   preprint   dblp   SpringerLink 
• J. Jürjens, E. B. Fernandez, R. B. France, B. Rumpe (editors): Critical Systems Development with UML (CSDUML 2004), TU München Technical Report, no. TUM-I0317, 2004. UML 2004 satellite workshop proceedings.
  @Proceedings{csduml04, title = {{Critical Systems Development with UML (CSDUML 2004)}}, year = {2004}, editor = {J.~{J}{\"u}{r}jens and E. B.~Fernandez and R. B.~France and B.~Rumpe}, number = {TUM-I0317}, series = {TU M{\"u}nchen Technical Report}, note = {UML 2004 satellite workshop proceedings}, booktitle = {Critical Systems Development with UML (CSDUML 2004)}, keywords = {procs, dependableSystems}, }

   BibTeX 
• J. Jürjens: Model-driven engineering of dependable critical systems with UML. In: International Symposium on Software Reliability Engineering (ISSRE 2004), Saint-Malo, Bretagne, 2004. Tutorial.
  @InProceedings{mdedcs04, author = {J.~{J}{\"u}{r}jens}, title = {Model-driven engineering of dependable critical systems with {UML}}, booktitle = {International Symposium on Software Reliability Engineering (ISSRE 2004)}, year = {2004}, address = {Saint-Malo, Bretagne}, note = {Tutorial}, file = {announcement:http\://rgse.uni-koblenz.de/jj/csdumltut/History/issre04-ann.pdf:URL}, keywords = {atScientificConferences, tutorial, dependableSystems}, URL = {http://www.issre.org/2004/}, }

   BibTeX   URL   announcement 
• J. Romberg, J. Jürjens, G. Wimmel, O. Slotosch, G. Hahn: AUTOFOCUS and the MoDe Tool. In: Third International Conference on Application of Concurrency to System Design (ACSD), Guimaraes (Portugal), Institute of Electrical and Electronics Engineers, 2003.
  @InProceedings{automode03, author = {J.~Romberg and J.~{J}{\"u}{r}jens and G.~Wimmel and O.~Slotosch and G.~Hahn}, title = {AUTOFOCUS and the MoDe Tool}, booktitle = {Third International Conference on Application of Concurrency to System Design (ACSD)}, year = {2003}, address = {Guimaraes (Portugal)}, organization = {Institute of Electrical and Electronics Engineers}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/rombergj_modetool.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, DOI = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207727}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   DOI   preprint   dblp 
• J. Jürjens, J. Grünbauer: Critical Systems Development with UML: motive Case-study. In: 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2003), Lübeck (Germany), pp. 512-517, International Association for Computer and Information Science (ACIS), 2003.
  @InProceedings{csd03, author = {J.~{J}{\"u}{r}jens and J. Gr{\"u}nbauer}, title = {Critical Systems Development with {UML}: motive Case-study}, booktitle = {4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2003)}, year = {2003}, pages = {512--517}, address = {L{\"u}beck (Germany)}, organization = {International Association for Computer and Information Science (ACIS)}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.5805}, file = {paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/snpd03.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/snpd03.ps:URL;audio 2/2:http\://rgse.uni-koblenz.de/jj/publications/audio/snpd03b.wav:URL;audio 1/2:http\://rgse.uni-koblenz.de/jj/publications/audio/snpd03a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/snpd03slides.pdf:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   DOI   paper (pdf)   paper (ps)   audio 2/2   audio 1/2   slides 
• J. Jürjens: Critical Systems Development with UML. In: Forum on Design Languages (FDL 2003), Frankfurt, 2003. Half-day tutorial.
  @InProceedings{csduml03, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}}, booktitle = {Forum on Design Languages (FDL 2003)}, year = {2003}, address = {Frankfurt}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, dependableSystems}, }

   BibTeX 
• J. Jürjens, B. Rumpe, R. France, E. Fernandez (editors): Critical Systems Development with UML (CSDUML 2003), TU München Technical Report, no. TUM-I0317, 2003. UML 2003 satellite workshop proceedings.
  @Proceedings{csduml03a, title = {{Critical Systems Development with UML (CSDUML 2003)}}, year = {2003}, editor = {J.~{J}{\"u}{r}jens and B.~Rumpe and R.~France and E.~Fernandez}, number = {TUM-I0317}, series = {TU M{\"u}nchen Technical Report}, note = {UML 2003 satellite workshop proceedings}, booktitle = {Critical Systems Development with UML (CSDUML 2003)}, keywords = {procs, dependableSystems}, }

   BibTeX 
• J. Jürjens: Critical Systems Development with UML. In: International Conference on Software Engineering (SE 2003), Innsbruck, Austria, IASTED, 2003. Part of 21st IASTED International Multi-Conference APPLIED INFORMATICS (AI 2003). Half-day tutorial.
  @InProceedings{csduml03b, author = {J.~{J}{\"u}{r}jens}, title = {{Critical Systems Development with UML}}, booktitle = {International Conference on Software Engineering (SE 2003)}, year = {2003}, address = {Innsbruck, Austria}, organization = {IASTED}, note = {Part of 21st IASTED International Multi-Conference APPLIED INFORMATICS (AI 2003). Half-day tutorial}, keywords = {atScientificConferences, tutorial, dependableSystems}, }

   BibTeX 
• J. Jürjens, J. Grünbauer: Critical Systems Development with UML-light. In: 18th International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, Institute of Electrical and Electronics Engineers, 2003. Half-day tutorial.
  @InProceedings{csdumll03, author = {J.~{J}{\"u}{r}jens and J.~Gr{\"u}nbauer}, title = {Critical Systems Development with {UML}-light}, booktitle = {18th International Conference on Automated Software Engineering (ASE 2003)}, year = {2003}, address = {Montreal, Canada}, organization = {Institute of Electrical and Electronics Engineers}, note = {Half-day tutorial}, keywords = {atScientificConferences, tutorial, dependableSystems}, URL = {http://ase2012.paluno.uni-due.de/}, }

   BibTeX   URL 
• Gerd Beneken, Ulrike Hammerschall, Manfred Broy, Maria Victoria Cengarle, J. Jürjens, Bernhard Rumpe, Maurce Schoenmakers: Componentware – State of the Art 2003. In: Understanding Components Workshop of the CUE Initiative, Venice, 2003.
  @InProceedings{csota03, author = {Gerd~Beneken and Ulrike Hammerschall and Manfred Broy and Maria Victoria Cengarle and J.~{J}{\"u}{r}jens and Bernhard Rumpe and Maurce Schoenmakers}, title = {Componentware – State of the Art 2003}, booktitle = {Understanding Components Workshop of the CUE Initiative}, year = {2003}, address = {Venice}, keywords = {workshop, industrialConferences,dependableSystems, componentBasedSystems}, }

   BibTeX 
• J. Jürjens: Developing safety-critical systems with UML. In: P. Stevens (editors): The Unified Modeling Language (UML 2003), Springer Verlag, San Francisco, CA, Lecture Notes in Computer Science, vol. 2863, pp. 360-372, 2003. 6th International Conference.
  @InProceedings{dscs03, author = {J.~{J}{\"u}{r}jens}, title = {Developing safety-critical systems with {UML}}, booktitle = {The Unified Modeling Language (UML 2003)}, year = {2003}, editor = {P. Stevens}, volume = {2863}, series = {Lecture Notes in Computer Science}, pages = {360--372}, address = {San Francisco, CA}, publisher = {Springer Verlag}, note = {6th International Conference}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/uml03.wav:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/uml03.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/uml03.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-540-45221-8_31:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   audio   paper (pdf)   paper (ps)   dblp   SpringerLink 
• J. Jürjens, S. H. Houmb: Development of Safety-Critical Systems and Model-Based Risk Analysis with UML. In: Dependable Computing, Springer Verlag, São Paulo (Brazil), Lecture Notes in Computer Science, vol. 2847, pp. 364-365, 2003.
  @InProceedings{dscsmbra03, author = {J.~{J}{\"u}{r}jens and S. H.~Houmb}, title = {Development of Safety-Critical Systems and Model-Based Risk Analysis with {UML}}, booktitle = {Dependable Computing}, year = {2003}, volume = {2847}, series = {Lecture Notes in Computer Science}, pages = {364--365}, address = {S\~{a}o Paulo (Brazil)}, file = {dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/978-3-540-45214-0_28:URL}, publisher = {Springer Verlag}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   dblp   SpringerLink 
• J. Jürjens, V. Cengarle, E. B. Fernandez, B. Rumpe, R. Sandner (editors): Critical Systems Development with UML (CSDUML 2002), TU München Technical Report TUM-I0208, no. TUM-I0208, 2002. UML 2002 satellite workshop proceedings.
  @Proceedings{csduml02a, title = {{Critical Systems Development with UML (CSDUML 2002)}}, year = {2002}, editor = {J.~{J}{\"u}{r}jens and V.~Cengarle and E. B.~Fernandez and B.~Rumpe and R.~Sandner}, number = {TUM-I0208}, series = {TU M{\"u}nchen Technical Report TUM-I0208}, note = {UML 2002 satellite workshop proceedings}, booktitle = {Critical Systems Development with UML (CSDUML 2002)}, keywords = {procs, dependableSystems}, }

   BibTeX 
• J. Jürjens: Critical Systems Development with UML. In: Forum on Design Languages (FDL 2002), Marseille, European Electronic Chips & Systems design Initiative (ECSI), 2002. Invited talk.
  @InProceedings{csduml02b, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}}, booktitle = {Forum on Design Languages (FDL 2002)}, year = {2002}, address = {Marseille}, organization = {European Electronic Chips \& Systems design Initiative (ECSI)}, note = {Invited talk}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/fdl02.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fdl.pdf:URL}, keywords = {conferences, dependableSystems}, }

   BibTeX   audio   slides 
• J. Jürjens: Critical Systems Development with UML. In: SAFECOMP 2002 -- The 21st International Conference on Computer Safety, Reliability and Security, Catania, Italy, EWICS TC7, 2002. Half-day tutorial.
  @InProceedings{csduml02c, author = {J.~{J}{\"u}{r}jens}, title = {{Critical Systems Development with UML}}, booktitle = {SAFECOMP 2002 -- The 21st International Conference on Computer Safety, Reliability and Security}, year = {2002}, address = {Catania, Italy}, organization = {EWICS TC7}, note = {Half-day tutorial}, keywords = {tutorial, dependableSystems}, }

   BibTeX 
• J. Jürjens: Abstracting from Failure Probabilities. In: Second International Conference on Application of Concurrency to System Design (ACSD 2001), Institute of Electrical and Electronics Engineers, Newcastle, pp. 53-64, 2001.
  @InProceedings{afp01, author = {J.~{J}{\"u}{r}jens}, title = {Abstracting from Failure Probabilities}, booktitle = {Second International Conference on Application of Concurrency to System Design (ACSD 2001)}, year = {2001}, pages = {53--64}, address = {Newcastle}, publisher = {Institute of Electrical and Electronics Engineers}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.6032}, file = {slides:http\://rgse.uni-koblenz.de/jj/publications/papers/J00hSli.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/J00hWeb.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/J00hWeb.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, dependableSystems}, }

   BibTeX   DOI   slides   paper (pdf)   paper (ps)   dblp