Professional Activities

• Senior Member, IEEE Computer Society
• Member, IFIP WG10.4 on Dependable Computing and Fault-Tolerance
• Member of Executive Committee, IEEE Technical Committee on Dependable and Fault Tolerant Computing, 2005+
• Member of Steering Committee, DSN (Intl. Conf on Dependable Systems & Networks), 2005+
• Editorial Board, IEEE Transactions on Software Engineering, 2005+
• Editorial Board, IEEE Transactions on Dependable & Secure Computing; 2004+
• Editorial Board, ACM Computing Surveys, Area: "Real Time and Embedded Systems"; 2003+
• Editorial Board, Intl. Journal of Security and Networks; 2005+
• Editorial Board, IEEE Transactions on Parallel and Distributed Systems -- Jan 1999-2003
• Guest Editor, IEEE Trans. on Parallel and Distributed Systems: Special Issue on "Dependable Real-Time Systems" -- June 1999. Trans. PDS Special Issue "Dependable Real-Time Systems": [Click on] June 1999
  
  
• Trustworthy Computing Academic Advisory Board: Microsoft, 2002+
• Computer Science and Engineering Advisory Council: IBM-UPR, 2004+
• Advisory Board: MRTC Center, Malardalen Univ., Sweden, 1999+
• Advisory Board: Uppsala Univ, ASTEC Center, Sweden, 1999+
• Advisory Board: PROGRESS CTR, Mälardalen Univ., Sweden, 2006+

  
  

• PC Chair: DSN/DCCS 2008. (www.dsn08.org)
• PC Co-Chair: DATE 2008. "Dependable Embedded Systems SD2"
• PC Co-Chair: SRDS 2005.
• PC Chair: HASE High Assurance Systems Engg., Heidelberg Oct 2005.
• PC Chair: ISAS, Berlin April 2005.
• PC Co-Chair: WORDS 2005, Feb 2005.
• PC Co-Chair: 3rd IEEE/IFIP Intl. Workshop on Integrating Error Models and Fault Injection, 1994.
• PC Co-Chair: 4th IEEE/IFIP Intl. Workshop on Evaluation Techniques for Dependable Systems, 1995.
• PC Co-Chair: ICECCS 1996 (Dependable/Real-Time Systems Track)
• Vice Chair: DSN/FTCS 2001.
• Workshop Chair: DSN 2003.
• PC Member: (FTCS/DSN/IPDS) 1997, 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2007.
• PC Member: ICDCS 2001, 2003, 2004, 2005, 2006, 2008.
• PC Member: SSS 2003, 2006, 2007.
• PC Member: ISSRE 2004, 2007, 2008.
• PC Member: SRDS 2000, 2004, 2007.
• PC Member: ISORC 2001, 2004, 2005, 2006, 2007, 2008.
• PC Member: AFM 2007.
• PC Member: RTAS: Real-Time Applications Symposium 1997, 1998, 2002.
• PC Member: RTSS: Real Time Systems Symposium: 1999, 2000, 2001.
• PC Member: HASE, 2000, 2001, 2004, 2007,2008.
• PC Member: ISAS 2004, 2006, 2007, 2008.
• PC Member: AIC 2007.
• PC Member: PDP 2007.
• PC Member: ICPADS 2005
• PC Member: ADSN 2005
• PC Member: ICC 2004
• PC Member: AC 2004
• PC Member: PoDSy 2003
• PC Member: VTC 2004
• PC Member: ISADS: Intl. Symp. on Autonomous Decentralized System: 2002.
• PC Member: EDCC: European Dependable Computing Conf: 2002.
• PC Member: Euromicro RT Systems 2002.
• Workshop Chair: DSN 2006.
• Panel Chair: SRDS Reliable Distributed Systems, 2000.
• Tutorial Chair: RTAS, 1999.
• Panel Chair: WRTDS [Real Time Distributed Systems], 2000.
• PC Member: IEEE Parallel and Distributed Real-Time Systems, 1999.
• PC Member: IEEE/IFIP Formal Descriptions and SW Reliability, 1998.
• PC Member: ICECCS Intl. Conference on Engineering of Complex Computer Systems, 1996, 1997, 1998.
• PC Member: IEEE Intl. Conference on Formal Engineering Methods, 1997.
• PC Member: IEEE Intl. Computer Performance and Dependability Symposium, (IPDS-96), 1996.
• PC Member: IEEE Wkshop on Fault-Tolerant Parallel and Dist. Systems (in conjunction with FTCS-24), June 1994.
• PC Member: IEEE Wkshop on Composability of Fault-Resilient RT Systems (in conjunction with RTSS), Dec 1994.
  
  
• Reviewer for NSF Computer and Communications Research and Software Engineering Division.
• Review Committee Member: for NSF, NASA
• Visiting Professor, Dept. of EE, Technion, Israel: 1994, 1995.
• Executive Committee Member: IEEE's Technical Committee on Complexity in Computing: 1996 - 2000.