former.bib

former.bib — BibTeX document, 11 kB (12.178 bytes)

Dateiinhalt

% This file was created with JabRef 2.10b2.
% Encoding: UTF-8

@article{schirmeier:13:ijccbs,
  author = {Alexander Gouberman, Martin Riedl, Markus Siegle},
  title = {{Analysing reward measures of LARES performability models by discontinuous Markov chains}},
  journal = {International Journal of Critical Computer-Based Systems (IJCCBS) - Special Issue on Verification, Control and Performance Analysis: Part II},
  year = {2017},
  Publisher                = {Inderscience Publishers},
  Year                     = {2017},
  Editor                   = {D. Aissani and F. Flammini},
  Pages                    = {22-42},
  Volume                   = {7},
  Number		   = {1},
  Doi                      = {10.1504/IJCCBS.2017.084062},
  Url                      = {http://dx.doi.org/10.1504/IJCCBS.2017.084062}
}


@InCollection{AG-CG-MR-MS:MMB:13,
  Title                    = {{An IDE for the LARES Toolset}},
  Author                   = {Gouberman, A. and Grand, C. and Riedl, M. and Siegle, M.},
  Booktitle                = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
  Publisher                = {Springer International Publishing},
  Year                     = {2014},
  Editor                   = {Fischbach, K. and Krieger, U. R.},
  Pages                    = {240--254},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {8376},

  Doi                      = {10.1007/978-3-319-05359-2_17},
  ISBN                     = {978-3-319-05358-5},
  Url                      = {http://dx.doi.org/10.1007/978-3-319-05359-2_17}
}

@PhdThesis{riedl-doktorarbeit,
  Title                    = {{A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment}},
  Author                   = {M. Riedl},
  School                   = {Universit\"at der Bundeswehr M\"unchen},
  Year                     = {2014},

  Address                  = {Neubiberg, Deutschland},

  Url                      = {http://athene-forschung.unibw.de/node?id=92070}
}

@InProceedings{AG-MR-MS:VECOS:13,
  Title                    = {{Transformation of LARES performability models to continuous-time Markov reward models}},
  Author                   = {A. Gouberman and M. Riedl and M. Siegle},
  Booktitle                = {Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '13)},
  Year                     = {2013},
  Publisher                = {British Computer Society},
  Series                   = {eWiC},

  Numpages                 = {13}
}

@InProceedings{LaresDE:2013,
  Title                    = {{A Modular and Hierarchical Modelling Approach for Stochastic Control}},
  Author                   = {A. Gouberman and M. Riedl and M. Siegle},
  Booktitle                = {{Proceedings of the 32nd IASTED International Conference on Modelling, Identification and Control (MIC '13)}},
  Year                     = {2013},
  Editor                   = {Klement, E.P. and Borutzky, W. and Fahringer, T. and Hamza, M.H. and Uskov, V.},
  Publisher                = {ACTA Press},

  Doi                      = {10.2316/P.2013.794-066},
  Numpages                 = {10},
  Url                      = {http://dx.doi.org/10.2316/P.2013.794-066}
}

@InProceedings{Meyer2013,
  Title                    = {{Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework}},
  Author                   = {T. Meyer and C. Sondermann-Wölke and W. Sextro and M. Riedl and A. Gouberman and M. Siegle},
  Booktitle                = {9. Paderborner Workshop Entwurf Mechatronischer Systeme},
  Year                     = {2013},

  Address                  = {Paderborn},
  Editor                   = {J. Gausemeier and R. Dumitrescu and F. Rammig and W. Schäfer and A. Trächtler},
  Pages                    = {161--174},
  Publisher                = {Heinz-Nixdorf-Institut},
  Series                   = {HNI-Verlagsschriftenreihe}
}

@InCollection{mmb:gouberman2012,
  Title                    = {{A Modelling and Analysis Environment for LARES}},
  Author                   = {Gouberman, A. and Riedl, M. and Schuster, J. and Siegle, M.},
  Booktitle                = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
  Publisher                = {Springer},
  Year                     = {2012},
  Editor                   = {Schmitt, J. B.},
  Pages                    = {244--248},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {7201},

  Adress                   = {Berlin, Heidelberg},
  Doi                      = {10.1007/978-3-642-28540-0_19},
  ISBN                     = {978-3-642-28539-4},
  Url                      = {http://dx.doi.org/10.1007/978-3-642-28540-0_19}
}

@InProceedings{MR-MS:VECOS:12,
  Title                    = {{A LAnguage for REconfigurable dependable Systems: Semantics \& Dependability Model Transformation}},
  Author                   = {M. Riedl and M. Siegle},
  Booktitle                = {Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '12)},
  Year                     = {2012},
  Month                    = {August},
  Pages                    = {78--89},
  Publisher                = {British Computer Society},
  Series                   = {eWiC}
}

@InCollection{resilience,
  Title                    = {{Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities}},
  Author                   = {Avritzer, A. and Giandomenico, F. and Remke, A. and Riedl, M.},
  Booktitle                = {Resilience Assessment and Evaluation of Computing Systems},
  Publisher                = {Springer Berlin Heidelberg},
  Year                     = {2012},
  Editor                   = {Wolter, K. and Avritzer, A. and Vieira, M. and van Moorsel, A.},
  Pages                    = {41-63},

  Doi                      = {10.1007/978-3-642-29032-9_3},
  ISBN                     = {978-3-642-29031-2},
  Language                 = {English},
  Url                      = {http://dx.doi.org/10.1007/978-3-642-29032-9_3}
}

@InProceedings{RSSBS-ESREL2010,
  Title                    = {{Dependability Model Transformation -- A Stochastic Process Algebra Semantics for ZuverSicht Models}},
  Author                   = {M. Riedl and J. Schuster and M. Siegle and M. Blum and F. Schiller},
  Booktitle                = {{Reliability, Risk and Safety: Back to the Future. Proceedings of the European Safety and Reliability Conference (ESREL '10)}},
  Year                     = {2010},
  Editor                   = {B. Ale and I. Papazoglou and E. Zio},
  Pages                    = {932--940},
  Publisher                = {CRC Press London}
}

@InCollection{bachmann:09,
  Title                    = {{An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA}},
  Author                   = {Bachmann, J. and Riedl, M. and Schuster, J. and Siegle, M.},
  Booktitle                = {SOFSEM 2009: Theory and Practice of Computer Science},
  Publisher                = {Springer},
  Year                     = {2009},
  Editor                   = {Nielsen, M. and Kuera, A. and Miltersen, P. and Palamidessi, C. and Tuma, P. and Valencia, F.},
  Pages                    = {485--496},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {5404},

  Adress                   = {Berlin, Heidelberg},
  Doi                      = {10.1007/978-3-540-95891-8_44},
  ISBN                     = {978-3-540-95890-1},
  Keywords                 = {stochastic process algebra; MTBDD; elimination of immediate transitions},
  Url                      = {http://dx.doi.org/10.1007/978-3-540-95891-8_44}
}

@InCollection{lares_novelapproach,
  Title                    = {{LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems}},
  Author                   = {A. Gouberman and M. Riedl and J. Schuster and M. Siegle and M. Walter},
  Booktitle                = {Reliability, Risk, and Safety: Theory and Applications. Proceedings of the European Safety and Reliability Conference (ESREL '09)},
  Publisher                = {CRC Press},
  Year                     = {2009},
  Editor                   = {Guedes Soares, C. and Bri, R. and Martorell, S.},
  Pages                    = {153--160},
  Volume                   = {1},

  Doi                      = {10.1201/9780203859759.ch22},
  Location                 = {Prague, Czech Republic},
  Url                      = {http://dx.doi.org/10.1201/9780203859759.ch22}
}

@InProceedings{4634961,
  Title                    = {{Recent Extensions to the Stochastic Process Algebra Tool CASPA}},
  Author                   = {Riedl, M. and Schuster, J. and Siegle, M.},
  Booktitle                = {Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST '08)},
  Year                     = {2008},
  Pages                    = {113--114},

  Doi                      = {10.1109/QEST.2008.13},
  Url                      = {http://dx.doi.org/10.1109/QEST.2008.13}
}

@Article{krieger08,
  Title                    = {A View-probability-matrix Approach to the Modelling of Gossiping Protocols},
  Author                   = {Krieger, T. and Riedl, M. and Schuster, J. and Siegle, M.},
  Journal                  = {SIGMETRICS Perform. Eval. Rev.},
  Year                     = {2008},

  Month                    = {November},
  Number                   = {3},
  Pages                    = {23--30},
  Volume                   = {36},

  Acmid                    = {1481512},
  Address                  = {New York, NY, USA},
  Doi                      = {10.1145/1481506.1481512},
  ISSN                     = {0163-5999},
  Issue_date               = {December 2008},
  Numpages                 = {8},
  Publisher                = {ACM},
  Url                      = {http://doi.acm.org/10.1145/1481506.1481512}
}

@TechReport{akormsbw,
  Title                    = {{Definition \& Entwicklung eines kombinierten Ausbildungskonzeptes für Operations Research, Modellbildung und Simulation in der Bundeswehr}},
  Author                   = {H. Hahn and A. Heinzelmann and Th. Krieger and A. Lehmann and S. Meyer-Nieberg and G. Mihelcic and A. Neusius and S. Pickl and M. Riedl and M. Schuler and M. Schulz and M. Siegle and K. Wirth},
  Institution              = {Abschlussbericht, ITIS e.V.},
  Year                     = {2007}
}




@InProceedings{riedl06,
  Title                    = {{String Generating Hypergraph Grammars with Word Order Restrictions}},
  Author                   = {Martin Riedl and Sebastian Seifert and Ingrid Fischer},
  Booktitle                = { Graph Transformations - ICGT 2006 },
  Year                     = {2006},

  Address                  = { Berlin },
  Editor                   = { A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G. Rozenberg },
  Pages                    = { 138-152 },
  Publisher                = { Springer },
  Series                   = { Lecture Notes in Computer Science },

  Location                 = { Natal, Brasilia }
}

@MastersThesis{riedl-diplomarbeit,
  Title                    = {{Distributed Reasoning for Collaborating Agents}},
  Author                   = {M. Riedl},
  School                   = {Friedrich-Alexander-Universität Erlangen-Nürnberg},
  Year                     = {2006},

  Address                  = {Erlangen, Deutschland},
  Type                     = {Diplomarbeit}
}

@MastersThesis{riedl-studienarbeit,
  Title                    = {{Wortstellungsrestriktionen für Zeichenketten generierende Hypergraphgrammatiken}},
  Author                   = {M. Riedl},
  School                   = {Friedrich-Alexander-Universität Erlangen-Nürnberg},
  Year                     = {2005},

  Address                  = {Erlangen, Deutschland},
  Type                     = {Studienarbeit}
}

Dr.-Ing. Martin Riedl

Visitenkarte als QR-Code

QR-Code der vcard