Professor of Computer Science




Published Papers

High levels of research activity resulted in nearly 200 publications with an overall citation count that exceeds 3000 (Google Scholar), including numerous papers having citation counts in excess of 100. In the broadest sense, this body of work can be characterized as being concerned with the design of software instruments that enable rapid development of dependable software, particularly in novel settings such as the mobile and wireless domains. The research style has been one that focused on innovation and creative thinking, often opening entirely new research directions or identifying important paradigm shifts.

2014

Picco, G. P., Julien, C., Murphy, A. L., Musolesi, M., and Roman, G.-C., “Software Engineering for Mobility: Reflecting on the Past, Peering into the Future.” (Invited Paper), 36th International Conference on Software Engineering, Future of Software Engineering Track, Hyderabad, India, May 2014.
Lu, Q., Wilson, J., Chen, Y., Gill, C., Thomas, L., Roman, G.-C., and Chen, G., "Situation-Aware Composition and Execution in Dynamic Environments by Automated Planning," International Scientific Journal Engineering Applications of Artificial Intelligence 35, 2014, pp. 215-236.

2013

Chipara O., Lu, C., and Roman, G.-C., “Real-Time Scheduling for Wireless Sensor Networks,” IEEE Transactions of Computers 62, No. 9, September 2013, pp. 1850-1865.
Fok, C.-L., Roman, G.-C., and Lu, C., “Adaptive Service Provisioning For Enhanced Energy Efficiency And Flexibility In Wireless Sensor Networks,” Science of Computer Programming 78, No. 2, February 2013, pp.195-217.

2012


Michel, J., Julien, C., Payton, J., Roman, G.-C., "A Spatiotemporal Model for Ephemeral Data in Pervasive Computing Networks," IEEE Workshop on Hot Topics in Pervasive Computing (PerHot '12), Lugano, Switzerland, March 2012, pp. 179-184.
Payton, J., Julien, C., Rajamani, V., and Roman, G.-C., “Using Snapshot Query Fidelity to Adapt Continuous Query Execution,” Pervasive and Mobile Computing 8, No. 3, June 2012, pp. 317-330.
Michel, J., Julien, C., Payton, J., Roman, G.-C., "myGander: A Mobile Interface and Distributed Search Engine for Pervasive Computing," in Proceedings of the Pervasive Computing and Communications Demos (PERCOM Demos), Lugano, Switzerland, March 2012, pp. 495-497.

2011

Julien, C., Rajamani, V., Payton, J., and Roman, G.-C., “Fidelity-Based Continuous Query Introspection and Adaptation.” Third International Workshop on Information Quality and Quality of Service for Pervasive Computing (IQ2S 2011), in Proceedings of the Pervasive Computing and Communications Workshops (PERCOM Workshops), Seattle, March, 2011, pp.14-19.
De Meuter, W., and Roman, G.-C., (editors), Coordination Languages and Models, Proceedings of the 13th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science 6721, Springer, Reykjavik, June 2011.
Chipara, O., Lu, C., Stankovic, J., and Roman, G.-C., “Dynamic Conflict-free Transmission Scheduling for Sensor Network Queries,” IEEE Transactions on Mobile Computing 10, Nr. 5, May 2011, pp. 734-748.

2010

Chipara, O., Lu, C., Bailey, T.C., and Roman, G.-C., “Reliable Clinical Monitoring using Wireless Sensor Networks: Experience in a Step-down Hospital Unit,” in Proceedings of the ACM Conference on Embedded Networked Sensor Systems (SenSys'10), Zurich, Switzerland, November 2010, pp. 155-168.
Julien, C., Payton, J., Roman, G.-C., and Rajamani, V., “Semantic Self-Assessment of Query Results in Dynamic Environments.” ACM Transactions on Software Engineering and Methodology 19, No. 4, April 2010, pp. 12:1-12:33.
Bhattacharya, S., Saifullah, A., Lu, C., and Roman, G.-C., “Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring,” Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10), Stockholm, Sweden, April 2010, pp. 259-268.
Fok, C.-L., Roman, G.-C., and Lu, C., “Adaptive Service Provisioning for Wireless Sensor Networks,” Proceedings of the 12th International Conference on Coordination Models and Languages (Coordination 2010), Lecture Notes in Computer Science 6116, Clarke, D., and Agha, G., (editors), Springer, Amsterdam, The Netherlands, June 2010, pp. 107-121.
Chipara, O., Hackmann, G., Lu, C, Smart, W, and Roman, G-C., “Practical Modeling and Prediction of Radio Coverage in Indoor Sensor Networks,” Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN'10), Stockholm, Sweden, April 2010, pp. 339-349.

2009

Chipara, O., Brooks, C., Bhattacharya, S., Lu, C., Chamberlain, R. D., Roman, G.-C., and Bailey, T. C., “Reliable Real-time Clinical Monitoring Using Sensor Network Technology,” Proceedings of the 2009 American Medical Informatics Association Annual Symposium (AMIA 2009), San Francisco, CA, November 2009, pp. 103-107.
Rajamani, V., Julien, C., Payton, J., and Roman, G.-C., “PAQ: Persistent Adaptive Query Middleware for Dynamic Environments,” Proceedings of the 10th International Middleware Conference, (Middleware 2009), Lecture Notes in Computer Science 5896, Bacon, J. M., and Cooper, B. F., (editors.), Springer, Urbana Champaign, IL, November 2009, pp. 226-246.
Thomas, L., Wilson, J., Roman, G.-C., and Gill, C., “Achieving Coordination Through Dynamic Construction of Open Workflows,” Proceedings of the 10th International Middleware Conference, (Middleware 2009), Lecture Notes in Computer Science 5896, Bacon, J. M., and Cooper, B. F., (editors.), Springer, Urbana Champaign, IL, November 2009, pp. 268-287.
Fok, C.-L., Roman, G.-C., and Lu, C., “Agilla: A Mobile Agent Middleware for Self-Adaptive Wireless Sensor Networks” ACM Transactions on Autonomous and Adaptive Systems 4, No. 3, July 2009, pp. 16:1-16:26.
Fok, C.-L., Roman, G.-C., and Lu, C., “Enhanced Coordination in Sensor Networks through Flexible Sensing Provisioning,” Proceedings of the 11th International Conference on Coordination Models and Languages (Coordination 2009), Lecture Notes in Computer Science 5521, Field, J., and Vasconcelos, V., (editors), Springer-Verlag, Lisbon, Portugal, June 2009, pp. 66-85.
Rajamani, V., Julien, C., Payton, J., and Roman, G.-C., “Inquiry and Introspection for Non-Deterministic Queries in Mobile Environments,” Fundamental Approaches to Software Engineering (FASE 2009), Lecture Notes in Computer Science 5503, Chechik, M., and Wirsing, M., (editors), Springer-Verlag, York, UK, March 2009, pp. 401-416.

2008
Sen, R., Roman, G.-C., Gill, C., and Frank, A., “CiAN: A Workflow Engine for MANETs,” Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination 2008), Lecture Notes in Computer Science 5052, Lea, D. and Zavattaro, G. (editors), Springer Verlag, Oslo, Norway, June 2008, pp. 280-295.
Bhattacharya, S., Fok, C.-L., Lu, C., and Roman, G.-C., “MLDS: A Flexible Location Directory Service for Tiered Sensor Networks,” Special Issue on Advanced Location-based Services, Computer Communications 31, January 2008, pp. 1160-1172.
Julien, C., Roman, G.-C., and Huang, Q., “SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks,” IEEE Transactions on Mobile Computing 7, No. 4, April 2008, pp. 401-415.

