Education Instruction Professional Associations
Experience Research Grants & Contracts Papers
UML Related Papers/Presentations

 

A. Martin, J. Smith, M. Koethe, " A Platform Independent Model and Threat Analysis for Mobile Ad Hoc Networks ", SDR Forum, Nov 2007.

J. Zapata, F. Bordeleau, J. Smith, "UML Model Mapping in the Context of Software Radio", UML 2003, Oct 2003, San Francisco, CA.

M. Barbeau, F. Bordeleau, J. Smith, "An Introduction to the UML Model of the Software Radio", Proceedings on Conference in Telecommunication (ICT'2002), Beijing, China, June 2002

K. Baclawski, M. Kokar, P. Kogut, L. Hart, J. Smith, W. Holmes, J. Letkowski, M. Aronson, P. Emery, "Extending the UML for Ontology Development", SOSYM 2002, Sofware System Model (2002) 1: 1-15, Springer-Verlag 2002.

K. Baclawski, M. Kokar, P. Kogut, L. Hart,.J. Smith, W. Holmes, J. Letkowski, M. Aronson, Extending UML to Support Ontology Engineering for the Semantic Web, UML 2001, Toronto, CA, Oct 2001. Powerpoint form is here.

K. Baclawski, M. Kokar, J. Smith, Metamodeling Facilities, Work in progress for UML 2.0 Math Framework and MOF 2.0 Transformation Proposal for OMG (re-check for updates)

J. Smith, M. Kokar and K. Baclawski, Formal Verification of UML Diagrams: A First Step Towards Code Generation, UML 2001, Practical UML-Based Rigorous Development Methods Workshop, Toronto, CA, Oct 2001. Also published with Andy Evans, Robert France, Ana Moreira and Bernhard Rumpe (Eds.), in Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Lecture Notes in Informatics, GI-Edition, Proceedings, Springer, pages 224-240, 2001.

K. Baclawski, M. Kokar, J. Smith, J. Letkowski, Consistency Checking of Ontologies Expressed in UML, International Conference on Formal Ontologies in Information Systems, Oct 2001.

K. Baclawski, M. Kokar, J. Smith, J. Letkowski, Consistency Checking of RM-ODP Specifications,Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (WOODPECKER'2001), Setubal, Portugal, 2001.

J.Smith, Data Flow in UML, Refactoring the UML Workshop at OOPSLA 2000, Minneapolis, MN, Oct. 2000.

J. Smith, M. Kokar, K. Baclawski and S. DeLoach, Category Theoretic Approaches of Representing Precise UML Semantics, Precise UML Workshop at ECOOP 2000, Sophia Antipolis, France, June 2000.

S. DeLoach, J. Smith and T. Hartrum, Translating Graphically-Based Object-Oriented Specifications to Formal Specifications, submitted for publication in IEEE Transactions on Software Engineering.

J.Smith, UML Formalization and Transformation, Ph.D. Thesis, Northeastern University, College of Engineering, Dec.1999. The powerpoint defense of this thesis is also available.

J. Smith, M. Kokar and K. Baclawski, Verification of UML Diagrams, Eighth OOPSLA Workshop on Behavioral Semantics, Denver, CO, 206-220, 1999, poster presented at UML '99.

K. Baclawski, S. DeLoach, M. Kokar and J. Smith, Object-Oriented Transformation, in H. Kilov, B. Rumpe and I. Simmonds (Eds.), Behavioral Specifications of Business and Systems, pp. 1-14, Kluwer Academic Publishers, ISBN 0-7923-8629-9, Klewer Publishing, Oct.1999.

J. Smith, UML Formalization and Transformation, 13th IEEE ASE International Conference, Doctoral Symposium, Aug. 1998.

K. Baclawski, S. DeLoach, M. Kokar and J. Smith, Object-Oriented Parsing and Transformation, OOPSLA '98 Conference on Automated Software Engineering, Aug. 1998.

K. Baclawski, S. DeLoach, M. Kokar and J. Smith, UML Formalization: A Position Paper, Seventh OOPSLA Workshop on Behavioral Semantics of Object Oriented Business and Systems Specifications, Aug. 1998.
 
Some Papers on Other Topics

M. Scoville, S. Berger, R. Reinhart, J. Smith, "The Software Defined Radio and Cognitive Radio Inter-consortia Affiliation", MILCOM 2006.

J. Smith, D. Murotake, T. Martin, "Software Communication Architecture: Evolution and Status Update ", Military Embedded Systems Magazine, Oct 2005.

J. Reed, J. Smith, "An Overview of the Latest Research in Software Radio", IDGA Conference on Software Defined Radios, Feb 2005.

T. Demirbilek, J. Smith, J. Belzile, "Overview of Recent Advances in SDR Standardization", IEEE 2004 Sarnoff Symposium, Princeton, NJ, April 26, 2004.

J. Smith, T. Demirbilek, M.Bicer, "Homogeneous Middleware for Advanced Interoperable Communications", GOMAC 2004, March 2004.

J. Smith and M. Koethe, "UML 2.0 Redux for HPEC", HPEC 2003, Sept. 2003.

M. Bicer, F. Pilhofer, G. Bardouleau, J. Smith, "Next Generation Architecture for Heterogeneous Embedded Systems", ERSA 2003, June 2003, Las Vegas, NV.

J. Smith, J. Kulp, M. Bicer, T. Demirbilek , "SDR – "Do You Care to Buy the Softest?", Mobile Communications and Military Transformation, March 2003, Washington, DC.

M. Bicer and J. Smith, "Software Communication Architecture Compliant Software Defined Radios", HPEC 2002, Sept. 2002.

Kogut, Cranefield, Hart, Dutra, Kokar and Smith, "UML for Ontology Development", http://ubot.lockheedmartin.com/ubot/papers/publication/KER4.doc to appear in Knowledge Engineering Reivew Journal Special Issue on Ontologies in Agent Systems, Backlawski, Kokar, Kogut, Hart, Smith, Holmes, Letkowski and Aronson

J. Smith and M. Micer, "Software Communication Architecture and HPEC", Proceedings of Fifth Annual Workshop High Performance Embedded Computing Workshop, MIT Lincoln Lab, Lexington, MA, Nov 2001, pp 129 and Viewgraphs.

D. Kaeli, M. Bicer, E. Yardimci and J. Smith, "Profile-Guided Optimization Targeting High Performance Embedded Applications", Proceedings of Fifth Annual Workshop High Performance Embedded Computing Workshop, MIT Lincoln Lab, Lexington, MA, Nov 2001, Poster.

J. Smith and D. Kaeli, "Model-Based Parallel Programming with Profile-Guided Application Optimization", Proceedings of Fourth Annual Workshop High Performance Embedded Computing Workshop, MIT Lincoln Lab, Lexington, MA, Sept 2000, pp 85-86 plus Viewgraphs and Poster.

M. Kokar, K. Passino, K. Backlawski, J. Smith, “Mapping an Application to a Control Architecture: Specification of the Problem”, International Workshop on Self-Adaptive Software, Oxford University, April 2000 and Lecture Notes in Computer Science, Vol. 1936, pp. 75-89, 2001.

P. Zemany, A. DeCegama and J. Smith, Fusion for Radar and Acoustic Data, IEEE Controls Conference, Fusion Workshop, U. of Chicago, Aug. 1993.

A. DeCegama and J. Smith, Neural Networks and Genetic Algorithms for Combinatorial Optimization of Sensor Data Fusion, SPIE Proceedings, ISBN 0-8194-0864-6, April 1992.

D. Mook, S. Lang, T. Joo, W. Dove and J. Smith, A KBSP Approach to Fusion and Situation Assessment, IEEE Digital Signal Processing Conference, Chatham, MA, Nov. 1986.

J. Smith, Problems with Ada in Real-time Embedded Systems, Defense Science and Electronics, Oct. 1985.

J. Reiner and J. Smith, Practical AI Implementation Issues in Multi-sensor Fusion, GOMAC '85, Nov. 1985.

J. Smith, A Quicker Quickersort, Microcomputing Magazine, June 1981.

J. Smith, Software Implementation of CORDIC Technique as Applied to Trigonometric Functions, NAECON '81 (published by IEEE), May 1981.

M. Blackmon, D. DeMoss, L. Klos and J. Smith, Microcomputer Software Development System, NAECON '80 (published by IEEE), May 1980.
 
Other Miscellaneous Internal Papers

"A Suite of Cases For More Intelligent Mission Processing", "A Pave Pillar Compatible, Dynamically Reconfigurable Ada Executive", "Algorithm Manager: Dynamic System Configuration", "Batch and Incremental Learning of One Function in the One Neuron Case", "Reasoning Under Uncertainty Supporting Experimentation, Evaluation and Control", etc. - any of these are available upon request.
 
Return to Top
Return to Biography Main