William Emfinger

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 4

Top Topics

Real Time Embedded Systems

Top Venues

Sci. Comput. Program.

J. Syst. Softw.

Publications

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