Tamás Kecskés

According to our database, Tamás Kecskés authored at least 10 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Differential-FORMULA: towards a semantic backplane for incremental modeling.

Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

2019

Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems.

Qishen Zhang, Tamás Kecskés, Janos L. Mathe, Janos Sztipanovits

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.

Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Semantic Integration Platform for Cyber-Physical System Design.

Qishen Zhang, Tamás Kecskés, Ted Bapty, Janos Sztipanovits

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Demo: a design studio for verification tools.

Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018

A Common Integrated Framework for Heterogeneous Modeling Services.

Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

Bridging Engineering and Formal Modeling: WebGME and Formula Integration.

Tamás Kecskés, Qishen Zhang, Janos Sztipanovits

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Abstractions for Modeling Complex Systems.

Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2014

Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure.

Miklós Maróti, Tamás Kecskés, Róbert Kereskényi, Brian Broll, Péter Völgyesi, László Jurácz, Tihamer Levendovszky, Ákos Lédeczi

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Online Collaborative Environment for Designing Complex Computational Systems.

Miklós Maróti, Róbert Kereskényi, Tamás Kecskés, Péter Völgyesi, Ákos Lédeczi

Proceedings of the International Conference on Computational Science, 2014