List of selected publications

Accuracy Algorithm design and analysis alloy analyzer automatic generation BPR cloud computing computer networks domain specific virtual machine DyLaN dynamic spectrum access evolution strategy evolutionary computation grid application management Heu hybrid networks intent model behavior load balancing routing heuristics middleware ns-3 simulator online detection opportunistic grids path length queuing delays real-world traces SDN smart spaces telecommunication network management telecommunication traffic test wireless mesh networks
Show all

Inproceedings

Morris, K. A.; Clarke, P. J.; He, X.; Costa, F. M.; Allison, M.
A Method for Validating Intent Model Behavior in DSVMs Inproceedings
2015 IEEE 16th International Symposium on High Assurance Systems Engineering, pp. 247-254, 2015, ISSN: 1530-2059.
Links | BibTeX | Tags: alloy analyzer, alloy specification language, direct runtime interpretation, domain specific virtual machine, domain-specific models, domain-specific services, DSVM, first-order logic, formal logic, intent model behavior, middleware, model-driven engineering, specification languages, virtual machines
@inproceedings{Morris:2015aa,
title = {A Method for Validating Intent Model Behavior in DSVMs},
author = { K. A. Morris and P. J. Clarke and X. He and F. M. Costa and M. Allison},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7027438},
doi = {10.1109/HASE.2015.43},
issn = {1530-2059},
year = {2015},
date = {2015-01-01},
booktitle = {2015 IEEE 16th International Symposium on High Assurance Systems Engineering},
pages = {247-254},
keywords = {alloy analyzer, alloy specification language, direct runtime interpretation, domain specific virtual machine, domain-specific models, domain-specific services, DSVM, first-order logic, formal logic, intent model behavior, middleware, model-driven engineering, specification languages, virtual machines},
pubstate = {published},
tppubtype = {inproceedings}
}

Close
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7027438
doi:10.1109/HASE.2015.43
Close