Pratyush Kumar
Title
Cited by
Cited by
Year
A hybrid approach to cyber-physical systems verification
P Kumar, D Goswami, S Chakraborty, A Annaswamy, K Lampka, L Thiele
DAC Design Automation Conference 2012, 688-696, 2012
692012
Evaluating and informing the design of chatbots
M Jain, P Kumar, R Kota, SN Patel
Proceedings of the 2018 Designing Interactive Systems Conference, 895-906, 2018
572018
Energy efficient dvfs scheduling for mixed-criticality systems
P Huang, P Kumar, G Giannopoulou, L Thiele
2014 International Conference on Embedded Software (EMSOFT), 1-10, 2014
572014
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), 1-29, 2017
542017
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
482011
Cool shapers: Shaping real-time tasks for improved thermal guarantees
P Kumar, L Thiele
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 468-473, 2011
382011
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
302013
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
262018
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
262013
Neural network based on-chip thermal simulator
P Kumar, D Atienza
Proceedings of 2010 IEEE International Symposium on Circuits and Systems …, 2010
192010
FarmChat: A Conversational Agent to Answer Farmer Queries
M Jain, P Kumar, I Bhansali, QV Liao, K Truong, S Patel
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous …, 2018
182018
Run and be safe: Mixed-criticality scheduling with temporary processor speedup
P Huang, P Kumar, G Giannopoulou, L Thiele
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
162015
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
122012
Planning curtailment of renewable generation in power grids
S Bandyopadhyay, P Kumar, V Arya
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
102016
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
102014
A satisfiability approach to speed assignment for distributed real-time systems
P Kumar, DB Chokshi, L Thiele
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 749-754, 2013
102013
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
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
Can real-time systems be chaotic?
L Thiele, P Kumar
2015 International Conference on Embedded Software (EMSOFT), 21-30, 2015
82015
System-level power and timing variability characterization to compute thermal guarantees
P Kumar, L Thiele
2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on …, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20