Gruia-Catalin Roman

According to our database1, Gruia-Catalin Roman authored at least 152 papers between 1976 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Warble: programming abstractions for personalizing interactions in the internet of things.
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.
Eng. Appl. Artif. Intell., 2014

Software engineering for mobility: reflecting on the past, peering into the future.
Proceedings of the on Future of Software Engineering, 2014

2013
Real-Time Query Scheduling for Wireless Sensor Networks.
IEEE Trans. Computers, 2013

Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks.
Sci. Comput. Program., 2013

2012
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks.
Sci. Comput. Program., 2012

Using snapshot query fidelity to adapt continuous query execution.
Pervasive Mob. Comput., 2012

myGander: A mobile interface and distributed search engine for pervasive computing.
Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

A spatiotemporal model for ephemeral data in pervasive computing networks.
Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

2011
Dynamic Conflict-Free Transmission Scheduling for Sensor Network Queries.
IEEE Trans. Mob. Comput., 2011

Fidelity-based continuous query introspection and adaptation.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

Gander: Personalizing Search of the Here and Now.
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.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

2010
Semantic self-assessment of query results in dynamic environments.
ACM Trans. Softw. Eng. Methodol., 2010

Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit.
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring.
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.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

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

Achieving Coordination through Dynamic Construction of Open Workflows.
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.
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.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Enhanced Coordination in Sensor Networks through Flexible Service Provisioning.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Reliable Real-time Clinical Monitoring Using Sensor Network Technology.
Proceedings of the AMIA 2009, 2009

2008
SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2008

MLDS: A flexible location directory service for tiered sensor networks.
Comput. Commun., 2008

CiAN: A Workflow Engine for MANETs.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Modeling adaptive behaviors in Context UNITY.
Theor. Comput. Sci., 2007

Towards a flexible global sensing infrastructure.
SIGBED Review, 2007

Knowledge-Driven Interactions across Mobile Ad Hoc Networks.
Int. J. Cooperative Inf. Syst., 2007

Automatic consistency assessment for query results in dynamic environments.
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.
Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

Extending BPEL for Interoperable Pervasive Computing.
Proceedings of the IEEE International Conference on Pervasive Services, 2007

Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2007

Coordinating Workflow Allocation and Execution in Mobile Environments.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Context-Aware Publish Subscribe in Mobile Ad Hoc Networks.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications.
IEEE Trans. Software Eng., 2006

LIME: A coordination model and middleware supporting mobility of hosts and agents.
ACM Trans. Softw. Eng. Methodol., 2006

Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management.
Int. J. Web Service Res., 2006

A hierarchical location directory service across sensor and IP networks.
Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

Distributed Abstract Data Types.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices.
Proceedings of the Service-Oriented Computing, 2006

Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2006

Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments.
Proceedings of the Distributed Computing in Sensor Systems, 2006

Tuple Space Coordination Across Space and Time.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Exploring sensor networks using mobile agents.
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.
TOSN, 2005

A principled exploration of coordination models.
Theor. Comput. Sci., 2005

Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs.
ACM SIGSOFT Software Engineering Notes, 2005

A Termination Detection Protocol for Use in Mobile Ad Hoc Networks.
Autom. Softw. Eng., 2005

Agile cargo tracking using mobile agents.
Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Towards a Real-Time Coordination Model for Mobile Computing.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Mobile agent middleware for sensor networks: an application case study.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Dynamic wake-up and topology maintenance protocols with spatiotemporal guarantees.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications.
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.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Context Aware Session Management for Services in Ad Hoc Networks.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Dependable Message Delivery to Mobile Units.
Proceedings of the Mobile Computing Handbook., 2004

Developing Mobile Applications.
Proceedings of the Mobile Computing Handbook., 2004

Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2004

Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks.
Telecommunication Systems, 2004

Reasoning About Context-Awareness in the Presence of Mobility.
Electron. Notes Theor. Comput. Sci., 2004

CODEWEAVE: Exploring Fine-Grained Mobility of Code.
Autom. Softw. Eng., 2004

Supporting Generalized Context Interactions.
Proceedings of the Software Engineering and Middleware, 4th International Workshop, 2004

Adaptive Access Control in Coordination-Based Mobile Agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Accommodating Transient Connectivity in Ad Hoc and Mobile Settings.
Proceedings of the Pervasive Computing, 2004

Reliable Mobicast via Face-Aware Routing.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks.
Proceedings of the International Conference on Wireless Networks, 2004

Knowledge-driven interactions with services across ad hoc networks.
Proceedings of the Service-Oriented Computing, 2004

A Formal Treatment of Context-Awareness.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Supporting Context-Aware Interaction in Dynamic Multi-agent Systems.
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Active Coordination in Ad Hoc Networks.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

A Lightweight Coordination Middleware for Mobile Computing.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Secure Sharing of Tuple Spaces in Ad Hoc Settings.
Electron. Notes Theor. Comput. Sci., 2003

Software Architecture for Mobile Computing.
Proceedings of the Formal Methods for Software Architectures, 2003

Spatiotemporal multicast in sensor networks.
Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, 2003

Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints.
Proceedings of the Information Processing in Sensor Networks, 2003

Secure Service Provision in Ad Hoc Networks.
Proceedings of the Service-Oriented Computing, 2003

Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Mobile UNITY Schemas for Agent Coordination.
Proceedings of the Abstract State Machines, 2003

