Pratyush Kumar
TitleCited byYear
A hybrid approach to cyber-physical systems verification
P Kumar, D Goswami, S Chakraborty, A Annaswamy, K Lampka, L Thiele
Proceedings of the 49th Annual Design Automation Conference, 688-696, 2012
512012
Thermally optimal stop-go scheduling of task graphs with real-time constraints
P Kumar, L Thiele
16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011), 123-128, 2011
372011
Energy efficient dvfs scheduling for mixed-criticality systems
P Huang, P Kumar, G Giannopoulou, L Thiele
Proceedings of the 14th International Conference on Embedded Software, 11, 2014
362014
Cool shapers: shaping real-time tasks for improved thermal guarantees
P Kumar, L Thiele
Proceedings of the 48th Design Automation Conference, 468-473, 2011
322011
Adaptive real-time communication for wireless cyber-physical systems
M Zimmerling, L Mottola, P Kumar, F Ferrari, L Thiele
ACM Transactions on Cyber-Physical Systems 1 (2), 8, 2017
272017
First Principle Simulations of Various Magnetic Tunnel Junctions $\kern-2pt $ for $\kern-2pt $ Applications in Magnetoresistive Random Access Memories
M Chakraverty, HM Kittur, PA Kumar
IEEE Transactions on nanotechnology 12 (6), 971-977, 2013
272013
Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems
F Santy, G Raravi, G Nelissen, V Nelis, P Kumar, J Goossens, E Tovar
Proceedings of the 21st International conference on Real-Time Networks and …, 2013
232013
Interference constraint graph—A new specification for mixed-criticality systems
P Huang, P Kumar, N Stoimenov, L Thiele
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
202013
Neural network based on-chip thermal simulator
P Kumar, D Atienza
Proceedings of 2010 IEEE International Symposium on Circuits and Systems …, 2010
122010
Run and be safe: Mixed-criticality scheduling with temporary processor speedup
P Huang, P Kumar, G Giannopoulou, L Thiele
Proceedings of the 2015 Design, Automation & Test in Europe Conference …, 2015
112015
Convey: Exploring the use of a context view for chatbots
M Jain, R Kota, P Kumar, SN Patel
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems …, 2018
102018
Quantifying the effect of rare timing events with settling-time and overshoot
P Kumar, L Thiele
2012 IEEE 33rd Real-Time Systems Symposium, 149-160, 2012
102012
Timing analysis on a processor with temperature-controlled speed scaling
P Kumar, L Thiele
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012
102012
Sf3p: A framework to explore and prototype hierarchical compositions of real-time schedulers
A Gomez, L Schor, P Kumar, L Thiele
2014 25nd IEEE International Symposium on Rapid System Prototyping, 2-8, 2014
92014
An algorithm for online reconfiguration of resource reservations for hard real-time systems
P Kumar, N Stoimenov, L Thiele
2012 24th Euromicro Conference on Real-Time Systems, 245-254, 2012
92012
Planning curtailment of renewable generation in power grids
S Bandyopadhyay, P Kumar, V Arya
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
82016
Cloud optimization using workload analysis
S Alapati, P Kumar, G Palani, R Ravindran, SK Sadasivam
US Patent 8,838,801, 2014
82014
A satisfiability approach to speed assignment for distributed real-time systems
P Kumar, DB Chokshi, L Thiele
Proceedings of the Conference on Design, Automation and Test in Europe, 749-754, 2013
82013
Demand bound server: Generalized resource reservation for hard real-time systems
P Kumar, JJ Chen, L Thiele
2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011
82011
Real-time analysis of servers for general job arrivals
P Kumar, JJ Chen, L Thiele, A Schranzhofer, GC Buttazzo
2011 IEEE 17th International Conference on Embedded and Real-Time Computing …, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20