Yi Deng - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

An autonomic framework for user-centric communication servicesAndrew A. Allen, Yali Wu, Peter J. Clarke, Tariq M. King, Yi Deng. cascon 2009: 203-215 [doi]

Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation StrategyYi Deng, Vipul Goyal, Amit Sahai. focs 2009: 251-260 [doi]

Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key ModelYi Deng, Giovanni Di Crescenzo, Dongdai Lin, Dengguo Feng. csr 2009: 80-91 [doi]

PIRE: a global living laboratory for cyberinfrastructure application enablementSeyed Masoud Sadjadi, Shuyi Chen, S. Graham, S. Luis, Yi Deng, Borko Furht, P. Martinez, N. Bowen, J. Caraballo. tapia 2009: 64-69 [doi]

Evolutionary document summarization for disaster managementDingding Wang, Li Zheng, Tao Li, Yi Deng. sigir 2009: 680-681 [doi]

Towards the Operational Semantics of User-Centric Communication ModelsYingbo Wang, Yali Wu, Andrew A. Allen, Barbara Espinoza, Peter J. Clarke, Yi Deng. compsac 2009: 254-262 [doi]

2008

Building Global Ecosystem for Collaborative Computing Research and EducationYi Deng. seke 2008: 3

CVM - A communication virtual machineYi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Vagelis Hristidis, Raju Rangaswami, Yingbo Wang. jss, 81(10):1640-1662, 2008. [doi]

Novel Omega-protocols for NPYi Deng, Dongdai Lin. chinaf, 51(1):40-52, 2008. [doi]

Characterizing and Detecting Virus ReplicationJose Andre Morales, Peter J. Clarke, Yi Deng. icons 2008: 214-219 [doi]

Characterization of virus replicationJose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria. virology, 4(3):221-234, 2008. [doi]

A Self-Configuring Communication Virtual MachineSeyed Masoud Sadjadi, Selim Kalayci, Yi Deng. icnsc 2008: 739-744 [doi]

Towards a business continuity information network for rapid disaster recoveryKhalid Saleem, Steven Luis, Yi Deng, Shu-Ching Chen, Vagelis Hristidis, Tao Li. DG.O 2008: 107-116 [doi]

Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine TransformXianfeng Zhao, Bingbing Xia, Yi Deng. ih 2008: 309-324 [doi]

2007

2006

A Communication Virtual MachineYi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar. compsac 2006: 521-531 [doi]

A Fast Line Segment Based Dense Stereo Algorithm Using Tree Dynamic ProgrammingYi Deng, Xueyin Lin. eccv 2006: 201-212 [doi]

A formal model-based approach for developing an interoperable mobile agent systemJunhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng. mags, 2(4):401-412, 2006. [doi]

A flexible approach for electronic medical records exchangeVagelis Hristidis, Peter J. Clarke, Nagarajan Prabakar, Yi Deng, Jeffrey A. White, Redmond P. Burke. hikm 2006: 33-40 [doi]

Testing and evaluating virus detectors for handheld devicesJose Andre Morales, Peter J. Clarke, Yi Deng, B. M. Golam Kibria. virology, 2(2):135-147, 2006. [doi]

Achieving a Better Middleware Design through Formal Modeling and AnalysisWeixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He. seke 2006: 463-468

Communication Model to Support Rapid Application DevelopmentYingbo Wang, Peter J. Clarke, Yi Deng. cic 2006: 185-191

2005

2004

Performance Modeling and Analysis of Software Architectures: An Aspect-Oriented UML Based ApproachKendra Cooper, Lirong Dai, Yi Deng. serp 2004: 111-120

Constraint Propagation And Progressive Verification For Component-Based Process ModelYi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai. ijseke, 14(5):471-496, 2004. [doi]

Consistency verification in modeling of real-time systemsYi Deng, Jiacun Wang, MengChu Zhou. trob, 20(1):136-142, 2004. [doi]

A Component Framework for Resource Management SystemsJing Dong, Rucha Khisti, Kendra Cooper, Yi Deng. serp 2004: 681-687

