Pataricza András

Külföldi tanulmányutak, vendégprofesszori meghívások

  • 2018,2020: University of Florence, Italy
  • 2019: National Institute for Space Research, Brazil
  • 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: Maximum 9 hónap hosszú utak: University Erlangen-Nürnberg, Institute of Informatics és CNR-CNUCE, Pisa

Tudományos élet

  • SERENE 2014 6th International Workshop on Software Engineering for Resilient Systems, elnök
  • IEEE DSN: Dependable Systems and Networks, programbizottsági tag (2001, 2002, 2004, 2006, 2008, 2009), elnök (2013)
  • IEEE SRDS: Symposium on Reliable Distributed Systems, programbizottsági tag (1995, 2003)
  • SAFECOMP: Int. Conf. on Computer Safety, Reliability and Security, programbizottsági tag (2011,2012)
  • EDCC: European Dependable Computing Conference series, társelnök (2005), társelnök (1999), irányító testületi tag (2005-2008), programbizottsági tag (2002, 2004)
  • IEEE ETS: European Test Symposium, Topic chair (2004), programbizottsági tag (2005- each year)
  • IEEE DDECS: Design and Diagnostics of Electronic Circuits and Systems Workshop Series, irányító testület elnöke (Chair) (2004-2006), irányító testületi tag (1997-), programbizottsági tag (1997- each year), társelnök (2001)
  • ISAS: International Service Availability Symposium, programbizottság elnöke (2008), elnök (2009), irányító testületi tag (2008-)
  • IEEE DSN PFARM: Workshop on Proactive Failure Avoidance, Recovery and Maintenance, programbizottsági tag (2009-től)
  • IEEE SERVICES: 4th IEEE Congress on Services, programbizottsági tag (2009)
  • GI ARCS    Architektur von Rechensystemen, Workshop "Dependability and Fault Tolerance", programbizottsági tag (2004, 2006, 2007,2011, 2012, 2013)
  • EFTS': International Workshop on Engineering Fault Tolerant Systems, programbizottsági tag (2007)
  • AFM07: Automated Formal Methods, programbizottsági tag (2007)
  • IEEE ICC: 2nd Workshop on Clouds, Networks and Data Centers - A holistic approach towards an integrated service provider infrastructure, programbizottsági tag (2013)
  • IEEE ECBS-EERC 2013: Eastern European Regional Conference on the Engineering of Computer Based Systems, programbizottsági tag (2013)
  • IEEE ISSRE: International Symposium on Software Reliability Engineering, programbizottsági tag (2007, 2008)
  • IEEE HASE: High Assurance Systems Engineering, programbizottsági tag (2005, 2008)
  • DATE: Design Automation and Test Europe, programbizottsági tag (2005)
  • SAFECERT: International Workshop on the Certification of Safety-Critical Software Controlled Systems, programbizottsági tag (2008,2009)
  • SECUREWARE: International Conference on Emerging Security Information, Systems and Technologies, programbizottsági tag (2012, 2013)
  • SPLST: Symposium on Programming Languages and Software Tools, programbizottsági tag (2005,2007, 2009, 2011)
  • SERENE: Joint International Workshop on Software Engineering for REsilieNt systEms, programbizottsági tag (2008, 2010, 2011)
  • FORMS: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, programbizottsági tag (2006, 2007, 2008,2010)
  • FASE: Fundamental Approaches to Software Engineering, programbizottsági tag (2006)
  • EWDC: European Workshop on Dependable Computting, programbizottsági tag (1998, 1999), programbizottság elnöke (2000)
  • INT: International Workshop on Integration of Specification Techniques for Applications in Engineering, programbizottsági tag (2002)
  • IDPT: World Conference On Integrated Design & Process Technology, programbizottsági tag (2002)
  • CSDUML: International Workshop on Critical Systems Development with UML, programbizottsági tag (2004)
  • Autonomics: International Conference on Autonomic Computing and Communication programbizottsági tag (2007)
  • IJCCBS: International Journal of Critical Computer-Based Systems, Editorial Board tag (2008-)
  • VERFE: Workshop on Dependability and Fault Tolerance in conjunction with ARCS (International Conference on Architecture of Computing Systems, programbizottsági tag (2013)

Tagságok

  • 2009-    Irányítóbizottság elnöke, Artemis-H Artemis Nemzeti Technológiai Platform
  • 2005--   Nemzeti képviselő az IFIP International Federation for Information Processing TC10 (Computer System Technology)
  • 2008-    Az Informatikai Szakmai Bizottság elnöke, elnökségi tag Országos Diákköri Tudományos Tanács
  • 2000-    A "formális módszerek alkalmazása az informatikában" kutatócsoport vezetője, MTA Veszprémi tagozat
  • 2009-    Tagja a Success Criteria & Metrics munkacsoportnak, ARTEMISIA Association
  • 2000-    Az Európai Uniós FP5, FP6 IST, PASR, FP7  kutatási projektek bírálóbizottságának tagja (9 alkalommal), bíráló a beágyazott rendszerek témakörében
  • 2006-    Meghívott vendég az FP7 előkészítő és az EU-US (EU-NSF and DHS) workshop-okon (biztonságkritikus és megbízható rendszerek, IT biztonság, beágyazott rendszerek), EU
  • 2003-2005    Meghívott szakértő a német kutatási "prioritás programban": “SoftSpez Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen, DFG - Németország
  • 2006-    A BME Informatika Doktori Iskolájának alapító tagja, PhD és Habilitációs bizottság tagja, Budapesti Műszaki és Gazdaságtudományi Egyetem

Nyelvek

  • English
  • Magyar

Belépés

Navigáció