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
Publications: GoogleScholar DBLP ResearcherID BME-PA ResearchGate ArnetMiner
CV

Research Interests

Model driven 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 2010: International Workshop on Graph-Based Tools (Satellite workshop of ICGT 2010)
AGTIVE 2011: International Symposium on Applications of Graph Transformation With Industrial Relevance
Program Committee Member (since 2008): before 2008
FASE 2012: Fundamental Approaches to Software Engineering (at ETAPS 2012)
ASE 2011: 26th IEEE/ACM International Conference on Automated Software Engineering
MODELS 2011: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems
VL/HCC 2011: IEEE Symposium on Visual Languages and Human-Centric Computing
ICMT 2011: International Conference on Model Transformation (Co-located with TOOLS-EUROPE and SEAFOOD)
ECMFA 2011: European Conference on Modeling Foundations and Applications
EWDC 2011: European Workshop on Dependable Computing
ICTAC 2011: 8th International Colloquium on Theoretical Aspects of Computing
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)
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