@inproceedings{conf/IEEEares/VorobievS08,
	title = {Fuzzy Belief-Based Supervision.},
	author = {Alexandre Vorobiev and Rudolph E. Seviora},
	booktitle = {ARES},
	crossref = {conf/IEEEares/2008},
	pages = {383-389},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2008.html#VorobievS08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2c9d0ce76a3e44eb935258e083698c444/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.46}, date = {2008-05-11},
	keywords = {dblp }
}

@inproceedings{conf/IEEEares/HazyS07,
	title = {Automatic Failure Detection with Separation of Concerns.},
	author = {P. Hazy and Rudolph E. Seviora},
	booktitle = {ARES},
	crossref = {conf/IEEEares/2007},
	pages = {173-181},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2007.html#HazyS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/243e0009596f0f72c20f53eb8777efe3d/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ARES.2007.49}, date = {2008-04-25},
	keywords = {dblp }
}

@inproceedings{conf/iceccs/LiangDSDS06,
	title = {Formal Specification-based Online Monitoring.},
	author = {Hui Liang and Jin Song Dong and Jing Sun and Roger Duke and Rudolph E. Seviora},
	booktitle = {ICECCS},
	crossref = {conf/iceccs/2006},
	pages = {152-162},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2006.html#LiangDSDS06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/27ad526e913c449ca0f806d7ee2977908/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.56}, isbn = {0-7695-2530-X}, date = {2007-06-21},
	keywords = {dblp }
}

@inproceedings{conf/IEEEares/JarrettS06,
	title = {Diversity to Enhance Autonomic Computing Self-Protection.},
	author = {Michael Jarrett and Rudolph E. Seviora},
	booktitle = {ARES},
	crossref = {conf/IEEEares/2006},
	pages = {295-299},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2006.html#JarrettS06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/20b49df64542a5e3dc85f0808c510ace9/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ARES.2006.55}, date = {2006-09-12},
	keywords = {dblp }
}

@article{journals/jss/ZulkernineS05,
	title = {Towards automatic monitoring of component-based software systems.},
	author = {Mohammad Zulkernine and Rudolph E. Seviora},
	journal = {Journal of Systems and Software},
	number = {1},
	pages = {15-24},
	url = {http://dblp.uni-trier.de/db/journals/jss/jss74.html#ZulkernineS05},
	volume = {74},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2dcabd6f7575107fc8a791fc01db329db/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.jss.2003.05.006}, date = {2006-09-12},
	keywords = {dblp }
}

@article{journals/tecs/Seviora05,
	title = {A curriculum for embedded system engineering.},
	author = {Rudolph E. Seviora},
	journal = {ACM Trans. Embedded Comput. Syst.},
	number = {3},
	pages = {569-586},
	url = {http://dblp.uni-trier.de/db/journals/tecs/tecs4.html#Seviora05},
	volume = {4},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/213f2eb2aeb07f8b28220906e8af64d1d/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1086519.1086525}, date = {2006-04-04},
	keywords = {dblp }
}

@inproceedings{conf/iceccs/LauS05,
	title = {Design Patterns for Software Health Monitoring.},
	author = {Alexander Lau and Rudolph E. Seviora},
	booktitle = {ICECCS},
	crossref = {conf/iceccs/2005},
	pages = {467-476},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#LauS05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2f4194aea0f19bb4b6aa1d45b414c55af/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/ICECCS.2005.34}, isbn = {0-7695-2284-X}, date = {2005-09-13},
	keywords = {dblp }
}

@inproceedings{conf/srds/GhafariS04,
	title = {A Signal Processing Approach to Global Predicate Monitoring.},
	author = {Naghmeh Ghafari and Rudolph E. Seviora},
	booktitle = {SRDS},
	crossref = {conf/srds/2004},
	pages = {136-145},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/srds/srds2004.html#GhafariS04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/280d316ef03aa5415cc2dc34f74a67fc0/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/srds/2004/2239/00/22390136abs.htm}, isbn = {0-7695-2239-4}, date = {2005-01-24},
	keywords = {dblp }
}

@article{journals/stvr/IorgulescuS97,
	title = {A Method for Continuous Real-Time Supervision.},
	author = {R. Iorgulescu and Rudolph E. Seviora},
	journal = {Softw. Test., Verif. Reliab.},
	number = {2},
	pages = {69-98},
	url = {http://dblp.uni-trier.de/db/journals/stvr/stvr7.html#IorgulescuS97},
	volume = {7},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/22d67d5279ec3389643efc3765e42d410/dblp},
	description = {dblp},
	date = {2005-01-24},
	keywords = {dblp }
}

@inproceedings{conf/icccn/LiLS97,
	title = {Constructing automated protocol testing oracles to accommodate specification nondeterminism.},
	author = {J. Jenny Li and Hong Liu and Rudolph E. Seviora},
	booktitle = {ICCCN},
	crossref = {conf/icccn/1997},
	pages = {532-},
	publisher = {IEEE},
	url = {http://dblp.uni-trier.de/db/conf/icccn/icccn1997.html#LiLS97},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/23b9d1b2201c002a363fba9d581ac7e55/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICCCN.1997.623363}, date = {2004-10-27},
	keywords = {dblp }
}