Patents by Inventor Nicolas Kicillof

Nicolas Kicillof has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Simulation of interactions between network endpoints
    Patent number: 9432278
    Abstract: Descriptions of communication interactions can be used to create a simulation of actual systems that send and receive communications including but not limited to messages complying with a protocol, events and so on. The communication interaction, event, state and state transitions of protocol or software components can be modeled to determine outcome and to validate the format and semantics of events, interaction values, etc. to identify variances against established policies or architectural guidelines.
    Type: Grant
    Filed: March 7, 2013
    Date of Patent: August 30, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Christopher G. Kaler, Ning Sun, Yiming Cao, Meng Jin, Nicolas Kicillof, Sergio F. Mera, Andrey Arkharov
  • Communication Analyzer
    Publication number: 20140258779
    Abstract: Descriptions of communication interactions can be used to create a simulation of actual systems that send and receive communications including but not limited to messages complying with a protocol, events and so on. The communication interaction, event, state and state transitions of protocol or software components can be modeled to determine outcome and to validate the format and semantics of events, interaction values, etc. to identify variances against established policies or architectural guidelines.
    Type: Application
    Filed: March 7, 2013
    Publication date: September 11, 2014
    Applicant: Microsoft Corporation
    Inventors: Christopher G. Kaler, Ning Sun, Yiming Cao, Meng Jin, Nicolas Kicillof, Sergio F. Mera, Andrey Arkharov
  • Symbolic program model compositions
    Patent number: 7926025
    Abstract: A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.
    Type: Grant
    Filed: December 30, 2005
    Date of Patent: April 12, 2011
    Assignee: Microsoft Corporation
    Inventors: Colin L. Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte
  • Symbolic program model compositions
    Publication number: 20070168927
    Abstract: A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.
    Type: Application
    Filed: December 30, 2005
    Publication date: July 19, 2007
    Applicant: Microsoft Corporation
    Inventors: Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte