default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetru Eles
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2007
[b3]Sorin Manolache, Petru Eles, Zebo Peng:
Real-time applications with stochastic task execution times - analysis and optimisation. Springer 2007, ISBN 978-1-4020-5505-8, pp. I-XIV, 1-152- 2004
- [b2]Paul Pop, Petru Eles, Zebo Peng:
Analysis and synthesis of distributed real-time embedded systems. Springer 2004, ISBN 978-1-4020-2872-4, pp. I-XIX, 1-326 - [b1]Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles:
System-level design techniques for energy-efficient embedded systems. Springer 2004, ISBN 978-1-4020-7750-0, pp. I-XVII, 1-194
Journal Articles
- 2024
- [j66]Yungang Pan
, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng:
Multi-Traffic Resource Optimization for Real-Time Applications with 5G Configured Grant Scheduling. ACM Trans. Embed. Comput. Syst. 23(4): 63:1-63:31 (2024) - 2023
- [j65]Mina Niknafs, Petru Eles, Zebo Peng:
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction. ACM Trans. Embed. Comput. Syst. 22(4): 71:1-71:34 (2023) - 2022
- [j64]Adrian Horga, Ahmed Rezine, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Symbolic identification of shared memory based bank conflicts for GPUs. J. Syst. Archit. 127: 102518 (2022) - 2021
- [j63]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng:
Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN. IEEE Des. Test 38(5): 48-56 (2021) - [j62]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking. ACM Trans. Embed. Comput. Syst. 20(5): 41:1-41:24 (2021) - 2020
- [j61]Petru Eles, Tulika Mitra:
ESWEEK 2019 Conference Report. IEEE Des. Test 37(1): 100-101 (2020) - [j60]Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Genetic algorithm based estimation of non-functional properties for GPGPU programs. J. Syst. Archit. 103: 101697 (2020) - [j59]Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang:
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(3): 714-727 (2020) - [j58]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng:
Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks. ACM Trans. Design Autom. Electr. Syst. 25(1): 1:1-1:26 (2020) - 2019
- [j57]Soonhoi Ha, Petru Eles:
2018 Embedded Systems Week (ESWEEK) in Torino. IEEE Des. Test 36(1): 68-69 (2019) - [j56]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Scheduling optimization with partitioning for mixed-criticality systems. J. Syst. Archit. 98: 191-200 (2019) - 2018
- [j55]Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin, Karl-Erik Årzén:
Control-Quality-Driven Design of Embedded Control Systems with Stability Guarantees. IEEE Des. Test 35(4): 38-46 (2018) - [j54]Xiaobo Sharon Hu, Rolf Ernst, Petru Eles, Gernot Heiser, Kurt Keutzer, Daehyun Kim, Tetsuya Tohdo:
Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact? IEEE Des. Test 35(6): 86-93 (2018) - [j53]Amir Aminifar, Petru Eles, Zebo Peng:
Optimization of Message Encryption for Real-Time Applications in Embedded Systems. IEEE Trans. Computers 67(5): 748-754 (2018) - [j52]Soonhoi Ha, Petru Eles:
Editorial. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2187 (2018) - [j51]Petru Eles, Jörg Henkel:
Guest Editorial for the Special Issue of ESWEEK 2016. ACM Trans. Embed. Comput. Syst. 17(1): 14:1-14:3 (2018) - 2017
- [j50]Ivan Ukhov, Petru Eles, Zebo Peng:
Probabilistic Analysis of Electronic Systems via Adaptive Hierarchical Interpolation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(11): 1883-1896 (2017) - 2016
- [j49]Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Systematic detection of memory related performance bottlenecks in GPGPU programs. J. Syst. Archit. 71: 73-87 (2016) - [j48]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Counting dynamically synchronizing processes. Int. J. Softw. Tools Technol. Transf. 18(5): 517-534 (2016) - [j47]Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Analysis and Design of Real-Time Servers for Control Applications. IEEE Trans. Computers 65(3): 834-846 (2016) - [j46]Adrian Alin Lifa, Petru Eles, Zebo Peng:
A Reconfigurable Framework for Performance Enhancement With Dynamic FPGA Configuration Prefetching. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(1): 100-113 (2016) - [j45]Ke Jiang, Petru Eles, Zebo Peng:
Power-Aware Design Techniques of Secure Multimode Embedded Systems. ACM Trans. Embed. Comput. Syst. 15(1): 6:1-6:29 (2016) - [j44]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. ACM Trans. Embed. Comput. Syst. 15(3): 54:1-54:31 (2016) - [j43]Petru Eles, Rolf Ernst:
Guest Editorial for Special Issue of ESWEEK 2015. ACM Trans. Embed. Comput. Syst. 15(4): 63:1-63:2 (2016) - 2015
- [j42]Nima Aghaee, Zebo Peng, Petru Eles:
A Test-Ordering Based Temperature-Cycling Acceleration Technique for 3D Stacked ICs. J. Electron. Test. 31(5-6): 503-523 (2015) - [j41]Sergiu Rafiliu, Petru Eles, Zebo Peng, Michael Lemmon:
Stability of Online Resource Managers for Distributed Systems under Execution Time Variations. ACM Trans. Embed. Comput. Syst. 14(2): 21:1-21:29 (2015) - [j40]Ivan Ukhov, Petru Eles, Zebo Peng:
Temperature-Centric Reliability Analysis and Optimization of Electronic Systems Under Process Variation. IEEE Trans. Very Large Scale Integr. Syst. 23(11): 2417-2430 (2015) - [j39]Nima Aghaee, Zebo Peng, Petru Eles:
Temperature-Gradient-Based Burn-In and Test Scheduling for 3-D Stacked ICs. IEEE Trans. Very Large Scale Integr. Syst. 23(12): 2992-3005 (2015) - 2014
- [j38]Sudipta Chattopadhyay, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng:
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Found. Trends Electron. Des. Autom. 8(3-4): 199-356 (2014) - [j37]Ivan Ukhov, Petru Eles, Zebo Peng:
Probabilistic Analysis of Power and Temperature Under Process Variation for Electronic System Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(6): 931-944 (2014) - [j36]Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Quantifying Notions of Extensibility in FlexRay Schedule Synthesis. ACM Trans. Design Autom. Electr. Syst. 19(4): 32:1-32:37 (2014) - 2013
- [j35]Nima Aghaee, Zebo Peng, Petru Eles:
Process-Variation and Temperature Aware SoC Test Scheduling Technique. J. Electron. Test. 29(4): 499-520 (2013) - [j34]Sergiu Rafiliu, Petru Eles, Zebo Peng:
Stability of adaptive feedback-based resource managers for systems with execution time variations. Real Time Syst. 49(3): 367-400 (2013) - 2012
- [j33]Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles:
Low-Energy Standby-Sparing for Hard Real-Time Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(3): 329-342 (2012) - [j32]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs. ACM Trans. Embed. Comput. Syst. 11(3): 61:1-61:35 (2012) - [j31]Mladen Berekovic, Samarjit Chakraborty, Petru Eles, Andy D. Pimentel:
Introduction to the Special Section on ESTIMedia'08. ACM Trans. Embed. Comput. Syst. 11(S1): 11 (2012) - [j30]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. IEEE Trans. Very Large Scale Integr. Syst. 20(7): 1187-1200 (2012) - 2011
- [j29]Alexandru Andrei, Petru Eles, Olivera Jovanovic, Marcus T. Schmitz, Jens Ogniewski, Zebo Peng:
Quasi-Static Voltage Scaling for Energy Minimization With Time Constraints. IEEE Trans. Very Large Scale Integr. Syst. 19(1): 10-23 (2011) - 2009
- [j28]Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng:
Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication. IEEE Trans. Very Large Scale Integr. Syst. 17(3): 389-402 (2009) - 2008
- [j27]Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi:
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. J. Electron. Test. 24(1-3): 247-257 (2008) - [j26]Daniel Karlsson, Petru Eles, Zebo Peng:
Model validation for embedded systems using formal method-aided simulation. IET Comput. Digit. Tech. 2(6): 413-433 (2008) - [j25]Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. Int. J. Parallel Program. 36(1): 37-67 (2008) - [j24]Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei:
Timing analysis of the FlexRay communication protocol. Real Time Syst. 39(1-3): 205-235 (2008) - [j23]Sorin Manolache, Petru Eles, Zebo Peng:
Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. ACM Trans. Embed. Comput. Syst. 7(2): 19:1-19:35 (2008) - 2007
- [j22]Daniel Karlsson, Petru Eles, Zebo Peng:
Formal verification of component-based designs. Des. Autom. Embed. Syst. 11(1): 49-90 (2007) - [j21]Sorin Manolache, Petru Eles, Zebo Peng:
Fault-aware Communication Mapping for NoCs with Guaranteed Latency. Int. J. Parallel Program. 35(2): 125-156 (2007) - [j20]Alexandru Andrei, Petru Eles, Zebo Peng, Marcus T. Schmitz, Bashir M. Al-Hashimi:
Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection. IEEE Trans. Very Large Scale Integr. Syst. 15(3): 262-275 (2007) - 2006
- [j19]Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
Test Time Minimization for Hybrid BIST of Core-Based Systems. J. Comput. Sci. Technol. 21(6): 907-912 (2006) - [j18]Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. ACM Trans. Embed. Comput. Syst. 5(1): 54-81 (2006) - [j17]Paul Pop, Petru Eles, Zebo Peng, Traian Pop:
Analysis and optimization of distributed real-time embedded systems. ACM Trans. Design Autom. Electr. Syst. 11(3): 593-625 (2006) - [j16]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. IEEE Trans. Very Large Scale Integr. Syst. 14(10): 1117-1129 (2006) - 2005
- [j15]Abdil Rashid Mohamed, Zebo Peng, Petru Eles:
A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead. J. Comput. Sci. Technol. 20(2): 216-223 (2005) - [j14]Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles:
Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(2): 153-169 (2005) - [j13]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Trans. Embed. Comput. Syst. 4(1): 112-140 (2005) - 2004
- [j12]Radu Marculescu, Petru Eles:
Guest Editors' Introduction: Designing Real-Time Embedded Multimedia Systems. IEEE Des. Test Comput. 21(5): 354-356 (2004) - [j11]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. Real Time Syst. 26(3): 297-325 (2004) - [j10]Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles:
Iterative schedule optimization for voltage scalable distributed embedded systems. ACM Trans. Embed. Comput. Syst. 3(1): 182-217 (2004) - [j9]Sorin Manolache, Petru Eles, Zebo Peng:
Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embed. Comput. Syst. 3(4): 706-735 (2004) - [j8]Paul Pop, Petru Eles, Zebo Peng, Traian Pop:
Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 12(8): 793-811 (2004) - 2003
- [j7]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Modeling and formal verification of embedded systems based on a Petri net representation. J. Syst. Archit. 49(12-15): 571-598 (2003) - 2002
- [j6]Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles:
Synthesizing Energy-Efficient Embedded Systems with LOPOCOS. Des. Autom. Embed. Syst. 6(4): 401-424 (2002) - [j5]Petru Eles, Zebo Peng:
Editorial. Des. Autom. Embed. Syst. 7(1-2): 5-6 (2002) - 2000
- [j4]Petru Eles, Alex Doboli, Paul Pop, Zebo Peng:
Scheduling with bus access optimization for distributed embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 8(5): 472-491 (2000) - 1997
- [j3]Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alexa Doboli:
System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search. Des. Autom. Embed. Syst. 2(1): 5-32 (1997) - [j2]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli:
Post-synthesis back-annotation of timing information in behavioral VHDL. J. Syst. Archit. 42(9-10): 725-741 (1997) - 1996
- [j1]Petru Eles, Krzysztof Kuchcinski, Zebo Peng:
Synthesis of systems specified as interacting VHDL processes. Integr. 21(1-2): 113-138 (1996)
Conference and Workshop Papers
- 2023
- [c174]Yungang Pan, Rouhollah Mahfouzi, Soheil Samii, Petru Eles, Zebo Peng:
Resource Optimization with 5G Configured Grant Scheduling for Real-Time Applications. DATE 2023: 1-2 - 2022
- [c173]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Time-Triggered Scheduling for Time-Sensitive Networking with Preemption. ASP-DAC 2022: 262-267 - 2021
- [c172]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng:
Secure Cloud Control Using Verifiable Computation. COINS 2021: 1-6 - [c171]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive Networking. RTAS 2021: 184-195 - 2020
- [c170]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Verifying Safety of Parameterized Heard-Of Algorithms. NETYS 2020: 209-226 - 2019
- [c169]Yuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng:
Partitioned and overhead-aware scheduling of mixed-criticality real-time systems. ASP-DAC 2019: 39-44 - [c168]Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng:
Runtime Resource Management with Workload Prediction. DAC 2019: 169 - [c167]Arian Maghazeh, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications. DATE 2019: 570-575 - [c166]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng:
Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems. RTSS 2019: 93-106 - [c165]Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. TACAS (1) 2019: 299-315 - 2018
- [c164]Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng:
Stability-aware integrated routing and scheduling for control applications in Ethernet networks. DATE 2018: 682-687 - [c163]Adrian Horga, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA. DSD 2018: 30-37 - 2017
- [c162]Arian Maghazeh, Unmesh D. Bordoloi, Usman Dastgeer, Alexandru Andrei, Petru Eles, Zebo Peng:
Latency-Aware Packet Processing on CPU-GPU Heterogeneous Systems. DAC 2017: 41:1-41:6 - [c161]Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng:
Two-Phase Interarrival Time Prediction for Runtime Resource Management. DSD 2017: 524-528 - [c160]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety verification of phaser programs. FMCAD 2017: 68-75 - [c159]Mina Niknafs, Ivan Ukhov, Petru Eles, Zebo Peng:
Workload prediction for runtime resource management. NORCAS 2017: 1-5 - 2016
- [c158]Ke Jiang, Petru Eles, Zebo Peng, Sudipta Chattopadhyay, Lejla Batina:
SPARTA: A scheduling policy for thwarting differential power analysis attacks. ASP-DAC 2016: 667-672 - [c157]Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng:
Self-triggered controllers and hard real-time guarantees. DATE 2016: 636-641 - [c156]Rouhollah Mahfouzi, Amir Aminifar, Petru Eles, Zebo Peng, Mattias Villani:
Intrusion-Damage Assessment and Mitigation in Cyber-Physical Systems for Control Applications. RTNS 2016: 141-150 - [c155]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Lazy Constrained Monotonic Abstraction. VMCAI 2016: 147-165 - 2015
- [c154]Nima Aghaee, Zebo Peng, Petru Eles:
An integrated temperature-cycling acceleration and test technique for 3D stacked ICs. ASP-DAC 2015: 526-531 - [c153]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Probabilistic Response Time and Joint Analysis of Periodic Tasks. ECRTS 2015: 235-246 - [c152]Adrian Alin Lifa, Petru Eles, Zebo Peng:
On-the-fly energy minimization for multi-mode real-time systems on heterogeneous platforms. ESTIMedia 2015: 1-10 - [c151]Nima Aghaee, Zebo Peng, Petru Eles:
Efficient Test Application for Rapid Multi-Temperature Testing. ACM Great Lakes Symposium on VLSI 2015: 3-8 - [c150]Arian Maghazeh, Unmesh D. Bordoloi, Mattias Villani, Petru Eles, Zebo Peng:
Perception-Aware Power Management for Mobile Games via Dynamic Resolution Scaling. ICCAD 2015: 613-620 - [c149]Amir Aminifar, Petru Eles, Zebo Peng:
Jfair: a scheduling algorithm to stabilize control applications. RTAS 2015: 63-72 - [c148]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Abstracting and Counting Synchronizing Processes. VMCAI 2015: 227-244 - 2014
- [c147]Ivan Ukhov, Mattias Villani, Petru Eles, Zebo Peng:
Statistical analysis of process variation based on indirect measurements for electronic system design. ASP-DAC 2014: 436-442 - [c146]Arian Maghazeh, Unmesh D. Bordoloi, Adrian Horga, Petru Eles, Zebo Peng:
Saving energy without defying deadlines on mobile GPU-based heterogeneous systems. CODES+ISSS 2014: 8:1-8:10 - [c145]Nima Aghaee, Zebo Peng, Petru Eles:
An efficient temperature-gradient based burn-in technique for 3D stacked ICs. DATE 2014: 1-4 - [c144]Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Bandwidth-efficient controller-server co-design with stability guarantees. DATE 2014: 1-6 - [c143]Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Automated software testing of memory performance in embedded GPUs. EMSOFT 2014: 17:1-17:10 - [c142]Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng:
Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks. ISVLSI 2014: 450-455 - [c141]Unmesh D. Bordoloi, Amir Aminifar, Petru Eles, Zebo Peng:
Schedulability analysis of Ethernet AVB switches. RTCSA 2014: 1-10 - [c140]Nima Aghaee, Zebo Peng, Petru Eles:
Process-Variation Aware Multi-temperature Test Scheduling. VLSID 2014: 32-37 - 2013
- [c139]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Dynamic configuration prefetching based on piecewise linear prediction. DATE 2013: 815-820 - [c138]Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin:
Control-quality driven design of cyber-physical systems with robustness guarantees. DATE 2013: 1093-1098 - [c137]Ke Jiang, Petru Eles, Zebo Peng:
Optimization of secure embedded systems with dynamic task sets. DATE 2013: 1765-1770 - [c136]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Probabilistic Timing Analysis for the Dynamic Segment of FlexRay. ECRTS 2013: 135-144 - [c135]Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin:
Stability-aware analysis and design of embedded control systems. EMSOFT 2013: 23:1-23:10 - [c134]Nima Aghaee, Zebo Peng, Petru Eles:
Temperature-gradient based test scheduling for 3D stacked ICs. ICECS 2013: 405-408 - [c133]Ke Jiang, Adrian Alin Lifa, Petru Eles, Zebo Peng, Wei Jiang:
Energy-aware design of secure multi-mode real-time embedded systems with FPGA co-processors. RTNS 2013: 109-118 - [c132]Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng:
Designing Bandwidth-Efficient Stabilizing Control Servers. RTSS 2013: 298-307 - [c131]Arian Maghazeh, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
General purpose computing on low-power embedded GPUs: Has it come of age? ICSAMOS 2013: 1-10 - 2012
- [c130]Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng:
Automatic Test Program Generation for Out-of-Order Superscalar Processors. Asian Test Symposium 2012: 338-343 - [c129]Ivan Ukhov, Min Bao, Petru Eles, Zebo Peng:
Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems. DAC 2012: 197-204 - [c128]Ke Jiang, Petru Eles, Zebo Peng:
Co-design techniques for distributed real-time embedded systems with communication security constraints. DATE 2012: 947-952 - [c127]Bharath Suri, Unmesh D. Bordoloi, Petru Eles:
A scalable GPU-based approach to accelerate the multiple-choice knapsack problem. DATE 2012: 1126-1129 - [c126]Soheil Samii, Unmesh D. Bordoloi, Petru Eles, Zebo Peng, Anton Cervin:
Control-Quality Optimization for Distributed Embedded Systems with Adaptive Fault Tolerance. ECRTS 2012: 68-77 - [c125]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Minimization of average execution time based on speculative FPGA configuration prefetch. ReConFig 2012: 1-8 - [c124]Bogdan Tanasa, Unmesh D. Bordoloi, Stefanie Kosuch, Petru Eles, Zebo Peng:
Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 185-194 - [c123]Unmesh D. Bordoloi, Bogdan Tanasa, Mehdi Baradaran Tahoori, Petru Eles, Zebo Peng, Syed Zafar Shazli, Samarjit Chakraborty:
Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic. RTCSA 2012: 164-173 - [c122]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Context-Aware Speculative Prefetch for Soft Real-Time Applications. RTCSA 2012: 174-183 - [c121]Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin:
Designing High-Quality Embedded Control Systems with Guaranteed Stability. RTSS 2012: 283-292 - [c120]Unmesh D. Bordoloi, Bogdan Tanasa, Petru Eles, Zebo Peng:
On the timing analysis of the dynamic segment of FlexRay. SIES 2012: 94-101 - [c119]Unmesh D. Bordoloi, Bharath Suri, Swaroop Nunna, Samarjit Chakraborty, Petru Eles, Zebo Peng:
Customizing Instruction Set Extensible Reconfigurable Processors Using GPUs. VLSI Design 2012: 418-423 - 2011
- [c118]Adrian Alin Lifa, Petru Eles, Zebo Peng:
Performance optimization of error detection based on speculative reconfiguration. DAC 2011: 369-374 - [c117]Reinhard Schneider, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
On the quantification of sustainability and extensibility of FlexRay schedules. DAC 2011: 375-380 - [c116]Ke Jiang, Petru Eles, Zebo Peng:
Optimization of message encryption for distributed embedded systems with real-time constraints. DDECS 2011: 243-248 - [c115]Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin:
Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications. DELTA 2011: 66-71 - [c114]Jason Rosén, Petru Eles, Zebo Peng, Alexandru Andrei:
Predictable Worst-Case Execution Time Analysis for Multiprocessor Systems-on-Chip. DELTA 2011: 99-104 - [c113]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
On-line Temperature-Aware Idle Time Distribution for Leakage Energy Optimization. DELTA 2011: 156-161 - [c112]Nima Aghaee, Zebo Peng, Petru Eles:
Adaptive Temperature-Aware SoC Test Scheduling Considering Process Variation. DSD 2011: 197-204 - [c111]Sergiu Rafiliu, Petru Eles, Zebo Peng:
Stability Conditions of On-line Resource Managers for Systems with Execution Time Variations. ECRTS 2011: 151-161 - [c110]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Reliability-aware frame packing for the static segment of flexray. EMSOFT 2011: 175-184 - [c109]Nima Aghaee, Zebo Peng, Petru Eles:
Process-variation and temperature aware soc test scheduling using particle swarm optimization. IDT 2011: 1-6 - [c108]Jakob Rosen, Carl-Fredrik Neikter, Petru Eles, Zebo Peng, Paolo Burgio, Luca Benini:
Bus Access Design for Combined Worst and Average Case Execution Time Optimization of Predictable Real-Time Applications on Multiprocessor Systems-on-Chip. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 291-301 - [c107]Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng:
Control-Quality Driven Task Mapping for Distributed Embedded Control Systems. RTCSA (1) 2011: 133-142 - 2010
- [c106]Nima Aghaee, Zhiyuan He, Zebo Peng, Petru Eles:
Temperature-Aware SoC Test Scheduling Considering Inter-Chip Process Variation. Asian Test Symposium 2010: 395-398 - [c105]Adrian Alin Lifa, Petru Eles, Zebo Peng, Viacheslav Izosimov:
Hardware/software optimization of error detection implementation for real-time embedded systems. CODES+ISSS 2010: 41-50 - [c104]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-aware idle time distribution for energy optimization with dynamic voltage scaling. DATE 2010: 21-26 - [c103]Zhiyuan He, Zebo Peng, Petru Eles:
Multi-temperature testing for core-based system-on-chip. DATE 2010: 208-213 - [c102]Naehyuck Chang, Jörg Henkel, Andy D. Pimentel, Petru Eles:
Message from the chairs. ESTIMedia 2010 - [c101]Viacheslav Izosimov, Petru Eles, Zebo Peng:
Value-based scheduling of distributed fault-tolerant real-time systems with soft and hard timing constraints. ESTIMedia 2010: 31-40 - [c100]Sergiu Rafiliu, Petru Eles, Zebo Peng:
Low Overhead Dynamic QoS Optimization under Variable Task Execution Times. RTCSA 2010: 293-302 - [c99]Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin:
Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. RTSS 2010: 95-104 - [c98]Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. RTSS 2010: 385-394 - 2009
- [c97]Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles:
A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems. CODES+ISSS 2009: 193-202 - [c96]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration. DAC 2009: 490-495 - [c95]Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin:
Quality-driven synthesis of embedded multi-mode control systems. DAC 2009: 864-869 - [c94]Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng:
Integrated scheduling and synthesis of control applications on distributed embedded systems. DATE 2009: 57-62 - [c93]Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng:
Analysis and optimization of fault-tolerant embedded systems with hardened processors. DATE 2009: 682-687 - [c92]Zhiyuan He, Zebo Peng, Petru Eles:
Thermal-Aware Test Scheduling for Core-Based SoC in an Abort-on-First-Fail Test Environment. DSD 2009: 239-246 - [c91]Andy D. Pimentel, Naehyuck Chang, Petru Eles, Samarjit Chakraborty:
2009 IEEE/ACM/IFIP 7th workshop on embedded systems for Real-Time multimedia (ESTIMedia 2009). ESTIMedia 2009: 1 - [c90]Soheil Samii, Yanfei Yin, Zebo Peng, Petru Eles, Yuanping Zhang:
Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers. RTCSA 2009: 486-493 - [c89]Petru Eles:
Predictable Implementation of Real-Time Applications on Multiprocessor Systems on Chip. WCET 2009 - 2008
- [c88]Zhiyuan He, Zebo Peng, Petru Eles:
Simulation-Driven Thermal-Safe Test Time Minimization for System-on-Chip. ATS 2008: 283-288 - [c87]Anders Larsson, Erik Larsson, Krishnendu Chakrabarty, Petru Eles, Zebo Peng:
Test-Architecture Optimization and Test Scheduling for SOCs with Core-Level Expansion of Compressed Test Patterns. DATE 2008: 188-193 - [c86]Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng:
A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems. DATE 2008: 556-561 - [c85]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. DATE 2008: 915-920 - [c84]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-Aware Voltage Selection for Energy Optimization. DATE 2008: 1083-1086 - [c83]Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng:
Synthesis of Fault-Tolerant Embedded Systems. DATE 2008: 1117-1122 - [c82]Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng:
Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling. DDECS 2008: 44-49 - [c81]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems. DSD 2008: 71-80 - [c80]Alexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen:
Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. VLSI Design 2008: 103-110 - 2007
- [c79]Paul Pop, Kåre Harbo Poulsen, Viacheslav Izosimov, Petru Eles:
Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems. CODES+ISSS 2007: 233-238 - [c78]Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
Bus access optimisation for FlexRay-based distributed embedded systems. DATE 2007: 51-56 - [c77]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
Optimized integration of test compression and sharing for SOC testing. DATE 2007: 207-212 - [c76]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing. DDECS 2007: 61-66 - [c75]Daniel Karlsson, Petru Eles, Zebo Peng:
Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310 - [c74]Zhiyuan He, Zebo Peng, Petru Eles:
A heuristic for thermal-safe SoC test scheduling. ITC 2007: 1-10 - [c73]Erik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles:
What impacts course evaluation? ITiCSE 2007: 333 - [c72]Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng:
Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. RTSS 2007: 49-60 - 2006
- [c71]Zhiyuan He, Zebo Peng, Petru Eles:
Power constrained and defect-probability driven SoC test scheduling with test set partitioning. DATE 2006: 291-296 - [c70]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems. DATE 2006: 706-711 - [c69]Sorin Manolache, Petru Eles, Zebo Peng:
Buffer space optimisation with communication synthesis and traffic shaping for NoCs. DATE 2006: 718-723 - [c68]Daniel Karlsson, Petru Eles, Zebo Peng:
Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233 - [c67]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. DELTA 2006: 440-447 - [c66]Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi:
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. DFT 2006: 477-485 - [c65]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*. DSD 2006: 313-322 - [c64]Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei:
Timing Analysis of the FlexRay Communication Protocol. ECRTS 2006: 203-216 - [c63]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints. RTCSA 2006: 279-286 - 2005
- [c62]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
SOC Test Scheduling with Test Set Sharing and Broadcasting. Asian Test Symposium 2005: 162-169 - [c61]Sorin Manolache, Petru Eles, Zebo Peng:
Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC. DAC 2005: 266-269 - [c60]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints. DAC 2005: 889-894 - [c59]Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints. DATE 2005: 514-519 - [c58]Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng:
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems. DATE 2005: 864-869 - [c57]Dong Wu, Bashir M. Al-Hashimi, Marcus T. Schmitz, Petru Eles:
Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction. DSD 2005: 34-41 - [c56]Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles:
Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment. DSD 2005: 83-87 - [c55]Daniel Karlsson, Petru Eles, Zebo Peng:
Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201 - [c54]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip. DSD 2005: 403-411 - [c53]Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. RTCSA 2005: 67-71 - [c52]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. RTCSA 2005: 422-428 - 2004
- [c51]Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles:
Hybrid BIST Test Scheduling Based on Defect Probabilities. Asian Test Symposium 2004: 230-235 - [c50]Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. DATE 2004: 518-525 - [c49]Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov, Magnus Hellring, Olof Bridal:
Design Optimization of Multi-Cluster Embedded Systems for Real-Time Application. DATE 2004: 1027-1033 - [c48]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. DATE 2004: 1176-1183 - [c47]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. DELTA 2004: 115-120 - [c46]Abdil Rashid Mohamed, Zebo Peng, Petru Eles:
A Wiring-Aware Approach to Minimizing Built-in Self-Test Overhead. DELTA 2004: 413-415 - [c45]Daniel Karlsson, Petru Eles, Zebo Peng:
A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379 - [c44]Abdil Rashid Mohamed, Zebo Peng, Petru Eles:
A Heuristic for Wiring-Aware Built-In Self-Test Synthesis. DSD 2004: 408-415 - [c43]Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov:
Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. ECRTS 2004: 91-100 - [c42]Daniel Karlsson, Petru Eles, Zebo Peng:
A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568 - [c41]Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems. ICCAD 2004: 362-369 - [c40]Sorin Manolache, Petru Eles, Zebo Peng:
Optimization of Soft Real-Time Systems with Deadline Miss Ratio Constraints. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 562-570 - 2003
- [c39]Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
Test Time Minimization for Hybrid BIST of Core-Based Systems. Asian Test Symposium 2003: 318-325 - [c38]Traian Pop, Petru Eles, Zebo Peng:
Design optimization of mixed time/event-triggered distributed embedded systems. CODES+ISSS 2003: 83-89 - [c37]Dong Wu, Bashir M. Al-Hashimi, Petru Eles:
Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems. DATE 2003: 10090-10095 - [c36]Paul Pop, Petru Eles, Zebo Peng:
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. DATE 2003: 10184-10189 - [c35]Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles:
A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities. DATE 2003: 10960-10965 - [c34]Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture. DFT 2003: 225- - [c33]Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng:
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip. DFT 2003: 385-392 - [c32]Traian Pop, Petru Eles, Zebo Peng:
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. ECRTS 2003: 257-266 - [c31]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-driven frame packing for multi-cluster distributed embedded systems. LCTES 2003: 113-122 - 2002
- [c30]Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Symbolic model checking of Dual Transition Petri Nets. CODES 2002: 43-48 - [c29]Traian Pop, Petru Eles, Zebo Peng:
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. CODES 2002: 187-192 - [c28]Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles:
Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems. DATE 2002: 514-521 - [c27]Sorin Manolache, Petru Eles, Zebo Peng:
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ICCAD 2002: 699-706 - [c26]Petru Eles, Zebo Peng, Daniel Karlsson:
Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161 - 2001
- [c25]Paul Pop, Petru Eles, Traian Pop, Zebo Peng:
Minimizing system modification in an incremental design approach. CODES 2001: 183-188 - [c24]Paul Pop, Petru Eles, Traian Pop, Zebo Peng:
An Approach to Incremental Design of Distributed Embedded Systems. DAC 2001: 450-455 - [c23]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Hierarchical Modeling and Verification of Embedded Systems. DSD 2001: 63-71 - [c22]Sorin Manolache, Petru Eles, Zebo Peng:
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. ECRTS 2001: 19- - [c21]Peter Nilsson, Petru Eles, Hannu Tenhunen:
SOCWARE: A New Swedish Design Cluster for System-on-Chip. MSE 2001: 44-45 - 2000
- [c20]Paul Pop, Petru Eles, Zebo Peng:
Performance estimation for embedded systems with data and control dependencies. CODES 2000: 62-66 - [c19]Paul Pop, Petru Eles, Zebo Peng:
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. DATE 2000: 567-574 - [c18]Paul Pop, Petru Eles, Zebo Peng:
Schedulability analysis for systems with data and control dependencies. ECRTS 2000: 201-208 - [c17]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Formal Coverification of Embedded Systems Using Model Checking. EUROMICRO 2000: 1106-1113 - [c16]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Definitions of Equivalence for Transformational Synthesis of Embedded Systems. ICECCS 2000: 134-142 - [c15]Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng:
Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. ISORC 2000: 210- - [c14]Luis Alejandro Cortés, Petru Eles, Zebo Peng:
Verification of Embedded Systems using a Petri Net based Representation. ISSS 2000: 149-156 - 1999
- [c13]Paul Pop, Petru Eles, Zebo Peng:
Scheduling with optimized communication for time-triggered embedded systems. CODES 1999: 178-182 - [c12]Paul Pop, Petru Eles, Zebo Peng:
An Improved Scheduling Technique for Time-Triggered Embedded Systems. EUROMICRO 1999: 1303-1310 - [c11]Paul Pop, Petru Eles, Zebo Peng:
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. RTCSA 1999: 287-294 - 1998
- [c10]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop:
Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. DATE 1998: 132-138 - [c9]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop:
Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems. EUROMICRO 1998: 10168- - [c8]Alex Doboli, Petru Eles:
Scheduling under data and control dependencies for heterogeneous architectures. ICCD 1998: 602-608 - 1996
- [c7]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli:
Hardware/software partitioning of VHDL system specifications. EURO-DAC 1996: 434-439 - [c6]Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng:
Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. EUROMICRO 1996: 185-192 - [c5]Petru Eles, Zebo Peng, Krzysztof Kuchcinski, Alex Doboli:
Hardware/Software Partitioning with Iterative Improvement Heuristics. ISSS 1996: 71-76 - 1995
- [c4]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli:
Timing constraint specification and synthesis in behavioral VHDL. EURO-DAC 1995: 452-457 - 1994
- [c3]Petru Eles, Zebo Peng, Alexa Doboli:
VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. CODES 1994: 49-55 - [c2]Petru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng:
Synthesis of VHDL concurrent processes. EURO-DAC 1994: 540-545 - 1992
- [c1]Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Marius Minea:
Compiling VHDL into a high-level synthesis design representation. EURO-DAC 1992: 604-609
Parts in Books or Collections
- 2017
- [p2]Soonhoi Ha, Jürgen Teich, Christian Haubelt, Michael Glaß, Tulika Mitra, Rainer Dömer, Petru Eles, Aviral Shrivastava, Andreas Gerstlauer, Shuvra S. Bhattacharyya:
Introduction to Hardware/Software Codesign. Handbook of Hardware/Software Codesign 2017: 3-26 - [p1]Haibo Zeng, Prachi Joshi, Daniel Thiele, Jonas Diemer, Philip Axer, Rolf Ernst, Petru Eles:
Networked Real-Time Embedded Systems. Handbook of Hardware/Software Codesign 2017: 753-792
Editorship
- 2016
- [e5]Petru Eles, Rahul Mangharam:
2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016. ACM 2016, ISBN 978-1-4503-4485-2 [contents] - 2008
- [e4]Petru Eles, Andy D. Pimentel:
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008. IEEE Computer Society 2008, ISBN 978-1-4244-2612-6 [contents] - 2007
- [e3]Samarjit Chakraborty, Petru Eles:
Proceedings of the 2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2007, October 4-5, Salzburg, Austria, conjunction with CODES+ISSS 2007. IEEE Computer Society 2007, ISBN 978-1-4244-1654-7 [contents] - 2005
- [e2]Petru Eles, Axel Jantsch, Reinaldo A. Bergamaschi:
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005. ACM 2005, ISBN 1-59593-161-9 [contents] - 2004
- [e1]Alex Orailoglu, Pai H. Chou, Petru Eles, Axel Jantsch:
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, September 8-10, 2004. ACM 2004, ISBN 1-58113-937-3 [contents]
Informal and Other Publications
- 2018
- [i2]Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng:
On Reachability in Parameterized Phaser Programs. CoRR abs/1811.07142 (2018) - 2017
- [i1]Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety Verification of Phaser Programs. CoRR abs/1708.02801 (2017)
Coauthor Index
[b3] [b2] [j66] [j65] [j64] [j63] [j62] [j60] [j59] [j58] [j56] [j55] [j53] [j50] [j49] [j48] [j47] [j46] [j45] [j44] [j42] [j41] [j40] [j39] [j38] [j37] [j36] [j35] [j34] [j32] [j30] [j29] [j28] [j27] [j26] [j25] [j24] [j23] [j22] [j21] [j20] [j19] [j18] [j17] [j16] [j15] [j13] [j11] [j9] [j8] [j7] [j5] [j4] [j3] [j2] [j1] [c174] [c173] [c172] [c171] [c170] [c169] [c168] [c167] [c166] [c165] [c164] [c163] [c162] [c161] [c160] [c159] [c158] [c157] [c156] [c155] [c154] [c153] [c152] [c151] [c150] [c149] [c148] [c147] [c146] [c145] [c144] [c143] [c142] [c141] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c133] [c132] [c131] [c130] [c129] [c128] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c101] [c100] [c99] [c98] [c96] [c95] [c94] [c93] [c92] [c90] [c88] [c87] [c86] [c85] [c84] [c83] [c82] [c81] [c80] [c78] [c77] [c76] [c75] [c74] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c56] [c55] [c54] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [c36] [c34] [c33] [c32] [c31] [c30] [c29] [c27] [c26] [c25] [c24] [c23] [c22] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c7] [c6] [c5] [c4] [c3] [c2] [c1] [i2] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