2007

Chipara, O., Lu, C., and Roman, G.-C., "Real-time Query Scheduling for Wireless Sensor Networks," Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), December 2007, Tucson, AZ, pp. 389-399.
Payton, J., Julien, C., and Roman, G.-C., “Automatic Consistency Assessment for Query Results in Dynamic Environments,” Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, (ESEC/FSE 2007), September 2007, Dubrovnik, Croatia, pp. 245-254. (Distinguished Paper Award)
Hackmann, G., Gill, C., and Roman, G.-C., "Extending BPEL for Interoperable Pervasive Computing," Proceedings of the 2007 International Conference on Pervasive Services (ICPN 2007), July 2007, Istanbul, Turkey, pp. 204-213.
Fok, C.-L., Roman, G.-C., and Lu, C., “Towards a Flexible Global Sensing Infrastructure,” Proceedings of the International Workshop on Wireless Sensor Network Architecture (WWSNA 2007), April 2007, Cambridge, MA, pp. 49-54.
Sun, F., Fok, C.-L., and Roman, G.-C., “Demo Abstract: sChat: A Group Communication Service Over Wireless Sensor Networks,” Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN 2007), April 2007, Cambridge, MA, pp. 543-544.
Bhattacharya, S., Fok, C.-L., Lu, C., and Roman, G.-C., “Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks,” Proceedings of the 3rd International Conference on Distributed Computing in Sensor Systems (DCOSS'07), Lecture Notes in Computer Science 4549, Aspens, J., Scheideler, C., Arora, A., and Madded, S., (editors), Springer Verlag, Santa Fe, NM, June 2007, pp. 158-173.
Roman, G.-C., Julien, C., and Payton, J., “Modeling Adaptive Behaviors in Context UNITY,” Theoretical Computer Science 376, No. 3, 2007, pp. 185-204. Sen, R., Handorean, R., Roman, G.-C., and Hackmann, G., “Knowledge-driven Interactions with Services across Ad Hoc Networks,” International Journal of Cooperative Information Systems 16, No. 1, March 2007, pp. 123-153.
Sen, R., Hackmann, G., Haitjema, M., Roman, G.-C., and Gill, C., “Coordinating Workflow Allocation and Execution in Mobile Environments,” Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination 2007), Lecture Notes in Computer Science 4467, Murphy, A. L., and Vitek, J. (editors), Springer Verlag, Paphos, Cyprus, June 2007, pp. 249-267.
Frey, D. and Roman, G.-C., “Context-Aware Publish Subscribe in Mobile ad Hoc Networks, ” Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination 2007), Lecture Notes in Computer Science 4467, Murphy, A. L., and Vitek, J., (editors), Springer Verlag, Paphos, Cyprus, June 2007, pp. 37-55.

2006

