Company

Newsroom

Company News

UniqueSoft is now ISO 9001-2008 Certified

Over the Air Software Updates Slash Car Recall Rates – September 10, 2013

85% of Software Projects Include Out-of-Date Open Source – February 1, 2013

Building a Business with an Embedded Computer – January 18, 2013

Innovation and Auto Code Generation – December 6, 2012

Events

IEEE Information Technology Management Conference – Chicago, IL June 12 - 15, 2014

IT Legacy Modernization for Government – Washington, DC August 25 - 27, 2014

Gartner Application Architecture, Development and Integration Summit – Las Vegas, NV December 8 - 10, 2014

Publications

Journal Publications

“Practical Experiences in Using Model-Driven Engineering”, Telekktronik, 1, 2009 (with F. Weil and K. Marth).

“An Adaptive Automatically Tuning Intrusion Detection System”, ACM Transactions on Autonomous and Adaptive Systems, 3, 3, 2008 (with Z. Yu and J. Tsai).

“Insertion modeling in distributed system design”, Problems of Programming, 4, 2008 (with A. Letichevsky, J. Kaptitonova, V. Kotlyarov, A. Letichevsky, Jr., V. Volkov).

“An Automatically Tuning Intrusion Detection System” IEEE Trans. System, Man, and Cybernetics, 37(2):373-384, April 2007 (with Z. Yu and J. Tsai).

“System Specification with Basic Protocols” Cybernetics and System Analyses, 41(4):479-493, 2005 (with A. Letichevsky, J. Kapitonova, V. Volkov, A. Letichevsky, Jr., S. Baranov, and V. Kotlyarov)

“Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications” Computer Networks, 49(5):661-675, 2005 (with A. Letichevsky, J. Kapitonova, A. Letichevsky Jr., V. Volkov, and S. Baranov).

“A Logic-Based Transformation System” IEEE Transactions on Knowl­edge and Data Eng., 10(1): 91-107, 1998 (with B. Li and J.-P. Tsai).

“A Computationally Tractable Nonmonotonic Logic” IEEE Trans. Knowledge and Data Eng., 6(1):57–64, 1994 (with J.-P. Tsai).

“Fuzzy Operator Logic and Fuzzy Resolution” J. Automated Reasoning, 10:59–78, 1993 (with J.-P. Tsai and X. Liu).

“A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis” IEEE Trans. Software Engineering, 18(12):1076–1100, 1992 (with J.-P. Tsai and H. Jang).

“An Explication of Reasoning in Multiple Inheritance System through Non-Monotonic Horn Clause Logic” J. Information Sci., 63(3):261–283, 1992 (with J.-P. Tsai).

“Reasoning under Uncertainty in Fuzzy Operator Logic” IEEE Trans. System, Man, and Cybernetics, 21(6):1604–1608, 1991 (with J.-P. Tsai and X. Liu).

“HCLIE: A Logic-Based Requirements Language for New Software Engineering Paradigms” IEE Software Engineering Journal, 6(4):137–151, July 1991 (with J.-P. Tsai).

“λ-Resolution and the Interpretation of λ-Implication in Fuzzy Operator Logic” J. Information Sci., 56(1):259–278, 1991 (with X. Liu and J.-P. Tsai).

“A Knowledge-Based Approach for Checking Software Information Using a Non-Monotonic Reasoning System” J. Knowledge Based Systems, 3(3):131–138, Sept. 1990 (with J.-P. Tsai).

Books and Book Chapters

Books Knowledge-Based Software Development for Real-Time Distributed Systems. World Scientific Publishers, Singapore, 1993 (with J.-P. Tsai), 234 pages.

Book Chapters "Practical Considerations in Automatic Code Generation” In J.-P. Tsai and D. Zhang, editors, Advances in Machine Learning Application in Software Engineering, IGI Global, Hershey 2007 (with P. Dietz, K. Marth, A. v.d.Berg, and F. Weil), 346-409.

“Validation of Embedded Systems” In R. Zurawski, editor, The Embedded Systems Handbook, CRC Press, Miami, 2005 (with J. Kaptonova, A. Letichevsky, and V. Volkov), 51 pages.

