Arvind Easwaran

发表

Schedulability Analysis of Hierarchical Real-Time Systems

Insup Lee, Insik Shin, Oleg Sokolsky, 2007 .

Optimal Control of Software Ensuring Safety and Functionality

Insup Lee, Sampath Kannan, Arvind Easwaran, 2005 .

A Compositional Framework for Avionics (ARINC-653) Systems

Insup Lee, Steve Vestal, Oleg Sokolsky, 2009 .

Interface Algebra for Analysis of Hierarchical Real-Time Systems

Insup Lee, Oleg Sokolsky, Arvind Easwaran, 2008 .

Maximizing Contention-Free Executions in

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2011 .

A 12*(1+|R|/(4m))-speed algorithm for scheduling constrained-deadline sporadic real-time tasks on a multiprocessor comprising m processors where a task may request one of |R| sequentially-reusable shared resources

Björn Andersson, Arvind Easwaran, 2010 .

Model-Driven Test Generation of Distributed Systems

Brendan Hall, Arvind Easwaran, Kevin Schweiker, 2012 .

LLF Schedulability Analysis on

Jinkyu Lee, Insik Shin, Arvind Easwaran, 2010 .

Porting a safety-critical industrial application on a mixed-criticality enabled real-time operating system

Sylvain Girbal, Joël Goossens, Olivier Desenfans, 2017 .

Advances in hierarchical real-time systems: incrementality, optimality, and multiprocessor clustering

Insup Lee, Oleg Sokolsky, Arvind Easwaran, 2008 .

Resource Sharing in Global Fixed-Priority

Björn Andersson, Arvind Easwaran, Björn Andersson, 2009 .

Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierachical Systems

Insup Lee, Madhukar Anand, Arvind Easwaran, 2009 .