Petru Eles Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlireza 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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin 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
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoheil Samii, Petru Eles, Zebo Peng, Anton Cervin: Quality-driven synthesis of embedded multi-mode control systems. DAC 2009: 864-869
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoheil Samii, Anton Cervin, Petru Eles, Zebo Peng: Integrated scheduling and synthesis of control applications on distributed embedded systems. DATE 2009: 57-62
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng: Analysis and optimization of fault-tolerant embedded systems with hardened processors. DATE 2009: 682-687
2008
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru 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 2008
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Bao, Alexandru Andrei, Petru Eles, Zebo Peng: Temperature-Aware Voltage Selection for Energy Optimization. DATE 2008: 1083-1086
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng: Synthesis of Fault-Tolerant Embedded Systems. DATE 2008: 1117-1122
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders 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
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoheil 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints. DATE 2008: 915-920
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Bao, Alexandru Andrei, Petru Eles, Zebo Peng: Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling. DDECS 2008: 44-49
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav 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
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Andrei, Petru Eles, Zebo Peng, Jakob Rosen: Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. VLSI Design 2008: 103-110
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Paul Pop, Petru Eles, Zebo Peng: Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems. International Journal of Parallel Programming 36(1): 37-67 (2008)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinger, Bashir M. Al-Hashimi: Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving. J. Electronic Testing 24(1-3): 247-257 (2008)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei: Timing analysis of the FlexRay communication protocol. Real-Time Systems 39(1-3): 205-235 (2008)
2007
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamarjit 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 2007
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Larsson, Erik Larsson, Petru Eles, Zebo Peng: Optimized integration of test compression and sharing for SOC testing. DATE 2007: 207-212
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Paul Pop, Petru Eles, Zebo Peng: Bus access optimisation for FlexRay-based distributed embedded systems. DATE 2007: 51-56
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Larsson, Erik Larsson, Petru Eles, Zebo Peng: A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing. DDECS 2007: 61-66
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Karlsson, Petru Eles, Zebo Peng: Transactor-based Formal Verification of Real-time Embedded Systems. FDL 2007: 305-310
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Larsson, Mehdi Amirijoo, Daniel Karlsson, Petru Eles: What impacts course evaluation? ITiCSE 2007: 333
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJakob 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Andrei, Petru Eles, Zebo Peng, Marcus T. Schmitz, Bashir M. Al-Hashimi: Energy Optimization of Multiprocessor Systems on Chip by Voltage Selection. IEEE Trans. VLSI Syst. 15(3): 262-275 (2007)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Fault-aware Communication Mapping for NoCs with Guaranteed Latency. International Journal of Parallel Programming 35(2): 125-156 (2007)
2006
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Karlsson, Petru Eles, Zebo Peng: Formal verification of systemc designs using a petri-net based representation. DATE 2006: 1228-1233
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan He, Zebo Peng, Petru Eles: Power constrained and defect-probability driven SoC test scheduling with test set partitioning. DATE 2006: 291-296
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Buffer space optimisation with communication synthesis and traffic shaping for NoCs. DATE 2006: 718-723
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication. DELTA 2006: 440-447
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*. DSD 2006: 313-322
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexandru Andrei: Timing Analysis of the FlexRay Communication Protocol. ECRTS 2006: 203-216
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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. Embedded Comput. Syst. 5(1): 54-81 (2006)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-Static Assignment of Voltages and Optional Cycles in Imprecise-Computation Systems With Energy Considerations. IEEE Trans. VLSI Syst. 14(10): 1117-1129 (2006)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGert 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)
2005
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Larsson, Erik Larsson, Petru Eles, Zebo Peng: SOC Test Scheduling with Test Set Sharing and Broadcasting. Asian Test Symposium 2005: 162-169
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC. DAC 2005: 266-269
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng: Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems. DATE 2005: 864-869
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Karlsson, Petru Eles, Zebo Peng: Validation of Embedded Systems Using Formal Method Aided Simulation. DSD 2005: 196-201
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDong 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Larsson, Erik Larsson, Petru Eles, Zebo Peng: Optimization of a Bus-based Test Data Transportation Mechanism in System-on-Chip. DSD 2005: 403-411
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. RTCSA 2005: 422-428
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Paul Pop, Petru Eles, Zebo Peng: Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. RTCSA 2005: 67-71
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Trans. Embedded Comput. Syst. 4(1): 112-140 (2005)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles: Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities. IEEE Trans. on CAD of Integrated Circuits and Systems 24(2): 153-169 (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdil 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)
2004
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyuan He, Gert Jervan, Zebo Peng, Petru Eles: Hybrid BIST Test Scheduling Based on Defect Probabilities. Asian Test Symposium 2004: 230-235
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks. DATE 2004: 1176-1183
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks. DELTA 2004: 115-120
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdil Rashid Mohamed, Zebo Peng, Petru Eles: A Wiring-Aware Approach to Minimizing Built-in Self-Test Overhead. DELTA 2004: 413-415
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Methodology for IP-based Designs. DSD 2004: 372-379
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdil Rashid Mohamed, Zebo Peng, Petru Eles: A Heuristic for Wiring-Aware Built-In Self-Test Synthesis. DSD 2004: 408-415
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng, Viacheslav Izosimov: Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems. ECRTS 2004: 91-100
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Karlsson, Petru Eles, Zebo Peng: A Formal Verification Approach for IP-based Designs. FDL 2004: 556-568
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles: Iterative schedule optimization for voltage scalable distributed embedded systems. ACM Trans. Embedded Comput. Syst. 3(1): 182-217 (2004)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Schedulability analysis of applications with stochastic task execution times. ACM Trans. Embedded Comput. Syst. 3(4): 706-735 (2004)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Marculescu, Petru Eles: Guest Editors' Introduction: Designing Real-Time Embedded Multimedia Systems. IEEE Design & Test of Computers 21(5): 354-356 (2004)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng, Traian Pop: Scheduling and mapping in an incremental design methodology for distributed real-time embedded systems. IEEE Trans. VLSI Syst. 12(8): 793-811 (2004)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. Real-Time Systems 26(3): 297-325 (2004)
2003
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGert 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Petru Eles, Zebo Peng: Design optimization of mixed time/event-triggered distributed embedded systems. CODES+ISSS 2003: 83-89
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDong 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. DATE 2003: 10184-10189
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin: Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture. DFT 2003: 225-
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders Larsson, Erik Larsson, Petru Eles, Zebo Peng: Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip. DFT 2003: 385-392
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Petru Eles, Zebo Peng: Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems. ECRTS 2003: 257-266
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Schedulability-driven frame packing for multi-cluster distributed embedded systems. LCTES 2003: 113-122
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Modeling and formal verification of embedded systems based on a Petri net representation. Journal of Systems Architecture 49(12-15): 571-598 (2003)
2002
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTraian Pop, Petru Eles, Zebo Peng: Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. CODES 2002: 187-192
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles: Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems. DATE 2002: 514-521
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Schedulability analysis of multiprocessor real-time applications with stochastic task execution times. ICCAD 2002: 699-706
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Zebo Peng, Daniel Karlsson: Formal Verification in a Component-Based Reuse Methodology. ISSS 2002: 156-161
2001
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Traian Pop, Zebo Peng: Minimizing system modification in an incremental design approach. CODES 2001: 183-188
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Traian Pop, Zebo Peng: An Approach to Incremental Design of Distributed Embedded Systems. DAC 2001: 450-455
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Hierarchical Modeling and Verification of Embedded Systems. DSD 2001: 63-71
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Manolache, Petru Eles, Zebo Peng: Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. ECRTS 2001: 19-
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Nilsson, Petru Eles, Hannu Tenhunen: SOCWARE: A New Swedish Design Cluster for System-on-Chip. MSE 2001: 44-45
2000
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Performance estimation for embedded systems with data and control dependencies. CODES 2000: 62-66
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis. DATE 2000: 567-
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Schedulability analysis for systems with data and control dependencies. ECRTS 2000: 201-208
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Formal Coverification of Embedded Systems Using Model Checking. EUROMICRO 2000: 1106-1113
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Definitions of Equivalence for Transformational Synthesis of Embedded Systems. ICECCS 2000: 134-142
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRazvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng: Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML. ISORC 2000: 210-
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Alejandro Cortés, Petru Eles, Zebo Peng: Verification of Embedded Systems using a Petri Net based Representation. ISSS 2000: 149-156
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Alex Doboli, Paul Pop, Zebo Peng: Scheduling with bus access optimization for distributed embedded systems. IEEE Trans. VLSI Syst. 8(5): 472-491 (2000)
1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Scheduling with optimized communication for time-triggered embedded systems. CODES 1999: 178-182
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: An Improved Scheduling Technique for Time-Triggered Embedded Systems. EUROMICRO 1999: 1303-1310
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Pop, Petru Eles, Zebo Peng: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. RTCSA 1999: 287-294
1998
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop: Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. DATE 1998: 132-
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli, Paul Pop: Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems. EUROMICRO 1998: 10168-
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli: Post-synthesis back-annotation of timing information in behavioral VHDL. Journal of Systems Architecture 42(9-10): 725-741 (1997)
1996
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Zebo Peng, Krzysztof Kuchcinski, Alex Doboli: Hardware/Software Partitioning with Iterative Improvement Heuristics. ISSS 1996: 71-76
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Krzysztof Kuchcinski, Zebo Peng: Synthesis of systems specified as interacting VHDL processes. Integration 21(1-2): 113-138 (1996)
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa Doboli: Timing constraint specification and synthesis in behavioral VHDL. EURO-DAC 1995: 452-457
1994
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Zebo Peng, Alexa Doboli: VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. CODES 1994: 49-55
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetru Eles, Marius Minea, Krzysztof Kuchcinski, Zebo Peng: Synthesis of VHDL concurrent processes. EURO-DAC 1994: 540-545

