Target
Lead Engineer
Smart Social Media, Inc. Nov 2014 - Jul 2016
Lead Software Developer
Microsoft May 2014 - Sep 2014
Senior Development Lead
Microsoft 2011 - May 2014
Senior Test Lead
Honeywell Mar 2001 - Jul 2011
Senior Researcher
Education:
University of Minnesota 1996 - 1999
Doctorates, Doctor of Philosophy, Computer Science, Philosophy
University of Edinburgh School of Philosophy, Psychology and Language Sciences 1995 - 1996
Master of Science, Masters, Computer Science
Skills:
Software Development Software Engineering C# Javascript Test Automation Agile Methodologies Web Development Xml Software Design Software Project Management .Net Java Visual Studio Testing Test Management Scrum
Us Patents
Social Network Construction Based On Data Association
Yunqian Ma - Plymouth MN, US Kirk Schloegel - Golden Valley MN, US Roland Miezianko - Plymouth MN, US Petr Cisar - Suchdol nad Luznici, CZ
Assignee:
Honeywell International Inc. - Morristown NJ
International Classification:
G06K 9/00
US Classification:
382103, 348169
Abstract:
A system for social network construction. Video analytics and association may be used to develop a social network. Also, social groups may be developed from temporal proximity of persons. In the case of several social networks, they may be collapsed into one network or a weighted graph that mining algorithms can handle.
Method, Apparatus, And System For Automatic Test Generation From Statecharts
David Oglesby - Brooklyn Center MN, US Kirk Schloegel - Golden Valley MN, US Devesh Bhatt - Maple Grove MN, US Stephen O. Hickman - Eagan MN, US
Assignee:
Honeywell International Inc. - Morristown NJ
International Classification:
G06F 9/44
US Classification:
717124
Abstract:
An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.
System For Information Discovery In Video-Based Data
Valerie Guralnik - Mound MN, US Kirk Schloegel - Minneapolis MN, US Petr Cisar - Ceske Velenice, CZ
Assignee:
Honeywell International Inc. - Morristown NJ
International Classification:
G06F 7/00 G06F 17/30
US Classification:
707737, 707749, 348563
Abstract:
A system for information discovery of items, such as individuals or objects, from video-based tracks. The system may compute similarities of characteristics of the items and present the results in a matrix form. A similarity portrayal may have nodes representing the items with edges between the nodes. The edges may have weights in the form of vectors indicating similarities of the characteristics between the nodes situated at the ends of the edges. The edges may be augmented with temporal and spatial properties from the tracks which cover the items. These properties may play a part in a multi-objective presentation of information about the items in terms of a negative or supportive basis. The presentation may be partitioned into clusters which may lead to a merger of items or tracks. The system may pave a way for higher-level information discovery such as video-based social networks.
Method For Software Vulnerability Flow Analysis, Generation Of Vulnerability-Covering Code, And Multi-Generation Of Functionally-Equivalent Code
Kirk A. Schloegel - Minneapolis MN, US Devesh Bhatt - Maple Grove MN, US
Assignee:
Honeywell International Inc. - Morristown NJ
International Classification:
G06F 11/00
US Classification:
726 25, 717104, 717106
Abstract:
A method for detecting, analyzing, and mitigating vulnerabilities in software is provided. The method includes determining whether one or more vulnerabilities are present in one or more target software components, determining whether any detected vulnerabilities are fixable, and fixing the detected vulnerabilities that are fixable in code or in associated models used to generate code. A vulnerability-covering code is generated when one or more of the detected vulnerabilities are not fixable. A determination is then made whether there are any remaining vulnerabilities in the vulnerability-covering code. A vulnerability-aware diverse code is generated when there are one or more remaining vulnerabilities to obfuscate the remaining vulnerabilities.
Method And Apparatus For Test Generation From Hybrid Diagrams With Combined Data Flow And Statechart Notation
A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.
Framework For Domain-Independent Archetype Modeling
David Oglesby - Maple Grove MN, US Kirk Schloegel - Independence MN, US Devesh Bhatt - Maple Grove MN, US Eric Engstrom - Shoreview MN, US
Assignee:
Honeywell International Inc.
International Classification:
G06T015/70
US Classification:
345/473000
Abstract:
A framework provides for the creation, use, and management of archetypes as a basic building block for graphical model-based development environments. Archetypes are user-definable, domain-independent modeling entities that can contain one or more domain-specific models as well as archetype-specific operations, such as code generation. Archetypes may contain portals that are the explicit application programming interfaces of archetypes. Users define archetype definitions (including visual representations, portals, implementations, and operations) and they or others can then instantiate instances of defined archetypes into different modeling notations. The semantic interpretation of the archetype instances via archetype- and implementation-specific operations provide support for high-level operations such as code generation, model transformations, and model analyses.
Kirk Schloegel - Independence MN, US David Oglesby - Maple Grove MN, US Eric Engstrom - Shoreview MN, US Devesh Bhatt - Maple Grove MN, US
Assignee:
Honeywell International Inc.
International Classification:
G06F009/44
US Classification:
717/113000, 717/109000, 717/121000, 717/123000
Abstract:
A framework is provided for generating code for the model-based development of a system. According to the framework, the model-based system is modeled using graphical modeling entities. A modular code generator routine is attached directly to at least one of the graphical modeling entities or to a meta-entity or to a collection of entities. The graphical modeling entities are traversed in order to access specified code generator routines. Each of the accessed code generator routines is executed so as to build up code portion by portion for the system.
Method And System For Metamodeling Using Dynamic Ontology Objects
David V. Oglesby - Brooklyn Center MN, US Jon P. Schewe - Maple Grove MN, US Eric Engstrom - Shoreview MN, US Kirk A. Schloegel - Independence MN, US Hazel S. Shackleton - Minneapolis MN, US
Assignee:
HONEYWELL INTERNATIONAL INC. - Morristown NJ
International Classification:
G06F 17/30
US Classification:
707103 R, 707E17001
Abstract:
A system and method for providing ontology objects for use in a metamodeling environment is disclosed herein. The method comprises (a) providing a framework for creating a metamodel, wherein the metamodel comprises one or more entities, relationships, and semantics and the framework accepts input from a user to create the entities, relationships, and semantics, (b) generating ontology objects, wherein the ontology objects comprise source code for one or more classes, and wherein each class corresponds to one of the entities; and (c) compiling the source code. Further, the method may comprise detecting that a change has been made to the metamodel, updating the ontology objects to reflect the change to the metamodel, wherein updating the ontology objects comprises generating new source code for one or more classes; and compiling the new source code.