Gruia-Catalin Roman

176 papers A* 20A 17B 7C 14Misc 5Journal 54Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Silent Subversion: Sensor Spoofing Attacks via Supply Chain Implants in Satellite Systems. CoRR Jack Vanlyssel, Gruia-Catalin Roman, Afsah Anwar
2025	—	`conf`	Leveraging Formal Methods to Strengthen Cyber-Resilience in Authorization to Operate. MILCOM Alice R. Lee, Jack Cheng, Timothy M. Braje, Noah Luther, Ian McQuoid, Gruia-Catalin Roman, Joseph Dan Trujillo, Richard Skowyra, Samuel Mergendahl
2025	J	`jnl`	SpyChain: Multi-Vector Supply Chain Attacks on Small Satellite Systems. CoRR Jack Vanlyssel, Enrique Sobrados, Ramsha Anwar, Gruia-Catalin Roman, Afsah Anwar
2022	—	`conf`	CoPI: Enabling Probabilistic Conflict Prediction in Smart Space Through Context-awareness. IoTDI Jie Hua, Haoxiang Yu, Sangsu Lee, Hamim Md Adal, Colin Milhaupt, Gruia-Catalin Roman, Christine Julien
2021	—	`conf`	ArcIoT: Enabling Intuitive Device Control in the Internet of Things through Augmented Reality. PerCom Workshops Jie Hua, Sangsu Lee, Gruia-Catalin Roman, Christine Julien
2021	—	`conf`	The space broker: a middleware for mediating interactions in smart IoT spaces. BuildSys Hamim Md Adal, Colin Milhaupt, Jie Hua, Christine Julien, Gruia-Catalin Roman
2019	—	`conf`	Warble: programming abstractions for personalizing interactions in the internet of things. MOBILESoft@ICSE Yosef Saputra, Jie Hua, Nathaniel Wendt, Christine Julien, Gruia-Catalin Roman
2019	B	`conf`	rIoT: Enabling Seamless Context-Aware Automation in the Internet of Things. MASS Jie Hua, Chenguang Liu, Tomasz Kalbarczyk, Catherine Wright, Gruia-Catalin Roman, Christine Julien
2019	J	`jnl`	rIoT: Enabling Seamless Context-AwareAutomation in the Internet of Things. CoRR Jie Hua, Chenguang Liu, Tomasz Kalbarczyk, Catherine Wright, Gruia-Catalin Roman, Christine Julien
2014	J	`jnl`	Situation-aware composition and execution in dynamic environments by automated planning. Eng. Appl. Artif. Intell. Qiang Lu, Justin Wilson, Yixin Chen, Christopher D. Gill, Louis Thomas, Gruia-Catalin Roman, Guoliang Chen
2014	—	`conf`	Software engineering for mobility: reflecting on the past, peering into the future. FOSE Gian Pietro Picco, Christine Julien, Amy L. Murphy, Mirco Musolesi, Gruia-Catalin Roman
2013	J	`jnl`	Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks. Sci. Comput. Program. Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2013	J	`jnl`	Real-Time Query Scheduling for Wireless Sensor Networks. IEEE Trans. Computers Octav Chipara, Chenyang Lu, Gruia-Catalin Roman
2012	—	`conf`	A spatiotemporal model for ephemeral data in pervasive computing networks. PerCom Workshops Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman
2012	J	`jnl`	Servilla: A flexible service provisioning middleware for heterogeneous sensor networks. Sci. Comput. Program. Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2012	J	`jnl`	Using snapshot query fidelity to adapt continuous query execution. Pervasive Mob. Comput. Jamie Payton, Christine Julien, Vasanth Rajamani, Gruia-Catalin Roman
2012	—	`conf`	myGander: A mobile interface and distributed search engine for pervasive computing. PerCom Workshops Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman
2011	—	`conf`	Challenges of satisfying multiple stakeholders: quality of service in the internet of things. SESENA@ICSE Chien-Liang Fok, Christine Julien, Gruia-Catalin Roman, Chenyang Lu
2011	C	`ed.`	Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings COORDINATION Wolfgang De Meuter, Gruia-Catalin Roman
2011	J	`jnl`	Dynamic Conflict-Free Transmission Scheduling for Sensor Network Queries. IEEE Trans. Mob. Comput. Octav Chipara, Chenyang Lu, John A. Stankovic, Gruia-Catalin Roman
2011	—	`conf`	Fidelity-based continuous query introspection and adaptation. PerCom Workshops Christine Julien, Vasanth Rajamani, Jamie Payton, Gruia-Catalin Roman
2011	C	`conf`	Gander: Personalizing Search of the Here and Now. MobiQuitous Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman
2010	C	`conf`	Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks. COORDINATION Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2010	A	`conf`	Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium Sangeeta Bhattacharya, Abusayeed Saifullah, Chenyang Lu, Gruia-Catalin Roman
2010	—	`conf`	Practical modeling and prediction of radio coverage of indoor sensor networks. IPSN Octav Chipara, Gregory Hackmann, Chenyang Lu, William D. Smart, Gruia-Catalin Roman
2010	—	`ed.`	Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 SIGSOFT FSE Gruia-Catalin Roman, André van der Hoek
2010	—	`ed.`	Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 FoSER Gruia-Catalin Roman, Kevin J. Sullivan
2010	Misc	`conf`	Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit. SenSys Octav Chipara, Chenyang Lu, Thomas C. Bailey, Gruia-Catalin Roman
2010	J	`jnl`	Semantic self-assessment of query results in dynamic environments. ACM Trans. Softw. Eng. Methodol. Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani
2009	A	`conf`	Achieving Coordination through Dynamic Construction of Open Workflows. Middleware Louis Thomas, Justin Wilson, Gruia-Catalin Roman, Christopher D. Gill
2009	J	`jnl`	Agilla: A mobile agent middleware for self-adaptive wireless sensor networks. ACM Trans. Auton. Adapt. Syst. Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2009	C	`conf`	Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. COORDINATION Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2009	B	`conf`	Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. FASE Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman
2009	A	`conf`	PAQ: Persistent Adaptive Query Middleware for Dynamic Environments. Middleware Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman
2009	—	`conf`	Poster abstract: Reliable data collection from mobile users for real-time clinical monitoring. IPSN Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey
2009	Misc	`conf`	Reliable Real-time Clinical Monitoring Using Sensor Network Technology. AMIA Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey
2008	C	`conf`	CiAN: A Workflow Engine for MANETs. COORDINATION Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill
2008	J	`jnl`	MLDS: A flexible location directory service for tiered sensor networks. Comput. Commun. Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman
2008	J	`jnl`	SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Christine Julien, Gruia-Catalin Roman, Qingfeng Huang
2007	—	`conf`	Automatic consistency assessment for query results in dynamic environments. ESEC/SIGSOFT FSE Jamie Payton, Christine Julien, Gruia-Catalin Roman
2007	C	`conf`	Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. COORDINATION Davide Frey, Gruia-Catalin Roman
2007	C	`conf`	Coordinating Workflow Allocation and Execution in Mobile Environments. COORDINATION Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill
2007	B	`conf`	Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks. DCOSS Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman
2007	—	`conf`	Extending BPEL for Interoperable Pervasive Computing. ICPS Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman
2007	J	`jnl`	Knowledge-Driven Interactions across Mobile Int. J. Cooperative Inf. Syst. Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann, Christopher D. Gill
2007	J	`jnl`	Modeling adaptive behaviors in Context UNITY. Theor. Comput. Sci. Gruia-Catalin Roman, Christine Julien, Jamie Payton
2007	A	`conf`	Real-Time Query Scheduling for Wireless Sensor Networks. RTSS Octav Chipara, Chenyang Lu, Gruia-Catalin Roman
2007	J	`jnl`	Towards a flexible global sensing infrastructure. SIGBED Rev. Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2007	—	`conf`	sChat: a group communication service over wireless sensor networks. IPSN Fei Sun, Chien-Liang Fok, Gruia-Catalin Roman
2006	Misc	`conf`	A hierarchical location directory service across sensor and IP networks. SenSys Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman
2006	B	`conf`	Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks. DCOSS Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2006	—	`conf`	Distributed Abstract Data Types. OTM Conferences (2) Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman
2006	J	`jnl`	EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Trans. Software Eng. Christine Julien, Gruia-Catalin Roman
2006	A	`conf`	Exploring sensor networks using mobile agents. AAMAS Daniel Massaguer, Chien-Liang Fok, Nalini Venkatasubramanian, Gruia-Catalin Roman, Chenyang Lu
2006	—	`ed.`	IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile IFIP Workshop on Advanced Software Engineering Sergio F. Ochoa, Gruia-Catalin Roman
2006	J	`jnl`	LIME: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
2006	B	`conf`	Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments. DCOSS Sangeeta Bhattacharya, Nuzhet Atay, Gazihan Alankus, Chenyang Lu, O. Burçhan Bayazit, Gruia-Catalin Roman
2006	A	`conf`	Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices. ICSOC Gregory Hackmann, Mart Haitjema, Christopher D. Gill, Gruia-Catalin Roman
2006	J	`jnl`	Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management. Int. J. Web Serv. Res. Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman
2006	C	`conf`	Tuple Space Coordination Across Space and Time. COORDINATION Gruia-Catalin Roman, Radu Handorean, Rohan Sen
2005	A*	`ed.`	27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA ICSE Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh
2005	J	`jnl`	A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. Autom. Softw. Eng. Gruia-Catalin Roman, Jamie Payton
2005	J	`jnl`	A principled exploration of coordination models. Theor. Comput. Sci. Gruia-Catalin Roman, Jamie Payton
2005	Misc	`conf`	Agile cargo tracking using mobile agents. SenSys Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu, Christopher K. Zuver, Kent English, John Meier
2005	—	`conf`	Context Aware Session Management for Services in Ad Hoc Networks. IEEE SCC Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman
2005	—	`conf`	Dynamic wake-up and topology maintenance protocols with spatiotemporal guarantees. IPSN Sangeeta Bhattacharya, Guoliang Xing, Chenyang Lu, Gruia-Catalin Roman, Octav Chipara, Brandon Harris
2005	A	`conf`	Efficient Power Management Based on Application Timing Semantics for Wireless Sensor Networks. ICDCS Octav Chipara, Chenyang Lu, Gruia-Catalin Roman
2005	J	`jnl`	FAR: Face-aware routing for mobicast in large-scale sensor networks. ACM Trans. Sens. Networks Qingfeng Huang, Sangeeta Bhattacharya, Chenyang Lu, Gruia-Catalin Roman
2005	—	`conf`	Mobile agent middleware for sensor networks: an application case study. IPSN Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2005	—	`conf`	Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. SELMAS Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill
2005	J	`jnl`	Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. ACM SIGSOFT Softw. Eng. Notes Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill
2005	A	`conf`	Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications. ICDCS Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
2005	—	`conf`	Towards a Real-Time Coordination Model for Mobile Computing. Monterey Workshop Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman
2004	B	`conf`	A Formal Treatment of Context-Awareness. FASE Gruia-Catalin Roman, Christine Julien, Jamie Payton
2004	C	`conf`	A Lightweight Coordination Middleware for Mobile Computing. COORDINATION Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann
2004	—	`conf`	Accommodating Transient Connectivity in Ad Hoc and Mobile Settings. Pervasive Radu Handorean, Christopher D. Gill, Gruia-Catalin Roman
2004	C	`conf`	Active Coordination in Ad Hoc Networks. COORDINATION Christine Julien, Gruia-Catalin Roman
2004	—	`conf`	Adaptive Access Control in Coordination-Based Mobile Agent Systems. SELMAS Christine Julien, Jamie Payton, Gruia-Catalin Roman
2004	—	`conf`	An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks. International Conference on Wireless Networks Rohan Sen, Radu Handorean, Gregory Hackmann, Gruia-Catalin Roman
2004	J	`jnl`	CODEWEAVE: Exploring Fine-Grained Mobility of Code. Autom. Softw. Eng. Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman
2004	—	`ch.`	Dependable Message Delivery to Mobile Units. Mobile Computing Handbook George Varghese, Gruia-Catalin Roman, Amy L. Murphy
2004	J	`jnl`	Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks. Telecommun. Syst. Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman
2004	—	`ch.`	Developing Mobile Applications. Mobile Computing Handbook Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco
2004	A	`conf`	Knowledge-driven interactions with services across ad hoc networks. ICSOC Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann
2004	A*	`conf`	Reliable Mobicast via Face-Aware Routing. INFOCOM Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman
2004	J	`jnl`	Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks. IEEE Trans. Mob. Comput. Qingfeng Huang, Christine Julien, Gruia-Catalin Roman
2004	—	`conf`	Supporting Context-Aware Interaction in Dynamic Multi-agent Systems. E4MAS Christine Julien, Gruia-Catalin Roman
2004	—	`conf`	Supporting Generalized Context Interactions. SEM Gregory Hackmann, Christine Julien, Jamie Payton, Gruia-Catalin Roman
2003	—	`conf`	Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System. ICDCS Workshops Radu Handorean, Jamie Payton, Christine Julien, Gruia-Catalin Roman
2003	—	`conf`	Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints. IPSN Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman
2003	—	`conf`	Mobile UNITY Schemas for Agent Coordination. Abstract State Machines Gruia-Catalin Roman, Jamie Payton
2003	—	`conf`	Reasoning About Context-Awareness in the Presence of Mobility. FOCLASA Christine Julien, Jamie Payton, Gruia-Catalin Roman
2003	A	`conf`	Secure Service Provision in Ad Hoc Networks. ICSOC Radu Handorean, Gruia-Catalin Roman
2003	—	`conf`	Secure Sharing of Tuple Spaces in Ad Hoc Settings. SecCo Radu Handorean, Gruia-Catalin Roman
2003	—	`conf`	Software Architecture for Mobile Computing. SFM Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
2003	Misc	`conf`	Spatiotemporal multicast in sensor networks. SenSys Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman
2002	—	`conf`	A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments. SELMAS Gruia-Catalin Roman, Christine Julien, Amy L. Murphy
2002	J	`jnl`	A Notation and Logic for Mobile Computing. Formal Methods Syst. Des. Gruia-Catalin Roman, Peter J. McCann
2002	—	`conf`	Egocentric context-aware programming in ad hoc mobile environments. SIGSOFT FSE Christine Julien, Gruia-Catalin Roman
2002	A	`conf`	Formal Specification and Design of Mobile Systems. IPDPS Gruia-Catalin Roman, Christine Julien, Qingfeng Huang
2002	J	`jnl`	Guest Editorial: Software Engineering for Mobility. Autom. Softw. Eng. Gruia-Catalin Roman, Amy L. Murphy
2002	A*	`conf`	Network abstractions for context-aware mobile computing. ICSE Gruia-Catalin Roman, Christine Julien, Qingfeng Huang
2002	C	`conf`	Service Provision in Ad Hoc Networks. COORDINATION Radu Handorean, Gruia-Catalin Roman
2002	J	`jnl`	Tracking Mobile Units for Dependable Message Delivery. IEEE Trans. Software Eng. Amy L. Murphy, Gruia-Catalin Roman, George Varghese
2001	A*	`conf`	Consistent Group Membership in Ad Hoc Networks. ICSE Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi
2001	—	`ch.`	Coordination and Mobility. Coordination of Internet Agents: Models, Technologies, and Applications Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco
2001	A	`conf`	LIME: A Middleware for Physical and Logical Mobility. ICDCS Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
2001	J	`jnl`	Reasoning about code mobility with mobile UNITY. ACM Trans. Softw. Eng. Methodol. Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
2001	A*	`conf`	Workshop on Software Engineering and Mobility. ICSE Gruia-Catalin Roman, Gian Pietro Picco
2001	J	`jnl`	Workshop on software engineering and mobility. ACM SIGSOFT Softw. Eng. Notes Gruia-Catalin Roman, Gian Pietro Picco
2000	C	`ed.`	Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings COORDINATION António Porto, Gruia-Catalin Roman
2000	A*	`conf`	Developing mobile computing applications with LIME. ICSE Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman
2000	J	`jnl`	Exploratory visualization. ACM SIGSOFT Softw. Eng. Notes Gruia-Catalin Roman, Delbert Hart, Eileen T. Kraemer
2000	J	`jnl`	Rapid development of dependable applications over Ad hoc networks. ACM SIGSOFT Softw. Eng. Notes Gruia-Catalin Roman, Amy L. Murphy
2000	—	`conf`	Reshapeable Visualizations. ISMSE Mihail Eduard Tudoreanu, Delbert Hart, Gruia-Catalin Roman
2000	—	`conf`	Software engineering for mobility: a roadmap. ICSE - Future of SE Track Gruia-Catalin Roman, Gian Pietro Picco, Amy L. Murphy
1999	—	`conf`	A Fine-Grained Model for Code Mobility. ESEC / SIGSOFT FSE Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman
1999	A*	`conf`	LIME: Linda Meets Mobility. ICSE Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman
1999	J	`jnl`	Modeling Mobile IP in Mobile UNITY. ACM Trans. Softw. Eng. Methodol. Peter J. McCann, Gruia-Catalin Roman
1998	—	`conf`	An Exercise in Formal Reasoning about Mobile Communications. IWSSD Amy L. Murphy, Gruia-Catalin Roman, George Varghese
1998	—	`conf`	An Introduction to Mobile UNITY. IPPS/SPDP Workshops Gruia-Catalin Roman, Peter J. McCann
1998	—	`conf`	Balancing Consistency and Lag in Transaction-Based Computational Steering. HICSS (7) Eileen T. Kraemer, Delbert Hart, Gruia-Catalin Roman
1998	J	`jnl`	Compositional Programming Abstractions for Mobile Computing. IEEE Trans. Software Eng. Peter J. McCann, Gruia-Catalin Roman
1998	J	`jnl`	Plastic transformations: A method for building dependable distributed Applications. IEE Proc. Softw. Gruia-Catalin Roman, James C. Hu
1997	A*	`conf`	An Algorithm for Message Delivery to Mobile Units. PODC Amy L. Murphy, Gruia-Catalin Roman, George Varghese
1997	—	`conf`	Expressing Code Mobility in Mobile UNITY. ESEC / SIGSOFT FSE Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
1997	C	`conf`	Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. COORDINATION Peter J. McCann, Gruia-Catalin Roman
1997	J	`jnl`	Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. Softw. Eng. Methodol. Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
1996	A*	`conf`	Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
1996	J	`jnl`	Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Trans. Software Eng. C. Donald Wilcox, Gruia-Catalin Roman
1996	—	`conf`	Visual Presentation of Software Specifications and Designs. IWSSD Gruia-Catalin Roman, Delbert Hart, Charles Calkins
1995	C	`conf`	Panelists: Software Visualization through Active Presentation. SEKE Gruia-Catalin Roman
1994	J	`jnl`	A Characterization of the Computational Power of Rule-based Visualization. J. Vis. Lang. Comput. Kenneth C. Cox, Gruia-Catalin Roman
1994	J	`jnl`	Architecture-Directed Refinement. IEEE Trans. Software Eng. Gruia-Catalin Roman, C. Donald Wilcox
1994	J	`jnl`	Formal Specification and Designof a Message Router. ACM Trans. Softw. Eng. Methodol. Christian Creveuil, Gruia-Catalin Roman
1993	J	`jnl`	A Taxonomy of Program Visualization Systems. Computer Gruia-Catalin Roman, Kenneth C. Cox
1993	J	`jnl`	Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distributed Syst. Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox
1993	J	`jnl`	Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
1993	J	`jnl`	Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. Sci. Comput. Program. Carlo Ghezzi, Gruia-Catalin Roman
1992	—	`conf`	Abstraction in Algorithm Animation. VL Kenneth C. Cox, Gruia-Catalin Roman
1992	A	`conf`	On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. ICDCS Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun
1992	J	`jnl`	Pavane: a system for declarative visualization of concurrent computations. J. Vis. Lang. Comput. Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun
1992	A*	`conf`	Program Visualization: The Art of Mapping Programs to Pictures. ICSE Gruia-Catalin Roman, Kenneth C. Cox
1992	A*	`conf`	Seeking Concurrency in Rule-Based Programming. ICSE Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
1991	J	`jnl`	A parallel algorithm for incremental stereo matching on SIMD machines. IEEE Trans. Robotics Autom. Andrew F. Laine, Gruia-Catalin Roman
1991	A*	`conf`	Formal Verification of Pure Production System Programs. AAAI Rose F. Gamble, Gruia-Catalin Roman, William E. Ball
1991	—	`ed.`	Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991 IWSSD Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman
1991	—	`conf`	Reasoning About Synchronic Groups. Research Directions in High-Level Parallel Programming Languages Gruia-Catalin Roman, H. Conrad Cunningham
1991	—	`conf`	Visualizing Concurrent Computations. VL Kenneth C. Cox, Gruia-Catalin Roman
1990	J	`jnl`	A UNITY-Style Programming Logic for Shared Dataspace Programs. IEEE Trans. Parallel Distributed Syst. H. Conrad Cunningham, Gruia-Catalin Roman
1990	—	`conf`	A parallel algorithm for incremental stereo matching on SIMD machines. ICPR (2) Andrew F. Laine, Gruia-Catalin Roman
1990	J	`jnl`	Formal Specification of Geographic Data Processing Requirements. IEEE Trans. Knowl. Data Eng. Gruia-Catalin Roman
1990	J	`jnl`	Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency. IEEE Trans. Software Eng. Gruia-Catalin Roman, H. Conrad Cunningham
1990	A	`conf`	The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic. ICDCS Gruia-Catalin Roman, H. Conrad Cunningham
1989	J	`jnl`	A Declarative Approach to Visualizing Concurrent Computations. Computer Gruia-Catalin Roman, Kenneth C. Cox
1989	A	`conf`	A shared dataspace model of concurrency-language and programming implications. ICDCS Gruia-Catalin Roman, H. Conrad Cunningham
1989	A*	`conf`	Declarative Visualization in the Shared Dataspace Paradigm. ICSE Gruia-Catalin Roman, Kenneth C. Cox
1989	—	`conf`	Implementing a shared dataspace language on a message-based multiprocessor. IWSSD Gruia-Catalin Roman, Kenneth C. Cox
1988	A	`conf`	A Shared Dataspace Language Supporting Large-Scale Concurrency. ICDCS Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers
1988	A*	`conf`	Interactive complexity control and high-speed stereo matching. CVPR Gruia-Catalin Roman, Andrew F. Laine, Kenneth C. Cox
1988	A*	`conf`	Language and Visualization Support for Large-Scale Concurrency. ICSE Gruia-Catalin Roman
1988	A*	`conf`	Rapid search for spherical objects in aerial photographs. CVPR Kenneth C. Cox, Gruia-Catalin Roman, William E. Ball, Andrew F. Laine
1987	A*	`conf`	Data Engineering in Software Development Environments. ICDE Gruia-Catalin Roman
1987	A*	`conf`	Specifying Software/Hardware Interactions in Distributed Systems. ICSE Gruia-Catalin Roman
1987	A	`conf`	Toward Comprehensive Specification of Distributed Systems. ICDCS Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, R. H. Lykins
1986	A*	`conf`	Formal Specification of Geographic Data Processing Requirements. ICDE Gruia-Catalin Roman
1985	J	`jnl`	A Taxonomy of Current Issues in Requirements Engineering. Computer Gruia-Catalin Roman
1984	J	`jnl`	A Total System Design Framework. Computer Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, Will D. Gillett
1984	A*	`conf`	Multifaceted Distributed Systems Specification Using Processes and Event Synchronization. ICSE Gruia-Catalin Roman, Mark S. Day
1983	B	`conf`	Functional Specification of Distributed Systems. ICPP Gruia-Catalin Roman, Robert K. Israel
1980	—	`conf`	Concurrency coordination in a locally distributed database system. AFIPS National Computer Conference Gruia-Catalin Roman
1979	—	`conf`	Verification procedures supporting software systems development. MARK Gruia-Catalin Roman
1978	—	`conf`	Coordinating Concurrent Access in a Distributed Database Architecture. Computer Architecture for Non-Numeric Processing Mishell J. Stucki, Jerome R. Cox Jr., Gruia-Catalin Roman, P. N. Turcu
1977	—	`conf`	A two-step approach to the validation of software engineering methodologies. AFIPS National Computer Conference Gruia-Catalin Roman
1977	J	`jnl`	An Argument in Favor of Mechanized Software Production. IEEE Trans. Software Eng. Gruia-Catalin Roman
1976	—	`conf`	Memory conserving efficient methods for solving large sets of stiff differential equations. AFIPS National Computer Conference Gruia-Catalin Roman, David Garfinkel, Carl B. Marbach