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 |