Murphy, A. L., Picco, G. P., and Roman, G.-C., “LIME: A Coordination Middleware Supporting Mobility of Hosts and Agents,” ACM Transactions on Software Engineering and Methodology 15, No. 3, July 2006, pp. 279-328.
Bhattacharya, S., Fok, C.-L., Lu, C., and Roman, G.-C., “Demo Abstract: A Hierarchical Location Directory Service Across Sensor and IP Networks,” in Proceedings of the ACM Conference on Embedded Networked Sensor Systems (SenSys'06), Bolder, Colorado, USA, November 2006, pp. 365-366.
Fok, C.-L., Roman, G.-C., and Lu, C., "Software Support for Application Development in Wireless Sensor Network," In The Handbook of Mobile Middleware, A. Corradi and P. Bellavista (editors), Auerbach Publications, Sept. 2006, pages 1227-1253.
Picco, G. P., Migliavacca, M., Murphy, A. L., and Roman, G.-C., “Distributed Abstract Data Types,” Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA’06), Meersman, R., Tari, Z., et al (editors), Lecture Notes in Computer Science 4276, Springer-Verlag, Montpellier, France, October 2006, pp. 1594-1612.
Hackmann, G., Haitjema, M., Gill, C., and Roman, G.-C., “Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices,” Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006), Dan, A., and Lamersdorf, W., (editors), Lecture Notes in Computer Science 4294, Springer, Chicago, USA, December 2006, pp. 503-508.
Massaguer, D., Fok, C.-L., Venkatasubramanian, N., Roman, G.-C., and Lu, C., “Exploring Sensor Networks using Mobile Agents,” Proceedings of the Fifth International Joint Conference on Autonomous Agents & Multi Agent Systems, Stone, P., and Weiss, G., (editors), Hakodate, Japan, May 2006, pp. 323-325.
Handorean, R., Sen, R., Hackmann, G., and Roman, G.-C., “Supporting Predictable Service Provision in MANETs via Context Aware Session Management,” International Journal of Web Services Research 3, No. 3, July-September 2006, pp. 1-26.
Roman, G.-C., Handorean, R., and Sen, R., “Tuple Space Coordination Across Space and Time,” Proceedings of the 8th International Conference on Coordination Models and Languages (Coordination 2006), Ciancarini, P., and Wiklicky, H., (editors), Lecture Notes in Computer Science 4038, Springer, Bologna, Italy, June 2006, pp. 266-280.
Bhattacharya, S., Atay, N., Alankus, G., Lu, C., Bayazit, O. B., Roman, G.-C., “ Roadmap Query Protocols for Sensor Network Guided Navigation in Dynamic Environments,” Proceedings of the 2nd International Conference on Distributed Computing in Sensor Networks (DCOSS 2006), Gibbons, P. B., Abdelzaher, T., Aspnes, J., and Rao, R., (editors), Lecture Notes in Computer Science 4026, Springer, San Francisco, USA, June 2006, pp. 17-36. (Best Paper Award)
Hackmann, G., Fok, C.-L., Roman, G.-C., and Lu, C., “ Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks,” Proceedings of the 2nd International Conference on Distributed Computing in Sensor Networks (DCOSS 2006), Gibbons, P. B., Abdelzaher, T., Aspnes, J., and Rao, R., (editors), Lecture Notes in Computer Science 4026, Springer, San Francisco, USA, June 2006, pp. 101-118.
Julien, C., and Roman, G.-C., “EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications,” IEEE Transactions on Software Engineering 32, No. 5, May 2006, pp. 281-298.
Ochoa, S. F., and Roman, G.-C., (editors), Advanced Software Engineering: Expanding the Frontiers of Software, Proceedings of the First International Workshop on Advanced Software Engineering (IWASE 2006), Santiago, Chile, August 25, 2006.

2005

