Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 2000
as published or accepted for publication

Subset: articles originating in ESLAB during 2000

The IDA publication register contains information about articles written by researchers at IDA. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see last year's list.

005
Erik Larsson, Zebo Peng.
System-on-Chip Test Bus Design and Test Scheduling.
Accepted for presentation at the Int. Test Synthesis Workshop, March 6-8, Santa Barbara, USA.

008
Paul Pop, Petru Eles, Zebo Peng.
Buss Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis.
Accepted as a regular presentation to the Design, Automation and Test in Europe (DATE'2000) Conference, pp. 567-574, March 2000, Paris, France.

010
Paul Pop, Petru Eles, Zebo Peng.
Schedulability Analysis for Systems with Data and Control Dependencies.
Accepted at the 12th Euromicro Conference on Real-Time Systems, pp. 201-208, June 19-21, Stockholm, Sweden.

022
R. Jogorea, S. Manolache, Petrus Eles, Zebo Peng.
Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML.
Accepted at the 3rd IEEE Int. Symposium on Object-oriented Real-time distributed Computing (ISORC2K), pp. 210-213, March 2000, Newport Beach, California, USA.

024
Petru Eles, Alex Doboli, Paul Pop, Zebo Peng.
Scheduling with Bus Access Optimization for Distributed Embedded Systems.
Accepted for publication in the IEEE Trasactions on VLSI Systems.

037
Erik Larsson, Zebo Peng.
Test Infrastructure Design and Test Scheduling Optimization.
Accepted to the IEEE European Test Workshop, in Cascais, Portugal, May 23-26, 2000.

039
Erik Larsson, Zebo Peng.
A Technique for Test Infrastructure Design and Test Scheduling.
Accepted to the Design and Diagnostic of Electronic Circuits and Systems Woekshop (DDECS 2000), pp. 26-29, Smolenice Castle, Slovakia, April 5-7, 2000.

040
Paul Pop. Petru Eles, Zebo Peng.
Performance Estimation for Embedded Systems with Data and Control Dependencies.
Accepted at the 8th International Workshop on Hardware/Software Codesigh (CODES 2000), pp. 62-66, San Diego, USA, May 3-5, 2000.

080
Gert Jervan, Zebo Peng, Raimund Ubar.
Test Cost Minimization for Hybrid BIST.
Accepted for presentation at the the IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'2000), Yamanashi, Japan, 25-27 October, 2000

083
Luis Alejandro Cortes, Petru Eles, Zebo Peng.
Definitions of Equivalence for Transformational Synthesis of Embedded Systems.
Accepted to the the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, Sept. 11-15, 2000.

088
Luis Alejandro Cortes, Petru Eles, Zebo Peng.
Verification of Embedded Systems using a Petri Net based Representation.
Accepted to the the 13th International Symposium on System Synthesis (ISSS 2000), pp. 149-155, Madrid, Spain, Sept. 20-22, 2000.

090
Luis Alejandro Cortes, Petru Eles, Zebo Peng.
Formal Coverification of Embedded Systems using Model Checking.
Accepted to the 26th Euromicro Conference (Digital Systems Design), Vol. I, pp. 106-113, Maastricht, The Netherlands, Sept. 5-7, 2000.

This page is maintained by [EMTEK]; latest update 4 August 1997.