Gruia-Catalin Roman

According to our database, Gruia-Catalin Roman authored at least 161 papers between 1976 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

CoPI: Enabling Probabilistic Conflict Prediction in Smart Space Through Context-awareness.

Jie Hua, Haoxiang Yu, Sangsu Lee, Hamim Md Adal, Colin Milhaupt, Gruia-Catalin Roman, Christine Julien

Proceedings of the Seventh IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2022

2021

The space broker: a middleware for mediating interactions in smart IoT spaces.

Hamim Md Adal, Colin Milhaupt, Jie Hua, Christine Julien, Gruia-Catalin Roman

Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021

ArcIoT: Enabling Intuitive Device Control in the Internet of Things through Augmented Reality.

Jie Hua, Sangsu Lee, Gruia-Catalin Roman, Christine Julien

Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021

2019

rIoT: Enabling Seamless Context-AwareAutomation in the Internet of Things.

Jie Hua, Chenguang Liu, Tomasz Kalbarczyk, Catherine Wright, Gruia-Catalin Roman, Christine Julien

CoRR, 2019

rIoT: Enabling Seamless Context-Aware Automation in the Internet of Things.

Jie Hua, Chenguang Liu, Tomasz Kalbarczyk, Catherine Wright, Gruia-Catalin Roman, Christine Julien

Proceedings of the 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2019

Warble: programming abstractions for personalizing interactions in the internet of things.

Yosef Saputra, Jie Hua, Nathaniel Wendt, Christine Julien, Gruia-Catalin Roman

Proceedings of the 6th International Conference on Mobile Software Engineering and Systems, 2019

2014

Situation-aware composition and execution in dynamic environments by automated planning.

Qiang Lu, Justin Wilson, Yixin Chen, Christopher D. Gill, Louis Thomas, Gruia-Catalin Roman, Guoliang Chen

Eng. Appl. Artif. Intell., 2014

Software engineering for mobility: reflecting on the past, peering into the future.

Gian Pietro Picco, Christine Julien, Amy L. Murphy, Mirco Musolesi, Gruia-Catalin Roman

Proceedings of the on Future of Software Engineering, 2014

2013

Real-Time Query Scheduling for Wireless Sensor Networks.

Octav Chipara, Chenyang Lu, Gruia-Catalin Roman

IEEE Trans. Computers, 2013

Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Sci. Comput. Program., 2013

2012

Servilla: A flexible service provisioning middleware for heterogeneous sensor networks.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Sci. Comput. Program., 2012

Using snapshot query fidelity to adapt continuous query execution.

Jamie Payton, Christine Julien, Vasanth Rajamani, Gruia-Catalin Roman

Pervasive Mob. Comput., 2012

myGander: A mobile interface and distributed search engine for pervasive computing.

Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

A spatiotemporal model for ephemeral data in pervasive computing networks.

Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

2011

Dynamic Conflict-Free Transmission Scheduling for Sensor Network Queries.

Octav Chipara, Chenyang Lu, John A. Stankovic, Gruia-Catalin Roman

IEEE Trans. Mob. Comput., 2011

Fidelity-based continuous query introspection and adaptation.

Christine Julien, Vasanth Rajamani, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Gander: Personalizing Search of the Here and Now.

Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2011

Challenges of satisfying multiple stakeholders: quality of service in the internet of things.

Chien-Liang Fok, Christine Julien, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

2010

Semantic self-assessment of query results in dynamic environments.

Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani

ACM Trans. Softw. Eng. Methodol., 2010

Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit.

Octav Chipara, Chenyang Lu, Thomas C. Bailey, Gruia-Catalin Roman

Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring.

Sangeeta Bhattacharya, Abusayeed Saifullah, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Practical modeling and prediction of radio coverage of indoor sensor networks.

Octav Chipara, Gregory Hackmann, Chenyang Lu, William D. Smart, Gruia-Catalin Roman

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Agilla: A mobile agent middleware for self-adaptive wireless sensor networks.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

ACM Trans. Auton. Adapt. Syst., 2009

Achieving Coordination through Dynamic Construction of Open Workflows.

Louis Thomas, Justin Wilson, Gruia-Catalin Roman, Christopher D. Gill

Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

PAQ: Persistent Adaptive Query Middleware for Dynamic Environments.

Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

Poster abstract: Reliable data collection from mobile users for real-time clinical monitoring.

Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks.

Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Enhanced Coordination in Sensor Networks through Flexible Service Provisioning.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Reliable Real-time Clinical Monitoring Using Sensor Network Technology.

Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey

Proceedings of the AMIA 2009, 2009

2008

SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks.

Christine Julien, Gruia-Catalin Roman, Qingfeng Huang

IEEE Trans. Mob. Comput., 2008

MLDS: A flexible location directory service for tiered sensor networks.

Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman

Comput. Commun., 2008

CiAN: A Workflow Engine for MANETs.

Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Modeling adaptive behaviors in Context UNITY.

Gruia-Catalin Roman, Christine Julien, Jamie Payton

Theor. Comput. Sci., 2007

Towards a flexible global sensing infrastructure.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

SIGBED Rev., 2007

Knowledge-Driven Interactions across Mobile <i>Ad Hoc</i> Networks.

Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann, Christopher D. Gill

Int. J. Cooperative Inf. Syst., 2007

Automatic consistency assessment for query results in dynamic environments.

Jamie Payton, Christine Julien, Gruia-Catalin Roman

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

sChat: a group communication service over wireless sensor networks.

Fei Sun, Chien-Liang Fok, Gruia-Catalin Roman

Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

Extending BPEL for Interoperable Pervasive Computing.

Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman

Proceedings of the IEEE International Conference on Pervasive Services, 2007

Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks.

Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the Distributed Computing in Sensor Systems, 2007

Coordinating Workflow Allocation and Execution in Mobile Environments.

Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Context-Aware Publish Subscribe in Mobile Ad Hoc Networks.

Davide Frey, Gruia-Catalin Roman

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications.

Christine Julien, Gruia-Catalin Roman

IEEE Trans. Software Eng., 2006

LIME: A coordination model and middleware supporting mobility of hosts and agents.

Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman

ACM Trans. Softw. Eng. Methodol., 2006

Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management.

Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman

Int. J. Web Serv. Res., 2006

A hierarchical location directory service across sensor and IP networks.

Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

Distributed Abstract Data Types.

Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices.

Gregory Hackmann, Mart Haitjema, Christopher D. Gill, Gruia-Catalin Roman

Proceedings of the Service-Oriented Computing, 2006

Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks.

Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the Distributed Computing in Sensor Systems, 2006

Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments.

Sangeeta Bhattacharya, Nuzhet Atay, Gazihan Alankus, Chenyang Lu, O. Burçhan Bayazit, Gruia-Catalin Roman

Proceedings of the Distributed Computing in Sensor Systems, 2006

Tuple Space Coordination Across Space and Time.

Gruia-Catalin Roman, Radu Handorean, Rohan Sen

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Exploring sensor networks using mobile agents.

Daniel Massaguer, Chien-Liang Fok, Nalini Venkatasubramanian, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

FAR: Face-aware routing for mobicast in large-scale sensor networks.

Qingfeng Huang, Sangeeta Bhattacharya, Chenyang Lu, Gruia-Catalin Roman

ACM Trans. Sens. Networks, 2005

A principled exploration of coordination models.

Gruia-Catalin Roman, Jamie Payton

Theor. Comput. Sci., 2005

Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs.

Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill

ACM SIGSOFT Softw. Eng. Notes, 2005

A Termination Detection Protocol for Use in Mobile Ad Hoc Networks.

Gruia-Catalin Roman, Jamie Payton

Autom. Softw. Eng., 2005

Agile cargo tracking using mobile agents.

Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu, Christopher K. Zuver, Kent English, John Meier

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Towards a Real-Time Coordination Model for Mobile Computing.

Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Mobile agent middleware for sensor networks: an application case study.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Dynamic wake-up and topology maintenance protocols with spatiotemporal guarantees.

Sangeeta Bhattacharya, Guoliang Xing, Chenyang Lu, Gruia-Catalin Roman, Octav Chipara, Brandon Harris

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications.

Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Efficient Power Management Based on Application Timing Semantics for Wireless Sensor Networks.

Octav Chipara, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Context Aware Session Management for Services in Ad Hoc Networks.

Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004

