dblp.uni-trier.dewww.uni-trier.de

Irbis Gallegos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4 Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela: A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE 2008: 273-278
3 Salamah Salamah, Irbis Gallegos, Omar Ochoa: A Novel Approach for Software Property Validation. SETP 2008: 173-178
2007
2EEOmar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates: Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. RV 2007: 75-86
2005
1EEAnn Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112

Coauthor Index

1Ann Q. Gates [1] [2] [4]
2Omar Ochoa [1] [2] [3] [4]
3Steve Roach [1] [2] [4]
4Salamah Salamah [3] [4]
5Oleg Sokolsky [1]
6Corina Vela [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)