Huang, Q., Bhattacharya, S., Lu, C., and Roman, G.-C., “FAR: Face-Aware Routing for Mobicast in large-Scale Sensor Networks,” ACM Transactions on Sensor Networks 1, No. 2, November 2005, pp. 240-271.
Sen, R., Hackmann, G., Roman, G.-C., Gill, C., “Opportunistic Exploitation of Knowledge to Increase Predictability of Agent Interactions in MANETs,” Proceedings of the 4th International Workshop on Software Engineering for Large-scale Multi-agent Systems (SELMAS 2005), ACM Digital Library, May 2005.
Handorean, R., Sen, R., Hackmann, G., and Roman, G.-C., “Context-Aware Session Management for Services in Ad Hoc Networks,” Proceedings of the International Conference on Services Computing (SCC 2005), July 2005, pp. 113-120. (Best Student Paper Award) Bhattacharya, S., Xing, G., Lu, C., Roman, G-C., Harris, B, Chipara, O, “Dynamic Wake-up and Topology Maintenance Protocols with Spatiotemporal Guarantees.” Proceedings of the 4th International Conference on Information Processing in Sensor Networks (IPSN'05), April 2005, pp. 28-34.
Fok, C.-L., Roman, G.-C., Lu, C., “Mobile Agent Middleware for Sensor Networks: An Application Case Study,” Proceedings of the 4th International Conference on Information Processing in Sensor Networks (IPSN'05), April 2005, pp. 382-387.
Roman, G.-C., and Payton, J., “A Principled Exploration of Coordination Models,” Theoretical Computer Science 336, No. 2-3, May 2005, 367-401.
Fok, C.-L., Roman, G.-C., Lu, C., “Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications,” 2005 International Conference on Distributed Computing Systems (ICDCS 2005), June 2005, pp. 653-662.
Chipara, O., Lu, C., and Roman, G.-C., “Exploiting Workload Periodicity for Energy Conservation in Wireless Sensor Networks,” 2005 International Conference on Distributed Computing Systems (ICDCS 2005), June 2005, pp. 361-370.
Sen, R., Handorean, R., Roman, G.-C., and Gill, C., “Service Oriented Computing Imperatives in Ad Hoc Wireless Settings,” in Service-Oriented Software System Engineering: Challenges And Practices, Z. Stojanovic and A. Dahanayake (editors), Idea Group Publishing, April 2005, pp. 247-269.
Hackmann, G., Julien, C., Payton, J., and Roman, G.-C., “Supporting Generalized Context Interactions,” 4th International Workshop on Software Engineering and Middleware (SEM 2004), T. Gschwind and C. Mascolo (editors), Lecture Notes in Computer Science 3437, Springer-Verlag, March 2005, pp. 91-106.
Julien, C., and Roman, G.-C., “Supporting Context-Aware Interaction in Dynamic Multi-Agent Systems,” Environments for Multi-Agent Systems (E4MAS), D. Weyns, H. Van Dyke Parunak, and F. Michel (editors), Lecture Notes in Computer Science 3374, Springer, February 2005, pp. 168-189.
Julien, C., Payton, J., and Roman, G.-C., “Adaptive Access Control in Coordination-Based Mobile Agent Systems,” Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, R. Choren, et al. (editors), Lecture Notes in Computer Science 3390, Springer, January 2005, pp. 254 - 271.
Roman, G.-C., and Payton, J., “A Termination Detection Protocol for Use in Mobile Ad Hoc Networks,” Automated Software Engineering Journal 12, No. 1, January 2005, pp. 81-99.

2004

Murphy, A. L., Roman, G.-C., and Varghese, G., “Dependable Message Delivery to Mobile Units,” in Mobile Computing Handbook, M. Ilyas and I. Mahgoub (editors), CRC Press, 2004, pp. 25-52.
Picco, G. P., Murphy, A. L., and Roman, G.-C., “Developing Mobile Applications: A LIME Primer,” in Mobile Computing Handbook, M. Ilyas and I. Mahgoub (editors), CRC Press, 2004, pp. 227-252.
Sen, R., Handorean, R., Hackmann, G., and Roman, G.-C., “An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks,” International Conference on Pervasive Computing and Communications (PCC’04), June 2004, pp. 689-695.
Sen, R., Handorean, R., Roman, G.-C., and Hackmann, G., “Knowledge-driven Interactions with Services across Ad Hoc Networks,” 2nd International Conference on Service Oriented Computing (ICSOC 2004), November 2004, pp. 222-231.
Julien, C., Payton, J., and Roman, G.-C., “Reasoning About Context Awareness in the Presence of Mobility,” 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa'03), Electronic Notes in Theoretical Computer Science 97, July 2004, pp. 259--276.
Huang, Q., Lu, C., and Roman, G.-C., “Reliable Mobicast via Face-Aware Routing,” 23rd Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM 2004), March 2004.
Huang, Q., Lu, C., and Roman, G.-C., “Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Networks,” Telecommunication Systems 26, No. 2-4, Kluwer Academic Publishers, June-August 2004, 129-160.
Mascolo, C., Picco, G. P., and Roman, G.-C., “CODEWEAVE: Exploring Fine-Grained Mobility of Code,” Automated Software Engineering Journal 11, No. 3, June 2004, 207-243.
Huang, Q., Julien, C., and Roman, G.-C., “Relying on Safe Distance to Achieve Partitionable Group Membership in Ad Hoc Networks,” IEEE Transactions on Mobile Computing 3, No. 2, April-June 2004, pp. 192-205.
Handorean, R., Gill, C., and Roman, G.-C., “Accommodating Transient Connectivity in Ad Hoc and Mobile Settings,” Ferscha, A., and Mattern, F., (editors), 2nd International Conference on Pervasive Computing (PERVASIVE 2004), Lecture Notes in Computer Science 3001, Springer, April 2004, pp. 305-322.
Roman, G.-C., Julien, C., and Payton, J., “A Formal Treatment of Context-Awareness,” (invited keynote paper), Wermelinger, M., and Margaria-Steffen, T., (editors), Proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering (FASE 2004), Lecture Notes in Computer Science 2984, Springer, March/April 2004, pp. 12-36.
Fok, C.-L., Roman, G.-C., and Hackmann, G., “A Lightweight Coordination Middleware for Mobile Computing,” Proceedings of the 6th International Conference on Coordination Models and Languages (Coordination 2004), De Nicola, R., Ferrari, G., and Meredith, G., (editors), Lecture Notes in Computer Science 2949, Springer-Verlag, Pisa, Italy, February 2004, pp. 135-151.
Julien, C., and Roman, G.-C., “Active Coordination in Ad Hoc Networks,” Proceedings of the 6th International Conference on Coordination Models and Languages (Coordination 2004), De Nicola, R., Ferrari, G., and Meredith, G., (editors), Lecture Notes in Computer Science 2949, Springer-Verlag, Pisa, Italy, February 2004, pp. 199-215.

2003

Huang, Q., Lu, C., and Roman, G.-C., “Spatiotemporal Multicast in Sensor Networks,” Proceedings of the First, International Conference on Embedded Networked Sensor Systems (SenSys 2003), November 2003, pp. 205-217.
Handorean, R., and Roman, G.-C., “Secure Service Provision in Ad Hoc Networks,” Orlowska, M. E., Weerawarana, S., Papazoglou, S., and Yang, J., (editors), Proceedings of the First International Conference on Service Oriented Computing (ICSOC 2003), Lecture Notes in Computer Science 2910, Springer, December 2003, pp. 367-383.
Handorean, R., and Roman, G.-C., “Secure Sharing of Tuple Spaces in Ad Hoc Settings,” Proceedings of the 1st International Workshop on Security Issues in Coordination Models, Languages, and Systems, (SecCo 2003), Electronic Notes in Theoretical Computer Science (ENTCS) 85, No. 3, http://www.elsevier.nl/gej-ng/31/29/23/show/Products/notes/contents.htt.
Handorean, R., Payton, J., Julien, C., and Roman, G.-C., “Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile Systems” Proceedings of the ICDCS Workshops, International Workshop on Mobile Computing Middleware (MCM 2003), May 2003, pp. 363-368.
Roman, G.-C., and Payton, J., “Mobile UNITY Schemas for Agent Coordination,” (invited paper), Börger, E., Gargantini, A., and Riccobene, E., (editors), Proceedings of the 10th International Workshop on Abstract State Machines, Lecture Notes in Computer Science 2589, Springer, March 2003, pp. 126-150.
Huang, Q., Lu, C., and Roman, G.-C., “Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints,” in Proceedings of The 2nd International Workshop on Information Processing in Sensor Networks (IPSN), Zhao, F., and Guibas, L., (editors), Lecture Notes in Computer Science 2634, Springer, April 2003, pp. 442-457.
Roman, G.-C., Julien, C., and Murphy, A. L., “A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments,” in Software Engineering for Large-Scale Multi-Agent Systems, Garcia, A., Lucena, C., Zambonelli, F., Omicini, A., and Castro, J., (editors), Springer LNCS 2603, 2003, pp. 94-109.

2002

Huang, Q., Miller, R., MacNeille, P., Roman, G.-C. and DiMeo, D., “Development of a Peer-to-Peer Collision Warning System,” (electronic publication) Ford Technical Journal 5, No. 2, March 2002.
Julien, C., and Roman, G.-C., “Egocentric Context-Aware Programming in Ad Hoc Mobile Environments,” Proceedings of the Tenth International Symposium on the Foundations of Software Engineering, November 2002, pp. 21-30.
Picco, G. P., Murphy, A. L., and Roman, G.-C., “On Global Virtual Data Structures,” Process Coordination and Ubiquitous Computing, Marinescu, D., and Lee, C., (editors), August 2002, CRC Press, pp. 11-29.
Roman, G.-C., Julien, C., and Huang, Q., “Network Abstractions for Context–Aware Mobile Computing,” Proceedings of 24th International Conference on Software Engineering, May 2002, pp. 363-373.
Murphy, A. L., Roman, G.-C., and Varghese, G., “Tracking Mobile Units for Dependable Message Delivery,” IEEE Transactions on Software Engineering 28, No. 5, May 2002, pp. 433-448.
Roman, G.-C., Julien, C., and Huang, Q., “Formal Specification and Design of Mobile Systems,” Proceedings of the 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA’2002), April 2002.)
Handorean, R., and Roman, G.-C., “Service Provision in Ad Hoc Networks,” Proceedings of the 5th International Conference on Coordination Models and Languages (Coordination 2002), Arbab, F., and Talcott, C., (editors), Lecture Notes in Computer Science 2315, Springer-Verlag, York, UK, April 2002, pp. 207-219.
Roman, G.-C., and McCann, P. J., “A Notation and Logic for Mobile Computing,” Formal Methods in System Design 20, No. 1, 2002, pp. 47-68.

