Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
Home
ISIS Publications
List
Filter
Export 37 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
First Letter Of Title
is
O
[Clear All Filters]
2019
Mukhopadhyay, A.
,
G. Pettet
,
C. Samal
,
A. Dubey
, and
Y. Vorobeychik
,
"
An Online Decision-Theoretic Pipeline for Responder Dispatch
",
International Conference on Cyber-Physical Systems
, 04/2019.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
ICCPS_CameraReady_2019_arxiv.pdf
(3.2 MB)
2017
Ghafouri, A.
,
A. Laszka
,
A. Dubey
, and
X. Koutsoukos
,
"
Optimal Detection of Faulty Traffic Sensors Used in Route Planning
",
2nd Workshop on Science of Smart City Operations and Platforms Engineering
, Pittsburgh, PA, ACM, 04/2017.
Tagged
XML
BibTex
Google Scholar
Download:
scope17.pdf
(1.8 MB)
2016
,
"
Optimal thresholds for anomaly-based intrusion detection in dynamical environments
",
7th Conference on Decision and Game Theory for Security (GameSec 2016)
, 11/2016.
Tagged
XML
BibTex
Google Scholar
Download:
paper.pdf
(442.01 KB)
2015
Bapty, T.
,
S. Neema
, and
J. Scott
,
Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending)
,
, no. ISIS-15-103, 2015.
Tagged
XML
BibTex
Google Scholar
2014
Sztipanovits, J.
,
T. Bapty
,
S. Neema
,
L. Howard
, and
E. Jackson
,
"
OpenMETA: A Model and Component-Based Design Tool Chain for Cyber-Physical Systems
",
From Programs to Systems – The Systems Perspective in Computing (FPS 2014)
, Grenoble, France, Springer, April 6, 2014.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
OpenMETA - Sztipanovits.pdf
(807.74 KB)
Maroti, M.
,
R. Kereskenyi
,
T. Kecskes
,
P. Volgyesi
, and
A. Ledeczi
,
"
Online Collaborative Environment for Designing Complex Computational Systems
",
The International Conference on Computational Science (ICCS 2014)
, Cairns, Australia, Elsevier Procedia, 06/2014.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
WebGME-ICCS14.pdf
(931.4 KB)
2013
Babjak, B.
,
S. Szilvasi
, and
P. Volgyesi
,
"
On accurate, low-complexity quasi doppler based localization
",
The Third International Conference on Digital Information and Communication Technology and its Applications (DICTAP2013)
, Ostrava, Czech Republic, 2013.
Tagged
XML
BibTex
Google Scholar
Download:
Paper137_CameraReady.pdf
(375.89 KB)
2011
Qiu, F.
,
J. Bai
,
Y. Cui
, and
Y. Xue
,
"
Optimal Rate Allocation in Peer-to-Peer Streaming over Wireless Networks
",
International Conference on Collaboration Technologies and Systems (CTS)
, 2011.
Tagged
XML
BibTex
Google Scholar
2010
Porter, J.
,
G. Hemingway
,
N. Kottenstette
,
G. Karsai
, and
J. Sztipanovits
,
"
Online Stability Validation Using Sector Analysis
",
International Conf. on Embedded Software (EMSoft)
, Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
Abstract
Tagged
XML
BibTex
Google Scholar
2009
Amundson, I.
,
M. Kushwaha
, and
X. Koutsoukos
,
"
On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks
",
2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT)
, Orlando, FL, USA, 09/2009.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
melt09_amundson.pdf
(292.12 KB)
Hossain, T.
,
Y. Cui
, and
Y. Xue
,
"
On the Optimality of Layered Video Streaming Rate in a P2P Mesh Network
",
IEEE 18th International Conference on Computer Communications and Networks (ICCCN)
, San Francisco, CA, 08/2009.
Tagged
XML
BibTex
Google Scholar
Jiang, S.
, and
Y. Xue
,
"
Optimal Wireless Network Restoration Under Jamming Attack
",
18th International Conference on Computer Communications and Networks (ICCCN)
, San Francisco, CA, 08/2009.
Tagged
XML
BibTex
Google Scholar
Tantawy, A.
,
X. Kousoukos
, and
G. Biswas
,
"
Optimal performance for detection systems in wireless passive sensor networks.
",
17th Mediterranean Conference on Control and Automation, MED’09
, Thessaloniki, Greece, 06/2009.
Tagged
XML
BibTex
Google Scholar
Cui, Y.
,
Y. Cao
,
L. Dai
, and
Y. Xue
,
"
Optimizing P2P Streaming Throughput under Peer Churning
",
Multimedia Systems
, vol. 15, no. 2, 04/2009.
Tagged
XML
BibTex
Google Scholar
Dai, L.
,
Y. Cao
,
Y. Cui
, and
Y. Xue
,
"
On Scalability of Proximity-Aware P2P Streaming
",
Computer Communications, Elsevier
, vol. 32, no. 1, 01/2009.
Tagged
XML
BibTex
Google Scholar
2008
Wellons, J.
, and
Y. Xue
,
"
Oblivious Routing for Wireless Mesh Networks
",
IEEE International Conference on Communications (ICC)
, Beijing, China, May, 2008.
Tagged
XML
BibTex
Google Scholar
Imsand, E.
,
L. Howard
,
K. Pence
, and
D. Dasgupta
,
"
Online Information Security Education through Anchored Instruction
",
Proceedings of the 12th Annual Colloquium for Information Systems Security Education
, Dallas, TX, USA, June, 2008.
Tagged
XML
BibTex
Google Scholar
2007
Dai, L.
,
Y. Cui
, and
Y. Xue
,
On Scalability of Proximity-Aware Peer-to-Peer Streaming
,
: Institute for Software Integrated Systems, January, 2007.
Tagged
XML
BibTex
Google Scholar
Download:
Dai_L_1_0_2007_On_Scalabi.pdf
(375.82 KB)
Kushwaha, M.
,
I. Amundson
,
X. Koutsoukos
,
S. Neema
, and
J. Sztipanovits
,
"
OASiS: A Programming Framework for Service-Oriented Sensor Networks
",
International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006)
, Bangalore, India, 2007.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
comsware07.pdf
(982.55 KB)
Koutsoukos, X.
,
M. Kushwaha
,
I. Amundson
,
S. Neema
, and
J. Sztipanovits
,
"
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks
",
Monterey Workshop 2006, LNCS 4888, Springer-Verlag
, Paris, France, 2007.
Tagged
XML
BibTex
Google Scholar
Download:
LNCS2007.pdf
(1.54 MB)
Karsai, G.
, and
A. Narayanan
,
"
On the Correctness of Model Transformations in the Development of Embedded Systems
",
Lecture Notes in Computer Science
, vol. 4888: Springer, 2007.
Tagged
XML
BibTex
Google Scholar
2006
Sallai, J.
,
B. Kusy
,
A. Ledeczi
, and
P. Dutta
,
"
On the Scalability of Routing Integrated Time Synchronization
",
3rd European Workshop on Wireless Sensor Networks (EWSN 2006)
, Zurich, Switzerland, February, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Sallai_J_2_13_2006_On_the_Sca.pdf
(212.99 KB)
Suri, D.
,
A. Howell
,
N. Shankaran
,
J. S. Kinnebrew
,
W. R. Otte
,
D. C. Schmidt
, and
G. Biswas
,
"
Onboard Processing using the Adaptive Network Architecture
",
The Sixth Annual NASA Earth Science Technology Conference
, College Park, Maryland, 06/2006.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
Suri et al - 2006 - NASA ESTC -- Onboard Processing using the Adaptive Network Architecture.pdf
(302.24 KB)
Amundson, I.
,
M. Kushwaha
,
X. Koutsoukos
,
S. Neema
, and
J. Sztipanovits
,
OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks
,
: Institute for Software Integrated Systems, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Amundson_I_0_0_2006_OASiS__A_S.pdf
(1.44 MB)
2005
Abdelwahed, S.
,
J. Sallai
, and
S. Neema
,
"
On the feasibility of lookahead control for systems with finite control set
",
IEEE Conference on Control Application
, Toronto, Canada, August, 2005.
Tagged
XML
BibTex
Google Scholar
Abdelwahed, S.
,
J. Wu
,
G. Biswas
,
J. W. Ramirez
, and
E. J. Manders
,
"
Online Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems
",
Habitation - Intl. Journal for Human Support Research
, vol. 10, pp. 105--115, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_0_0_2005_Online_Fau.pdf
(311.45 KB)
2004
Abdelwahed, S.
,
N. Kandasamy
, and
S. Neema
,
"
Online control for resource management in computing systems
",
The 10th IEEE Real-Time and Embedded Technology and Applications Symposium
, Toronto, Canada, May, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_5_0_2004_Online_con.pdf
(245.72 KB)
Abdelwahed, S.
,
J. Wu
,
G. Biswas
,
J. W. Ramirez
, and
E. J. Manders
,
"
Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems
",
34th International Conference on Environmental Systems
, Colorado Springs, CO, July, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_7_0_2004_Online_Hie.pdf
(242.83 KB)
Abdelwahed, S.
,
J. Wu
, and
G. Biswas
,
"
Online Hybrid Control for Optimal Resource Management in Advanced Life Support Systems.
",
Habitation, Conference on Space Habitation Research and Technology Development
, Orlando, FL, January, 2004.
Tagged
XML
BibTex
Google Scholar
Biswas, G.
,
E. J. Manders
,
J. W. Ramirez
,
N. Mahadevan
, and
S. Abdelwahed
,
"
Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System
",
Habitation - Intl. Journal for human support Research
, vol. 10, pp. 21--38, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Biswas__G_0_0_2004_Online_Mod.pdf
(352.93 KB)
2003
Abdelwahed, S.
,
S. Neema
,
J. Loyall
, and
R. Shapiro
,
"
Online Hybrid Control Design for QoS Management
",
IEEE Int. Conference on Systems, Man & Cybernetics
, Washington, DC., October, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_10_0_2003_Online_Hyb.pdf
(172.18 KB)
Karsai, G.
,
A. Agrawal
,
F. Shi
, and
J. Sprinkle
,
"
On the use of Graph Transformations in the Formal Specification of Computer-Based Systems
",
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
, Huntsville, Alabama, pp. 19--27, April, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_4_9_2003_On_the_use.pdf
(224.67 KB)
Karsai, G.
,
A. Agrawal
,
F. Shi
, and
J. Sprinkle
,
"
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
",
Journal of Universal Computer Science
, vol. 9, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_2003_On_the_Use.pdf
(253.4 KB)
2002
Abdelwahed, S.
,
G. Karsai
, and
G. Biswas
,
"
Online Safety Control of a Class of Hybrid Systems
",
IEEE 2002 Conference on Decision and Control
, Las Vegas, USA, pp. 1988--1990, December, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_12_0_2002_Online_Saf.pdf
(96.96 KB)
2001
Ledeczi, A.
,
G. Nordstrom
,
G. Karsai
,
P. Volgyesi
, and
M. Maroti
,
"
On Metamodel Composition
",
IEEE CCA 2001
, Mexico City, Mexico, September, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Ledeczi_A_9_5_2001_On_Metamod.pdf
(108.86 KB)
Ledeczi, A.
,
J. Davis
,
S. Neema
,
B. Eames
,
G. Nordstrom
,
V. Prasanna
,
C. Raghavendra
,
A. Bakshi
,
S. Mohanty
,
V. Mathur
, et al.,
"
Overview of the Model-based Integrated Simulation Framework
",
ISIS-01-201
: Institute for Software Integrated Systems, January, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Ledeczi_A_1_30_2001_Overview_o.pdf
(84.4 KB)
1995
Padalkar, S.
,
G. Karsai
,
J. Sztipanovits
, and
F. DeCaria
,
"
Online Diagnostics Makes Manufacturing More Robust
",
Chemical Engineering Magazine
, pp. 80--83, March, 1995.
Tagged
XML
BibTex
Google Scholar