akos-horvath documents

Experimental assessment of combining pattern matching strategies with VIATRA2
Documents Experimental assessment of combining pattern matching strategies with VIATRA2
Improved Cryopreservation of Sperm of Paddlefish (Polyodon spathula)
Documents Improved Cryopreservation of Sperm of Paddlefish (Polyodon spathula)
Numerical simulations of square arrayed rod bundles
Documents Numerical simulations of square arrayed rod bundles
Cryopreservation of common carp sperm
Documents Cryopreservation of common carp sperm
Rescaled range analysis of the corrosion potential noise
Documents Rescaled range analysis of the corrosion potential noise
Hardware-Software allocation specification of IMA systems for early simulation
Software Hardware-Software allocation specification of IMA systems for early simulation
IncQuery gets Sirius: faster and better diagrams
Software IncQuery gets Sirius: faster and better diagrams
Software Development for Safety Critical Systems
Software Software Development for Safety Critical Systems
DemoCamp Budapest 2016 - Introdcution
Software DemoCamp Budapest 2016 - Introdcution
Incremental Queries and Transformations for Engineering Critical Systems
Software Incremental Queries and Transformations for Engineering Critical Systems
Incremental model compiler for executable UML
Software Incremental model compiler for executable UML
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
Technology MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius integration)
Software EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius integration)
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems (CONCERTO))
Software Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems (CONCERTO))
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design space exploration)
Science CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design space exploration)
VIATRA 3: A reactive model transformation platform
Software VIATRA 3: A reactive model transformation platform
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Software Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
Local search-based pattern matching features in EMF-IncQuery
Software Local search-based pattern matching features in EMF-IncQuery
Model visualization made easy: Incremental query-driven views in modeling tools
Software Model visualization made easy: Incremental query-driven views in modeling tools
V for visualization: VIATRA finally goes graphical thanks to Sirius!
Software V for visualization: VIATRA finally goes graphical thanks to Sirius!
IoT Meetup Budapest - The Open-CPS approach
Software IoT Meetup Budapest - The Open-CPS approach