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
Printers
akarns
Home
ISIS Publications
List
Filter
Export 517 results:
Tagged
XML
BibTex
Sort by:
Author
Title
[
Type
]
Year
Filters:
First Letter Of Last Name
is
S
[Clear All Filters]
Unpublished
Samal, C.
,
A. Dubey
, and
L. J. Ratliff
,
Mobilytics-Gym: A Simulation Framework forAnalyzing Urban Mobility Decision Strategies
,
, 2019.
Abstract
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
J. Davis
,
M. Eby
, and
J. Scott
,
"
Model Based Development in the FACE Ecosystem
",
FACE Consortium Keynote Address
, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
Tagged
XML
BibTex
Google Scholar
Thesis
Szilvasi, S.
,
"
Advanced RF Techniques for Wireless Sensor Networks: The Software-Defined Radio Approach
",
Electrical Engineering
, vol. Ph.D., Nashville, Vanderbilt University, pp. 149, 05/2014.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
SSzilvasi-Dissertation.pdf
(6.74 MB)
Scott, J.
,
"
Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods
",
PhD Dissertation
: Vanderbilt University, May, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_JM_5_21_2004_Efficient_.pdf
(2.37 MB)
Sprinkle, J.
,
"
Metamodel Driven Model Migration
",
PhD Dissertation
: Vanderbilt University, August, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Sprinkle_JM_8_0_2003_Metamodel_.pdf
(920.84 KB)
Scott, J.
,
"
Method for Modeling and Verification of Real-Time Systems
",
Master's Thesis
: Vanderbilt University, 1996.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_J_0_0_1996_Method_for.pdf
(293.57 KB)
Sprinkle, J.
,
"
Model Integrated Program Synthesis of Agent Interaction Protocols
",
Master's Thesis
: Vanderbilt University, August, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Sprinkle_JM_8_0_2000_Model_Inte.pdf
(1.53 MB)
Shetty, S.
,
"
Towards Developing Tools and Technologies for Large Scale Real time Embedded systems
",
Master's Thesis
: Vanderbilt University, April, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Shetty_SS_4_1_2004_Towards_De.PDF
(2.8 MB)
Report
Chhokra, K.
,
T. Bapty
,
J. Scott
, and
M. Wilkes
,
Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms
,
: Institute for Software Integrated Systems, November, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Chhokra_K_11_4_2003_Accuracy_E.pdf
(256.81 KB)
Sallai, J.
,
G. Balogh
,
M. Maroti
, and
A. Ledeczi
,
Acoustic Ranging in Resource Constrained Sensor Networks
,
: Institute for Software Integrated Systems, February, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Sallai_J_2_25_2004_Acoustic_R.pdf
(376.5 KB)
Sprinkle, J.
,
C. van Buskirk
, and
G. Karsai
,
"
Analysis and Representation of Clauses in Satisfiability of Constraints
",
ISIS-01-205
: Institute for Software Integrated Systems, August, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Sprinkle_JM_8_6_2001_Analysis_a.pdf
(171.11 KB)
Kusy, B.
, and
J. Sallai
,
Analytical solution for radio-interferometric localization of mobile sensors
,
, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, December, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Kusy_B_12_1_2006_Analytical.pdf
(196.56 KB)
Schwartz, D. L.
,
K. P. Blair
,
G. Biswas
,
K. Leelawong
, and
J. Davis
,
"
Animations of thought: Interactivity in the teachable agent paradigm
",
Learning with Animation: Research and Implications for Design
, UK, Cambrige University Press, pp. 114-140, 2007.
Tagged
XML
BibTex
Google Scholar
Lindecker, D.
, and
J. Sztipanovits
,
"
Applying Decentralized Information Flow Labels to Component-Based Software Systems Deployment
",
Technical Report
, no. ISIS-15-118, Nashville, ISIS Vanderbilt University, 09/2014, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
System-Level-Codesign.pdf
(252.89 KB)
Neema, S.
, and
I. Sturmer
,
Automated Test Case Generation for Code Generators based on Graph-Transformation Rules
,
: Institute for Software Integrated Systems, March, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Neema_S_3_1_2006_Automated_.pdf
(344.23 KB)
Bapty, T.
,
S. Neema
,
J. Scott
, and
S. Eisele
,
Case Studies and Use Cases in the META Toolchain (status: review pending)
,
, no. ISIS-15-113, 2015.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
S. Neema
,
J. Scott
, and
S. Eisele
,
Case Studies and Use Cases in the META Toolchain (status: review pending)
,
, no. ISIS-15-113, 2015.
Tagged
XML
BibTex
Google Scholar
Zhang, Z.
,
E. Eyisi
,
X. Koutsoukos
,
J. Porter
,
G. Karsai
, and
J. Sztipanovits
,
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems
,
, pp. 39, 08/2013.
Tagged
XML
BibTex
Google Scholar
Download:
TR-13-104.pdf
(3.02 MB)
Chen, K.
,
J. Sztipanovits
, and
S. Neema
,
Compositional Specification of Behavioral Semantics
,
: Institute for Software Integrated Systems, June, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Chen_K_6_1_2006_Compositio.doc
(629.5 KB)
van Buskirk, C.
,
B. Dawant
,
G. Karsai
,
J. Sprinkle
,
G. Szokoli
,
K. Suwanmongkol
, and
R. Currer
,
"
Computer-aided Aircraft Maintenance Scheduling
",
ISIS-02-303
: Institute for Software Integrated Systems, November, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
van_Buskir_CP_11_0_2002_Computer_a.pdf
(313.15 KB)
LeBlanc, H. J.
,
H. Zhang
,
S. Sundaram
, and
X. Koutsoukos
,
Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information
,
: Institute for Software-Integrated Systems, 06/2012.
Tagged
XML
BibTex
Google Scholar
Download:
HiCoNSISISTech.pdf
(1005.39 KB)
Neema, S.
,
J. Scott
, and
T. Bapty
,
CyPhyML Language in the META Toolchain
,
, no. ISIS-15-104, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
CyPhyML Language in the META Toolchain.pdf
(2.65 MB)
Neema, S.
,
J. Sztipanovits
, and
G. Karsai
,
"
Design-Space Construction and Exploration in Platform-Based Design
",
ISIS-02-301
: Institute for Software Integrated Systems, June, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Neema_S_6_24_2002_Design_Spa.pdf
(379.45 KB)
Biswas, G.
,
K. Leelawong
,
K. Belynne
,
K. Viswanath
,
D. Schwartz
, and
J. Davis
,
"
Developing learning by teaching environments that support self-regulated learning
",
Intelligent Tutoring Systems: Vol. 3220. Lecture Notes in Computer Science
, Maceió, Brazil, Springer, pp. 730-740, 2004.
Tagged
XML
BibTex
Google Scholar
Misra, A.
,
J. Sztipanovits
,
A. Underbrink
, and
R. Carnes
,
Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling
,
, Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, Institute for Software Integrated Systems, January, 1992.
Tagged
XML
BibTex
Google Scholar
Kottenstette, N.
,
J. Hall
,
X. Koutsoukos
,
P. J. Antsaklis
, and
J. Sztipanovits
,
"
Digital Control of Multiple Discrete Passive Plants Over Networks
",
Technical Report
, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-16, 03/2009.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
tr_power_junction_revised_8_2009.pdf
(1.12 MB)
Deng, G.
,
D. C. Schmidt
, and
J. Balasubramanian
,
Ensuring Deployment Predictability of Distributed Real-time and Embedded Systems
,
: Institute for Software Integrated Systems, November, 2007.
Tagged
XML
BibTex
Google Scholar
Download:
Deng_G_11_25_2007_Ensuring_D.pdf
(962 KB)
Porter, J.
,
G. Hemingway
,
H. Nine
,
C. vanBuskirk
,
N. Kottenstette
,
G. Karsai
, and
J. Sztipanovits
,
The ESMoL Language and Tools for High-Confidence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis
,
, Nashville, TN, Vanderbilt University, 09/2010.
Tagged
XML
BibTex
Google Scholar
Download:
ESMoL_TR.pdf
(3.99 MB)
Balasubramanian, D.
,
C. vanBuskirk
,
G. Karsai
,
A. Narayanan
,
S. Neema
,
B. Ness
, and
F. Shi
,
Evolving Paradigms and Models in Multi-Paradigm Modeling
,
, no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.
Tagged
XML
BibTex
Google Scholar
Download:
ISIS-08-912.pdf
(651.03 KB)
Maroti, M.
,
B. Kusy
,
G. Simon
, and
A. Ledeczi
,
The Flooding Time Synchronization Protocol
,
: Institute for Software Integrated Systems, February, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Maroti_M_2_12_2004_The_Floodi.pdf
(353.24 KB)
Schmidt, D. C.
,
"
Google Data Collection
",
ISIS Technical Reports
, no. ISIS-20-201: Vanderbilt University, 01/2020.
Tagged
XML
BibTex
Google Scholar
Download:
google-data-collection.pdf
(4.37 MB)
Agrawal, A.
,
G. Karsai
, and
F. Shi
,
Graph Transformations on Domain-Specific Models
,
: Institute for Software Integrated Systems, November, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_11_0_2003_Graph_Tran.pdf
(926.08 KB)
Scott, J.
,
S. Neema
,
T. Bapty
, and
B. Abbott
,
"
Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems
",
ISIS-2000-06
: Institute for Software Integrated Systems, May, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_J_5_0_2000_Hardware_S.PDF
(198.18 KB)
Eames, B.
,
S. Neema
,
J. Scott
, and
T. Bapty
,
"
High-Level Functional Simulation for Model-Based Embedded System Synthesis
",
ISIS-01-202
: Institute for Software Integrated Systems, February, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Eames_BK_2_0_2001_High_Level.PDF
(724.47 KB)
Sallai, J.
, and
A. Ledeczi
,
"
Hough-transform based acoustic multi-shooter localization and data association
",
ISIS Technical Report
, no. ISIS-14-105, 12/2014.
Tagged
XML
BibTex
Google Scholar
Download:
MultiShooter-Tech Report-Final.pdf
(387.07 KB)
Shekhar, S.
,
A. Chhokra
,
A. Bhattacharjee
,
G. Aupy
, and
A. Gokhale
,
"
INDICES: Exploiting Edge Resources for Performance-aware Cloud-hosted Services
",
Technical Report
, Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017.
Tagged
XML
BibTex
Google Scholar
Download:
indices.pdf
(649.09 KB)
Lattmann, Z.
,
J. Klingler
,
P. Meijer
,
T. Bapty
,
S. Neema
, and
J. Scott
,
Integration Platform Technology Components in the META Toolchain
,
, no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.
Tagged
XML
BibTex
Google Scholar
Download:
Integration Platform Technology Components in the META Toolchain.pdf
(2.3 MB)
Schwartz, D. L.
,
C. Chase
,
D. Chin
,
M. Oppezzo
,
H. Kwong
,
S. Okita
,
G. Biswas
,
R. D. Roscoe
,
H. Jeong
, and
J. D. Wagster
,
"
Interactive Metacognition: Monitoring and Regulating a Teachable Agent
",
Handbook of Metacognition in Education
, pp. 340-358, 2009.
Tagged
XML
BibTex
Google Scholar
Agrawal, A.
,
G. Karsai
, and
F. Shi
,
Interpreter Writing using Graph Transformations
,
: Institute for Software Integrated Systems, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_0_0_2003_Interprete.pdf
(1.42 MB)
Kinnebrew, J. S.
,
G. Biswas
,
B. Sulcer
, and
R. Taylor
,
"
Investigating Self-Regulated Learning in Teachable Agent Environments
",
International Handbook of Metacognition and Learning Technologies
, Berlin, Germany: Springer, 2011.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
ISIS Overview 2005
,
, ISIS - Vanderbilt, Institute for Software Integrated Systems, January, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_1_13_2006_ISIS_Overv.ppt
(3.56 MB)
Brophy, S.
,
D. Schwartz
,
G. Biswas
, and
J. Bransford
,
"
Learning through programmable agents
",
Paper presented at Workshop on Pedagogical Agents
, San Antonio, TX, ITS, 1998.
Tagged
XML
BibTex
Google Scholar
Kinnebrew, J. S.
,
G. Biswas
, and
B. Sulcer
,
"
Measuring Self-regulated Learning Skills through Social Interactions in a Teachable Agent Environment
",
The AAAI Fall Symposium on Cognitive and Metacognitive Educational Systems
, 2010.
Tagged
XML
BibTex
Google Scholar
Scott, J.
,
T. Bapty
, and
R. Boyles
,
META Toolchain Interface to Manufacturing
,
, no. ISIS-15-112, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
META Toolchain Interface to Manufacturing.pdf
(741.13 KB)
Sztipanovits, J.
,
T. Bapty
,
S. Neema
,
X. Koutsoukos
, and
J. Scott
,
The META Toolchain: Accomplishments and Open Challenges
,
, no. ISIS-15-102, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
The META Toolchain_Accomplishments and Open Challenges.pdf
(871.55 KB)
Saxena, T.
, and
A. Dubey
,
Meta-Tools For Designing Scientific Workflow Management Systems: Part-I, Survey
,
, no. ISIS-11-105, 2011.
Tagged
XML
BibTex
Google Scholar
Download:
Survey-report.pdf
(787.39 KB)
Xue, Y.
,
T. Busch
,
M. Gacek
,
H. Neema
,
G. Karsai
, and
J. Sztipanovits
,
A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments
,
, no. ISIS-10-107, 2010.
Tagged
XML
BibTex
Google Scholar
Download:
milcom10-xue.docx
(132.74 KB)
Bapty, T.
,
S. Neema
,
J. Scott
,
J. Sztipanovits
, and
S. Asaad
,
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems
,
: Institute for Software Integrated Systems, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_0_0_2000_Model_Inte.PDF
(1.04 MB)
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)
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
1
2
3
4
5
6
7
8
9
…
next ›
last »