Bib

JabRef references
Matching entries: 0
settings...
AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
Avritzer, A., Giandomenico, F., Remke, A. and Riedl, M. Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities 2012 Resilience Assessment and Evaluation of Computing Systems, pp. 41-63  incollection DOI URL 
BibTeX:
@incollection{resilience,
  author = {Avritzer, A. and Giandomenico, F. and Remke, A. and Riedl, M.},
  title = {Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities},
  booktitle = {Resilience Assessment and Evaluation of Computing Systems},
  publisher = {Springer Berlin Heidelberg},
  year = {2012},
  pages = {41-63},
  url = {http://dx.doi.org/10.1007/978-3-642-29032-9_3},
  doi = {http://dx.doi.org/10.1007/978-3-642-29032-9_3}
}
Bachmann, J., Riedl, M., Schuster, J. and Siegle, M. An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA 2009
Vol. 5404SOFSEM 2009: Theory and Practice of Computer Science, pp. 485-496 
incollection DOI URL 
BibTeX:
@incollection{bachmann:09,
  author = {Bachmann, J. and Riedl, M. and Schuster, J. and Siegle, M.},
  title = {An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA},
  booktitle = {SOFSEM 2009: Theory and Practice of Computer Science},
  publisher = {Springer},
  year = {2009},
  volume = {5404},
  pages = {485--496},
  url = {http://dx.doi.org/10.1007/978-3-540-95891-8_44},
  doi = {http://dx.doi.org/10.1007/978-3-540-95891-8_44}
}
Gouberman, A., Grand, C., Riedl, M. and Siegle, M. An IDE for the LARES Toolset 2014
Vol. 8376Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, pp. 240-254 
incollection DOI URL 
BibTeX:
@incollection{AG-CG-MR-MS:MMB:13,
  author = {Gouberman, A. and Grand, C. and Riedl, M. and Siegle, M.},
  title = {An IDE for the LARES Toolset},
  booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
  publisher = {Springer International Publishing},
  year = {2014},
  volume = {8376},
  pages = {240--254},
  url = {http://dx.doi.org/10.1007/978-3-319-05359-2_17},
  doi = {http://dx.doi.org/10.1007/978-3-319-05359-2_17}
}
Gouberman, A., Riedl, M., Schuster, J. and Siegle, M. A Modelling and Analysis Environment for LARES 2012
Vol. 7201Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, pp. 244-248 
incollection DOI URL 
BibTeX:
@incollection{mmb:gouberman2012,
  author = {Gouberman, A. and Riedl, M. and Schuster, J. and Siegle, M.},
  title = {A Modelling and Analysis Environment for LARES},
  booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
  publisher = {Springer},
  year = {2012},
  volume = {7201},
  pages = {244--248},
  url = {http://dx.doi.org/10.1007/978-3-642-28540-0_19},
  doi = {http://dx.doi.org/10.1007/978-3-642-28540-0_19}
}
Gouberman, A., Riedl, M., Schuster, J., Siegle, M. and Walter, M. LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems 2009
Vol. 1Reliability, Risk, and Safety: Theory and Applications. Proceedings of the European Safety and Reliability Conference (ESREL '09), pp. 153-160 
incollection DOI URL 
BibTeX:
@incollection{lares_novelapproach,
  author = {A. Gouberman and M. Riedl and J. Schuster and M. Siegle and M. Walter},
  title = {LARES - A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems},
  booktitle = {Reliability, Risk, and Safety: Theory and Applications. Proceedings of the European Safety and Reliability Conference (ESREL '09)},
  publisher = {CRC Press},
  year = {2009},
  volume = {1},
  pages = {153--160},
  url = {http://dx.doi.org/10.1201/9780203859759.ch22},
  doi = {http://dx.doi.org/10.1201/9780203859759.ch22}
}
Gouberman, A., Riedl, M. and Siegle, M. A Modular and Hierarchical Modelling Approach for Stochastic Control 2013 Proceedings of the 32nd IASTED International Conference on Modelling, Identification and Control (MIC '13)  inproceedings DOI URL 
BibTeX:
@inproceedings{LaresDE:2013,
  author = {A. Gouberman and M. Riedl and M. Siegle},
  title = {A Modular and Hierarchical Modelling Approach for Stochastic Control},
  booktitle = {Proceedings of the 32nd IASTED International Conference on Modelling, Identification and Control (MIC '13)},
  publisher = {ACTA Press},
  year = {2013},
  url = {http://dx.doi.org/10.2316/P.2013.794-066},
  doi = {http://dx.doi.org/10.2316/P.2013.794-066}
}
Gouberman, A., Riedl, M. and Siegle, M. Transformation of LARES performability models to continuous-time Markov reward models 2013 Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '13)  inproceedings  
BibTeX:
@inproceedings{AG-MR-MS:VECOS:13,
  author = {A. Gouberman and M. Riedl and M. Siegle},
  title = {Transformation of LARES performability models to continuous-time Markov reward models},
  booktitle = {Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '13)},
  publisher = {British Computer Society},
  year = {2013}
}
Hahn, H., Heinzelmann, A., Krieger, T., Lehmann, A., Meyer-Nieberg, S., Mihelcic, G., Neusius, A., Pickl, S., Riedl, M., Schuler, M., Schulz, M., Siegle, M. and Wirth, K. Definition & Entwicklung eines kombinierten Ausbildungskonzeptes für Operations Research, Modellbildung und Simulation in der Bundeswehr 2007   techreport  
BibTeX:
@techreport{akormsbw,
  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},
  title = {Definition & Entwicklung eines kombinierten Ausbildungskonzeptes für Operations Research, Modellbildung und Simulation in der Bundeswehr},
  year = {2007}
}
Krieger, T., Riedl, M., Schuster, J. and Siegle, M. A View-probability-matrix Approach to the Modelling of Gossiping Protocols 2008 SIGMETRICS Perform. Eval. Rev.
Vol. 36(3), pp. 23-30 
article DOI URL 
BibTeX:
@article{krieger08,
  author = {Krieger, T. and Riedl, M. and Schuster, J. and Siegle, M.},
  title = {A View-probability-matrix Approach to the Modelling of Gossiping Protocols},
  journal = {SIGMETRICS Perform. Eval. Rev.},
  publisher = {ACM},
  year = {2008},
  volume = {36},
  number = {3},
  pages = {23--30},
  url = {http://doi.acm.org/10.1145/1481506.1481512},
  doi = {http://dx.doi.org/10.1145/1481506.1481512}
}
Meyer, T., Sondermann-Wölke, C., Sextro, W., Riedl, M., Gouberman, A. and Siegle, M. Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework 2013 9. Paderborner Workshop Entwurf Mechatronischer Systeme, pp. 161-174  inproceedings  
BibTeX:
@inproceedings{Meyer2013,
  author = {T. Meyer and C. Sondermann-Wölke and W. Sextro and M. Riedl and A. Gouberman and M. Siegle},
  title = {Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework},
  booktitle = {9. Paderborner Workshop Entwurf Mechatronischer Systeme},
  publisher = {Heinz-Nixdorf-Institut},
  year = {2013},
  pages = {161--174}
}
Riedl, M. A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment 2014 School: Universität der Bundeswehr München  phdthesis URL 
BibTeX:
@phdthesis{riedl-doktorarbeit,
  author = {M. Riedl},
  title = {A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment},
  school = {Universität der Bundeswehr München},
  year = {2014},
  url = {http://137.193.200.7/node?id=92070}
}
Riedl, M. Distributed Reasoning for Collaborating Agents 2006 School: Friedrich-Alexander-Universität Erlangen-Nürnberg  mastersthesis  
BibTeX:
@mastersthesis{riedl-diplomarbeit,
  author = {M. Riedl},
  title = {Distributed Reasoning for Collaborating Agents},
  school = {Friedrich-Alexander-Universität Erlangen-Nürnberg},
  year = {2006}
}
Riedl, M. Wortstellungsrestriktionen für Zeichenketten generierende Hypergraphgrammatiken 2005 School: Friedrich-Alexander-Universität Erlangen-Nürnberg  mastersthesis  
BibTeX:
@mastersthesis{riedl-studienarbeit,
  author = {M. Riedl},
  title = {Wortstellungsrestriktionen für Zeichenketten generierende Hypergraphgrammatiken},
  school = {Friedrich-Alexander-Universität Erlangen-Nürnberg},
  year = {2005}
}
Riedl, M., Schuster, J. and Siegle, M. Recent Extensions to the Stochastic Process Algebra Tool CASPA 2008 Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST '08), pp. 113-114  inproceedings DOI URL 
BibTeX:
@inproceedings{4634961,
  author = {Riedl, M. and Schuster, J. and Siegle, M.},
  title = {Recent Extensions to the Stochastic Process Algebra Tool CASPA},
  booktitle = {Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST '08)},
  year = {2008},
  pages = {113--114},
  url = {http://dx.doi.org/10.1109/QEST.2008.13},
  doi = {http://dx.doi.org/10.1109/QEST.2008.13}
}
Riedl, M., Schuster, J., Siegle, M., Blum, M. and Schiller, F. Dependability Model Transformation -- A Stochastic Process Algebra Semantics for ZuverSicht Models 2010 Reliability, Risk and Safety: Back to the Future. Proceedings of the European Safety and Reliability Conference (ESREL '10), pp. 932-940  inproceedings  
BibTeX:
@inproceedings{RSSBS-ESREL2010,
  author = {M. Riedl and J. Schuster and M. Siegle and M. Blum and F. Schiller},
  title = {Dependability Model Transformation -- A Stochastic Process Algebra Semantics for ZuverSicht Models},
  booktitle = {Reliability, Risk and Safety: Back to the Future. Proceedings of the European Safety and Reliability Conference (ESREL '10)},
  publisher = {CRC Press London},
  year = {2010},
  pages = {932--940}
}
Riedl, M., Seifert, S. and Fischer, I. String Generating Hypergraph Grammars with Word Order Restrictions 2006 Graph Transformations - ICGT 2006 , pp. 138-152   inproceedings  
BibTeX:
@inproceedings{riedl06,
  author = {Martin Riedl and Sebastian Seifert and Ingrid Fischer},
  title = {String Generating Hypergraph Grammars with Word Order Restrictions},
  booktitle = { Graph Transformations - ICGT 2006 },
  publisher = { Springer },
  year = {2006},
  pages = { 138-152 }
}
Riedl, M. and Siegle, M. A LAnguage for REconfigurable dependable Systems: Semantics & Dependability Model Transformation 2012 Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '12), pp. 78-89  inproceedings  
BibTeX:
@inproceedings{MR-MS:VECOS:12,
  author = {M. Riedl and M. Siegle},
  title = {A LAnguage for REconfigurable dependable Systems: Semantics & Dependability Model Transformation},
  booktitle = {Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '12)},
  publisher = {British Computer Society},
  year = {2012},
  pages = {78--89}
}
Created by JabRef on 25/11/2014.