Applying Aspect-Orientation in Designing Security Systems: A Case StudyShu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper. seke 2004: 360-365

Formally analyzing software architectural specifications using SAM Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng. jss, 71(1-2):11-29, 2004. [doi]

A Formal Approach to Designing Secure Software ArchitecturesHuiqun Yu, Xudong He, Yi Deng, Lian Mo. hase 2004: 289-290 [doi]

Integrating Security Administration into Software Architectures DesignHuiqun Yu, Xudong He, Yi Deng, Lian Mo. seke 2004: 416-420

2003

2002

2001

2000

Guest Editors Introduction - Best Papers from SEKE 98Mark Gerken, Yi Deng. ijseke, 10(1):1-4, 2000.

Specifying Software Architectural Connectors in SAMXudong He, Yi Deng. ijseke, 10(4):411-431, 2000. [doi]

Compositional time Petri nets and reduction rulesJiacun Wang, Yi Deng, MengChu Zhou. tsmc, 30(4):562-572, 2000.

Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net ModelsJiacun Wang, Yi Deng, Chun Jin. ijseke, 10(6):735-757, 2000. [doi]

Reachability analysis of real-time systems using time Petri netsJiacun Wang, Yi Deng, Gang Xu. tsmc, 30(5):725-736, 2000.

1999

A Framework for Implementing Role-Based Access Control Using CORBA Security ServiceKonstantin Beznosov, Yi Deng. rbac 1999: 19-30 [doi]

A Resource Access Decision Service for CORBA-Based Distributed SystemsKonstantin Beznosov, Yi Deng, Bob Blakley, C. Burt, John F. Barkley. acsac 1999: 310-319 [doi]

Architecture-driven modeling of real-time concurrent systems with applications in FMSYi Deng, Chia-Rung Yang. jss, 45(1):61-78, 1999. [doi]

Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System DesignYi Deng, Jiacun Wang. ansoft, 7:47-70, 1999.

Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net ModelsJiacun Wang, Chun Jin, Yi Deng. compsac 1999: 436-441 [doi]

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net ModelsJiacun Wang, Chun Jin, Yi Deng. iceccs 1999: 77-85 [doi]

Introducing software architecture specification and analysis in SAM through an exampleJiacun Wang, Xudong He, Yi Deng. INFSOF, 41(7):451-467, 1999. [doi]

Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology StandardKent Wreder, Yi Deng. compsac 1999: 250-258 [doi]

1998

A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance CapabilityGuohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun. icdcs 1998: 444-451 [doi]

Incremental Architectural Modeling and Verification of Real-Time Concurrent SystemsYi Deng, Jiacun Wang, Rakesh Sinha. icfem 1998: 26 [doi]

Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System DesignYi Deng, Jiacun Wang. hase 1998: 270-278 [doi]

1997

A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time SystemsYi Deng, Shengkai Lu, Michael Evangelist. hicss 1997: 481-490 [doi]

1996

Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for GraphsShigang Chen, Yi Deng, Paul C. Attie, Wei Sun. icdcs 1996: 613-619

A Formalism for Architectural Modeling of Distributed Real-Time SystemsYi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist. seke 1996: 408-417

1995

1994

1993

1992

Unifying Multi-Paradigms in Software System DesignYi Deng, Shi-Kuo Chang. seke 1992: 386-393 [doi]

1991

A HyperNet Model for Large Hypertext SystemsYi Deng, Shi-Kuo Chang. dasfaa 1992: 484-490 [doi]

A Framework for the Modeling and Prototyping of Distributed Information SystemsYi Deng, Shi-Kuo Chang. ijseke, 1(3):203-226, 1991. [doi]

Multi-level specification and protocol design for distributed multimedia communicationTaieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang. group 1991: 255-268 [doi]

1990

A G-Net Model for Knowledge Representation and ReasoningYi Deng, Shi-Kuo Chang. tkde, 2(3):295-310, 1990. [doi]