publication venue for
- Transforming legacy energy management system (EMS) modules into reusable components: a case study. 105-110. 2000
- Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance 2017
- Model Checking Aspect-Oriented Design Specification 2007
- The area-wide real-time traffic control system (ARTC): a distributed computing system 1992