2001

Picco, G. P., Roman, G.-C., and McCann, P. J., “Reasoning about Code Mobility in Mobile UNITY,” ACM Transactions on Software Engineering and Methodology 10, No. 3, July 2001, pp. 338-395.
Roman, G.-C., Murphy, A. L., and Picco, G. P., “Coordination and Mobility,” in Coordination of Internet Agents: Models, Technologies, and Applications, A. Omicini et al (editors), Springer Verlag, 2001, pp. 253-273.
Murphy, A. L., Picco, G. P., and Roman, G.-C., “Lime: A Middleware for Physical and Logical Mobility,” Proceedings of the 21st International Conference on Distributed Computing Systems, April 2001, pp. 524-533.
Roman, G.-C., Huang Q., and Hazemi, A., “Consistent Group Membership in Ad Hoc Networks,” Proceedings of 23rd International Conference on Software Engineering, May 2001, pp. 381-388.

2000

Porto, A., and Roman, G.-C., (editors), Coordination Languages and Models, Proceedings of the 4th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science 1906, Springer-Verlag, Cyprus, September 2000.
Tudoreanu, M. E., Hart, D., and Roman, G.-C. “Reshapeable Visualizations”, Proceedings of the International Symposium on Multimedia Software Engineering, Taipei, Taiwan, December 2000, pp. 245-250.
Roman, G.-C., Picco, G. P., and Murphy, A. L., “Software Engineering for Mobility: A Roadmap,” (invited paper) Future of Software Engineering, A. Finkelstein (ed.), 22nd International Conference on Software Engineering, June 2000, pp. 241-258.
Picco, G. P., Murphy, A. L., and Roman, G.-C., “Developing Mobile Computing Applications with Lime,” (software demo overview), Proceedings of the 22nd International Conference on Software Engineering, June 2000, pp. 766-769.

1999

Hart, D., Kraemer, E., and Roman, G.-C., “Consistency Considerations in the Interactive Steering of Computations,” International Journal of Parallel and Distributed Networks and Systems 2, No. 3, 1999, pp. 171-179.
Mascolo, C., Picco, G. P., and Roman, G.-C., “A Fine-Grained Model for Code Mobility,” Proceedings of the Seveth European Software Engineering Conference (ESEC’99), Nierstrasz, O., and Lemoine, M. (editors), Lecture Notes in Computer Science 1687, Springer-Verlag, September 1999, pp. 39-56.
Picco, G. P., Murphy, A. L., and Roman, G.-C., “Lime: Linda Meets Mobility,” Proceedings of the 21st International Conference on Software Engineering, May 1999, pp. 368-377.
McCann, P. J., and Roman, G.-C., “Modeling Mobile IP in Mobile UNITY,” ACM Transactions on Software Engineering and Methodology 8, No. 2, April 1999, pp. 115-146.

1998

Roman, G.-C., and Hu, J. C., “Plastic Transformations: A Method for Building Dependable Distributed Applications,” IEE Proceedings—Software 145, No. 2-3, April-June 1998, pp. 51-59.
Roman, G.-C., and McCann, P. J., “An Introduction to Mobile UNITY,” Proceedings of the International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA 98), in Parallel and Distributed Processing, Rolim, J., (editors), Lecture Notes in Computer Science 1388, Springer-Verlag, April 1998, pp. 871-880.
Roman, G.-C., “Declarative Visualization,” in Software Visualization: Programming as a Multi-Media Experience, J. Stasko et al (editors), MIT Press, 1998, pp. 173-186.
Kraemer, E., Hart, D., and Roman, G.-C., “Balancing Consistency and Lag in Transaction-Based Computational Steering,” Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, January 1998, pp. 137-146.
McCann, P. J., and Roman, G.-C., “Compositional Programming Abstractions for Mobile Computing,” IEEE Transactions on Software Engineering 24, No. 2, February 1998, pp. 97-110.
Murphy, A. L., Roman, G.-C., and Varghese, G., “An Exercise in Formal Reasoning about Mobile Computations,” Proceedings of the Ninth International Workshop on Software Specification and Design (IWSSD-9), April 1998, pp. 25-33.
Roman, G.-C., and Ghezzi, C., Guest Editors, “Introduction to the Special Issue on Mobility and Network Aware Computing,” IEEE Transactions on Software Engineering 24, No. 5, May 1998, pp 313-314.
Ghezzi, C., and Roman, G.-C., “Workshop on Computing and Communication in the Presence of Mobility”, (workshop position paper), Proceedings of the International Conference on Software Engineering (ICSE’98), vol. 2, April 1998, pp. 310-311.
Roman, G.-C., et al, “Computing and Communication in the Age of Mobility” , (panel position paper), Proceedings of the International Conference on Software Engineering (ICSE’98), vol. 2, April 1998, pp. 13-17.

