Conference paper

file

Model-Based Event-Triggered Control with Time-Varying Network Delays

Submitted by phorvath on Thu, 02/23/2012 - 12:02am

Authors: Eloy Garcia and Panos J. Antsaklis

50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC) Orlando, FL, USA, December 12-15, 2011

Abstract

file

Tools for Information Security Assurance Arguments

Submitted by TimTh on Wed, 02/15/2012 - 5:10pm. Contributors:

file

Survivable Network Analysis Method

Submitted by Tom Longstaff on Wed, 02/15/2012 - 4:51pm. Contributors:

file

A Solver for Non-linear Boolean Functions

Submitted by TimTh on Wed, 02/15/2012 - 4:40pm. Contributor:

John Franco

file

A Proof of the Church-Rosser Theorem for the Lambda Calculus in Higher Order Logic

Submitted by TimTh on Wed, 02/15/2012 - 4:31pm. Contributor:

Peter Vincent Homeier

file

Model Checking Programs

Submitted by TimTh on Tue, 02/14/2012 - 1:09pm. Contributors:

file

Reverse Engineering for the Detection of Undesirable Functionality in Commercial Software

Submitted by TimTh on Mon, 02/13/2012 - 5:50pm. Contributor:

John Martin

file

Network Vulnerability Analysis, A Formal Approach

Submitted by TimTh on Mon, 02/13/2012 - 5:38pm. Contributors:

file

A Formal Specification of Java - Class Loading

Submitted by TimTh on Mon, 02/13/2012 - 5:29pm. Contributors:

file

Toward a Provably-Correct Implementation of the JVM Bytecode Verifier

Submitted by TimTh on Mon, 02/13/2012 - 5:25pm. Contributors:

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Conference paper

Model-Based Event-Triggered Control with Time-Varying Network Delays

Tools for Information Security Assurance Arguments

Survivable Network Analysis Method

A Solver for Non-linear Boolean Functions

A Proof of the Church-Rosser Theorem for the Lambda Calculus in Higher Order Logic

Model Checking Programs

Reverse Engineering for the Detection of Undesirable Functionality in Commercial Software

Network Vulnerability Analysis, A Formal Approach

A Formal Specification of Java - Class Loading

Toward a Provably-Correct Implementation of the JVM Bytecode Verifier