Ákos Horváth

10 Seguidores

Ákos Horváth is a co-founder of IncQuery Labs ltd. and also a research fellow at the Budapest University of Technology and Economics. His main research interest is model-driven systems engineering with a special focus on model transformations and its application for the design of embedded system. He is a major contributor for the (i) VIATRA model transformation framework. Akos has more than 10 years of experience in research and development projects applying model-driven techniques to a different sectors from avionics to supply chains. He has more than 50 peer reviewed papers on the foundation and application of model-driven methodologies PhD: Search-based Techniques in Model-Driven Engi...

software development eclipse agile software development system engineering sysml mbse simluation modeling iot avionics digital enigneering digital thread consistency validation nlp modelica mde dsl model-driven code generation internet of things emf-incquery model-driven engineering research software testing visualization

Actividad
Acerca de

Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems (CONCERTO))

Hace 8 años • 496 Visualizaciones

Ákos Horváth

Presentaciones

Decreasing your Coffe Consumption by Incremental Code regeneration

Massif - the love child of Matlab Simulink and Eclipse

IncQuery gets Sirius: faster and better diagrams

Hardware-Software allocation specification of IMA systems for early simulation

Model-Driven Development of ARINC 653 Configuration tables

Incremental Model Queries for Model-Dirven Software Engineering

Software Development for Safety Critical Systems

Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems (CONCERTO))

Szoftverfejlesztés a repülőgépiparban

CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design space exploration)

Model visualization made easy: Incremental query-driven views in modeling tools

VIATRA 3: A reactive model transformation platform

Local search-based pattern matching features in EMF-IncQuery

EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius integration)

Incremental Queries and Transformations for Engineering Critical Systems

MoDeS3 - Model-based Demonstrator for Smart and Safe Systems

Incremental model compiler for executable UML

DemoCamp Budapest 2016 - Introdcution

V for visualization: VIATRA finally goes graphical thanks to Sirius!

Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach

IoT Meetup Budapest - The Open-CPS approach

Natural Language Understanding of Systems Engineering Artifacts

Next-Generation Completeness and Consistency Management in the Digital Thread of the Future