1997

Gamble, R. F., and Roman, G.-C., “Using Software Architecture Information to Formally Derive Synchronous Knowledge-Based Systems,” International Journal of Expert Systems: Research and Applications 10, No. 2, 1997, pp. 93-135.
Murphy, A. L., Roman, G.-C., and Varghese, G., “An Algorithm for Message Delivery to Mobile Units,” (abstract) Proceedings of the Sixteenth ACM Annual Symposium on Principles of Distributed Computing (PODC), August 1997, p. 292.
Picco, G. P., Roman, G.-C., and McCann, P. J., “Expressing Code Mobility in Mobile UNITY,” Proceedings of the Sixth European Software Engineering Conference (ESEC’97), Jazayeri, M., and Schauer, H., (editors), Lecture Notes in Computer Science 1301, Springer-Verlag, September 1997, pp. 500-518.
Roman, G.-C., McCann, P. J., and Plun, J. Y., “Mobile UNITY: Reasoning and Specification in Mobile Computing,” ACM Transactions on Software Engineering and Methodology 6, No. 3, July 1997, pp. 250-282.
Hart, D., Kraemer, E., and Roman, G.-C., “Interactive Visual Exploration of Distributed Computations,” Proceedings of the 11th International Parallel Processing Symposium, April 1997, pp. 121-127.
McCann, P. J., and Roman, G.-C., “Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts,” Proceedings of the Second International Conference on Coordination Models and Languages (Coordination ‘97), Garlan, D., and Métayer, D. Le, (editors), Lecture Notes in Computer Science 1282, Springer-Verlag, September 1997, pp. 338-354.

1996

Cunningham, H. C., Roman, G.-C., and Plun, J. Y., “Assertional Reasoning about Dynamic Systems,” Parallel Computing: Paradigms and Applications, Zomaya, A. Y., (editor), International Thomson Computer Press, 1996, pp. 117-144.
Roman, G.-C., Hart, D., and Calkins, C., “Visual Presentation of Software Specifications and Designs,” Proceedings of the Eighth International Workshop on Software Specification and Design, March 1996, pp. 115-124.
Roman, G.-C., McCann, P. J., and Plun, J. Y., “Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing,” Proceedings of the 18th International Conference on Software Engineering, March 1996, pp. 155-164.
Wilcox, C. D., and Roman, G.-C., “Reasoning about Places, Times, and Actions in the Presence of Mobility,” IEEE Transactions on Software Engineering 22, No. 4, April 1996, pp. 225-247.

1995

Roman, G.-C., “Software Visualization through Active Presentation,” (Invited Position Paper), Proceedings of the 1995 International Conference on Software Engineering and Knowledge Engineering, June 1995, p. 292.

1994

Cox, K. C., and Roman, G.-C., “A Characterization of the Computational Power of Rule-Based Visualization,” Journal of Visual Languages and Computing 5, No. 1, March 1994, pp. 5-27.
Roman, G.-C., and Wilcox, C. D., “Architecture-Directed Refinement,” IEEE Transactions on Software Engineering 20, No. 4, April 1994, pp. 239-258.
Gamble, R. F., Roman, G.-C., Ball, W. E., and Cunningham, H. C., “Applying Formal Verification Methods to Rule-based Programs,” International Journal of Expert Systems: Research and Applications 7, No. 3, 1994, pp. 203-237.
Creveuil, C., and Roman, G.-C., “Formal Specification and Design of a Message Router,” ACM Transactions on Software Engineering and Methodology 3, No. 4, October 1994, pp. 271-307.

1993

Ghezzi, C., and Roman, G.-C., Guest Editors, Selected Papers of the Sixth International Workshop on Software Specification and Design, Science of Computer Programming 20, No. 1-2, April 1993. Roman, G.-C., Gamble, R. F., and Ball, W. E., “Formal Derivation of Rule-Based Programs,” IEEE Transactions on Software Engineering 19, No. 3, March 1993, pp. 277-296.
Roman, G.-C., Plun, J. Y., and Wilcox, C. D., “Dynamic Synchrony among Atomic Actions,” IEEE Transactions on Parallel and Distributed Systems 4, No. 6, June 1993, pp. 677-685.
Roman, G.-C., and Cox, K. C., “A Taxonomy of Program Visualization Systems,” Computer 26, No. 12, December 1993, pp. 11-24.

1992

Ghezzi, C., and Roman, G.-C., “Succeedings of the Sixth International Workshop on Software Specification and Design,” Software Engineering Notes 17, No. 1, January 1992, pp. 44-51.
Roman, G.-C., and Cunningham, H. C., “Reasoning about Synchronic Groups,” Research Directions in High-Level Parallel Programming Languages, Banâtre, J. P., and Métayer, D. Le, (editors), Lecture Notes in Computer Science 574, Springer-Verlag, 1992, pp. 21-38.
Roman, G.-C., Gamble, R. F., and Ball, W. E., “Seeking Concurrency in Rule-based Programming,” Proceedings of the 14th International Conference on Software Engineering., May 1992, pp. 225-234.
Roman, G.-C., and Cox, K. C., “Program Visualization: The Art of Mapping Programs to Pictures,” Proceedings of the 14th International Conference on Software Engineering, May 1992, pp. 412-420.
Roman, G.-C., Wilcox, C. D., and Plun, J. Y., “On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints,” Proceedings of the 12th International Conference on Distributed Computing Systems, June 1992, pp. 494-501.
Roman, G.-C., Cox, K. C., Wilcox, C. D., and Plun, J. Y., “Pavane: A System for Declarative Visualization of Concurrent Computations,” Journal of Visual Languages and Computing 3, No. 2, June 1992, pp. 161-193.
Cox, K. C., and Roman, G.-C., “Abstraction in Algorithm Animation,” Proceedings of the IEEE Workshop on Visual Languages, September 1992, pp. 18-24.

1991

Laine, A. F., and Roman, G.-C., “A Parallel Algorithm for Incremental Stereo Matching on SIMD Machines,” IEEE Transactions on Robotics and Automation 7, No. 1, February 1991, pp. 123-134.
Gamble, R. F., Roman, G.-C., and Ball, W. E., “Formal Verification of Pure Production System Programs,” Proceedings of the 9th National Conference on Artificial Intelligence, Vol. 1, July 1991, pp. 329-334.
Cox, K. C., and Roman, G.-C., “Visualizing Concurrent Computations,” Proceedings of the IEEE Workshop on Visual Languages, October 1991, pp. 18-24.

1990

Cunningham, H. C., and Roman, G.-C., “A UNITY-Style Programming Logic for a Shared Dataspace Language,” IEEE Transactions on Parallel and Distributed Systems 1, No. 3, July 1990, pp. 365-376.
Roman, G.-C., and Cunningham, H. C., “The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic,” Proceedings of the 10th International Conference on Distributed Computing Systems, May 1990, pp. 142-149.
Laine, A. F., and Roman, G.-C., “A Parallel Algorithm for Incremental Stereo Matching on SIMD Machines,” Proceedings of the 10th International Conference on Pattern Recognition, Vol. 2, June 1990, pp. 484-490.
Roman, G.-C., “A Taxonomy of Current Issues in Requirements Engineering,” System and Software Requirements Engineering, R. H. Thayer and M. Dorfman (editors), IEEE Computer Society Press Tutorial, 1990, pp. 23-31. (Reprinted from Computer 18, No. 4, April 1985, pp. 14-23.)
Roman, G.-C., and Cox, K. C., “A Declarative Approach to Visualizing Concurrent Computations,” Visual Programming Environments: Applications and Issues, E. P. Glinert (editor), IEEE Computer Society Press Tutorial, 1990, pp. 83-94. (Reprinted from Computer 22, No. 10, October 1989, pp. 25-36.)
Roman, G.-C., and Cunningham, H. C., “Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency,” IEEE Transactions on Software Engineering 16, No. 12, December 1990, pp. 1361-1373.
Roman, G.-C., “Formal Specification of Geographic Data Processing Requirements,” IEEE Transactions on Data and Knowledge Engineering 2, No. 4, December 1990, pp. 370-380.

1989

Roman, G.-C., and Cox, K. C., “Declarative Visualization in the Shared Dataspace Paradigm,” Proceedings of the 11th International Conference on Software Engineering, May 1989, pp. 34-43.
Roman, G.-C., and Cox, K. C., “A Declarative Approach to Visualizing Concurrent Computations,” Computer 22, No. 10, October 1989, pp. 25-36.
Roman, G.-C., and Cox, K. C., “Implementing a Shared Dataspace Language on a Message-Based Multiprocessor,” Proceedings of the 5th International Workshop on Software Specification and Design, May 1989, pp. 41-48.
Roman, G.-C., and Cunningham, H. C., “A Shared Dataspace Model of Concurrency - Language and Programming Implications,” Proceedings of the 9th International Conference on Distributed Computing Systems, June 1989, pp. 270-279.
Roman, G.-C., and Babb, R., “Concurrency, Coordination, and Distribution,” (Working Group Summary from the 5th IWSSD), Software Engineering Notes 14, No. 5, July 1989, pp. 37-38.

1988

Roman, G.-C., “Language and Visualization Support for Large-Scale Concurrency,” Proceedings of the 10th International Conference on Software Engineering, April 1988, pp. 296-308.
Roman, G.-C., Cunningham, H. C., and Ehlers, M. E., “A Shared Dataspace Language Supporting Large-Scale Concurrency,” Proceedings of the 8th International Conference on Distributed Computing Systems, June 1988, pp. 265-272.
Roman, G.-C., Laine, A. F., and Cox, K. C., “Interactive Complexity Control and High-Speed Stereo Matching,” Proceedings of the Conference on Computer Vision and Pattern Recognition, June 1988, pp. 171-176.
Cox, K. C., Roman, G.-C., Ball, W. E., and Laine, A. F., “Rapid Search for Spherical Objects In Aerial Photographs,” Proceedings of the Conference on Computer Vision and Pattern Recognition, June 1988, pp. 905-910.
1987 Roman, G.-C., “Data Engineering in Software Development Environments,” Proceedings of the 3rd International Conference on Data Engineering, February 1987, pp. 85-86.
Roman, G.-C., “Specifying Software/Hardware Interactions in Distributed Systems,” Proceedings of the 9th International Conference on Software Engineering, March 1987, pp. 126-139.
Roman, G.-C., and Ehlers, M. E., “System Specifications and Physical Relevance,” Proceedings of the 4th International Workshop on Software Specification and Design, April 1987, pp. 118-125.
Roman, G.-C., Ehlers, M. E., Cunningham, H. C., and Lykins, R. H., “Toward Comprehensive Specification of Distributed Systems,” Proceedings of the 7th International Conference on Distributed Computing Systems, September 1987.

1986

Roman, G.-C., et al., “Long-range Technological Impact on Computer-Aided Product Development at DMA,” Technical Report RADC-TR-86-49, Rome Air Development Center, Griffiss AFB, NY, July 1986.
Roman, G.-C., “Formal Specification of Geographic Data Processing Requirements,” Proceedings of the 2nd International Conference on Data Engineering, (Outstanding Paper Award), February 1986, pp. 434-446.

