Yi Deng
Affiliations:- Florida International University, University Park, FL, USA
- University of Texas at Dallas, Richardson, TX, USA (former)
- University of Pittsburgh, Department of Computer Science, PA, USA (PhD 1992)
According to our database1,
Yi Deng
authored at least 83 papers
between 1990 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cs.fiu.edu
On csauthors.net:
Bibliography
2010
Identification of file infecting viruses through detection of self-reference replication.
J. Comput. Virol., 2010
Multim. Tools Appl., 2010
2009
Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2009: Intellect, 2009
Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009
2008
Building Global Ecosystem for Collaborative Computing Research and Education.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the Third International Conference on Systems, 2008
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008
Proceedings of the 9th Annual International Conference on Digital Government Research, 2008
2007
Proceedings of the 26th IEEE International Performance Computing and Communications Conference, 2007
2006
Multiagent Grid Syst., 2006
Achieving a Better Middleware Design through Formal Modeling and Analysis.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the International Workshop on Healthcare Information and Knowledge Management, 2006
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Communication Model to Support Rapid Application Development.
Proceedings of the 2006 International Conference on Communications in Computing, 2006
2005
Performance modeling and analysis of software architectures: An aspect-oriented UML based approach.
Sci. Comput. Program., 2005
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
2004
IEEE Trans. Robotics Autom., 2004
J. Syst. Softw., 2004
Constraint Propagation And Progressive Verification For Component-Based Process Model.
Int. J. Softw. Eng. Knowl. Eng., 2004
A Component Framework for Resource Management Systems.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004
Integrating Security Administration into Software Architectures Design.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004
Applying Aspect-Orientation in Designing Security Systems: A Case Study.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
2003
IEEE Trans. Software Eng., 2003
IEEE Trans. Knowl. Data Eng., 2003
Developing a Formal Design Analysis Framework.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Formal Software Architecture Design of Secure Distributed Systems.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
2002
Int. J. Softw. Eng. Knowl. Eng., 2002
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
Comput. J., 2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Managing security policies in a distributed environment using eXtensible markup language (XML).
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001
2000
IEEE Trans. Syst. Man Cybern. Part B, 2000
IEEE Trans. Syst. Man Cybern. Part B, 2000
Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models.
Int. J. Softw. Eng. Knowl. Eng., 2000
Int. J. Softw. Eng. Knowl. Eng., 2000
Int. J. Softw. Eng. Knowl. Eng., 2000
Proceedings of the IEEE International Conference on Systems, 2000
1999
Architecture-driven modeling of real-time concurrent systems with applications in FMS.
J. Syst. Softw., 1999
J. Intell. Manuf., 1999
Introducing software architecture specification and analysis in SAM through an example.
Inf. Softw. Technol., 1999
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.
Ann. Softw. Eng., 1999
Proceedings of the Fourth ACM Workshop on Role-Based Access Control, 1999
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
1997
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
1996
A Formalism for Architectural Modeling of Distributed Real-Time Systems.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
1995
SIGMOD Rec., 1995
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995
An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems.
Proceedings of the SEKE'95, 1995
An Architecture for Operating System Support of Distributed Multimedia Systems.
Proceedings of the International Workshop on Multi-Media Database Management Systems, 1995
1994
Executable Specification and Analysis for the Design of Concurrent Object-Oriented Systems.
Int. J. Softw. Eng. Knowl. Eng., 1994
Semantic query optimization by class reference reduction in object- oriented databases.
Proceedings of the SEKE'94, 1994
Proceedings of the International Conference on Multimedia Computing and Systems, 1994
1993
An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993
Executable Specifications for the Design of Object-Oriented Systems.
Proceedings of the SEKE'93, 1993
Intermediate Executable Architectural Specifications for KBSA, Part II.
Proceedings of the SEKE'93, 1993
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.
Proceedings of the Application and Theory of Petri Nets 1993, 1993
Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993
1992
1991
Int. J. Softw. Eng. Knowl. Eng., 1991
Multi-level specification and protocol design for distributed multimedia communication.
Proceedings of the Conference on Organizational Computing Systems, 1991
A HyperNet Model for Large Hypertext Systems.
Proceedings of the Database Systems for Advanced Applications '91, 1991
1990
IEEE Trans. Knowl. Data Eng., 1990
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990