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 232 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
First Letter Of Last Name
is
D
[Clear All Filters]
1991
Carnes, R.
,
J. Davis
,
C. Biegl
, and
G. Karsai
,
"
Integrated Modeling for Planning, Simulation and Diagnosis
",
IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems
, Cocoa Beach, FL, pp. 273--282, April, 1991.
Tagged
XML
BibTex
Google Scholar
1994
Karsai, G.
,
S. Padalkar
,
J. Sztipanovits
, and
F. DeCaria
,
"
Activity Modeling
",
Foundation of Computer Aided Process Design, microfilm publication
, Snowmass, CO, July, 1994.
Tagged
XML
BibTex
Google Scholar
Davis, J.
, and
B. Abbott
,
"
Cut-Through Message Passing on the TI TMS320C40
",
Proceedings of the 7th NATUG
, Athens, GA, pp. 167--175, October, 1994.
Tagged
XML
BibTex
Google Scholar
1995
Bapty, T.
,
A. Ledeczi
,
J. Sztipanovits
, and
J. Davis
,
"
Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques
",
Proceedings of the the Software Engineering Research Forum
, Boca Raton, FL, 1995.
Tagged
XML
BibTex
Google Scholar
Davis, J.
,
"
A Model Based Data Validation System
",
Master's Thesis
: Vanderbilt University, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_0_0_1995_A_Model_Ba.pdf
(532.1 KB)
Davis, J.
, and
T. Bapty
,
"
Interactive User's Interface for a Dynamic Compression System Simulation
",
AIAA 33rd Aerospace Sciences Meeting
, Reno, NV, January, 1995.
Tagged
XML
BibTex
Google Scholar
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
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
, and
F. DeCaria
,
"
Model-embedded On-line Problem Solving Environment for Chemical Engineering
",
International Conference on Engineering of Complex Computer Systems
, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_11_6_1995_Model_embe.pdf
(180.47 KB)
1996
Bapty, T.
,
A. Ledeczi
,
J. Davis
,
B. Abbott
,
L. Howard
, and
T. Tibbals
,
"
Turbine Engine Diagnostics Using a Parallel Signal Processor
",
Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention
, Mobile, AL, 1996.
Tagged
XML
BibTex
Google Scholar
Davis, J.
,
T. Bapty
,
G. Karsai
,
D. Malloy
,
J. Sztipanovits
, and
T. Tibbals
,
"
Model Based Data Validation
",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention
, Mobile, AL, April, 1996.
Tagged
XML
BibTex
Google Scholar
1997
Karsai, G.
, and
F. DeCaria
,
"
Model-Integrated On-line Problem-Solving Environment for Chemical Engineering
",
IFAC Control Engineering Practice
, vol. 5, pp. 1--9, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1997_Model_Inte_.pdf
(180.47 KB)
1998
Davis, J.
,
J. Scott
,
J. Sztipanovits
,
G. Karsai
, and
M. Martinez
,
"
Integrated Analysis Environment for High Impact Systems
",
Proceedings of the Engineering of Computer Based Systems
, Jerusalem, Israel, pp. 218--225, April, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_9_0_1998_Integrated.pdf
(141.59 KB)
Davis, J.
,
J. Scott
,
J. Sztipanovits
,
G. Karsai
, and
M. Martinez
,
"
An Integrated Multi-Domain Analysis Environment for High Consequence Systems
",
Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532
, Altanta, GA, September, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_9_0_1998_An_Integtr.pdf
(251.31 KB)
1999
Davis, J.
,
J. Scott
,
J. Sztipanovits
, and
M. Martinez
,
"
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
",
Proceedings of the Engineering of Computer Based Systems
, Nashville, TN, pp. 254--260, March, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_3_0_1999_Multi_Doma.pdf
(73.25 KB)
2000
Karsai, G.
,
G. Bloor
, and
J. Doyle
,
"
Automating Human Based Negotiation Processes for Autonomic Logistics
",
Proceedings of the IEEE Aerospace 2000
, Big Sky, MT, March, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_3_0_2000_Automating.pdf
(676.12 KB)
Davis, J.
,
"
Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems
",
PhD Dissertation
: Vanderbilt University, May, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_0_0_2000_Integrated.pdf
(2.16 MB)
Garrett, J.
,
A. Ledeczi
, and
F. DeCaria
,
"
Towards a Paradigm for Activity Modeling
",
SMC 2000
, Nashville, TN, October, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Garrett_JT_10_0_2000_Towards_a_.pdf
(74.33 KB)
Deva, D.
,
J. Sprinkle
,
M. Maroti
, and
G. Nordstrom
,
"
Towards A Standard For Model Specification And Storage
",
IEEE SMC 2000
, Nashville, TN, September, 2000.
Tagged
XML
BibTex
Google Scholar
2001
Nordstrom, G.
,
J. Davis
, and
M. Briski
,
"
A Graduate-Level Course on CBS Design Tool Development
",
Engineering of Computer Based Systems
, Washington, D.C., April, 2001.
Tagged
XML
BibTex
Google Scholar
Neema, S.
,
J. Davis
,
B. Eames
, and
A. Ledeczi
,
"
Design Representation Issues in Polymorphous Computing
",
ISIS-01-202
: Institute for Software Integrated Systems, January, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Neema_S_1_30_2001_Design_Rep.pdf
(2.93 MB)
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)
Agrawal, A.
,
A. Bakshi
,
J. Davis
,
B. Eames
,
A. Ledeczi
,
S. Mohanty
,
V. Mathur
,
S. Neema
,
G. Nordstrom
,
V. Prasanna
, et al.,
"
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES)
, Snowbird, UT, June, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_6_0_2001_MILAN__A_M.pdf
(121.36 KB)
2002
Leelawong, K.
,
J. Davis
,
N. Vye
,
G. Biswas
,
D. Schwartz
,
T. Belynne
,
T. Katzlberger
, and
J. Bransford
,
"
The effects of feedback in supporting learning by teaching in a teachable agent environment
",
Keeping Learning Complex: The Proceedings of the Fifth International Conference of the Learning Sciences
, Mahwah, NJ, Erlbaum, pp. 245-252, 2002.
Tagged
XML
BibTex
Google Scholar
Davis, J.
,
"
Model Integrated Computing: A Framework for Creating Domain Specific Design Environments
",
The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI)
, Orlando, FL, July, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_7_0_2002_Model_Inte.pdf
(282.01 KB)
Mohanty, S.
,
V. Prasanna
,
S. Neema
, and
J. Davis
,
"
Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation
",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES)
, Berlin, Germany, June, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Mohanty_S_6_0_2002_Rapid_Desi.pdf
(263.12 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)
2003
Davis, J.
,
K. Leelawong
,
K. Belynne
,
B. Bodenheimer
,
G. Biswas
,
N. Vye
, and
J. Bransford
,
"
Intelligent user interface design for teachable agent systems: A demonstration abstract
",
The 8th International Conference on Intelligent User Interfaces
, Miami, FL, Association for Computing Machinery, pp. 320, 2003.
Tagged
XML
BibTex
Google Scholar
Davis, J.
,
K. Leelawong
,
K. Belynne
,
B. Bodenheimer
,
G. Biswas
,
N. Vye
, and
J. Bransford
,
"
Intelligent user interface design for teachable agent systems
",
Proceedings of the 8th International Conference on Intelligent User Interfaces
, Miami, FL, ACM, pp. 26-33, 2003.
Tagged
XML
BibTex
Google Scholar
Leelawong, K.
,
K. Viswanath
,
J. Davis
,
G. Biswas
,
N. Vye
,
B. K.
, and
J. Bransford
,
"
Teachable agents: Learning by teaching environments for science domains
",
Proceedings of the Fifteenth Annual Conference on Innovative Applications of Artificial Intelligence
, Menlo Park, CA, AAAI Press, pp. 109-116, 2003.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
J. Davis
,
S. Neema
, and
A. Agrawal
,
"
Modeling Methodology for Integrated Simulation of Embedded Systems
",
ACM Transactions on Modeling and Computer Simulation
, vol. 13, pp. 82--103, January, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Ledeczi_A_0_0_2003_Modeling_M.pdf
(231.04 KB)
2004
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
Biswas, G.
,
K. Leelawon
,
K. Belynne
,
K. Viswanath
,
D. Schwartz
, and
J. Davis
,
"
Incorporating self regulated learning techniques into learning by teaching environments
",
The 26th Annual Meeting of the Cognitive Science Society
, Chicago, Erlbaum, pp. 120-125, 2004.
Tagged
XML
BibTex
Google Scholar
Dora, S.
,
"
AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE VERIFICATION IN SENSOR NETWORKS
",
Master's Thesis
: Vanderbilt University, April, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Dora_S_5_1_2004_AUTOMATED_.doc
(4.16 MB)
Volgyesi, P.
,
M. Maroti
,
S. Dora
,
E. Osses
,
A. Ledeczi
, and
T. Paka
,
Embedded Software Composition and Verification
,
: Institute for Software Integrated Systems, February, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Volgyesi_P_2_13_2004_Embedded_S.pdf
(627.06 KB)
2005
Deng, G.
,
J. Balasubramanian
,
W. R. Otte
,
D. C. Schmidt
, and
A. Gokhale
,
DAnCE: A QoS-Enabled Component Deployment and Configuration Engine
,
, vol. 3798, Berlin, Heidelberg, Springer, pp. 67 - 82, 2005.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
P. Volgyesi
,
M. Maroti
,
G. Simon
,
G. Balogh
,
A. Nadas
,
B. Kusy
,
S. Dora
, and
G. Pap
,
"
Multiple Simultaneous Acoustic Source Localization in Urban Terrain
",
In Proc. of IPSN
, Los Angeles, CA, April, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Ledeczi_A_4_25_2005_Multiple_S.pdf
(682.65 KB)
Maroti, M.
,
B. Kusy
,
G. Balogh
,
P. Volgyesi
,
K. Molnar
,
S. Dora
, and
A. Ledeczi
,
Radio Interferometric Positioning
,
: Institute for Software Integrated Systems, April, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Maroti_M_4_10_2005_Radio_Inte.pdf
(422.8 KB)
Volgyesi, P.
,
M. Maroti
,
S. Dora
,
E. Osses
, and
A. Ledeczi
,
"
Software Composition and Verification for Sensor Networks
",
Science of Computer Programming (Elsevier)
, vol. 56, pp. 191--210, April, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Volgyesi_P_4_0_2005_Software_C.pdf
(312.39 KB)
Dubey, A.
,
"
Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems
",
Master's Thesis
: Vanderbilt University, July, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Dubey_A_7_28_2005_Metamodel_.pdf
(3.32 MB)
Ledeczi, A.
,
A. Nadas
,
P. Volgyesi
,
G. Balogh
,
B. Kusy
,
J. Sallai
,
G. Pap
,
S. Dora
,
K. Molnar
,
M. Maroti
, et al.,
"
Countersniper System for Urban Warfare
",
ACM Transactions on Sensor Networks
, vol. 1, pp. 153--177, November, 2005.
Tagged
XML
BibTex
Google Scholar
Maroti, M.
,
B. Kusy
,
G. Balogh
,
P. Volgyesi
,
K. Molnar
,
A. Nadas
,
S. Dora
, and
A. Ledeczi
,
"
Radio Interferometric Geolocation
",
ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05)
, San Diego, CA, pp. 1--12, November, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Maroti_M_11_3_2005_Radio_Inte.pdf
(422.8 KB)
Dubey, A.
,
W. Xianbin
,
S. Hang
, and
J. T. Koo
,
"
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
",
Lecture Notes in Computer Science
, vol. 3707, pp. 114--128, October, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Dubey_A_10_4_2005_Computatio.pdf
(502.45 KB)
Daigle, M.
,
X. Koutsoukos
, and
G. Biswas
,
"
Relative Measurement Orderings in Diagnosis of Distributed Physical Systems
",
43rd Annual Allerton Conference on Communication, Control, and Computing
, Monticello, IL, pp. 1707--1716, September, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Daigle_MJ_9_0_2005_Relative_M.pdf
(160.46 KB)
2006
Kusy, B.
,
P. Dutta
,
P. Levis
,
M. Maroti
,
A. Ledeczi
, and
D. Culler
,
"
Elapsed Time on Arrival: a simple and versatile primitive for canonical time synchronization services
",
International Journal of Ad Hoc and Ubiquitous Computing
, vol. 2, 2006.
Tagged
XML
BibTex
Google Scholar
Keskinpala, T.
,
A. Dubey
,
S. Nordstrom
,
T. Bapty
, and
S. Neema
,
"
A model driven tool for automated system level testing of middleware
",
Fourth System Testing and Validation Workshop (STV)
, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
STV06Paper_Final_TK.pdf
(758.27 KB)
Emerson, M.
,
J. Mathe
, and
S. Duncavage
,
"
WiNeSim: A Wireless Network Simulation Tool
",
Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06)
, Seoul, South Korea, 10/2006.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
EMSOFT-WS.2006.Paper-WiNeSim.v2.0.pdf
(416.03 KB)
Daigle, M.
,
I. Roychoudhury
,
G. Biswas
, and
X. Koutsoukos
,
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs
,
: Institute for Software Integrated Systems, December, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Daigle_MJ_12_18_2006_Efficient_.pdf
(785.63 KB)
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)
Nordstrom, S.
,
T. Bapty
,
S. Neema
,
A. Dubey
, and
T. Keskinpala
,
"
A Guided Explorative Approach for Autonomic Healing of Model-Based Systems
",
Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT)
, Pasadena, CA, July, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Nordstrom_SG_7_0_2006_A_Guided_E.pdf
(201.89 KB)
Debelak, K.
,
L. Howard
,
Y. Xue
,
C. Lee
, and
J. Sztipanovits
,
"
Introducing security in a chemical engineering design course using adaptive online learning
",
Proceedings of the International Conference on Engineering Education
, San Juan, Puerto Rico, July, 2006.
Tagged
XML
BibTex
Google Scholar
1
2
3
4
5
next ›
last »