“Introduction to UML and the Modeling of Embedded Systems” In R. Zurawski, editor, The Embedded Systems Handbook, CRC Press, Miami, 2005 (with Ø. Haugen and B. Møller-Pedersen), 48 pages.

“Specifying Telecommunications Systems with UML” In L. Lavagno, G. Martin, and B. Selic, editors, UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Publ., Amster­dam, 2003 (with R. Reed), 21 pages.

“Leveraging UML to Deliver Correct Telecom Applications” In L. Lavagno, G. Martin, and B. Selic, editors, UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Publ., Amster­dam, 2003 (with S. Baranov, C. Jervis, V. Kotlyarov, and A. Letichevsky), 20 pages.

“Structural Modeling with UML 2” In L. Lavagno, G. Martin, and B. Selic, editors, UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Publ., Amsterdam, 2003 (with Ø. Haugen and B. Møller-Pedersen), 23 pages.

“The Derivation of Efficient Programs from High-Level Specifi­cations” In N. Bourbakis, editor, Artificial Intelligence in Automation. World Scientific Publishers, Singapore, 1996 (with J. Boyle, T. Harmer, and F. Weil), 33 pages.

“A Nonmonotonic Extension to Horn-Clause Logic” In J. Pfalzgraf and D.-M. Wang, editors, Automated Practical Reasoning. Springer Verlag, 1995, 14 pages.

“Resolution-based Reasoning for Fuzzy Logic” In Expert Systems in Engineering, number 462 in Lect. Notes in Artificial Intelligence, Springer Verlag, 1990, 14 pages.

Refereed Conference Publications

“Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution”, IEEE Comp. Software and Applications Conf., Seoul, Jun 2010 (with V. Nerella, S. Surapaneni, and S. Madria).

“Model Based Architecting and Construction of Embedded Systems”, Proceedings of the Second Workshop on Model Based Architecting and Construction of Embedded Systems at MODELS 2009, Denver, 2009 (with I. Ober, S. Van Baelen, and H. Espinoza).

“Feature Interactions in Aspect-Oriented Scenario Models”, Proceedings of the 10th International Conference on Feature Interactions (ICFI 2009), Lisbon, June 11-12, 2009 (with G. Mussbacher, D. Amyot, and T. Cottenier).

“Model Based Architecting and Construction of Embedded Systems”, Proceedings of the First Workshop on Model Based Architecting and Construction of Embedded Systems at MODELS 2008, Tolouse, 2008 (with I. Ober, S. Van Baelen, S. Graf, M. Filali, and S. Gerard).

“Automatic Code Generation for Industrial-Strength Systems”, IEEE Comp. Software and Applications Conf., Turku, Jun 2008 (with F. Weil, A. v.d.Berg, P. Dietz, and K. Marth).

“Experiences in Deploying Model-Driven Engineering” In E. Gaudin, E. Jaim, and R. Reed (eds.), Proc. 12th International SDL Forum: Design for Dependable Systems, Lect. Notes in Comp. Sci., 4745, Springer Verlag, 35-53, Paris, Sep. 2007 (with F. Weil, K. Marth, P. Baker, C. Jervis, P. Dietz, Y. Gui, A. van den Berg, K. Fleer, D. Nelson, M. Wells, and B. Mastenbrook)

“Practical Experiences in Using Model-driven Engineering to Develop Trustworthy Computing Systems” In Proc. 2006 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 208-217, Taichung, Jun 2006 (with F. Weil)

“Semantics of Message Sequence Charts” In A. Prinz, R. Reed, and J. Reed (eds.), Proc. 12th International SDL Forum: Model Driven, Lect. Notes in Commp. Sci., 3530, Springer Verlag, 117-132, Grimstad, Jun 2005 (with A. Letichevsky, J. Kapitonova, V. Kotlyarov, V. Volkov, and A. Letichevsky Jr.).

“Network Element Testing using TTCN-3: Benefits and Comparison” In A. Prinz, R. Reed, and J. Reed (eds.), Proc. 12th International SDL Forum: Model Driven, Lect. Notes in Comp. Sci., 3530, Springer Verlag, 265-280, Grimstad, Jun 2005 (with B. Rao and K. Timmaraju).

“Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications” In Proc. 15th Intl. Conf. on Software Reliability Engineering, Rennes, Nov. 2004 (with A. Letichevsky, J. Kapitonova, A. Letichevsky Jr., V. Volkov, S. Baranov, and V. Kotlyarov).

“Guidelines for Using SDL in Product Development” In D. Amyot and A. Williams (eds.), Proc. System Analysis and Modeling, Lect. Notes in Comp. Sci., Springer Verlag, 3319, 271-289, Ottawa, Jun 2004 (with F. Weil).

“Automated Generation of Marshalling Code from High-Level Specifications” In R. Reed and J. Reed (eds.), Proc. 11th International SDL Forum: System Design, Lect. Notes in Comp. Sci., Springer Verlag, 374-386, Stuttgart, Jul 2003 (with P. Dietz).

“Modeling of Architectures with UML” In A. Evans, S. Kent, B. Selic (eds.), 3rd Intl. Conference on the Unified Modeling Language, number 1939 in Lect. Notes in Comp. Sci., Springer Verlag, 556-569, Oct 2000 (with D. Garlan, J. Knapman, S. Mellor, B. Møller-Pedersen, E. Seidewitz, and B. Selic).

“Lessons Learned from Deploying Code Generation in Industrial Projects” In Proc. Intl. Wksp. on Software Transformation Systems, Intl. Conference on Software Engineering, Los Angeles, 1999.

“SDL as UML: Why and What?” In R. France and B. Rumpe, Proc. 2nd International Conference on the Unified Modeling Language, number 1723 in Lect. Notes in Comp. Sci., Springer Verlag, 446-456, 1999 (with B. Selic, P. Dhaussy, A. Ek, Ø. Haugen, P. Leblanc, B. Møller-Pedersen).

“Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications” in Proc. 2nd Intl. IEEE Wksp on Industrial Strength Formal Specification Techniques, 40-49, Boca Rotan, 1998 (with F. Weil and P. Dietz).

“Verification Criterion Directed Testing for Formal Specifications” In Proc. 8th Intl. Conf. Software Engineering and Knowledge Engineering, Lake Tahoe, pp.393-399, 1996 (with X. Zeng and J.-P. Tsai).

“A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems” In Proc. 2nd Conf. Object-Oriented Real-Time Dependable Systems, pp. 8–16, Laguna Beach, 1996 (with J.-P. Tsai).

“Improving Software Quality Through a Novel Testing Strategy” Proc. 19th IEEE International Computer Software and Applications Conference, pp. 224-229, 1995 (with X. Zeng and J.-P. Tsai).

“Rigorous Requirements Specification and Validation” In Proc. Structured Development Forum, number XIII, Philadelphia, 1993 (with A. Neczwid and F. Weil).

“Non-monotonic Logic as a Basis for Requirements Specification and Analysis” In Proc. IJCAI/AAAI Intl. Symp. on Artificial Intelligence, pp. 13–15, Nov. 1991 (with J.-P. Tsai and H. Jang).

“Development of a Scheduling Expert System for a Steel Plant” In Proc. IFAC Wksp. on Expert Systems in Mineral and Metal Process­ing, Helsinki, Aug. 1991 (with K. Stohl, and W. Snopek, and T. Moritz).

“A Hybrid Knowledge Representation as a Basis of Requirement Specification and Reasoning” In Proc. IEEE Conf. Tools for Artificial Intelligence, pp. 70–76, 1990 (with J.-P. Tsai and H. Jang).

“An Intelligent Assistant for Checking Software Information Using a Non- Monotonic Reasoning System” In Proc. 22nd Intl. Conf. System Sciences, pp. 513–521, Kona, 1989 (with J.-P. Tsai).

“Exploratory Prototyping Through the Use of Frame and Production Systems” In Proc. IEEE Comp. Software and Applications Conf., pp. 445–462, Orlando, Sept. 1989 (with J.-P. Tsai).

“Nonmonotonic Logic as the Basis for a Requirement Specification Language” In M. Lowry, editor, Proc. Wksp. Automating Software Design, pp. 191–206, AAAI, St. Paul, 1989.

“A Declarative Approach to Software Requirements Specification Language” In Proc. IEEE Comp. Languages Conf., pp. 414–421, Miami Beach, Oct. 1988 (with J.-P. Tsai and M. Aoyama).