Carlos E. Rubio Medrano

Publications

Carlos E. Rubio-Medrano A Formal Approach to Specifying Access Control Security Features of Java Modules Master of Science in Computer Science Thesis. The University of Texas at El Paso, El Paso, TX, USA. May 2008.

Hyotaeg Jung, Carlos E. Rubio-Medrano, Eric Wong , and Yoonsik Cheon . Architectural Assertions: Checking Architectural Constraints at Run-Time. The 6th International Workshop on System and Software Architectures, pages 604-607. Published in Proceedings of SERP 2007, Volume II, June 25-28, Las Vegas, Nevada, USA.
Yoonsik Cheon and Carlos E. Rubio-Medrano. Random Test Data Generation for Java Classes Annotated with JML Specifications. In Proceedings of the 2007 International Conference on Software Engineering Research and Practice, pages 385-392 Volume II, June 25--28, 2007, Las Vegas, Nevada, USA.

Poonam Agarwal, Carlos E. Rubio-Medrano, Yoonsik Cheon, and Patricia J. Teller. A Formal Specification in JML of the Java Security Package. Khaled Elleithy (Ed.), Advances and Innovations in Systems, Computing Science, and Software Engineering, pages 363-368, Springer, 2007.