|
The material on this page
is presented to ensure timely dissemination of scholarly and technical
work. Copyright and all rights therin are retained by authors or by
other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit
permission of the copyright holder.
Personal use of this material is permitted. Howerver, permission to
reprint/republish this material for advertising or promotional purposes
or for creating new collective works for resale or redistribution to
servers or lists, or to reuse any copyrighted component of the works
published in IEEE publications in other works must be obtained from
the IEEE.
If you have any questions about this please
contact the authors.
Recent
Reports | In Press
1990 | 1991 | 1992
| 1993 | 1994 | 1995
| 1996 | 1997 | 1998
| 1999
2000 | 2001 | 2002
| 2003 | 2004 | 2005 | 2006 | 2007 | 2008
Recent
Reports
| Julien, C., Payton, J., and Roman, G.-C., “Adaptive Strategies for Persistent Queries in Dynamic Environments,” Technical Report, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
| Fok, C.-L., Roman, G.-C., and Lu, C., “Flexible Service Provisioning for Heterogeneous Wireless Sensor Networks,” Technical Report, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
| Bhattacharya, S., Lu, C., and Roman, G.-C., “Utility-based Multi-Application Deployment in Shared Wireless Sensor Networks,” Technical Report, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
| Sen, R., Roman, G.-C., and Gill, C., “Distributed Allocation of Workflow Tasks in MANETs,” Technical Report, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
| Xing, G., Bhattacharya, S., Lu, C., Chipara, O., Fok, C.-L., and Roman, G.-C., “Design and Analysis of Just-in-Time Prefetching Protocols for MobiQuery,” Technical Report, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
| Chipara, O., Lu, C., Stankovic, J., and Roman, G.-C., “Dynamic Conflict-free Transmission Scheduling for Sensor Network Queries,” Technical Report, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
| Fok, C.-L., Roman, G.-C., and Lu, C., “Agilla: A Mobile Agent Middleware for Sensor Networks,” Technical Report WUCSE-06-16, Washington University, Department of Computer Science and Engineering, St. Louis, Missouri. |
[Abstract]
[PDF] |
^ Top
In Press
^ Top
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, Zattavarro, G., and Lea, D. (editors), Springer Verlag, Oslo, Cyprus, Norway 2008, pp. |
[Abstract]
[PDF] |
| 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. |
[Abstract]
[PDF] |
| 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. |
[Abstract]
[PDF] |
^ Top
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.
|
[Abstract]
[PDF] |
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)
|
[Abstract]
[PDF] |
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.
|
[Abstract]
[PDF] |
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.
|
[Abstract]
[PDF] |
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.
|
[Abstract]
[PDF] |
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.
|
[Abstract]
[PDF] |
Roman, G.-C., Julien, C., and Payton, J., “Modeling Adaptive Behaviors in Context UNITY,” Theoretical Computer Science 376, No. 3, 2007, pp. 185-204.
|
[Abstract]
[PDF] |
| 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. |
[Abstract]
[PDF] |
| 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. |
[Abstract]
[PDF] |
| 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. |
[Abstract]
[PDF] |
^ Top
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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) |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
^ Top
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.
|
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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., "Efficient
Power Management based on Application Timing Semantics for 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 (Book
Chapter),” Service-Oriented Software System Engineering:
Challenges And Practices, Stojanovic, Z. and Dahanayake, A.,
eds., Idea Group Publishing, Hershey, USA, 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. |
[Abstract]
[PDF] |
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. |
|
| G.-C. Roman, J. Payton. A Termination Detection Protocol for
Use in Mobile Ad Hoc Networks. Automated Software Engineering
Journal 12, No. 1, January 2005, pp. 81-99 |
|
| Lu, C., Xing, G., Chipara, O., Fok, C-L., and
Bhattacharya, S. "A Spatiotemporal Query Service for Mobile
Users in Sensor Networks", Proceedings of the International
Conference on Distributed Computing Systems (ICDCS'05), Columbus,
OH, June 2005 |
|
Bhattacharya, S., Chipara, O., Harris, B., Lu,
C., Xing, G., and Fok, C-L. "Demo Abstract: MobiQuery -
A Spatiotemporal Data Service for Sensor Networks," ACM Conference
on Embedded Networked Sensor Systems (SenSys'04), Baltimore, MD,
November 2004.
|
[Abstract]
[PDF] |
^ Top
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. |
|
| Payton, J., Julien, C., Roman, G.-C., "Context-Sensitive Data Structures Supporting Software Development in Ad hoc Networks," in Proceedings of the 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'2004), co-located with ICSE'04, May 2004, pp. 34-41. |
|
| Sen, R., Handorean, R., Roman, G.-C., and Hackmann,
G., “Knowledge-Driven Interactions With Services Across
Ad Hoc Networks,” Aiello, M., Aoyama, M., Curbera, F.,
Papazoglou, M., (editors), Proceedings of the 2nd International
Conference on Service Oriented Computing (ICSOC 04), pp. 222
- 231, November 2004, New York, USA |
|
Handorean, R., Gill, C., and Roman, G.-C., “Accommodating
Transient Connectivity
in Ad Hoc and Mobile Settings,” Ferscha, A., and Mattern, F., (editors),
Proceedings of the
2nd International Conference on Pervasive Computing (PERVASIVE 2004), Lecture
Notes in
Computer Science 3001, Springer, April 2004, pp. 305-322. |
|
| Handorean, R., Sen, R., Hackmann, G., Roman, G.-C., “An
Architecture Supporting Run-Time Upgrade of Proxy-Based Services
in Ad Hoc Networks,”Proceedings of Pervasive Computing
Conference, June 2004, pp. 689-696 |
|
| Julien, C., Roman, G.-C., and Payton, J., "Context-Sensitive Access Control for Open Mobile Agent Systems," in Proceedings of the 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'2004), co-located with ICSE'04) , May 2004. |
|
Roman, G.-G., Julien, C., and Payton, J., "A Formal Treatment
of Context-Awareness," (invited 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. |
|
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. |
|
| 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., 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. |
|
Huang, Q., Lu, C., and Roman, G.-C., “Reliable Mobicast
via Face-Aware Routing,” Proceedings of the 23rd Annual
Joint Conference of the IEEE Computer and Communications Societies
(INFOCOM 2004), March 2004. |
|
^ Top
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. |
|
| Julien, C., Payton, J., and Roman, G.-C., “Reasoning
About Context Awareness in the Presence of Mobility,” Technical
Report WUCSE-03-46, Washington University, Department of Computer
Science, St. Louis, Missouri. (to appear in Proceedings of the
2nd International Workshop on Foundations of Coordination Languages
and Software Architectures (Foclasa'03)) |
|
| Handorean, R., and Roman, G.-C., “Secure Service Provision
in Ad Hoc Networks,” Technical Report WUCSE-03-47, Washington
University, Department of Computer Science, St. Louis, Missouri.
In Proceedings of the First International Conference on Service
Oriented Computing (ICSOC 2003). |
|
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 |
[Abstract]
[PDF]
|
| 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. |
[Abstract]
[PDF] |
| 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 |
[Abstract]
[PDF]
|
| 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. |
[Abstract]
[PDF] |
| 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 |
[Abstract]
[PDF] |
^ Top
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
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. |
|
^ Top
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. |
[Abstract]
[PDF] |
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. |
|
^ Top
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
^ Top
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. |
[Abstract]
[PDF] |
| 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. |
|
^ Top
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. |
[Abstract]
[PDF] |
| 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-98), 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. |
[Abstract]
[PDF] |
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. |
|
^ Top
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. |
[Abstract]
[PDF] |
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. |
|
Top
1996
Cunningham, H. C., Roman, G.-C., and Plun, J. Y., “Assertional
Reasoning about
Dynamic Systems,” Parallel Computing: Paradigms and Applications,
Zomaya, |
|
| 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. |
|
^ Top
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. |
[Abstract]
[PDF] |
^ Top
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. |
|
^ Top
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. |
[Abstract]
[PDF] |
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. |
|
^ Top
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. |
[Abstract]
[PDF] |
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. |
|
^ Top
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. |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
^ Top
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. |
[Abstract]
[PDF] |
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.) |
[Abstract]
[PDF] |
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.) |
[Abstract]
[PDF] |
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. |
[Abstract]
[PDF] |
^ Top
|
