András Pataricza

Research Visits

  • 2009 CASED-Center of Advanced Security Research Darmstadt
  • 2003: University Erlangen-Nürnberg, Institute of Informatics (DFG Mercator)
  • 1993-1994: University Erlangen-Nürnberg, Institute of Informatics (DAAD Konrad Zuse)
  • 1991-1995: Several short visits (1-9 months) at the  University Erlangen-Nürnberg, Institute of Informatics and CNR-CNUCE, Pisa

Service to Scientific Community

  • ICA CON: International IBM Cloud Academy Conference, PC member (2012,2014)
  • SERENE 2014: 6th International Workshop on Software Engineering for Resilient Systems, General Chair
  • IEEE DSN: Dependable Systems and Networks, PC member (2001, 2002, 2004, 2006, 2008, 2009), General Chair (2013)
  • IEEE SRDS: Symposium on Reliable Distributed Systems, PC member (1995, 2003)
  • SAFECOMP: Int. Conf. on Computer Safety, Reliability and Security, PC member (2011,2012)
  • EDCC: European Dependable Computing Conference series    General Co-Chair (2005), Program Co-Chair (1999), Steering Committee Member (2005-2008), PC member (2002, 2004)
  • IEEE ETS: European Test Symposium, Topic chair (2004), PC member (2005- each year)
  • IEEE DDECS: Design and Diagnostics of Electronic Circuits and Systems Workshop Series, Steering Committee Chair (2004-2006), SC member (1997-), PC member (1997- each year), General Co-Chair (2001)
  • ISAS: International Service Availability Symposium, PC Chair (2008), General Chair (2009), Steering Committee Member (2008-)
  • IEEE DSN PFARM:W orkshop on Proactive Failure Avoidance, Recovery and Maintenance, PC member (2009- each year)
  • IEEE SERVICES: 4th IEEE Congress on Services    PC member (2009)
  • GI ARCS    Architektur von Rechensystemen, Workshop "Dependability and Fault Tolerance", PC member (2004, 2006, 2007,2011, 2012, 2013)
  • EFTS': International Workshop on Engineering Fault Tolerant Systems, PC member (2007)
  • AFM07: Automated Formal Methods, PC member (2007)
  • IEEE ICC: 2nd Workshop on Clouds, Networks and Data Centers - A holistic approach towards an integrated service provider infrastructure    PC member (2013)
  • IEEE ECBS-EERC 2013: Eastern European Regional Conference on the Engineering of Computer Based Systems    PC member (2013)
  • IEEE ISSRE: International Symposium on Software Reliability Engineering    PC member (2007, 2008)
  • IEEE HASE: High Assurance Systems Engineering, PC member (2005, 2008)
  • DATE: Design Automation and Test Europe, PC member (2005)
  • SAFECERT: International Workshop on the. Certification of Safety-Critical Software Controlled Systems    PC member (2008,2009)
  • SECUREWARE: International Conference on Emerging Security Information, Systems and Technologies    PC member (2012)
  • SPLST: Symposium on Programming Languages and Software Tools    PC member (2005,2007, 2009, 2011)
  • SERENE: Joint International Workshop on Software Engi-neering for REsilieNt systEms, PC member (2008, 2010, 2011)
  • FORMS: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems    PC member (2006, 2007, 2008,2010)
  • FASE: Fundamental Approaches to Software Engineering, PC member (2006)
  • EWDC: European Workshop on Dependable Computting, PC member (1998, 1999), PC Chair (2000)
  • INT: International Workshop on Integration of Specifi-cation Techniques for Applications in Engineering    PC member (2002)
  • IDPT: World Conference On Integrated Design & Pro-cess Technology, PC member (2002)
  • CSDUML: International Workshop on Critical Systems De-velopment with UML, PC member (2004)
  • Autonomics: International Conference on Autonomic Computing and Communication PC member (2007)
  • IJCCBS: International Journal of Critical Computer-Based Systems, Editorial Board member (2008-)
  • VERFE: Workshop on Dependability and Fault Tolerance in conjunction with ARCS (International Conference on Architecture of Computing Systems, PC member (2013)

Membership

  • 2009-    Chair of the Steering Committee    Artemis-H, the Hungarian National Artemis Platform
  • 2005--    National representative    IFIP International Federation for Information Processing TC10 (Computer System Technology)
  • 2008-    Chair of the Professional Committee „Informatics“    National Council of Students Research
  • 2000-    Leader of the "Working Group on Formal Methods in the Information Technology"    Veszprém Regional Center  of the Hungarian Academy of Sciences
  • 2009-    Member of the WG Success Criteria & Metrics    ARTEMISIA Association
  • 2008    Member of the Committee „Automation and Computer Engineering”    Hungarian Academy of Sciences
  • 2002-2005    Member of the Committee „Informatics”    Hungarian Academy of Sciences
  • 2000-    Evaluator of FP5, FP6 IST, PASR, FP7 ERC project proposals (9 times), reviewer of a project in the field of embedded systems    European Union
  • 2006-    Invited participant of the preparatory workshops of the FP7 programs and EU-US (EU-NSF and DHS) in the field of dependable and trusted computing, IT security, embedded systems    European Union
  • 2003-2005    Invited expert of the Priority Program “SoftSpez Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen    DFG - Deutsche Forschungsgesellschaft
  • 2006-    Founding member of the Doctoral School „Informatics“
    Member of the PhD/Habilitation Committee    Budapest University of Technology and Economics