Next generation (meta) modeling: web-and cloud-based collaborative tool infrastructure. M Maróti, T Kecskés, R Kereskényi, B Broll, P Völgyesi, L Jurácz, ... MPM@ MoDELS 1237, 41-60, 2014 | 183 | 2014 |
Online collaborative environment for designing complex computational systems M Maróti, R Kereskényi, T Kecskés, P Völgyesi, A Lédeczi Procedia Computer Science 29, 2432-2441, 2014 | 47 | 2014 |
Abstractions for modeling complex systems Z Lattmann, T Kecskés, P Meijer, G Karsai, P Völgyesi, Á Lédeczi Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 15 | 2016 |
Bridging Engineering and Formal Modeling: WebGME and Formula Integration. T Kecskés, Q Zhang, J Sztipanovits MODELS (Satellite Events), 280-285, 2017 | 10 | 2017 |
A Common Integrated Framework for Heterogeneous Modeling Services. A Mavridou, T Kecskes, Q Zhang, J Sztipanovits MoDELS (Workshops), 416-422, 2018 | 4 | 2018 |
Towards bridging the gap between model-and data-driven tool suites for cyber-physical systems Q Zhang, T Kecskes, J Mathe, J Sztipanovits 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart …, 2019 | 3 | 2019 |
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry SA Rees, T Kecskes, P Meijer, TT Johnson, K Dey, P Tabuada, M Lucas Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019 | 3 | 2019 |
Semantic integration platform for cyber-physical system design Q Zhang, T Kecskes, T Bapty, J Sztipanovits 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 3 | 2019 |
Differential-formula: towards a semantic backplane for incremental modeling Q Zhang, D Balasubramanian, T Kecskes, J Sztipanovits Proceedings of the 18th ACM SIGPLAN International Workshop on Domain …, 2021 | 2 | 2021 |
Modelica on the Web T Kecskes, P Meijer, J Sztipanovits, P Fritzson, A Pop, A Palanisamy | 1 | 2019 |
a design studio for verification tools T Kecskes, P Meijer, TT Johnson, M Lucas Proceedings of the Workshop on Design Automation for CPS and IoT, 60-61, 2019 | | 2019 |