default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGruia-Catalin Roman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c111]Jie Hua, Haoxiang Yu, Sangsu Lee, Hamim Md Adal
, Colin Milhaupt, Gruia-Catalin Roman, Christine Julien:
CoPI: Enabling Probabilistic Conflict Prediction in Smart Space Through Context-awareness. IoTDI 2022: 30-42- 2021
- [c110]Jie Hua, Sangsu Lee, Gruia-Catalin Roman, Christine Julien:
ArcIoT: Enabling Intuitive Device Control in the Internet of Things through Augmented Reality. PerCom Workshops 2021: 558-564 - [c109]Hamim Md Adal, Colin Milhaupt, Jie Hua, Christine Julien, Gruia-Catalin Roman:
The space broker: a middleware for mediating interactions in smart IoT spaces. BuildSys 2021: 101-110
2010 – 2019
- 2019
- [c108]Yosef Saputra, Jie Hua, Nathaniel Wendt, Christine Julien, Gruia-Catalin Roman:
Warble: programming abstractions for personalizing interactions in the internet of things. MOBILESoft@ICSE 2019: 128-139 - [c107]Jie Hua, Chenguang Liu, Tomasz Kalbarczyk, Catherine Wright, Gruia-Catalin Roman, Christine Julien:
rIoT: Enabling Seamless Context-Aware Automation in the Internet of Things. MASS 2019: 227-235 - [i1]Jie Hua, Chenguang Liu, Tomasz Kalbarczyk, Catherine Wright, Gruia-Catalin Roman, Christine Julien:
rIoT: Enabling Seamless Context-AwareAutomation in the Internet of Things. CoRR abs/1911.01281 (2019) - 2014
- [j51]Qiang Lu, Justin Wilson, Yixin Chen, Christopher D. Gill, Louis Thomas, Gruia-Catalin Roman, Guoliang Chen:
Situation-aware composition and execution in dynamic environments by automated planning. Eng. Appl. Artif. Intell. 35: 215-236 (2014) - [c106]Gian Pietro Picco, Christine Julien, Amy L. Murphy, Mirco Musolesi, Gruia-Catalin Roman:
Software engineering for mobility: reflecting on the past, peering into the future. FOSE 2014: 13-28 - 2013
- [j50]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks. Sci. Comput. Program. 78(2): 195-217 (2013) - [j49]Octav Chipara, Chenyang Lu, Gruia-Catalin Roman:
Real-Time Query Scheduling for Wireless Sensor Networks. IEEE Trans. Computers 62(9): 1850-1865 (2013) - 2012
- [j48]Jamie Payton, Christine Julien, Vasanth Rajamani, Gruia-Catalin Roman:
Using snapshot query fidelity to adapt continuous query execution. Pervasive Mob. Comput. 8(3): 317-330 (2012) - [j47]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks. Sci. Comput. Program. 77(6): 663-684 (2012) - [c105]Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
A spatiotemporal model for ephemeral data in pervasive computing networks. PerCom Workshops 2012: 179-184 - [c104]Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
myGander: A mobile interface and distributed search engine for pervasive computing. PerCom Workshops 2012: 495-497 - 2011
- [j46]Octav Chipara, Chenyang Lu, John A. Stankovic, Gruia-Catalin Roman:
Dynamic Conflict-Free Transmission Scheduling for Sensor Network Queries. IEEE Trans. Mob. Comput. 10(5): 734-748 (2011) - [c103]Chien-Liang Fok, Christine Julien, Gruia-Catalin Roman, Chenyang Lu:
Challenges of satisfying multiple stakeholders: quality of service in the internet of things. SESENA@ICSE 2011: 55-60 - [c102]Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Gander: Personalizing Search of the Here and Now. MobiQuitous 2011: 88-100 - [c101]Christine Julien, Vasanth Rajamani, Jamie Payton, Gruia-Catalin Roman:
Fidelity-based continuous query introspection and adaptation. PerCom Workshops 2011: 14-19 - [e7]Wolfgang De Meuter, Gruia-Catalin Roman:
Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Lecture Notes in Computer Science 6721, Springer 2011, ISBN 978-3-642-21463-9 [contents] - 2010
- [j45]Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani:
Semantic self-assessment of query results in dynamic environments. ACM Trans. Softw. Eng. Methodol. 19(4): 12:1-12:33 (2010) - [c100]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks. COORDINATION 2010: 107-121 - [c99]Octav Chipara, Gregory Hackmann, Chenyang Lu, William D. Smart, Gruia-Catalin Roman:
Practical modeling and prediction of radio coverage of indoor sensor networks. IPSN 2010: 339-349 - [c98]Sangeeta Bhattacharya, Abusayeed Saifullah, Chenyang Lu, Gruia-Catalin Roman:
Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 259-268 - [c97]Octav Chipara, Chenyang Lu, Thomas C. Bailey, Gruia-Catalin Roman:
Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit. SenSys 2010: 155-168 - [e6]Gruia-Catalin Roman, André van der Hoek:
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM 2010, ISBN 978-1-60558-791-2 [contents] - [e5]Gruia-Catalin Roman, Kevin J. Sullivan:
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. ACM 2010, ISBN 978-1-4503-0427-6 [contents]
2000 – 2009
- 2009
- [j44]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Agilla: A mobile agent middleware for self-adaptive wireless sensor networks. ACM Trans. Auton. Adapt. Syst. 4(3): 16:1-16:26 (2009) - [c96]Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey:
Reliable Real-time Clinical Monitoring Using Sensor Network Technology. AMIA 2009 - [c95]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. COORDINATION 2009: 66-85 - [c94]Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. FASE 2009: 401-416 - [c93]Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey:
Poster abstract: Reliable data collection from mobile users for real-time clinical monitoring. IPSN 2009: 397-398 - [c92]Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments. Middleware 2009: 226-246 - [c91]Louis Thomas, Justin Wilson, Gruia-Catalin Roman, Christopher D. Gill:
Achieving Coordination through Dynamic Construction of Open Workflows. Middleware 2009: 268-287 - 2008
- [j43]Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman:
MLDS: A flexible location directory service for tiered sensor networks. Comput. Commun. 31(6): 1160-1172 (2008) - [j42]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) - [c90]Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill:
CiAN: A Workflow Engine for MANETs. COORDINATION 2008: 280-295 - 2007
- [j41]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) - [j40]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Towards a flexible global sensing infrastructure. SIGBED Rev. 4(3): 1-6 (2007) - [j39]Gruia-Catalin Roman, Christine Julien, Jamie Payton:
Modeling adaptive behaviors in Context UNITY. Theor. Comput. Sci. 376(3): 185-204 (2007) - [c89]Davide Frey, Gruia-Catalin Roman:
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. COORDINATION 2007: 37-55 - [c88]Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill:
Coordinating Workflow Allocation and Execution in Mobile Environments. COORDINATION 2007: 249-267 - [c87]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 - [c86]Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman:
Extending BPEL for Interoperable Pervasive Computing. ICPS 2007: 204-213 - [c85]Fei Sun, Chien-Liang Fok, Gruia-Catalin Roman:
sChat: a group communication service over wireless sensor networks. IPSN 2007: 543-544 - [c84]Octav Chipara, Chenyang Lu, Gruia-Catalin Roman:
Real-Time Query Scheduling for Wireless Sensor Networks. RTSS 2007: 389-399 - [c83]Jamie Payton, Christine Julien, Gruia-Catalin Roman:
Automatic consistency assessment for query results in dynamic environments. ESEC/SIGSOFT FSE 2007: 245-254 - 2006
- [j38]Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman:
Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management. Int. J. Web Serv. Res. 3(3): 1-26 (2006) - [j37]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) - [j36]Christine Julien, Gruia-Catalin Roman:
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. IEEE Trans. Software Eng. 32(5): 281-298 (2006) - [c82]Daniel Massaguer, Chien-Liang Fok, Nalini Venkatasubramanian, Gruia-Catalin Roman, Chenyang Lu:
Exploring sensor networks using mobile agents. AAMAS 2006: 323-325 - [c81]Gruia-Catalin Roman, Radu Handorean, Rohan Sen:
Tuple Space Coordination Across Space and Time. COORDINATION 2006: 266-280 - [c80]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 - [c79]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 - [c78]Gregory Hackmann, Mart Haitjema, Christopher D. Gill, Gruia-Catalin Roman:
Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices. ICSOC 2006: 503-508 - [c77]Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman:
Distributed Abstract Data Types. OTM Conferences (2) 2006: 1594-1612 - [c76]Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman:
A hierarchical location directory service across sensor and IP networks. SenSys 2006: 365-366 - [e4]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. IFIP 219, Springer 2006, ISBN 978-0-387-34828-5 [contents] - 2005
- [j35]Gruia-Catalin Roman, Jamie Payton:
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. Autom. Softw. Eng. 12(1): 81-99 (2005) - [j34]Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill:
Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j33]Gruia-Catalin Roman, Jamie Payton:
A principled exploration of coordination models. Theor. Comput. Sci. 336(2-3): 367-401 (2005) - [j32]Qingfeng Huang, Sangeeta Bhattacharya, Chenyang Lu, Gruia-Catalin Roman:
FAR: Face-aware routing for mobicast in large-scale sensor networks. ACM Trans. Sens. Networks 1(2): 240-271 (2005) - [c75]Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman:
Context Aware Session Management for Services in Ad Hoc Networks. IEEE SCC 2005: 113-120 - [c74]Octav Chipara, Chenyang Lu, Gruia-Catalin Roman:
Efficient Power Management Based on Application Timing Semantics for Wireless Sensor Networks. ICDCS 2005: 361-370 - [c73]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications. ICDCS 2005: 653-662 - [c72]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 - [c71]Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
Mobile agent middleware for sensor networks: an application case study. IPSN 2005: 382-387 - [c70]Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman:
Towards a Real-Time Coordination Model for Mobile Computing. Monterey Workshop 2005: 184-202 - [c69]Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill:
Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. SELMAS 2005: 1:1-1:7 - [c68]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 - [e3]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 [contents] - 2004
- [j31]Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman:
CODEWEAVE: Exploring Fine-Grained Mobility of Code. Autom. Softw. Eng. 11(3): 207-243 (2004) - [j30]Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman:
Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks. Telecommun. Syst. 26(2-4): 129-160 (2004) - [j29]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) - [c67]Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann:
A Lightweight Coordination Middleware for Mobile Computing. COORDINATION 2004: 135-151 - [c66]Christine Julien, Gruia-Catalin Roman:
Active Coordination in Ad Hoc Networks. COORDINATION 2004: 199-215 - [c65]Christine Julien, Gruia-Catalin Roman:
Supporting Context-Aware Interaction in Dynamic Multi-agent Systems. E4MAS 2004: 168-189 - [c64]Gruia-Catalin Roman, Christine Julien, Jamie Payton:
A Formal Treatment of Context-Awareness. FASE 2004: 12-36 - [c63]Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann:
Knowledge-driven interactions with services across ad hoc networks. ICSOC 2004: 222-231 - [c62]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 - [c61]Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman:
Reliable Mobicast via Face-Aware Routing. INFOCOM 2004: 2108-2118 - [c60]Radu Handorean, Christopher D. Gill, Gruia-Catalin Roman:
Accommodating Transient Connectivity in Ad Hoc and Mobile Settings. Pervasive 2004: 305-322 - [c59]Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Adaptive Access Control in Coordination-Based Mobile Agent Systems. SELMAS 2004: 254-271 - [c58]Gregory Hackmann, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Supporting Generalized Context Interactions. SEM 2004: 91-106 - [r2]Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco:
Developing Mobile Applications. Mobile Computing Handbook 2004 - [r1]George Varghese, Gruia-Catalin Roman, Amy L. Murphy:
Dependable Message Delivery to Mobile Units. Mobile Computing Handbook 2004 - 2003
- [c57]Gruia-Catalin Roman, Jamie Payton:
Mobile UNITY Schemas for Agent Coordination. Abstract State Machines 2003: 126-150 - [c56]Radu Handorean, Jamie Payton, Christine Julien, Gruia-Catalin Roman:
Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System. ICDCS Workshops 2003: 362-368 - [c55]Radu Handorean, Gruia-Catalin Roman:
Secure Service Provision in Ad Hoc Networks. ICSOC 2003: 367-383 - [c54]Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman:
Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints. IPSN 2003: 442-457 - [c53]Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman:
Spatiotemporal multicast in sensor networks. SenSys 2003: 205-217 - [c52]Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman:
Software Architecture for Mobile Computing. SFM 2003: 182-206 - [c51]Radu Handorean, Gruia-Catalin Roman:
Secure Sharing of Tuple Spaces in Ad Hoc Settings. SecCo 2003: 122-141 - [c50]Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Reasoning About Context-Awareness in the Presence of Mobility. FOCLASA 2003: 259-276 - 2002
- [j28]Gruia-Catalin Roman, Amy L. Murphy:
Guest Editorial: Software Engineering for Mobility. Autom. Softw. Eng. 9(2): 135-136 (2002) - [j27]Gruia-Catalin Roman, Peter J. McCann:
A Notation and Logic for Mobile Computing. Formal Methods Syst. Des. 20(1): 47-68 (2002) - [j26]Amy L. Murphy, Gruia-Catalin Roman, George Varghese:
Tracking Mobile Units for Dependable Message Delivery. IEEE Trans. Software Eng. 28(5): 433-448 (2002) - [c49]Radu Handorean, Gruia-Catalin Roman:
Service Provision in Ad Hoc Networks. COORDINATION 2002: 207-219 - [c48]Gruia-Catalin Roman, Christine Julien, Qingfeng Huang:
Network abstractions for context-aware mobile computing. ICSE 2002: 363-373 - [c47]Gruia-Catalin Roman, Christine Julien, Qingfeng Huang:
Formal Specification and Design of Mobile Systems. IPDPS 2002 - [c46]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 - [c45]Christine Julien, Gruia-Catalin Roman:
Egocentric context-aware programming in ad hoc mobile environments. SIGSOFT FSE 2002: 21-30 - 2001
- [j25]Gruia-Catalin Roman, Gian Pietro Picco:
Workshop on software engineering and mobility. ACM SIGSOFT Softw. Eng. Notes 26(6): 67-70 (2001) - [j24]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) - [c44]Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman:
LIME: A Middleware for Physical and Logical Mobility. ICDCS 2001: 524-533 - [c43]Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi:
Consistent Group Membership in Ad Hoc Networks. ICSE 2001: 381-388 - [c42]Gruia-Catalin Roman, Gian Pietro Picco:
Workshop on Software Engineering and Mobility. ICSE 2001: 756-757 - [p1]Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco:
Coordination and Mobility. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 253-273 - 2000
- [j23]Gruia-Catalin Roman, Delbert Hart, Eileen T. Kraemer:
Exploratory visualization. ACM SIGSOFT Softw. Eng. Notes 25(1): 76-77 (2000) - [j22]Gruia-Catalin Roman, Amy L. Murphy:
Rapid development of dependable applications over Ad hoc networks. ACM SIGSOFT Softw. Eng. Notes 25(1): 77-78 (2000) - [c41]Gruia-Catalin Roman, Gian Pietro Picco, Amy L. Murphy:
Software engineering for mobility: a roadmap. ICSE - Future of SE Track 2000: 241-258 - [c40]Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman:
Developing mobile computing applications with LIME. ICSE 2000: 766-769 - [c39]Mihail Eduard Tudoreanu, Delbert Hart, Gruia-Catalin Roman:
Reshapeable Visualizations. ISMSE 2000: 245-252 - [e2]António Porto, Gruia-Catalin Roman:
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Lecture Notes in Computer Science 1906, Springer 2000, ISBN 3-540-41020-1 [contents]
1990 – 1999
- 1999
- [j21]Peter J. McCann, Gruia-Catalin Roman:
Modeling Mobile IP in Mobile UNITY. ACM Trans. Softw. Eng. Methodol. 8(2): 115-146 (1999) - [c38]Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman:
A Fine-Grained Model for Code Mobility. ESEC / SIGSOFT FSE 1999: 39-56 - [c37]Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman:
LIME: Linda Meets Mobility. ICSE 1999: 368-377 - 1998
- [j20]Gruia-Catalin Roman, James C. Hu:
Plastic transformations: A method for building dependable distributed Applications. IEE Proc. Softw. 145(2-3): 51-60 (1998) - [j19]Peter J. McCann, Gruia-Catalin Roman:
Compositional Programming Abstractions for Mobile Computing. IEEE Trans. Software Eng. 24(2): 97-110 (1998) - [c36]Eileen T. Kraemer, Delbert Hart, Gruia-Catalin Roman:
Balancing Consistency and Lag in Transaction-Based Computational Steering. HICSS (7) 1998: 137-146 - [c35]Gruia-Catalin Roman, Peter J. McCann:
An Introduction to Mobile UNITY. IPPS/SPDP Workshops 1998: 871-880 - [c34]Amy L. Murphy, Gruia-Catalin Roman, George Varghese:
An Exercise in Formal Reasoning about Mobile Communications. IWSSD 1998: 25-33 - 1997
- [j18]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) - [c33]Peter J. McCann, Gruia-Catalin Roman:
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. COORDINATION 1997: 338-354 - [c32]Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann:
Expressing Code Mobility in Mobile UNITY. ESEC / SIGSOFT FSE 1997: 500-518 - [c31]Amy L. Murphy, Gruia-Catalin Roman, George Varghese:
An Algorithm for Message Delivery to Mobile Units. PODC 1997: 292 - 1996
- [j17]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) - [c30]Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun:
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164 - [c29]Gruia-Catalin Roman, Delbert Hart, Charles Calkins:
Visual Presentation of Software Specifications and Designs. IWSSD 1996: 115-124 - 1995
- [c28]Gruia-Catalin Roman:
Panelists: Software Visualization through Active Presentation. SEKE 1995: 292 - 1994
- [j16]Christian Creveuil, Gruia-Catalin Roman:
Formal Specification and Designof a Message Router. ACM Trans. Softw. Eng. Methodol. 3(4): 271-307 (1994) - [j15]Gruia-Catalin Roman, C. Donald Wilcox:
Architecture-Directed Refinement. IEEE Trans. Software Eng. 20(4): 239-258 (1994) - [j14]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
- [j13]Gruia-Catalin Roman, Kenneth C. Cox:
A Taxonomy of Program Visualization Systems. Computer 26(12): 11-24 (1993) - [j12]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) - [j11]Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox:
Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distributed Syst. 4(6): 677-685 (1993) - [j10]Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. 19(3): 277-296 (1993) - 1992
- [j9]Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun:
Pavane: a system for declarative visualization of concurrent computations. J. Vis. Lang. Comput. 3(2): 161-193 (1992) - [c27]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 - [c26]Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Seeking Concurrency in Rule-Based Programming. ICSE 1992: 225-234 - [c25]Gruia-Catalin Roman, Kenneth C. Cox:
Program Visualization: The Art of Mapping Programs to Pictures. ICSE 1992: 412-420 - [c24]Kenneth C. Cox, Gruia-Catalin Roman:
Abstraction in Algorithm Animation. VL 1992: 18-24 - 1991
- [j8]Andrew F. Laine, Gruia-Catalin Roman:
A parallel algorithm for incremental stereo matching on SIMD machines. IEEE Trans. Robotics Autom. 7(1): 123-134 (1991) - [c23]Rose F. Gamble, Gruia-Catalin Roman, William E. Ball:
Formal Verification of Pure Production System Programs. AAAI 1991: 329-334 - [c22]Gruia-Catalin Roman, H. Conrad Cunningham:
Reasoning About Synchronic Groups. Research Directions in High-Level Parallel Programming Languages 1991: 21-38 - [c21]Kenneth C. Cox, Gruia-Catalin Roman:
Visualizing Concurrent Computations. VL 1991: 18-24 - [e1]Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman:
Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. IEEE Computer Society 1991, ISBN 978-0-8186-2320-2 [contents] - 1990
- [j7]Gruia-Catalin Roman:
Formal Specification of Geographic Data Processing Requirements. IEEE Trans. Knowl. Data Eng. 2(4): 370-380 (1990) - [j6]H. Conrad Cunningham, Gruia-Catalin Roman:
A UNITY-Style Programming Logic for Shared Dataspace Programs. IEEE Trans. Parallel Distributed Syst. 1(3): 365-376 (1990) - [j5]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) - [c20]Gruia-Catalin Roman, H. Conrad Cunningham:
The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic. ICDCS 1990: 142-149 - [c19]Andrew F. Laine, Gruia-Catalin Roman:
A parallel algorithm for incremental stereo matching on SIMD machines. ICPR (2) 1990: 484-490
1980 – 1989
- 1989
- [j4]Gruia-Catalin Roman, Kenneth C. Cox:
A Declarative Approach to Visualizing Concurrent Computations. Computer 22(10): 25-36 (1989) - [c18]Gruia-Catalin Roman, H. Conrad Cunningham:
A shared dataspace model of concurrency-language and programming implications. ICDCS 1989: 270-279 - [c17]Gruia-Catalin Roman, Kenneth C. Cox:
Declarative Visualization in the Shared Dataspace Paradigm. ICSE 1989: 34-43 - [c16]Gruia-Catalin Roman, Kenneth C. Cox:
Implementing a shared dataspace language on a message-based multiprocessor. IWSSD 1989: 41-48 - 1988
- [c15]Gruia-Catalin Roman, Andrew F. Laine, Kenneth C. Cox:
Interactive complexity control and high-speed stereo matching. CVPR 1988: 171-176 - [c14]Kenneth C. Cox, Gruia-Catalin Roman, William E. Ball, Andrew F. Laine:
Rapid search for spherical objects in aerial photographs. CVPR 1988: 905-910 - [c13]Gruia-Catalin Roman, H. Conrad Cunningham, Michael E. Ehlers:
A Shared Dataspace Language Supporting Large-Scale Concurrency. ICDCS 1988: 265-272 - [c12]Gruia-Catalin Roman:
Language and Visualization Support for Large-Scale Concurrency. ICSE 1988: 296-308 - 1987
- [c11]Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, R. H. Lykins:
Toward Comprehensive Specification of Distributed Systems. ICDCS 1987: 282-291 - [c10]Gruia-Catalin Roman:
Data Engineering in Software Development Environments. ICDE 1987: 85-86 - [c9]Gruia-Catalin Roman:
Specifying Software/Hardware Interactions in Distributed Systems. ICSE 1987: 126-141 - 1986
- [c8]Gruia-Catalin Roman:
Formal Specification of Geographic Data Processing Requirements. ICDE 1986: 434-446 - 1985
- [j3]Gruia-Catalin Roman:
A Taxonomy of Current Issues in Requirements Engineering. Computer 18(4): 14-23 (1985) - 1984
- [j2]Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, Will D. Gillett:
A Total System Design Framework. Computer 17(5): 15-26 (1984) - [c7]Gruia-Catalin Roman, Mark S. Day:
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization. ICSE 1984: 44-55 - 1983
- [c6]Gruia-Catalin Roman, Robert K. Israel:
Functional Specification of Distributed Systems. ICPP 1983: 503-505 - 1980
- [c5]Gruia-Catalin Roman:
Concurrency coordination in a locally distributed database system. AFIPS National Computer Conference 1980: 269-273
1970 – 1979
- 1979
- [c4]Gruia-Catalin Roman:
Verification procedures supporting software systems development. MARK 1979: 947-956 - 1978
- [c3]Mishell 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
- [j1]Gruia-Catalin Roman:
An Argument in Favor of Mechanized Software Production. IEEE Trans. Software Eng. 3(6): 406-415 (1977) - [c2]Gruia-Catalin Roman:
A two-step approach to the validation of software engineering methodologies. AFIPS National Computer Conference 1977: 539-544 - 1976
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
