István Majzik

Research Visits

• 2000: Formalware Engineering: Advanced Course on Formal Methods for Enginering of Software, CISM International Centre for Sciences, Udine, Italy
• 1998: CNR-NATO Guest Fellowship in CNUCE, Pisa (National Research Council, Italy)
• 1996: Visiting researcher (3 months), CNR-CNUCE, Pisa, Italy
• 1994: TEMPUS scholarship (3 months), University of Pisa, Pisa, Italy
• 1993: TEMPUS scholarship (6 months), Friedrich-Alexander University, Erlangen, Germany

Reviews for Journals

• Formal Aspects of Computing (FAC)
• IEEE Transactions on Software Engineering (ToSE)
• IEEE Transactions on Computing (ToC)

Service to Scientific Community

Technical program committee member

• 2011:
  • IEEE IFIP Int. Conf. on Dependable Systems and Networks - Performance and Dependability Symposium (DSN PDS),
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
• 2010:
  • Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
  • Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDCS)
• 2009:
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • Int. Conference on Quantitative Evaluation of Systems (QEST), 
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
  • Int. Conference on Dependability (DEPEND),
  • European Workshop on Dependable Computing (EWDC)
• 2008:
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • European Dependable Computing Conference (EDCC),
  • Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
• 2007:
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
  • Workshop on Architecting Dependable Systems (WADS)
• 2006:
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • Workshop on Architecting Dependable Systems (WADS),
  • Int. Conference on Distributed Computing Systems (ICDCS),
  • Workshop on Engineering of Fault Tolerant Systems (EFTS)
• 2005:
  • Dependable Computing and Communications Symposium (DSN DCCS),
  • European Dependable Computing Conference (EDCC),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
• 2004:
  • Workshop on Scientific Engineering of Distributed Java Applications (FIDJI)
• 2003:
  • Int. Symposium on Autonomous Decentralized Systems (ISADS)
• 2002:
  • European Dependable Computing Conference (EDCC)
• 2000:
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • European Workshop on Dependable Computing (EWDC),
  • Workshop on Object-Oriented Reliable Distributed Systems (WORDS)
• 1999:
  • European Dependable Computing Conference (EDCC)

Membership

• 2001: Member of the working group on "Formal Methods in Computer Science", Hungarian Academy of Sciences