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
ISIS VPN
Printers
Home
ISIS Publications
List
Filter
Export 73 results:
Tagged
XML
BibTex
Sort by:
Author
Title
[
Type
]
Year
Filters:
First Letter Of Last Name
is
E
[Clear All Filters]
Book
Holger Giese
,
G. Karsai
,
Edward Lee
,
B. Rumpe
, and
B. Schätz
,
"
Model-Based Engineering of Embedded Real-Time Systems
",
Lecture Notes in Computer Science
, vol. 6100: Springer, 2011.
Tagged
XML
BibTex
Google Scholar
Book Chapter
Karsai, G.
,
"
Lessons Learned from Building a Graph Transformation System
",
Graph Transformations and Model-Driven Engineering
, vol. 5765: Springer Berlin / Heidelberg, pp. 202-223, 2010.
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)
Levendovszky, T.
,
B. Rumpe
,
B. Schaetz
, and
J. Sprinkle
,
"
Model Evolution and Management
",
Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science 6100
: Springer, pp. 241-270, 2011.
Abstract
Tagged
XML
BibTex
Google Scholar
LeBlanc, H.
,
E. Eyisi
,
N. Kottenstette
,
X. Koutsoukos
, and
J. Sztipanovits
,
"
A Passivity-Based Approach to Group Coordination in Multi-Agent Networks
",
Informatics in Control, Automation and Robotics
, 1, vol. 89: Springer, 2011.
Tagged
XML
BibTex
Google Scholar
Conference Paper
Yamaura, M.
,
N. Arechiga
,
S. Shiraishi
,
S. Eisele
,
J. Hite
,
S. Neema
,
J. Scott
, and
T. Bapty
,
"
ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA
",
Japanese Modelica Conference 2016
, Tokyo, Japan, Linköping University Press, 2016.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
yamaura.pdf
(1.36 MB)
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
Nordstrom, S.
,
S. Shetty
,
K. Chhokra
,
J. Sprinkle
,
B. Eames
, and
A. Ledeczi
,
"
ANEMIC: Automatic Interface Enabler for Model Integrated Computing
",
Generative Programming and Component Engineering (GPCE '03)
, Erfurt, Germany, September, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Nordstrom_SG_9_22_2003_ANEMIC__Au.pdf
(130 KB)
Zhang, Z.
,
E. Eyisi
,
X. Koutsoukos
,
J. Porter
,
G. Karsai
, and
J. Sztipanovits
,
"
Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems
",
ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS)
, Philadelphia, PA, ACM, pp. 119-128, 04/2013.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
iccps'13.pdf
(1.29 MB)
Kogekar, S.
,
S. Neema
,
B. Eames
,
X. Koutsoukos
,
A. Ledeczi
, and
M. Maroti
,
"
Constraint-Guided Dynamic Reconfiguration in Sensor Networks
",
IPSN '04
, Berkeley, California, USA, pp. 379--387, April, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Kogekar_S_4_26_2004_Constraint.pdf
(369.93 KB)
Zhang, Y.
,
S. Eisele
,
A. Dubey
,
A. Laszka
, and
A. K. Srivastava
,
"
Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems
",
Modeling and Simulation of Cyber-Physical Energy Systems
, Montreal, Canada, 2019.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
MSCPES_paper__Finished_.pdf
(941.1 KB)
Roth, T.
,
E. Song
,
M. Burns
,
H. Neema
,
W. Emfinger
, and
J. Szipanovits
,
"
Cyber-Physical System Development Environment for Energy Applications
",
ASME Power and Energy Conference 2017
, Charlotte, USA, 06/2017.
Abstract
Tagged
XML
BibTex
Google Scholar
Emfinger, W.
,
A. Dubey
,
S. Eisele
,
P. Volgyesi
,
J. Sallai
, and
G. Karsai
,
"
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing
",
The First IEEE/ACM Symposium on Edge Computing
, 2016.
Tagged
XML
BibTex
Google Scholar
Download:
PID4355117.pdf
(1.85 MB)
Emfinger, W. A.
,
A. Dubey
,
S. Eisele
,
P. Volgyesi
,
J. Sallai
, and
G. Karsai
,
"
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing
",
The First IEEE/ACM Symposium on Edge Computing
, 2016.
Tagged
XML
BibTex
Google Scholar
Download:
Emfinger et al. - Demo Abstract RIAPS - A Resilient Information Arc.pdf
(1.85 MB)
Bai, J.
,
E. P. Eyisi
,
Y. Xue
, and
X. Koutsoukos
,
"
Dynamic Tuning Retransmission Limit of IEEE 802.11 MAC Protocol for Networked Control Systems
",
Third IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom)
, 2010.
Tagged
XML
BibTex
Google Scholar
Pradhan, S.
,
W. Emfinger
,
A. Dubey
,
W. Otte
,
A. Coglio
,
D. Balasubramanian
,
A. Gokhale
, and
G. Karsai
,
"
Establishing secure interactions across distributed applications in satellite clusters
",
SMC-IT
, 2014.
Tagged
XML
BibTex
Google Scholar
Download:
smcit-2014.pdf
(965.2 KB)
Potteiger, B.
,
W. A. Emfinger
,
H. Neema
,
X. Kousoukos
,
C. Y. Tang
, and
K. Stouffer
,
"
Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed
",
Resilience Week (RWS)
, Wilmington, DE, IEEE, pp. 177-183, 09/2017.
Abstract
Tagged
XML
BibTex
Google Scholar
Scott, J.
,
S. Neema
,
B. Eames
,
T. Bapty
,
A. Vandivort
,
S. Khamsi
, and
T. Gangwer
,
"
A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors
",
7th Military and Aerospace Programmable Logic Devices
, Washington, DC, September, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_JM_9_11_2004_A_HW_SW_Co.pdf
(284.38 KB)
Emerson, M.
, and
J. Sztipanovits
,
"
Implementing a MOF-Based Metamodeling Environment Using Graph Transformations
",
4th OOPSLA Workshop on Domain-Specific Modeling
, Vancouver, Canada, pp. 83--92, October, 2004.
Tagged
XML
BibTex
Google Scholar
Download:
Emerson_MJ_10_0_2004_Implementi.pdf
(128.37 KB)
Werner, J.
,
M. Eby
,
J. Mathe
,
G. Karsai
,
Y. Xue
, and
J. Sztipanovits
,
"
Integrating Security Modeling in Embedded System Design
",
12th IEEE Real-Time and Embedded Technology and Applications Symposium
, San Jose, CA, April, 2006.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
Werner_J_4_4_2006_Integratin.pdf
(132.39 KB)
Eby, M.
,
J. Werner
,
G. Karsai
, and
J. Sztipanovits
,
"
Integrating Security Modeling into Embedded System Design
",
ECBS 2007
, Tucson, Arizona, 2006.
Tagged
XML
BibTex
Google Scholar
Download:
ISIS_0_0_2006_Integratin.pdf
(324.18 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)
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)
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)
LeBlanc, H.
,
E. Eyisi
,
N. Kottenstette
,
X. Koutsoukos
, and
J. Sztipanovits
,
"
A Passivity-Based Approach To Deployment In Multi-Agent Networks
",
Seventh International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010)
, Funchal, Madeira - Portugal, SciTePress, pp. 53-62, 06/2010.
Tagged
XML
BibTex
Google Scholar
Download:
ICINCO_2010_265_CR_press.pdf
(581.69 KB)
LeBlanc, H.
,
E. Eyisi
,
N. Kottenstette
,
X. Koutsoukos
, and
J. Sztipanovits
,
"
A Passivity-Based Approach to Deployment in Multi-Agent Networks
",
7th International Conference on Informatics in Control, Automation and Robotics
, vol. 1, Funchal, Madeira - Portugal, SciTePress, pp. 53–62, 06/2010.
Tagged
XML
BibTex
Google Scholar
Download:
ICINCO_2010_265_CR.pdf
(555.39 KB)
Balasubramanian, D.
,
A. Dubey
,
W. R. Otte
,
W. Emfinger
,
P. Kumar
, and
G. Karsai
,
"
A Rapid Testing Framework for a Mobile Cloud Infrastructure
",
IEEE International Symposium on Rapid System Prototyping (RSP)
: IEEE, 10/2014.
Tagged
XML
BibTex
Google Scholar
Download:
RSP2014.pdf
(874.05 KB)
Neema, H.
,
W. Emfinger
, and
A. Dubey
,
"
A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems
",
3rd International Transactive Energy Systems
, Portland, Oregon, GridWise® Architecture Council , 05/2016.
Abstract
Tagged
XML
BibTex
Google Scholar
Eisele, S.
,
I. Madari
,
A. Dubey
, and
G. Karsai
,
"
RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems
",
20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING
, Toronto, Canada, IEEE, 05/2017.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
paper.pdf
(1.43 MB)
Kumar, P. S.
,
W. Emfinger
,
A. Kulkarni
,
G. Karsai
,
D. Watkins
,
B. Gasser
,
C. Ridgewell
, and
A. Anilkumar
,
"
ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS
",
Rapid System Prototyping Symposium (ESWEEK)
, Amsterdam, The Netherlands, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
2015--RSP--ROSMOD - A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS.pdf
(7.72 MB)
Dubey, A.
,
W. Emfinger
,
A. Gokhale
,
G. Karsai
,
W. R. Otte
,
J. Parsons
,
C. Szabo
,
A. Coglio
,
E. Smith
, and
P. Bose
,
"
A Software Platform for Fractionated Spacecraft
",
2012 IEEE Aerospace Conference
, Big Sky, Montana, 03/2012.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
aerospace12-1473.pdf
(4.2 MB)
Eisele, S.
,
A. Laszka
,
A. Mavridou
, and
A. Dubey
,
"
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
",
Blockchain-2018: The 2018 IEEE International Conference on Blockchain
, vol. abs/1804.08133, Halifax, Nova Scotia, 08/2018.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
Eisele et al. - SolidWorx A Resilient and Trustworthy Transactive.pdf
(881.45 KB)
Neema, H.
,
P. Volgyesi
,
B. Potteiger
,
W. Emfinger
,
X. Kousoukos
,
G. Karsai
,
Y. Vorobeychik
, and
S. Janos
,
"
SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience
",
7th International Conference on Cyber-Physical Systems (ICCPS)
, Vienna, Austria, 04/2016.
Abstract
Tagged
XML
BibTex
Google Scholar
Potteiger, B.
,
W. Emfinger
,
G. Karsai
, and
X. Koutsoukos
,
"
A Testbed for Evaluating and Measuring Security and Resilience in CPS (Poster)
",
Science of Security Quarterly Lablet Meeting
, Laurel, MD, 11/2016.
Tagged
XML
BibTex
Google Scholar
Kumar, P. S.
,
W. Emfinger
, and
G. Karsai
,
"
A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems
",
Rapid System Prototyping (ESWEEK)
, 2015.
Tagged
XML
BibTex
Google Scholar
Download:
2015--RSP--A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems.pdf
(6.96 MB)
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)
Eisele, S.
,
G. Pettet
,
A. Dubey
, and
G. Karsai
,
"
Towards an Architecture for Evaluating and Analyzing Decentralized Fog Applications
",
2017 IEEE Fog World Congress (FWC) (FWC 2017)
, Santa Clara, USA, pp. 49-54, 2017.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
1570370402.pdf
(1.11 MB)
Laszka, A.
,
S. Eisele
,
A. Dubey
,
G. Karsai
, and
K. Kvaternik
,
"
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids
",
The 24th International Conference on Parallel and Distributed Systems
, Singapore, IEEE, 12/2018.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
TRANSAX-2018.pdf
(479.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)
Conference Proceedings
Emfinger, W.
,
G. Karsai
,
A. Dubey
, and
A. Gokhale
,
"
Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks
",
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems
, New York, NY, USA, ACM, pp. 44–47, 2014.
Tagged
XML
BibTex
Google Scholar
Download:
CyPhy14.pdf
(583.29 KB)
Balasubramanian, D.
,
W. Emfinger
,
P. S. Kumar
,
W. Otte
,
A. Dubey
, and
G. Karsai
,
"
An application development and deployment platform for satellite clusters
",
Workshop on Spacecraft Flight Software
, 2013.
Tagged
XML
BibTex
Google Scholar
Download:
FSW.pdf
(45.92 KB)
Bai, J.
,
E. P. Eyisi
,
Y. Xue
, and
X. Koutsoukos
,
"
Distributed Sampling Rate Adaptation for Networked Control Systems
",
The First International Workshop on Cyber-Physical Networking Systems(CPNS) in conjunction with INFOCOM
, 2011.
Tagged
XML
BibTex
Google Scholar
Dubey, A.
,
G. Karsai
,
A. Gokhale
,
W. Emfinger
, and
P. Kumar
,
"
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems
",
Space Mission Challenges for Information Technology (SMC-IT)
, 2017.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
paper.pdf
(1.42 MB)
Dubey, A.
,
G. Karsai
,
A. Gokhale
,
W. Emfinger
, and
P. S. Kumar
,
"
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems
",
International Conference on Space Mission Challenges for Information Technology (SMC-IT)
, 2017, 09/2017.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
main.pdf
(951.36 KB)
Emfinger, W.
,
P. S. Kumar
,
A. Dubey
,
W. Otte
,
A. Gokhale
, and
G. Karsai
,
"
DREMS: A Toolchain and Platform for the Rapid Application Development, Integration and Deployment of Managed Distributed Real-time Embedded Systems
",
Real-time Systems Symposium
, 2013.
Tagged
XML
BibTex
Google Scholar
Download:
RTSS.pdf
(8.55 MB)
Riley, D.
,
E. Emeka
,
J. Bai
,
X. Koutsoukos
,
Y. Xue
, and
J. Sztipanovits
,
"
Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems
",
Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools)
, 2011.
Tagged
XML
BibTex
Google Scholar
Riley, D.
,
E. Eyisi
,
J. Bai
,
X. Koutsoukos
,
Y. Xue
, and
J. Sztipanovits
,
"
Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems
",
4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011)
, Barcelona, Spain, 03/2011.
Abstract
Tagged
XML
BibTex
Google Scholar
Eyisi, E.
,
J. Porter
,
N. Kottenstette
,
X. Koutsoukos
, and
J. Sztipanovits
,
"
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems
",
19th Mediterranean Conference on Control and Automation
, Corfu,Greece, 06/2011.
Abstract
Tagged
XML
BibTex
Google Scholar
Journal Article
Pradhan, S.
,
A. Dubey
,
T. Levendovszky
,
P. S. Kumar
,
W. A. Emfinger
,
D. Balasubramanian
,
W. Otte
, and
G. Karsai
,
"
Achieving resilience in distributed software systems via self-reconfiguration
",
Journal of Systems and Software
, pp. -, 2016.
Abstract
Tagged
XML
BibTex
Google Scholar
Zhang, Z.
,
E. Emeka
,
X. Koutsoukos
,
J. Porter
,
G. Karsai
, and
J. Sztipanovits
,
"
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems
",
Simulation Modelling Practice and Theory
, vol. 43, 04/2014.
Tagged
XML
BibTex
Google Scholar
1
2
next ›
last »