test.bib

test.bib — BibTeX document, 1 kB (1.415 bytes)

Dateiinhalt

@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)},
	year      	= {2012},
	month     	= {August},
	pages     	= {78--89},
	publisher 	= {British Computer Society},
	series    	= {eWiC},
} 

@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)},
	year		= {2013},
	numpages	= {13},
	publisher 	= {British Computer Society},
	series 		= {eWiC}
} 

@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)},
	year 		= {2010},
	editor       	= {B. Ale and I. Papazoglou and E. Zio},
	pages        	= {932--940},
	publisher   	= {CRC Press London},
}