Abhik Roychoudhury

From MaRDI portal
Person:842735

Available identifiers

zbMath Open roychoudhury.abhikMaRDI QIDQ842735

List of research outcomes





PublicationDate of PublicationType
Replication Package for "Trust Enhancement Issues in Program Repair"2022-02-28Dataset
Efficient algorithms for vertex arboricity of planar graphs2017-01-19Paper
Static analysis of multi-core TDMA resource arbitration delays2014-07-14Paper
Scalable and precise refinement of cache timing analysis via path-sensitive verification2014-07-14Paper
Timing analysis of concurrent programs running on shared cache multi-cores2014-07-14Paper
Cache-aware timing analysis of streaming applications2009-09-25Paper
https://portal.mardi4nfdi.de/entity/Q51907792009-07-27Paper
Chronos: A timing analyzer for embedded software2007-12-12Paper
Memory model sensitive bytecode verification2007-11-28Paper
Modeling out-of-order processors for WCET analysis2006-11-17Paper
Lectures on Concurrency and Petri Nets2005-12-23Paper
Program Development in Computational Logic2005-12-23Paper
BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS2005-06-22Paper
Modeling control speculation for timing analysis2005-06-07Paper
https://portal.mardi4nfdi.de/entity/Q44125292003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q45015912002-09-08Paper
https://portal.mardi4nfdi.de/entity/Q45511312002-09-04Paper
https://portal.mardi4nfdi.de/entity/Q27541272001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q45188942001-02-05Paper
https://portal.mardi4nfdi.de/entity/Q44943722000-08-10Paper

Research outcomes over time

This page was built for person: Abhik Roychoudhury

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:842735&oldid=7464041"
Powered by MediaWiki