2009 | ||
---|---|---|
119 | EE | Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman: Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. FASE 2009: 401-416 |
2008 | ||
118 | EE | Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill: CiAN: A Workflow Engine for MANETs. COORDINATION 2008: 280-295 |
117 | EE | Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman: MLDS: A flexible location directory service for tiered sensor networks. Computer Communications 31(6): 1160-1172 (2008) |
116 | EE | Christine Julien, Gruia-Catalin Roman, Qingfeng Huang: SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. 7(4): 401-415 (2008) |
2007 | ||
115 | EE | Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill: Coordinating Workflow Allocation and Execution in Mobile Environments. COORDINATION 2007: 249-267 |
114 | EE | Davide Frey, Gruia-Catalin Roman: Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. COORDINATION 2007: 37-55 |
113 | EE | Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman: Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks. DCOSS 2007: 158-173 |
112 | EE | Jamie Payton, Christine Julien, Gruia-Catalin Roman: Automatic consistency assessment for query results in dynamic environments. ESEC/SIGSOFT FSE 2007: 245-254 |
111 | EE | Fei Sun, Chien-Liang Fok, Gruia-Catalin Roman: sChat: a group communication service over wireless sensor networks. IPSN 2007: 543-544 |
110 | EE | Octav Chipara, Chenyang Lu, Gruia-Catalin Roman: Real-Time Query Scheduling for Wireless Sensor Networks. RTSS 2007: 389-399 |
109 | EE | Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann, Christopher D. Gill: Knowledge-Driven Interactions across Mobile Ad Hoc Networks. Int. J. Cooperative Inf. Syst. 16(1): 123-153 (2007) |
108 | EE | Gruia-Catalin Roman, Christine Julien, Jamie Payton: Modeling adaptive behaviors in Context UNITY. Theor. Comput. Sci. 376(3): 185-204 (2007) |
2006 | ||
107 | Sergio F. Ochoa, Gruia-Catalin Roman: IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile Springer 2006 | |
106 | EE | Daniel Massaguer, Chien-Liang Fok, Nalini Venkatasubramanian, Gruia-Catalin Roman, Chenyang Lu: Exploring sensor networks using mobile agents. AAMAS 2006: 323-325 |
105 | EE | Gruia-Catalin Roman, Radu Handorean, Rohan Sen: Tuple Space Coordination Across Space and Time. COORDINATION 2006: 266-280 |
104 | EE | Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu: Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks. DCOSS 2006: 101-118 |
103 | EE | Sangeeta Bhattacharya, Nuzhet Atay, Gazihan Alankus, Chenyang Lu, O. Burçhan Bayazit, Gruia-Catalin Roman: Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments. DCOSS 2006: 17-36 |
102 | EE | Gregory Hackmann, Mart Haitjema, Christopher D. Gill, Gruia-Catalin Roman: Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices. ICSOC 2006: 503-508 |
101 | EE | Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman: Distributed Abstract Data Types. OTM Conferences (2) 2006: 1594-1612 |
100 | EE | Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman: A hierarchical location directory service across sensor and IP networks. SenSys 2006: 365-366 |
99 | EE | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman: LIME: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15(3): 279-328 (2006) |
98 | EE | Christine Julien, Gruia-Catalin Roman: EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Trans. Software Eng. 32(5): 281-298 (2006) |
97 | EE | Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman: Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management. Int. J. Web Service Res. 3(3): 1-26 (2006) |
2005 | ||
96 | Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA ACM 2005 | |
95 | EE | Octav Chipara, Chenyang Lu, Gruia-Catalin Roman: Efficient Power Management Based on Application Timing Semantics for Wireless Sensor Networks. ICDCS 2005: 361-370 |
94 | EE | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu: Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications. ICDCS 2005: 653-662 |
93 | EE | Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman: Context Aware Session Management for Services in Ad Hoc Networks. IEEE SCC 2005: 113-120 |
92 | EE | Sangeeta Bhattacharya, Guoliang Xing, Chenyang Lu, Gruia-Catalin Roman, Octav Chipara, Brandon Harris: Dynamic wake-up and topology maintenance protocols with spatiotemporal guarantees. IPSN 2005: 28-34 |
91 | EE | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu: Mobile agent middleware for sensor networks: an application case study. IPSN 2005: 382-387 |
90 | EE | Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu, Christopher K. Zuver, Kent English, John Meier: Agile cargo tracking using mobile agents. SenSys 2005: 303 |
89 | EE | Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill: Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
88 | EE | Gruia-Catalin Roman, Jamie Payton: A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. Autom. Softw. Eng. 12(1): 81-99 (2005) |
87 | EE | Qingfeng Huang, Sangeeta Bhattacharya, Chenyang Lu, Gruia-Catalin Roman: FAR: Face-aware routing for mobicast in large-scale sensor networks. TOSN 1(2): 240-271 (2005) |
86 | EE | Gruia-Catalin Roman, Jamie Payton: A principled exploration of coordination models. Theor. Comput. Sci. 336(2-3): 367-401 (2005) |
2004 | ||
85 | EE | Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann: A Lightweight Coordination Middleware for Mobile Computing. COORDINATION 2004: 135-151 |
84 | EE | Christine Julien, Gruia-Catalin Roman: Active Coordination in Ad Hoc Networks. COORDINATION 2004: 199-215 |
83 | EE | Christine Julien, Gruia-Catalin Roman: Supporting Context-Aware Interaction in Dynamic Multi-agent Systems. E4MAS 2004: 168-189 |
82 | EE | Gruia-Catalin Roman, Christine Julien, Jamie Payton: A Formal Treatment of Context-Awareness. FASE 2004: 12-36 |
81 | EE | Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann: Knowledge-driven interactions with services across ad hoc networks. ICSOC 2004: 222-231 |
80 | EE | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman: Reliable Mobicast via Face-Aware Routing. INFOCOM 2004 |
79 | Rohan Sen, Radu Handorean, Gregory Hackmann, Gruia-Catalin Roman: An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks. International Conference on Wireless Networks 2004: 689-695 | |
78 | EE | Radu Handorean, Christopher D. Gill, Gruia-Catalin Roman: Accommodating Transient Connectivity in Ad Hoc and Mobile Settings. Pervasive 2004: 305-322 |
77 | EE | Christine Julien, Jamie Payton, Gruia-Catalin Roman: Adaptive Access Control in Coordination-Based Mobile Agent Systems. SELMAS 2004: 254-271 |
76 | EE | Gregory Hackmann, Christine Julien, Jamie Payton, Gruia-Catalin Roman: Supporting Generalized Context Interactions. SEM 2004: 91-106 |
75 | EE | Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman: CODEWEAVE: Exploring Fine-Grained Mobility of Code. Autom. Softw. Eng. 11(3): 207-243 (2004) |
74 | EE | Christine Julien, Jamie Payton, Gruia-Catalin Roman: Reasoning About Context-Awareness in the Presence of Mobility. Electr. Notes Theor. Comput. Sci. 97: 259-276 (2004) |
73 | EE | Qingfeng Huang, Christine Julien, Gruia-Catalin Roman: Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks. IEEE Trans. Mob. Comput. 3(2): 192-205 (2004) |
72 | EE | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman: Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks. Telecommunication Systems 26(2-4): 129-160 (2004) |
2003 | ||
71 | EE | Gruia-Catalin Roman, Jamie Payton: Mobile UNITY Schemas for Agent Coordination. Abstract State Machines 2003: 126-150 |
70 | EE | Radu Handorean, Jamie Payton, Christine Julien, Gruia-Catalin Roman: Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System. ICDCS Workshops 2003: 362-368 |
69 | EE | Radu Handorean, Gruia-Catalin Roman: Secure Service Provision in Ad Hoc Networks. ICSOC 2003: 367-383 |
68 | EE | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman: Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints. IPSN 2003: 442-457 |
67 | EE | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman: Software Architecture for Mobile Computing. SFM 2003: 182-206 |
66 | EE | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman: Spatiotemporal multicast in sensor networks. SenSys 2003: 205-217 |
65 | EE | Radu Handorean, Gruia-Catalin Roman: Secure Sharing of Tuple Spaces in Ad Hoc Settings. Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
2002 | ||
64 | EE | Radu Handorean, Gruia-Catalin Roman: Service Provision in Ad Hoc Networks. COORDINATION 2002: 207-219 |
63 | EE | Gruia-Catalin Roman, Christine Julien, Qingfeng Huang: Network abstractions for context-aware mobile computing. ICSE 2002: 363-373 |
62 | EE | Gruia-Catalin Roman, Christine Julien, Qingfeng Huang: Formal Specification and Design of Mobile Systems. IPDPS 2002 |
61 | EE | Gruia-Catalin Roman, Christine Julien, Amy L. Murphy: A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments. SELMAS 2002: 94-109 |
60 | EE | Christine Julien, Gruia-Catalin Roman: Egocentric context-aware programming in ad hoc mobile environments. SIGSOFT FSE 2002: 21-30 |
59 | Gruia-Catalin Roman, Amy L. Murphy: Guest Editorial: Software Engineering for Mobility. Autom. Softw. Eng. 9(2): 135-136 (2002) | |
58 | Gruia-Catalin Roman, Peter J. McCann: A Notation and Logic for Mobile Computing. Formal Methods in System Design 20(1): 47-68 (2002) | |
57 | EE | Amy L. Murphy, Gruia-Catalin Roman, George Varghese: Tracking Mobile Units for Dependable Message Delivery. IEEE Trans. Software Eng. 28(5): 433-448 (2002) |
2001 | ||
56 | EE | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman: LIME: A Middleware for Physical and Logical Mobility. ICDCS 2001: 524-533 |
55 | Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi: Consistent Group Membership in Ad Hoc Networks. ICSE 2001: 381-388 | |
54 | Gruia-Catalin Roman, Gian Pietro Picco: Workshop on Software Engineering and Mobility. ICSE 2001: 756-757 | |
53 | Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco: Coordination and Mobility. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 253-273 | |
52 | EE | Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann: Reasoning about code mobility with mobile UNITY. ACM Trans. Softw. Eng. Methodol. 10(3): 338-395 (2001) |
2000 | ||
51 | António Porto, Gruia-Catalin Roman: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings Springer 2000 | |
50 | EE | Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman: Developing mobile computing applications with LIME. ICSE 2000: 766-769 |
49 | EE | Gruia-Catalin Roman, Gian Pietro Picco, Amy L. Murphy: Software engineering for mobility: a roadmap. ICSE - Future of SE Track 2000: 241-258 |
48 | EE | Mihail Eduard Tudoreanu, Delbert Hart, Gruia-Catalin Roman: Reshapeable Visualizations. ISMSE 2000: 245-252 |
1999 | ||
47 | EE | Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman: A Fine-Grained Model for Code Mobility. ESEC / SIGSOFT FSE 1999: 39-56 |
46 | EE | Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman: LIME: Linda Meets Mobility. ICSE 1999: 368-377 |
45 | EE | Peter J. McCann, Gruia-Catalin Roman: Modeling Mobile IP in Mobile UNITY. ACM Trans. Softw. Eng. Methodol. 8(2): 115-146 (1999) |
1998 | ||
44 | Gruia-Catalin Roman, Peter J. McCann: An Introduction to Mobile UNITY. IPPS/SPDP Workshops 1998: 871-880 | |
43 | Gruia-Catalin Roman, James C. Hu: Plastic transformations: A method for building dependable distributed Applications. IEE Proceedings - Software 145(2-3): 51-60 (1998) | |
42 | EE | Peter J. McCann, Gruia-Catalin Roman: Compositional Programming Abstractions for Mobile Computing. IEEE Trans. Software Eng. 24(2): 97-110 (1998) |
1997 | ||
41 | Peter J. McCann, Gruia-Catalin Roman: Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. COORDINATION 1997: 338-354 | |
40 | EE | Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann: Expressing Code Mobility in Mobile UNITY. ESEC / SIGSOFT FSE 1997: 500-518 |
39 | Amy L. Murphy, Gruia-Catalin Roman, George Varghese: An Algorithm for Message Delivery to Mobile Units. PODC 1997: 292 | |
38 | EE | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. Softw. Eng. Methodol. 6(3): 250-282 (1997) |
1996 | ||
37 | EE | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164 |
36 | EE | C. Donald Wilcox, Gruia-Catalin Roman: Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Trans. Software Eng. 22(4): 225-247 (1996) |
1995 | ||
35 | Gruia-Catalin Roman: Panelists: Software Visualization through Active Presentation. SEKE 1995: 292 | |
1994 | ||
34 | EE | Christian Creveuil, Gruia-Catalin Roman: Formal Specification and Designof a Message Router. ACM Trans. Softw. Eng. Methodol. 3(4): 271-307 (1994) |
33 | EE | Gruia-Catalin Roman, C. Donald Wilcox: Architecture-Directed Refinement. IEEE Trans. Software Eng. 20(4): 239-258 (1994) |
32 | Kenneth C. Cox, Gruia-Catalin Roman: A Characterization of the Computational Power of Rule-based Visualization. J. Vis. Lang. Comput. 5(1): 5-27 (1994) | |
1993 | ||
31 | Gruia-Catalin Roman, Kenneth C. Cox: A Taxonomy of Program Visualization Systems. IEEE Computer 26(12): 11-24 (1993) | |
30 | EE | Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox: Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distrib. Syst. 4(6): 677-685 (1993) |
29 | EE | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball: Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. 19(3): 277-296 (1993) |
28 | Carlo Ghezzi, Gruia-Catalin Roman: Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. Sci. Comput. Program. 20(1-2): 1-2 (1993) | |
1992 | ||
27 | Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun: On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. ICDCS 1992: 494-501 | |
26 | EE | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball: Seeking Concurrency in Rule-Based Programming. ICSE 1992: 225-234 |
25 | EE | Gruia-Catalin Roman, Kenneth C. Cox: Program Visualization: The Art of Mapping Programs to Pictures. ICSE 1992: 412-420 |
24 | Kenneth C. Cox, Gruia-Catalin Roman: Abstraction in Algorithm Animation. VL 1992: 18-24 | |
1991 | ||
23 | Rose F. Gamble, Gruia-Catalin Roman, William E. Ball: Formal Verification of Pure Production System Programs. AAAI 1991: 329-334 | |
22 | Gruia-Catalin Roman, H. Conrad Cunningham: Reasoning About Synchronic Groups. Research Directions in High-Level Parallel Programming Languages 1991: 21-38 | |
21 | Kenneth C. Cox, Gruia-Catalin Roman: Visualizing Concurrent Computations. VL 1991: 18-24 | |
1990 | ||
20 | Gruia-Catalin Roman, H. Conrad Cunningham: The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic. ICDCS 1990: 142-149 | |
19 | EE | Gruia-Catalin Roman: Formal Specification of Geographic Data Processing Requirements. IEEE Trans. Knowl. Data Eng. 2(4): 370-380 (1990) |
18 | EE | H. Conrad Cunningham, Gruia-Catalin Roman: A UNITY-Style Programming Logic for Shared Dataspace Programs. IEEE Trans. Parallel Distrib. Syst. 1(3): 365-376 (1990) |
17 | EE | Gruia-Catalin Roman, H. Conrad Cunningham: Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency. IEEE Trans. Software Eng. 16(12): 1361-1373 (1990) |
1989 | ||
16 | Gruia-Catalin Roman, Kenneth C. Cox: Declarative Visualization in the Shared Dataspace Paradigm. ICSE 1989: 34-43 | |
15 | Gruia-Catalin Roman, Kenneth C. Cox: A Declarative Approach to Visualizing Concurrent Computations. IEEE Computer 22(10): 25-36 (1989) | |
1988 | ||
14 | Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers: A Shared Dataspace Language Supporting Large-Scale Concurrency. ICDCS 1988: 265-272 | |
13 | Gruia-Catalin Roman: Language and Visualization Support for Large-Scale Concurrency. ICSE 1988: 296-308 | |
1987 | ||
12 | Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, R. H. Lykins: Toward Comprehensive Specification of Distributed Systems. ICDCS 1987: 282-291 | |
11 | EE | Gruia-Catalin Roman: Data Engineering in Software Development Environments. ICDE 1987: 85-86 |
10 | Gruia-Catalin Roman: Specifying Software/Hardware Interactions in Distributed Systems. ICSE 1987: 126-141 | |
1986 | ||
9 | EE | Gruia-Catalin Roman: Formal Specification of Geographic Data Processing Requirements. ICDE 1986: 434-446 |
1985 | ||
8 | Gruia-Catalin Roman: A Taxonomy of Current Issues in Requirements Engineering. IEEE Computer 18(4): 14-23 (1985) | |
1984 | ||
7 | Gruia-Catalin Roman, Mark S. Day: Multifaceted Distributed Systems Specification Using Processes and Event Synchronization. ICSE 1984: 44-55 | |
1983 | ||
6 | Gruia-Catalin Roman, Robert K. Israel: Functional Specification of Distributed Systems. ICPP 1983: 503-505 | |
1980 | ||
5 | EE | Gruia-Catalin Roman: Concurrency coordination in a locally distributed database system. AFIPS National Computer Conference 1980: 269-273 |
1978 | ||
4 | EE | M. J. Stucki, Jerome R. Cox Jr., Gruia-Catalin Roman, P. N. Turcu: Coordinating Concurrent Access in a Distributed Database Architecture. Computer Architecture for Non-Numeric Processing 1978: 60-64 |
1977 | ||
3 | EE | Gruia-Catalin Roman: A two-step approach to the validation of software engineering methodologies. AFIPS National Computer Conference 1977: 539-544 |
2 | Gruia-Catalin Roman: An Argument in Favor of Mechanized Software Production. IEEE Trans. Software Eng. 3(6): 406-415 (1977) | |
1976 | ||
1 | EE | Gruia-Catalin Roman, David Garfinkel, Carl B. Marbach: Memory conserving efficient methods for solving large sets of stiff differential equations. AFIPS National Computer Conference 1976: 973-978 |