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