VARRÓ, Dániel

Associate Professor, PhD
Department of Measurement and Information Systems
Budapest University of Technology and Economics
Office:H-1117 Budapest, Magyar Tudósok körútja 2, Building I, Room B.421.
Phone: + 36 1 463-3598, Fax: + 36 1 463-2667
Web page: http://www.inf.mit.bme.hu/~varro/ In Hungarian
E-mail:varro [AT] mit.bme.hu

Research Interests

Transformation engineering:: model transformations (VIATRA2 framework)
graph transformation
Software and systems modelling:: UML, metamodelling,; domain specific modeling languages
service-oriented architecture, safety-critical systems
Dependable systems:: model driven approaches for the design and analysis of dependable systems
Formal verification:: model checking, theorem proving,

Education (in Hungarian)

Current Lectures

Model-based software development (MSc course; 4 kredits, Spring semester)
Service Integration (MSc course; 4 kredits, Spring semester)
Eclipse based technologies (BSc course, 5 kredits, Spring semester)
Eclipse based development and integration (MSc; 4 kredits; Fall semester)
Foundations of Model-Driven Systems Engineering (PhD course; 5 kredits; Fall semester)

Former Lectures

UML-based modeling and analysis (Spring 20078)
Open Development Environments (Graduate course; Fall 2007- )
Formal methods (formerly, Spring 2005, if you have questions, please contact Dr. András Pataricza or Dr. Tamás Bartha)

Publications

Five selected publications

Professional Activities

Co-Chair:: GraBaTs 2006: International Workshop on Graph-Based Tools (Satellite workshopof ICGT 2006)
GT-VMT 2006: Fifth International Workshop on Graph Transformation and Visual Modelling Techniques (Satellite workshop of ETAPS 2006)
Program Committee Member (since 2007): before 2007: FASE 2011: Fundamental Approaches to Software Engineering (at ETAPS 2011); ASE 2010: 25th IEEE/ACM International Conference on Automated Software Engineering; MODELS 2010: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems; FASE 2010: Fundamental Approaches to Software Engineering (at ETAPS 2010); ICMT 2010: International Conference on Model Transformation (Co-located with TOOLS-EUROPE and SEAFOOD); ICGT 2010: Fourth International Conference on Graph Transformation
GT-VMT 2010: Ninth International Workshop on Graph Transformation and Visual Modelling Techniques (Satellite workshop of ETAPS 2010)
ICTAC 2010: 7th International Colloquium on Theoretical Aspects of Computing; MODELS 2009: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems; ASE 2009: Automated Software Engineering; ICMT 2009: International Conference on Model Transformation (Co-located with TOOLS-EUROPE and SEAFOOD); FASE 2009: Fundamental Approaches to Software Engineering (at ETAPS 2009); DSN 2009: Dependable Systems and Networks (PDS)
FM 2009: 16th International Symposium on Formal Methods; GT-VMT 2009: Eighth International Workshop on Graph Transformation and Visual Modelling Techniques (Satellite workshop of ETAPS 2009); MODELS 2008: ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems; ICMT 2008: International Conference on Model Transformation (Co-located with TOOLS-EUROPE and SEAFOOD); ICGT 2008: Third International Conference on Graph Transformation
PNGT 2008: 3rd Workshop on Petri Nets and Graph Transformations (Satellite workshop of ICGT 2008)
GRABATS 2008: International Workshop on Graph Based Tools (Satellite workshop of ICGT 2008)
ARAMIS 2008: 1st Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems (Satellite workshop of ASE 2008); GT-VMT 2008: Seventh International Workshop on Graph Transformation and Visual Modelling Techniques (Satellite workshop of ETAPS 2008); 4th International Workshop on Metamodels, Schemas, Grammars and Ontologies for Reverse Engineering (Satellite workshop of MODELS 2007); Perspectives on integrating MDA and V&V (MoDeV2a'07) (Satellite workshop of MODELS 2007); MODELS 2007 Educators Symposium; GTVC 2007: Graph Transformation for Verification and Concurrency (Satellite workshop of CONCUR 2007); WAPL 2007 Workshop on Advances in Programming Languages (Satellite workshop of IMCSIT 2007); GT-VMT 2007: Sixth International Workshop on Graph Transformation and Visual Modelling Techniques (Satellite workshop of ETAPS 2007); ACM SAC 2007: The 22nd ACM Symposium on Applied Computing (Track on Model Transformation)
Local Arrangements Chair:: ETAPS 2008: European Joint Conferences on Theory and Practice of Software; EDCC-5: Fifth European Dependable Computing Conference

Main current project involvements

SecureChange: Security Engineering for lifelong Evolvable Systems (FP7 - FET IP)
SENSORIA: Software Engineering for Service Oriented Overlay Computing (FP6 - European IP)
DIANA: Distributed, Equipment Independent Environment for Advanced Avionic Applications (FP 6 - European STREP)