Presentation

#!/usr/local/bin/php Presentation

HASTEN Home | CIS Home | Penn Engineering | Penn

Presentation

2004

"Synthesis of Interface Specifications for Java Classes" by Prof. Rajeev Alur, University of Pennsylvania
"A Temporal Logic of Nested Calls and Returns" by Dr. Parthasarathy Madhusudan, University of Pennsylvania
"Run-Time Verification with Regular Expressions" by Dr. Oleg Sokolsky , University of Pennsylvania
"Compositional Real-Time Scheduling Framework" by Prof. Insup Lee, University of Pennsylvania
"Power-Aware Routing" by Prof. Carl Gunter, University of Pennsylvania
"Composing Security Policies on Java Cards" by Michael McDougall, University of Pennsylvania
"Symbolic Simulation of Tunneling Protocols" by Alwyn Goodloe , University of Pennsylvania
"Code Generation from CHARON" by Dr. Jesung Kim, University of Pennsylvania

2003

"Advanced Tool Integration for Embedded Systems Assurance (HASTEN)" by Prof. Insup Lee, University of Pennsylvania
"Mining for Patterns and Anomalies in Data Streams" by Prof. Sampath Kannan, University of Pennsylvania
"End-to-End Design and Analysis of Embedded Real-Time Systems" by Prof. Kang G. Shin, University of Michigan
"Examing the CARA Specification" by Prof. Elsa Gunter, NJIT
"Temporal Logic Based Approach to Test Coverage and Generation" by Prof. Insup Lee, University of Pennsylvania

2001

"HASTEN Overview: Advanced Tool Integration for Embedded Systems Assurance" by Prof. Insup Lee, University of Pennsylvania
"Tools for Formal Modeling And Verification: MOCHA, HeRMes, CHARON" by Prof. Rajeev Alur, University of Pennsylvania
"Resource-bound family of real-time process algebras" by Dr. Oleg Sokolsky, University of Pennsylvania
"Program Checking" by Prof. Sampath Kannan, University of Pennsylvania
"Run-time Monitoring and Checking Based on Formal Specifications" by Prof. Insup Lee, University of Pennsylvania
"Verism: Formal Analysis of Network Simulations" by Prof. Carl Gunter, University of Pennsylvania
"End-to-end Design of Embedded Real-Time Systems" by Prof. Kang G. Shin, University of Michigan

HASTEN Home | CIS Home | Penn Engineering | Penn