Bus Extended Regular Expression (BusERE) Plugin

BusERE is an instance of MOP for monitoring PCI Bus traffic and for ERE specifications. This instance is technically unnecessary, since one can simply run BusMOP with ERE specifications, which is precisely what the online interface below does. BusERE has, however, conceptual (and potentially theoretical) value; many Bus users prefer to specify properties exclusively as extended regular patterns. Enter your ERE specification in the form below or chose (and modify) one example from the menu - provided examples are also reachable from the menu of the main BusMOP interface. Go to BusMOP for instructions on how download

Note: if there are any technical difficulties please alert pmeredit@cs.uiuc.edu

Funding

This work was supported in part by NSF grant CNS-0720512. Any opinions, findings, and conclusions or recommendations expressed in this web-site are those of the authors and do not necessarily reflect the views of the NSF.