Overview Members
Publications
Resources
|
Publications:
- M.R. Mousavi, M.A. Reniers, Orthogonal Extensions in Structural Operational Semantics
,
Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05), Lisboa, Portugal, volume 3580 of Lecture Notes in Computer Science, pp. 1214--1225, Springer-Verlag, July 2005.
- G. Russello, M. Chaudron, M. van Steen,Dynamically Adapting Tuple Replication for High
Availability in a Shared Data Space.,
Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005), Namur, Belgium, Lecture Notes in Computer Science,
Springer-Verlag, April 2005.
- G. Russello, M.
Chaudron, M. van Steen, Exploiting Differentiated Tuple
Distribution in Shared Data Spaces, To appear in:
Proceedings of The International Conference on
Parallel and Distributed Computing (Euro-Par'04),
Pisa, Italy, Lecture Notes in Computer Science,
Springer-Verlag, August 2004.
A detailed version of this paper is available as:
GSpace: Tailorable
Data Distribution in Shared Data Space Systems, Technical Report
CSR-04-06, Department of Computer Science,
Eindhoven University of Technology, Eindhoven,
The Netherlands, February 2004.
- M.R. Mousavi,
M.A. Reniers, T. Basten, M.R.V. Chaudron, PARS: A Process Algebra with
Resources and Schedulers, To appear in: Proceedings
of The International Workshop on Formal Modeling
and Analysis of Timed Systems (FORMATS'03),
Marseille, France, , September 2003, Vol. 2791 of
Lecture Notes in Computer Science, pp. 134-150,
Springer-Verlag, May 2004.
- G. Russello, M.R.V.
Chaudron, M. van Steen, Customizable Data Distribution for
Shared Data Spaces, To appear in:
Proceedings of International Conference on
Parallel and Distributed Processing Techniques
and Applications, Las Vegas, CSREA Press, June,
2003.
Previous version of this paper is available as:
G. Russello, M. Chaudron, M. van Steen, Separating Distribution Policies in
a Shared Data Space System, Technical Report,
Department of Computer Science, Free University
of Amsterdam, 2002.
- M.R.
Mousavi, M.A. Reniers, T. Basten, M.R.V.
Chaudron, Separation
of Concerns in the Formal Design of Real-Time
Shared Data-Space Systems, To appear
in: Proceedings
of The 3rd International Conference on
Applications of Concurrency to System Design,
Guimarães,
Portugal, IEEE Computer Society Press, June
2003.
A detailed version of this paper (with different
case-studies) is available as:
M.
Mousavi, T. Basten, M. Reniers, M. Chaudron, G.
Russello, Separating
Functionality, Behavior and Timing in the Design
of Reactive Systems: (GAMMA + Coordination) +
Time,
Technical Report CSR-02-09, Department of
Computer Science, Eindhoven University of
Technology, December, 2002.
- M. Mousavi, G.
Russello, M. Chaudron, M. Reniers, T. Basten, A.
Corsaro, S. Shukla, R. Gupta, D. Schmidt, Using Aspect-GAMMA in the Design of
Embedded Systems, Proceedings of The Seventh
IEEE International Workshop on High Level Design,
Verification and Test (HLDVT'02), Cannes,
France, IEEE Computer Society Press, Los
Alamitos, CA, USA, pp. 69--75, October 2002. (presentation in .pdf
format)
- M.R. Mousavi,
G. Russello, M.R.V. Chaudron, T. Basten, M.A.
Reniers. Separation of
Quality Concerns in the Development of
Distributed Real-time Systems. PROGRESS 2002,
3rd Workshop on Embedded Systems, Proceedings,
pp. 124--127. October 24, 2002 Utrecht, the
Netherlands. Progress/STW Technology Foundation,
Utrecht, the Netherlands, October 2002.
|