Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms
Xiaolong Wang, Habeeb, Richard, Xinming Ou, Amaravadi, Siddharth, Hatcliff, John, Mizuno, Masaaki, Neilsen, Mitchell, Rajagopalan, S. Raj, Varadarajan, Srivatsan
Published in 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW) (01.06.2017)
Published in 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW) (01.06.2017)
Get full text
Conference Proceeding
IP Core for Cache and Memory Thrashing
Dobes, Michal, Zaykov, Pavel, Miller, Larry, Badin, Pavel, Varadarajan, Srivatsan
Published in 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (01.08.2022)
Published in 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (01.08.2022)
Get full text
Conference Proceeding
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Murugesan, Anitha, Wong, Isaac, Arias, Joaquín, Stroud, Robert, Varadarajan, Srivatsan, Salazar, Elmer, Gupta, Gopal, Bloomfield, Robin, Rushby, John
Year of Publication 21.08.2024
Year of Publication 21.08.2024
Get full text
Journal Article
CLARISSA: Foundations, Tools & Automation for Assurance Cases
Varadarajan, Srivatsan, Bloomfield, Robin, Rushby, John, Gupta, Gopal, Murugesan, Anitha, Stroud, Robert, Netkachova, Kateryna, Wong, Isaac Hong
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Get full text
Conference Proceeding
PROCESSING ENGINE SCHEDULING FOR TIME-SPACE PARTITIONED PROCESSING SYSTEMS
ZAYKOV, Pavel, MILLER, Larry James, CARVALHO, Humberto, VARADARAJAN, Srivatsan
Year of Publication 04.10.2023
Get full text
Year of Publication 04.10.2023
Patent
PROCESSING ENGINE MAPPING FOR TIME-SPACE PARTITIONED PROCESSING SYSTEMS
ZAYKOV, Pavel, MILLER, Larry James, CARVALHO, Humberto, VARADARAJAN, Srivatsan
Year of Publication 04.10.2023
Get full text
Year of Publication 04.10.2023
Patent
PROCESSING ENGINE MAPPING FOR TIME-SPACE PARTITIONED PROCESSING SYSTEMS
Zaykov, Pavel, Miller, Larry James, Carvalho, Humberto, Varadarajan, Srivatsan
Year of Publication 28.09.2023
Get full text
Year of Publication 28.09.2023
Patent
PROCESSING ENGINE SCHEDULING FOR TIME-SPACE PARTITIONED PROCESSING SYSTEMS
Zaykov, Pavel, Miller, Larry James, Carvalho, Humberto, Varadarajan, Srivatsan
Year of Publication 28.09.2023
Get full text
Year of Publication 28.09.2023
Patent
Error spreading
Varadarajan, Srivatsan, Ngo, Hung Q, Srivastava, Jaideep
Published in IEEE/ACM transactions on networking (01.02.2002)
Get full text
Published in IEEE/ACM transactions on networking (01.02.2002)
Journal Article
DesCert: Design for Certification
Shankar, Natarajan, Bhatt, Devesh, Ernst, Michael, Kim, Minyoung, Varadarajan, Srivatsan, Millstein, Suzanne, Navas, Jorge, Biatek, Jason, Sanchez, Huascar, Murugesan, Anitha, Ren, Hao
Year of Publication 28.03.2022
Year of Publication 28.03.2022
Get full text
Journal Article