Next: About this document ...
Up: Semantical Aspects of an
Previous: Acknowledgements

 1

R. Bloo, J. Hooman, and E. de Jong.
Semantical aspects of an architecture for distributed embedded
systems.
Technical report, Eindhoven University of Technology, 2000.
 2

M. Boasson.
Control systems software.
IEEE Transactions on Automatic Control, 38(7):10941106, 1993.
 3

M. M. Bonsangue, J. Kok, M. Boasson, and E. de Jong.
A software architecture for distributed control systems and its
transition system semantics.
In Proceedings of the 1998 ACM Symposium on Applied Computing
(SAC'98), pages 159168. ACM Press, 1998.
 4

M. M. Bonsangue, J. Kok, and G. Zavattaro.
Comparing coordination models based on shared distributed replicated
data.
In Proceedings of the 1999 ACM Symposium on Applied Computing
(SAC'99). ACM Press, 1999.
 5

P. Dechering, R. Groenboom, E. de Jong, and J. Udding.
Formalization of a Software Architecture for Embedded
Systems: a Process Algebra for Splice.
In Proceedings of the Hawaiian International Conference on
System Sciences (HICSS32), Maui, Hawaii, January 58 1999. IEEE Computer
Society.
 6

J. Hooman.
Specification and Compositional Verification of RealTime
Systems.
LNCS 558, SpringerVerlag, 1991.
 7

J. Hooman.
Correctness of real time systems by construction.
In Formal Techniques in RealTime and FaultTolerant Systems,
pages 1940. LNCS 863, SpringerVerlag, 1994.
 8

S. Owre, J. Rushby, N. Shankar, and F. von Henke.
Formal verification for faulttolerant architectures: Prolegomena to
the design of PVS.
IEEE Trans. Softw. Eng., 21(2):107125, 1995.
 9

J. van de Pol, J. Hooman, and E. de Jong.
Formal requirements specification for command and control systems.
In Proceedings of the Conference on Engineering of
ComputerBased Systems, pages 3744. IEEE, 1998.
 10

J. van de Pol, J. Hooman, and E. de Jong.
Modular formal specification of data and behaviour.
In K. T. K. Araki, A. Galloway, editor, Proceedings 1st
Conference on Integrated Formal Methods (IFM'99), pages 109128.
SpringerVerlag, 1999.
Roel Bloo
19991126