2002
Tracking Mobile Units for Dependable Message Delivery.
IEEE Trans. Software Eng., 2002

A Notation and Logic for Mobile Computing.
Formal Methods in System Design, 2002

Guest Editorial: Software Engineering for Mobility.
Autom. Softw. Eng., 2002

Egocentric context-aware programming in ad hoc mobile environments.
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.
Proceedings of the Software Engineering for Large-Scale Multi-Agent Systems, 2002

Formal Specification and Design of Mobile Systems.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Network abstractions for context-aware mobile computing.
Proceedings of the 24th International Conference on Software Engineering, 2002

Service Provision in Ad Hoc Networks.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
Reasoning about code mobility with mobile UNITY.
ACM Trans. Softw. Eng. Methodol., 2001

Workshop on software engineering and mobility.
ACM SIGSOFT Software Engineering Notes, 2001

Consistent Group Membership in Ad Hoc Networks.
Proceedings of the 23rd International Conference on Software Engineering, 2001

LIME: A Middleware for Physical and Logical Mobility.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

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

2000
Rapid development of dependable applications over Ad hoc networks.
ACM SIGSOFT Software Engineering Notes, 2000

Exploratory visualization.
ACM SIGSOFT Software Engineering Notes, 2000

Reshapeable Visualizations.
Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Software engineering for mobility: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Developing mobile computing applications with LIME.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Modeling Mobile IP in Mobile UNITY.
ACM Trans. Softw. Eng. Methodol., 1999

LIME: Linda Meets Mobility.
Proceedings of the 1999 International Conference on Software Engineering, 1999

A Fine-Grained Model for Code Mobility.
Proceedings of the Software Engineering, 1999

1998
Compositional Programming Abstractions for Mobile Computing.
IEEE Trans. Software Eng., 1998

Plastic transformations: A method for building dependable distributed Applications.
IEE Proceedings - Software, 1998

An Introduction to Mobile UNITY.
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.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997
Mobile UNITY: Reasoning and Specification in Mobile Computing.
ACM Trans. Softw. Eng. Methodol., 1997

An Algorithm for Message Delivery to Mobile Units.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Expressing Code Mobility in Mobile UNITY.
Proceedings of the Software Engineering, 1997

Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Reasoning About Places, Times, and Actions in the Presence of Mobility.
IEEE Trans. Software Eng., 1996

Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
Panelists: Software Visualization through Active Presentation.
Proceedings of the SEKE'95, 1995

1994
A Characterization of the Computational Power of Rule-based Visualization.
J. Vis. Lang. Comput., 1994

Architecture-Directed Refinement.
IEEE Trans. Software Eng., 1994

Formal Specification and Designof a Message Router.
ACM Trans. Softw. Eng. Methodol., 1994

1993
Formal Derivation of Rule-Based Programs.
IEEE Trans. Software Eng., 1993

Dynamic Synchrony Among Atomic Actions.
IEEE Trans. Parallel Distrib. Syst., 1993

Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design.
Sci. Comput. Program., 1993

A Taxonomy of Program Visualization Systems.
IEEE Computer, 1993

1992
Pavane: a system for declarative visualization of concurrent computations.
J. Vis. Lang. Comput., 1992

Abstraction in Algorithm Animation.
Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Seeking Concurrency in Rule-Based Programming.
Proceedings of the 14th International Conference on Software Engineering, 1992

Program Visualization: The Art of Mapping Programs to Pictures.
Proceedings of the 14th International Conference on Software Engineering, 1992

On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991
A parallel algorithm for incremental stereo matching on SIMD machines.
IEEE Trans. Robotics and Automation, 1991

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

Reasoning About Synchronic Groups.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Formal Verification of Pure Production System Programs.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.
IEEE Trans. Software Eng., 1990

A UNITY-Style Programming Logic for Shared Dataspace Programs.
IEEE Trans. Parallel Distrib. Syst., 1990

Formal Specification of Geographic Data Processing Requirements.
IEEE Trans. Knowl. Data Eng., 1990

The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989
A Declarative Approach to Visualizing Concurrent Computations.
IEEE Computer, 1989

Declarative Visualization in the Shared Dataspace Paradigm.
Proceedings of the 11th International Conference on Software Engineering, 1989

A shared dataspace model of concurrency-language and programming implications.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988
Language and Visualization Support for Large-Scale Concurrency.
Proceedings of the Proceedings, 1988

A Shared Dataspace Language Supporting Large-Scale Concurrency.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

Interactive complexity control and high-speed stereo matching.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

Rapid search for spherical objects in aerial photographs.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

1987
Specifying Software/Hardware Interactions in Distributed Systems.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Data Engineering in Software Development Environments.
Proceedings of the Third International Conference on Data Engineering, 1987

Toward Comprehensive Specification of Distributed Systems.
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1985
A Taxonomy of Current Issues in Requirements Engineering.
IEEE Computer, 1985

1984
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization.
Proceedings of the Proceedings, 1984

1983
Functional Specification of Distributed Systems.
Proceedings of the International Conference on Parallel Processing, 1983

1980
Concurrency coordination in a locally distributed database system.
Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

1978
Coordinating Concurrent Access in a Distributed Database Architecture.
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.
IEEE Trans. Software Eng., 1977

A two-step approach to the validation of software engineering methodologies.
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.
Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976


  Loading...