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 110 results:
Tagged
XML
BibTex
Sort by: [
Author
]
Title
Type
Year
Filters:
Author
is
Neema, Sandeep
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
A
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. 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.
,
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)
Abdelwahed, S.
,
N. Kandasamy
, and
S. Neema
,
"
A Control-Based Framework for Self-Managing Distributed Computing Systems
",
ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04
, Newport Beach, CA, October, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_10_0_2004_A_Control_.pdf
(159.55 KB)
Abdelwahed, S.
,
S. Neema
,
J. Loyall
, and
R. Shapiro
,
"
A Hybrid Control Approach for QoS Management
",
the 24th IEEE International Real-Time Systems Symposium, RTSS'03
, Cancun, Mexico, December, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_12_0_2003_A_Hybrid_C.pdf
(200.83 KB)
Agrawal, A.
,
G. Karsai
,
S. Neema
,
F. Shi
, and
A. Vizhanyo
,
"
The Design of a Language for Model Transformations
",
Journal on Software and System Modeling
, vol. 5, pp. 261--288, September, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_0_0_2005_The_Design.pdf
(2.09 MB)
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)
Ahuja, S.
,
D. Yao
,
S. Neema
,
T. Bapty
,
S. Shetty
, and
S. Nordstrom
,
"
Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems
",
IEEE SoutheastCon
, Fort Lauderdale, Florida, pp. 327, April, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Ahuja_S_4_8_2005_Dynamicall.pdf
(629.1 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)
Amundson, I.
,
M. Kushwaha
,
X. Koutsoukos
,
S. Neema
, and
J. Sztipanovits
,
"
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications
",
Basenets
, San Jose, CA, October, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Amundson_I_10_1_2006_Efficient_.pdf
(849.01 KB)
B
Balasubramanian, D.
,
A. Narayanan
,
S. Neema
,
F. Shi
,
R. Thibodeaux
, and
G. Karsai
,
"
A Subgraph Operator for Graph Transformation Languages
",
Electronic Communications of the EASST
, vol. 6, 2007.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf
(233.92 KB)
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)
Balasubramanian, K.
,
J. Balasubramanian
,
G. Karsai
,
J. Sztipanovits
, and
S. Neema
,
"
Developing applications using model-driven design environments
",
IEEE Computer
, vol. 39, pp. 33--40, March, 2006.
Tagged
XML
BibTex
Google Scholar
Balasubramanian, D.
,
A. Narayanan
,
S. Neema
,
B. Ness
,
F. Shi
,
R. Thibodeaux
, and
G. Karsai
,
"
Applying a Grouping Operator in Model Transformations
",
Applications of Graph Transformations with Industrial Relevance
, pp. 410 - 425, 2008///.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
applying_group_operator_in_model_trans.pdf
(1.08 MB)
Balasubramanian, D.
,
A. Narayanan
,
S. Neema
,
B. Ness
,
F. Shi
,
R. Thibodeaux
, and
G. Karsai
,
"
Applying a Grouping Operator in Model Transformations
",
The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE)
, Kassel, Germany, 10/2007.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
applying_group_operator_in_model_trans.pdf
(1.08 MB)
Bapty, T.
,
S. Neema
,
J. Scott
,
J. Sztipanovits
, and
S. Asaad
,
"
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems
",
VLSI Design
, vol. 10, pp. 281--306, 2000.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
J. Gray
, and
S. Neema
,
Initial PCES PI Meeting: Constraint-Based Embedded Program Composition
,
, Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_7_31_2000_Initial_PI.ppt
(314.5 KB)
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
Bapty, T.
,
S. Neema
,
S. Nordstrom
,
S. Shetty
,
D. Vashishtha
,
J. Overdorf
, and
P. Sheldon
,
"
Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems
",
10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03)
, Huntsville, Alabama, pp. 11--16, April, 2003.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
J. Gray
, and
S. Neema
,
February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition
,
, San Diego, CA, Institute for Software Integrated Systems, February, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_2_0_2001_February_2.ppt
(540 KB)
Bapty, T.
,
S. Neema
, and
J. Scott
,
Transitioning the META Toolchain
,
, no. ISIS-15-114, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
Transitioning the META Toolchain.pdf
(1.2 MB)
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.
,
J. Knight
,
Z. Lattmann
,
S. Neema
, and
J. Scott
,
Software Quality Assurance for the META Toolchain
,
, no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.
Tagged
XML
BibTex
Google Scholar
Download:
Software Quality Assurance for the META Toolchain.pdf
(1.56 MB)
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)
Bapty, T.
,
J. Scott
,
S. Neema
, and
J. Sztipanovits
,
"
Uniform Execution Environment for Dynamic Reconfiguration
",
Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems
, Nashville, TN, pp. 181--187, March, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_3_0_1999_Uniform_Ex.PDF
(57.12 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
C
Carl, J. D.
,
G. Biswas
,
S. Neema
, and
T. Bapty
,
"
An Approach to Parallelizing the Simulation of Complicated Modelica Models
",
SCS 2014 Summer Simulation Multi-Conference
, Monterey, CA, SCS, 07/2014.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
SCSC_027.pdf
(544.53 KB)
Chen, K.
,
J. Sztipanovits
,
S. Neema
,
M. Emerson
, and
S. Abdelwahed
,
"
Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages
",
Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05)
, Jersey City, New Jersey, pp. 35--44, September, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Chen_K_9_19_2005_Toward_a_S.pdf
(363.02 KB)
Chen, K.
,
J. Porter
,
J. Sztipanovits
, and
S. Neema
,
"
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages
",
International Journal of Semantic Computing
, vol. 3, no. 1, pp. 31-56, 03/2009.
Tagged
XML
BibTex
Google Scholar
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)
Chhokra, A.
,
S. Abdelwahed
,
A. Dubey
,
S. Neema
, and
G. Karsai
,
"
From System Modeling to Formal Verification
",
The 2015 Electronic System Level Synthesis Conference
, San Francisco, ECSI, 07/01/2015.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
Session3_Paper3.pdf
(1.04 MB)
D
Dubey, A.
,
S. Nordstrom
,
T. Keskinpala
,
S. Neema
,
T. Bapty
, and
G. Karsai
,
"
Towards A Model-Based Autonomic Reliability Framework for Computing Clusters
",
Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008)
, Belfast, Northern Ireland, April, 2008.
Tagged
XML
BibTex
Google Scholar
Download:
Dubey_A_4_0_2008_Towards_A_.pdf
(733.09 KB)
Dubey, A.
,
S. Nordstrom
,
T. Keskinpala
,
S. Neema
, and
T. Bapty
,
"
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
",
Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06)
, Potsdam, Germany, pp. 129--140, March, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Dubey_A_3_0_2006_Verifying_.pdf
(1.17 MB)
Dubey, A.
,
S. Nordstrom
,
T. Keskinpala
,
S. Neema
,
T. Bapty
, and
G. Karsai
,
"
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
",
ISSE
, vol. 3, pp. 33--52, 2007.
Tagged
XML
BibTex
Google Scholar
Download:
Dubey_A_1_24_2007_Towards_a_.pdf
(1.2 MB)
E
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)
Eames, B.
,
S. Neema
,
T. Bapty
, and
J. Scott
,
"
Interfacing a Simulation Engine to an Embedded Runtime Environment
",
2000 IEEE International Conference on Systems, Man and Cybernetics
, Nashville, TN, pp. 625--629, October, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Eames_BK_10_11_2000_Interfacin.pdf
(50.44 KB)
Eames, B.
,
T. Bapty
,
B. Abbott
,
S. Neema
, and
K. Chhokra
,
"
Model Integrated Design Toolset for Polymorphous Computer-Based Systems
",
Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS)
, Huntsville, AL, pp. 72--79, April, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Eames_BK_4_7_2003_Model_Inte.pdf
(313.08 KB)
Eisele, S.
,
M. Yamaura
,
N. Arechiga
,
S. Shiraishi
,
J. Hite
,
J. Scott
,
S. Neema
, and
T. Bapty
,
"
ADAS Virtual Prototyping with the OpenMETA Toolchain
",
SAE 2016 World Congress & Exhibition
, Detroit, Michigan, USA, SAE International, 04/2016.
Abstract
Tagged
XML
BibTex
Google Scholar
Emerson, M.
,
S. Neema
, and
J. Sztipanovits
,
"
Metamodeling Languages and Metaprogrammable Tools
",
Handbook of Real-Time and Embedded Systems
: Chapman & Hall (July 23, 2007), pp. 33-1-33-16, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
Metamodeling Languages and Metaprogrammable Tools.pdf
(1.02 MB)
G
Gray, J.
,
T. Bapty
, and
S. Neema
,
"
An Example of Constraint Weaving in Domain-Specific Modeling
",
OOPSLA 2001 Workshop on Domain-Specific Visual Languages
, Tampa, FL, October, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_10_0_2001_An_Example.pdf
(410.7 KB)
Gray, J.
,
L. Yuehua
,
Z. Jing
,
S. Nordstrom
,
J. Balasubramanian
,
S. Neema
, and
G. Swapna
,
"
Replicators: Transformations to Address Model Scalability
",
Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713
, Montego Bay, Jamaica, pp. 295--308, October, 2005.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_10_0_2005_Replicator.pdf
(575.88 KB)
Gray, J.
,
T. Bapty
, and
S. Neema
,
"
Aspectifying Constraints in Model-Integrated Computing
",
OOPSLA 2000: Workshop on Advanced Separation of Concerns
, Minneapolis, MN, October, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_10_0_2000_Aspectifyi.PDF
(274.93 KB)
Gray, J.
,
T. Bapty
, and
S. Neema
,
"
Handling Crosscutting Constraints in Domain-Specific Modeling
",
Communications of the ACM
, pp. 87--93, October, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_10_0_2001_Handling_C_.pdf
(68.96 KB)
Gray, J.
,
J. Sztipanovits
,
D. C. Schmidt
,
T. Bapty
,
S. Neema
, and
J. Balasubramanian
,
"
TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE
",
Aspect-Oriented Software Development (Book)
: Addison Wesley, pp. 681--705, August, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_8_0_2004_TWO_LEVEL_.pdf
(358.75 KB)
Gray, J.
,
T. Bapty
,
S. Neema
, and
A. Ledeczi
,
"
Viewpoints and Aspects in Domain-Specific Modeling
",
1st International Conference on Aspect-Oriented Software Development
, Enschede, The Netherlands, April, 2002.
Tagged
XML
BibTex
Google Scholar
Gray, J.
,
J. Sztipanovits
,
T. Bapty
, and
S. Neema
,
"
Two-level Weaving to Support Changeability in Model-Based Synthesis
",
Aspect-Oriented Programming
, 2003.
Tagged
XML
BibTex
Google Scholar
Gray, J.
,
T. Bapty
, and
S. Neema
,
"
Handling Crosscutting Constraints in Domain-Specific Modeling
",
OOPSLA 2001
, Tampa, FL, October, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_10_0_2001_Handling_C.zip
(357.1 KB)
K
Kandasamy, N.
,
S. Abdelwahed
, and
S. Neema
,
"
Self optimization in computer systems via online control: application to power management
",
the International Conference on Autonomic Computing
, New York, NY, May, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Kandasamy_N_5_0_2004_Self_optim.pdf
(237.87 KB)
Karsai, G.
,
A. Lang
, and
S. Neema
,
"
Design Patterns for Open Tool Integration
",
Journal of Software and System Modeling
, vol. 4, 2004.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
A. Lang
, and
S. Neema
,
"
Tool Integration Patterns
",
Workshop on Tool Integration in System Developement, ESEC/FSE
, Helsinki, Finland, pp. 33--38, September, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_9_0_2003_Tool_Integ.pdf
(274.24 KB)
1
2
3
next ›
last »