William Emfinger

12 papers C 4Misc 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems.
CoRR
Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar
2016 J jnl
Achieving resilience in distributed software systems via self-reconfiguration.
J. Syst. Softw.
Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
2016 Misc conf
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing.
SEC
William Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai
2016 — conf
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience.
ICCPS
Himanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits
2015 C conf
A testbed to simulate and analyze resilient cyber-physical systems.
RSP
Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015 J jnl
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program.
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015 C conf
Modeling Network Medium Access Protocols for Network Quality of Service Analysis.
ISORC
William Emfinger, Gabor Karsai
2015 — —
Network Performance Analysis and Management for Cyber-Physical Systems and Their Applications.
William Emfinger
2015 C conf
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS.
RSP
Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar
2014 C conf
A Rapid Testing Framework for a Mobile Cloud.
RSP
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
2014 — conf
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks.
CyPhy
William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
2014 J jnl
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Softw.
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai