| |
|
| |
Architecting Dependable Systems II (2004), pp. 266-285.
|
| |
In RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02) (2002)
|
| |
|
| |
IEEE Softw., Vol. 18, No. 4. (July 2001), pp. 20-28.
|
| |
In Operating Systems Design and Implementation (1999), pp. 145-158.
|
| |
No. CS-2001-05. (JanuaryMay 2001)
|
| |
|
| |
IEEE Trans. Parallel Distrib. Syst., Vol. 13, No. 1. (January 2002), pp. 80-96.
|
| |
IEEE Trans. Parallel Distrib. Syst., Vol. 16, No. 6. (June 2005), pp. 550-561.
|
| |
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the (2004), pp. 500-505.
|
| |
|
| |
Journal of Grid Computing, Vol. 2, No. 3. (September 2004), pp. 247-260.
by Thomas Roblitz, Florian Schintke, Alexander Reinefeld, et al.Olof Barring, M. Barroso, German Cancio, Sylvain Chapeland, Karim Chouikh, Lionel Cons, Piotr Poznanski, Philippe Defert, Jan Iven, Thorsten Kleinwort, Bernd Panzer-Steindel, Jaroslaw Polok, Catherine Rafflin, Alan Silverman, Tim Smith, Jan Eldik, David Front, Massimo Biasotto, Cristina Aiftimiei, Enrico Ferro, Gaetano Maron, Andrea Chierici, Luca Dell'agnello, Marco Serra, Michele Michelotto, Lord Hess, Volker Lindenstruth, Frank Pister, T. Morten, David Groep, Martijn Steenbakkers, Oscar Koeroo, Wim Cerff, Gerben Venekamp, Paul Anderson, Tim Colles, Alexander Holt, Alastair Scobie, Michael George, Andrew Washbrook, Rafael Leiva
|
| |
Autonomic Computing, 2004. Proceedings. International Conference on In Autonomic Computing, 2004. Proceedings. International Conference on (01 June 2004), pp. 2-9.
|
| |
Innovations in Systems and Software Engineering
|
| |
Real Time Conference, 2005. 14th IEEE-NPSS (2005), pp. 143-146.
by M. J. Haney, S. Ahuja, T. Bapty, et al.H. Cheung, Z. Kalbarczyk, A. Khanna, J. Kowalkowski, D. Messie, D. Mosse, S. Neema, S. Nordstrom, J. Oh, P. Sheldon, S. Shetty, D. Volper, L. Wang, D. Yao
|
| |
Systems, Man and Cybernetics, Part C, IEEE Transactions on, Vol. 36, No. 3. (2006), pp. 292-303.
|
| |
Systems, Man and Cybernetics, Part C, IEEE Transactions on, Vol. 36, No. 3. (2006), pp. 279-291.
|
| |
Nuclear Science, IEEE Transactions on, Vol. 42, No. 4. (1995), pp. 925-932.
|
| |
Proceedings of the IEEE, Vol. 88, No. 7. (2000), pp. 1011-1025.
|
| |
|
| |
|
| |
In Proc.\ System Structure and Control (1998)
|
| |
Lecture Notes in Computer Science In Computer Aided Verification, Vol. 2725 (July 2003), pp. 180-192.
|
| |
Parallel and Distributed Systems, IEEE Transactions on, Vol. 1, No. 2. (1990), pp. 170-183.
|
| |
Siam J. Control and Optimization, Vol. 25, No. 1. (1987)
|
| |
Automatic Control, IEEE Transactions on, Vol. 43, No. 4. (1998), pp. 569-573.
|
| |
|
| |
|
| |
Architecting Dependable Systems (2003)
|
| |
Formal Aspects of Computing, Vol. 16, No. 3. (August 2004), pp. 210-237.
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
In CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification (2000), pp. 154-169.
|