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

Former Lectures


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