Dependable Message Delivery to Mobile Units.

George Varghese, Gruia-Catalin Roman, Amy L. Murphy

Proceedings of the Mobile Computing Handbook., 2004

Developing Mobile Applications.

Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco

Proceedings of the Mobile Computing Handbook., 2004

Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks.

Qingfeng Huang, Christine Julien, Gruia-Catalin Roman

IEEE Trans. Mob. Comput., 2004

Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks.

Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman

Telecommun. Syst., 2004

CODEWEAVE: Exploring Fine-Grained Mobility of Code.

Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman

Autom. Softw. Eng., 2004

Supporting Generalized Context Interactions.

Gregory Hackmann, Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Software Engineering and Middleware, 4th International Workshop, 2004

Adaptive Access Control in Coordination-Based Mobile Agent Systems.

Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Accommodating Transient Connectivity in Ad Hoc and Mobile Settings.

Radu Handorean, Christopher D. Gill, Gruia-Catalin Roman

Proceedings of the Pervasive Computing, 2004

Reliable Mobicast via Face-Aware Routing.

Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks.

Rohan Sen, Radu Handorean, Gregory Hackmann, Gruia-Catalin Roman

Proceedings of the International Conference on Wireless Networks, 2004

Knowledge-driven interactions with services across ad hoc networks.

Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann

Proceedings of the Service-Oriented Computing, 2004

A Formal Treatment of Context-Awareness.

Gruia-Catalin Roman, Christine Julien, Jamie Payton

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Supporting Context-Aware Interaction in Dynamic Multi-agent Systems.

Christine Julien, Gruia-Catalin Roman

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Active Coordination in Ad Hoc Networks.

Christine Julien, Gruia-Catalin Roman

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

A Lightweight Coordination Middleware for Mobile Computing.

Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Reasoning About Context-Awareness in the Presence of Mobility.

Christine Julien, Jamie Payton, Gruia-Catalin Roman

Proceedings of FOCLASA 2003, 2003

Secure Sharing of Tuple Spaces in Ad Hoc Settings.

Radu Handorean, Gruia-Catalin Roman

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

Software Architecture for Mobile Computing.

Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman

Proceedings of the Formal Methods for Software Architectures, 2003

Spatiotemporal multicast in sensor networks.

Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints.

Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman

Proceedings of the Information Processing in Sensor Networks, 2003

Secure Service Provision in Ad Hoc Networks.

Radu Handorean, Gruia-Catalin Roman

Proceedings of the Service-Oriented Computing, 2003

Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System.

Radu Handorean, Jamie Payton, Christine Julien, Gruia-Catalin Roman

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Mobile UNITY Schemas for Agent Coordination.

Gruia-Catalin Roman, Jamie Payton

Proceedings of the Abstract State Machines, 2003

2002

Tracking Mobile Units for Dependable Message Delivery.

Amy L. Murphy, Gruia-Catalin Roman, George Varghese

IEEE Trans. Software Eng., 2002

A Notation and Logic for Mobile Computing.

Gruia-Catalin Roman, Peter J. McCann

Formal Methods Syst. Des., 2002

Guest Editorial: Software Engineering for Mobility.

Gruia-Catalin Roman, Amy L. Murphy

Autom. Softw. Eng., 2002

Egocentric context-aware programming in ad hoc mobile environments.

Christine Julien, Gruia-Catalin Roman

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments.

Gruia-Catalin Roman, Christine Julien, Amy L. Murphy

Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

Formal Specification and Design of Mobile Systems.

Gruia-Catalin Roman, Christine Julien, Qingfeng Huang

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Network abstractions for context-aware mobile computing.

Gruia-Catalin Roman, Christine Julien, Qingfeng Huang

Proceedings of the 24th International Conference on Software Engineering, 2002

Service Provision in Ad Hoc Networks.

Radu Handorean, Gruia-Catalin Roman

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

Reasoning about code mobility with mobile UNITY.

Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann

ACM Trans. Softw. Eng. Methodol., 2001

Workshop on software engineering and mobility.

Gruia-Catalin Roman, Gian Pietro Picco

ACM SIGSOFT Softw. Eng. Notes, 2001

Consistent Group Membership in Ad Hoc Networks.

Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi

Proceedings of the 23rd International Conference on Software Engineering, 2001

LIME: A Middleware for Physical and Logical Mobility.

Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Coordination and Mobility.

Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

Rapid development of dependable applications over Ad hoc networks.

Gruia-Catalin Roman, Amy L. Murphy

ACM SIGSOFT Softw. Eng. Notes, 2000

Exploratory visualization.

Gruia-Catalin Roman, Delbert Hart, Eileen T. Kraemer

ACM SIGSOFT Softw. Eng. Notes, 2000

Reshapeable Visualizations.

Mihail Eduard Tudoreanu, Delbert Hart, Gruia-Catalin Roman

Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Software engineering for mobility: a roadmap.

Gruia-Catalin Roman, Gian Pietro Picco, Amy L. Murphy

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Developing mobile computing applications with LIME.

Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Modeling Mobile IP in Mobile UNITY.

Peter J. McCann, Gruia-Catalin Roman

ACM Trans. Softw. Eng. Methodol., 1999

LIME: Linda Meets Mobility.

Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman

Proceedings of the 1999 International Conference on Software Engineering, 1999

A Fine-Grained Model for Code Mobility.

Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman

Proceedings of the Software Engineering, 1999

1998

Compositional Programming Abstractions for Mobile Computing.

Peter J. McCann, Gruia-Catalin Roman

IEEE Trans. Software Eng., 1998

Plastic transformations: A method for building dependable distributed Applications.

Gruia-Catalin Roman, James C. Hu

IEE Proc. Softw., 1998

An Exercise in Formal Reasoning about Mobile Communications.

Amy L. Murphy, Gruia-Catalin Roman, George Varghese

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

An Introduction to Mobile UNITY.

Gruia-Catalin Roman, Peter J. McCann

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

Balancing Consistency and Lag in Transaction-Based Computational Steering.

Eileen T. Kraemer, Delbert Hart, Gruia-Catalin Roman

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Mobile UNITY: Reasoning and Specification in Mobile Computing.

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun

ACM Trans. Softw. Eng. Methodol., 1997

An Algorithm for Message Delivery to Mobile Units.

Amy L. Murphy, Gruia-Catalin Roman, George Varghese

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Expressing Code Mobility in Mobile UNITY.

Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann

Proceedings of the Software Engineering, 1997

Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.

Peter J. McCann, Gruia-Catalin Roman

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Reasoning About Places, Times, and Actions in the Presence of Mobility.

C. Donald Wilcox, Gruia-Catalin Roman

IEEE Trans. Software Eng., 1996

Visual Presentation of Software Specifications and Designs.

Gruia-Catalin Roman, Delbert Hart, Charles Calkins

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Panelists: Software Visualization through Active Presentation.

Gruia-Catalin Roman

Proceedings of the SEKE'95, 1995

1994

A Characterization of the Computational Power of Rule-based Visualization.

Kenneth C. Cox, Gruia-Catalin Roman

J. Vis. Lang. Comput., 1994

Architecture-Directed Refinement.

Gruia-Catalin Roman, C. Donald Wilcox

IEEE Trans. Software Eng., 1994

Formal Specification and Designof a Message Router.

Christian Creveuil, Gruia-Catalin Roman

ACM Trans. Softw. Eng. Methodol., 1994

1993

Formal Derivation of Rule-Based Programs.

Gruia-Catalin Roman, Rose F. Gamble, William E. Ball

IEEE Trans. Software Eng., 1993

Dynamic Synchrony Among Atomic Actions.

Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox

IEEE Trans. Parallel Distributed Syst., 1993

Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design.

Carlo Ghezzi, Gruia-Catalin Roman

Sci. Comput. Program., 1993

A Taxonomy of Program Visualization Systems.

Gruia-Catalin Roman, Kenneth C. Cox

Computer, 1993

1992

Pavane: a system for declarative visualization of concurrent computations.

Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun

J. Vis. Lang. Comput., 1992

Abstraction in Algorithm Animation.

Kenneth C. Cox, Gruia-Catalin Roman

Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Seeking Concurrency in Rule-Based Programming.

Gruia-Catalin Roman, Rose F. Gamble, William E. Ball

Proceedings of the 14th International Conference on Software Engineering, 1992

Program Visualization: The Art of Mapping Programs to Pictures.

Gruia-Catalin Roman, Kenneth C. Cox

Proceedings of the 14th International Conference on Software Engineering, 1992

On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints.

Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991

A parallel algorithm for incremental stereo matching on SIMD machines.

Andrew F. Laine, Gruia-Catalin Roman

IEEE Trans. Robotics Autom., 1991

Visualizing Concurrent Computations.

Kenneth C. Cox, Gruia-Catalin Roman

Proceedings of the 1991 IEEE Workshop on Visual Languages, Kobe, Japan, October 8-11, 1991, 1991

Reasoning About Synchronic Groups.

Gruia-Catalin Roman, H. Conrad Cunningham

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Formal Verification of Pure Production System Programs.

Rose F. Gamble, Gruia-Catalin Roman, William E. Ball

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.

Gruia-Catalin Roman, H. Conrad Cunningham

IEEE Trans. Software Eng., 1990

A UNITY-Style Programming Logic for Shared Dataspace Programs.

H. Conrad Cunningham, Gruia-Catalin Roman

IEEE Trans. Parallel Distributed Syst., 1990

Formal Specification of Geographic Data Processing Requirements.

Gruia-Catalin Roman

IEEE Trans. Knowl. Data Eng., 1990

The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic.

Gruia-Catalin Roman, H. Conrad Cunningham

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

A Declarative Approach to Visualizing Concurrent Computations.

Gruia-Catalin Roman, Kenneth C. Cox

Computer, 1989

Implementing a shared dataspace language on a message-based multiprocessor.

Gruia-Catalin Roman, Kenneth C. Cox

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Declarative Visualization in the Shared Dataspace Paradigm.

Gruia-Catalin Roman, Kenneth C. Cox

Proceedings of the 11th International Conference on Software Engineering, 1989

A shared dataspace model of concurrency-language and programming implications.

Gruia-Catalin Roman, H. Conrad Cunningham

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

Language and Visualization Support for Large-Scale Concurrency.

Gruia-Catalin Roman

Proceedings of the Proceedings, 1988

A Shared Dataspace Language Supporting Large-Scale Concurrency.

Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Interactive complexity control and high-speed stereo matching.

Gruia-Catalin Roman, Andrew F. Laine, Kenneth C. Cox

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

Rapid search for spherical objects in aerial photographs.

Kenneth C. Cox, Gruia-Catalin Roman, William E. Ball, Andrew F. Laine

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

1987

Specifying Software/Hardware Interactions in Distributed Systems.

Gruia-Catalin Roman

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Data Engineering in Software Development Environments.

Gruia-Catalin Roman

Proceedings of the Third International Conference on Data Engineering, 1987

Toward Comprehensive Specification of Distributed Systems.

Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, R. H. Lykins

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1985

A Taxonomy of Current Issues in Requirements Engineering.

Gruia-Catalin Roman

Computer, 1985

1984

A Total System Design Framework.

Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, Will D. Gillett

Computer, 1984

Multifaceted Distributed Systems Specification Using Processes and Event Synchronization.

Gruia-Catalin Roman, Mark S. Day

Proceedings of the Proceedings, 1984

1983

Functional Specification of Distributed Systems.

Gruia-Catalin Roman, Robert K. Israel

Proceedings of the International Conference on Parallel Processing, 1983

1980

Concurrency coordination in a locally distributed database system.

Gruia-Catalin Roman

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

1979

Verification procedures supporting software systems development.

Gruia-Catalin Roman

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1978

Coordinating Concurrent Access in a Distributed Database Architecture.

Mishell J. Stucki, Jerome R. Cox Jr., Gruia-Catalin Roman, P. N. Turcu

Proceedings of the Papers of the Fourth Workshop on Computer Architecture for Non-Numeric Processing, 1978

1977

An Argument in Favor of Mechanized Software Production.

Gruia-Catalin Roman

IEEE Trans. Software Eng., 1977

A two-step approach to the validation of software engineering methodologies.

Gruia-Catalin Roman

Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977

1976

Memory conserving efficient methods for solving large sets of stiff differential equations.

Gruia-Catalin Roman, David Garfinkel, Carl B. Marbach

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976