1985

Roman, G.-C., “A Taxonomy of Current Issues in Requirements Engineering,” Computer 18, No. 4, April 1985, pp. 14-23.
Roman, G.-C., “Specifying Software/Hardware Interactions in Distributed Systems,” Proceedings of the 3rd International Workshop on Software Specification and Design, August 1985, pp. 200-204.

1984

Roman, G.-C., and Day, M. S., “Multifaceted Distributed Systems Specification Using Processes and Event Synchronization,” Proceedings of the 7th International Conference on Software Engineering, March 1984, pp. 44-55.
Roman, G.-C. et al., “A Total System Design Framework,” Computer 17, No. 5, May 1984, pp. 15-26.

1983

Roman, G.-C., and Israel R. K., “Functional Specification of Distributed Systems,” Proceedings of the 1983 Conference on Parallel Processing, August 1983, pp. 503-505.
Roman, G.-C. et al., “Total System Design (TSD) Methodology Assessment,” Technical Report RADC-TR-82-331, Rome Air Development Center, Griffiss AFB, NY, January 1983.

1982

Roman, G.-C., “On Reducing Ambiguities in Methodology Definitions,” Proceedings of the 1982 Conference on Trends and Applications, May 1982, pp. 47-54.
Roman, G.-C., and Israel, R. K., “A Formal Treatment of Distributed Systems Design,” in Requirements Engineering Environments, Y. Ohno (editor), OHM/North-Holland Pub. Co., 1982, pp. 3-12.
Roman, G.-C., “A Rigorous Approach to Building Formal System Requirements,” Proceedings of the Computer Software and Applications Conference, November 1982, pp. 417-423.

1981

Roman, G.-C., and Kimura, T., “VLSI Perspective of Real-Time Hidden Surface Elimination,” CAD 13, No. 2, March 1981, pp. 99-107.
Roman, G.-C., “A Methodological Framework for the Design of Distributed Systems,” Proceedings of the 1981 ACM North Central Regional Conference, September 1981, pp. 135-142.

1980

Roman, G.-C., “Concurrency Coordination in a Locally Distributed Database System,” Proceedings of the 1980 National Computer Conference, May 1980, pp. 269-273.

1979

Roman, G.-C., and Kimura, T., “A VLSI Architecture for Real-Time Color Display of Three-Dimensional Objects,” Proceedings of the Delaware Bay Computer Conference, March 1979.
Roman, G.-C., “A Taxonomic View of Documentation,” Proceedings of the 1979 Conference on Information Sciences and Systems, March 1979, pp. 193-198.
Roman, G.-C., “Verification Procedures Supporting Software Systems Development,” Proceedings of the 1979 National Computer Conference, June 1979, pp. 947-956.

1978

Garfinkel, D., Kohn, M. C., Achs, M. J., Phifer, J., and Roman, G.-C., “Construction of More Reliable Complex Metabolic Models Without Repeated Solution of Their Constituent Differential Equations,” Mathematics and Computers in Simulation XX, No. 1, March 1978, pp. 18-27.
Clasen, R. J., Garfinkel, D., Shapiro, N. Z., and Roman, G.-C., “A Method for Solving Certain Stiff Differential Equations,” SIAM Journal on Applied Mathematics 34, No. 4, June 1978, pp. 732-742.
Roman, G.-C., and Garfinkel, D., “BIOSSIM—A Structured Machine Independent Biological Simulation Language,” Computers and Biomedical Research 11, February 1978, pp. 3-15.
Stucki, M. J., Cox, J. R., Roman, G.-C., and Turcu, P. N., “Coordinating Concurrent Access in A Distributed Database Architecture,” Fourth Workshop on Computer Architecture for Non-Numeric Processing, Syracuse University, August 1978.

1977

Roman, G.-C., “About Invariants and Program Quality,” Proceedings of the 1977 Conference on Information Sciences and Systems, March 1977, pp. 118-120.
Roman, G.-C., “A Two-Step Approach to the Validation of Software Engineering Methodologies,” Proceedings of the 1977 National Computer Conference, June 1977, pp. 539-544.
Roman, G.-C., “An Argument in Favor of Mechanized Software Production,” IEEE Transactions on Software Engineering SE-3, No. 6, November 1977, pp. 406-415.

1976

Roman, G.-C., “A Systematic Documentation Scheme for Programs with a Totally Centralized Control Structure,” Proceedings of the 1976 ACM Computer Science Conference, February 1976, p. 6.
Clasen, R. J., Garfinkel, D., Shapiro, N., and Roman, G.-C., “A Method for Solving Certain Stiff Differential Equations,” SIAM 1976 National Meeting, June 1976.
Roman, G.-C., Garfinkel, D., and Marbach, C., “Memory Conserving Efficient Methods for Solving Large Sets of Stiff Differential Equations,” Proceedings of the 1976 National Computer Conference, June 1976, pp. 973-978.
Garfinkel, D., Achs, M., Phifer, J., Kohn, M. C., and Roman, G.-C., “A Method of Constructing Metabolic Models Without Repeatedly Solving the Differential Equations Composing Them,” Proceedings of the 1976 Summer Computer Simulation Conference, July 1976, pp. 493-499.

1975


Joshi, A. K., and Roman, G.-C., “Application of a Formalism for Systematic Programming to Developmental Models,” Proceedings of the Conference on Formal Languages, Automata, and Development, The Netherlands, March 1975.
Roman, G.-C., “Application of a Methodology for Systematic Programming to ‘Restructuring’ a Large Simulation System,” Proceedings of the 1975 Conference on Information Sciences and Systems, March 1975.

roman
Farris Engineering
Center:
Room 301G
Ph: (505) 277-6967
Fax: (505) 277-6927
Email: gcroman@unm.edu
Faculty page