Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1999
as published or accepted for publication

Subset: articles originating in ESLAB during 1999

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.

023
Paul Pop, Petru Eles, Zebo Peng.
Scheduling with Optimized Communication for Time-Triggered Embedded Systems.
Accepted for publication at the 7th International Workshop on Hardware/Software Codesign held in Rome, Italy, May 3-5, 1999.
[postscript]

030
Erik Larsson, Zebo Peng.
A Behavioral-Level Testability Enhancement Technique.
Accepted as a poster at the IEEE European Test Workshop (ETW'99), to be held in Konstanz, Germany, May 25-28, 1999.

034
Paul Pop, Petru Eles, Zebo Peng.
An Improved Scheduling Technique for Time-Triggered Embedded Systems.
Proceedings of the 25th Euromicro Conference, Milan, Italy, September 8-10, 1999, pp. 303-310.

035
Gert Jervan, Petru Eles, Zebo Peng.
A Uniform Test Generation Technique for Hardare/Software Systems.
Has been accepted at the IEEE European Test Workshop (ETW'99) to be held in Konstanz, Germany, May 25-28, 1999.

043
Erik Larsson, Zebo Pen.
An Estimation-based Technique for Test Scheduling.
Proceedings of the Electronic Circuits and Systems Conference, ECS'99, Bratislava, Slovakia, September 6-8, 1999, pp. 25-28.

044
Paul Pop, Petru Eles, Zebo Peng.
Communication Scheduling for Time-Triggered Systems.
Has been accepted for presentation at the 11th Euromicro Workshop on Real-Time Systems to be held in York, England, June 9-11th, 1999.

047
Simin Nadjm-Tehrani, O. Åkerlund.
Combining theorem proving and continuous models in synchronous design.
Proceedings of World Congress on Formal Methods, Tolouse, France, September 1999, Vol. II, LNCS 1709, pp. 1384-1399, Springer Verlag.

048
Man Lin, Jacek Malec, Simin Nadjm-Tehrani.
On semantics and correctness of reactive rule-based programs.
Proceedings of the "Andrei Ershov Third International Conference Perspectives of System Informatics" PSI'99, Novosibirsk, Russia, July 1999, LNCS, Springer Verlag.

049
O. Åkerlund, Simin Nadjm-Tehrani, G. Stålmarck.
Integration of formal methods into system safety and reliability analysis.
Proceedings of the 17th International Systems Safety Conference, ISSC'99, Florida, USA, August 1999, pp. 326-336.

050
L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, Simin Nadjm-Tehrani, A. Ressouche.
Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example.
Proceedings of the 12th International Symposium on Languages for Intentional Programming, Athens, Greece, June 1999, pp. 8-30.

056
Gert Jervan, Petru Eles, Zebo Peng, Jaan Raik, Raimund Ubar.
High-level Test Synthesis with Hierarchical Test Generation.
Proceedings of the IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 291-296.

057
Luis Alejandro Cortes, Petru Eles, Zebo Peng.
A Petri Net Based Model For Heterogeneous Embedded Systems.
Proceedings of the IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.

058
Simin Nadjm-Tehrani: .
Integration of Analog and Discrete Synchronous Design.
In proceedings of the second international workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999, LNCS 1569, (C) Springer Verlag , pages 193-208.

059
Paul Pop, Petru Eles, Zebo Peng.
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems.
Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, December 13-15, 1999.

126
R. Jigorea, Sorin Manolache, Petrus Eles, Zebo Peng.
Modelling and Simulation of Heterogeneous Embedded Systems with UML.
The 1999 Conference of the Scandinavian Simulation Society, SIMS99, Linköping, Sweden, October 18-19, 1999, pages 160-167.

127
Gert Jervan, Petrus Eles, Zebo Peng.
A Hierarchical Test Generation Technique for Embedded Systems.
Electronic Circuits and Systems Conference, Bratislava, Slovakia, September 6-8, 1999, pages 21-24.

128
L. A. Cortes, Petrus Eles, Zebo Peng.
A Survey on Hardware/Software Codesign Representation Models.
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.

131
T Yang, Zebo Peng.
An Improved Register-Transfer Level Functional Partioning Approach for Testability.
To Published in Journal of Systems Architecture, 1999 (in press).

132
T. Yang, Zebo Peng.
Incremental Testability Analysis for Partial Scan Selection and Design Transformations.
Journal of Electronic Testing: Theory and Applications (JETTA), vol. 14, 1999, pp. 101-111, Kluwer Academic Publishers.

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