Coauthor Index

1Bashir M. Al-Hashimi [28] [29] [36] [38] [45] [47] [54] [60] [66] [69] [76] [81] [88] [98] [114]
2Mehdi Amirijoo [90]
3Alexandru Andrei [47] [54] [69] [79] [88] [89] [97] [101] [103] [108] [113]
4Min Bao [103] [108] [113]
5Reinaldo A. Bergamaschi [73]
6Olof Bridal [56]
7Anton Cervin [111] [112]
8Krishnendu Chakrabarty [106]
9Samarjit Chakraborty [96]
10Pai H. Chou [58]
11Luis Alejandro Cortés [14] [16] [17] [23] [29] [31] [53] [55] [63] [70] [75] [76] [78]
12Alex Doboli (Alexa Doboli) [2] [3] [5] [7] [8] [9] [13]
13Alireza Ejlali (Ali Reza Ejlali) [114]
14Peter Grün [6]
15Zhiyuan He [57] [64] [81] [85] [98]
16Magnus Hellring [56]
17Viacheslav Izosimov [49] [56] [68] [80] [82] [84] [95] [102] [104] [107] [110]
18Axel Jantsch [58] [73]
19Maksim Jenihhin [35] [40] [74]
20Gert Jervan [35] [40] [57] [64] [74]
21Razvan Jigorea [15]
22Daniel Karlsson [26] [48] [51] [67] [86] [90] [91]
23Krzysztof Kuchcinski [1] [3] [4] [5] [6] [7] [8] [9]
24Anders Larsson [34] [65] [72] [92] [94] [106]
25Erik Larsson [34] [65] [72] [90] [92] [94] [106]
26Sorin Manolache [15] [22] [27] [44] [46] [71] [83] [87] [100]
27Radu Marculescu [43]
28Marius Minea [1]
29Abdil Rashid Mohamed [50] [52] [59]
30Peter Nilsson [21]
31Alex Orailoglu [58]
32Zebo Peng [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [29] [30] [31] [32] [33] [34] [35] [37] [39] [40] [41] [42] [44] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [59] [61] [62] [63] [64] [65] [67] [68] [69] [70] [71] [72] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92] [93] [94] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [110] [111] [112] [113]
33Andy D. Pimentel [109]
34Ilia Polian [110]
35Paul Pop [8] [9] [10] [11] [12] [13] [18] [19] [20] [24] [25] [32] [37] [41] [42] [49] [56] [61] [62] [68] [77] [79] [80] [82] [84] [93] [95] [97] [99] [102] [104] [107] [110]
36Traian Pop [24] [25] [30] [33] [39] [42] [62] [77] [79] [93] [97] [99]
37Kåre Harbo Poulsen [95]
38Sergiu Rafiliu [105]
39Jakob Rosen [89] [101]
40Paul M. Rosinger [81] [98]
41Soheil Samii [105] [111] [112]
42Marcus T. Schmitz [28] [36] [45] [47] [54] [60] [66] [69] [88]
43Hannu Tenhunen [21]
44Raimund Ubar [35] [40] [74]
45Mauricio Varea [29] [76]
46Dong Wu [38] [66]

Colors in the list of coauthors

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)