IncQuery Labs

When we became part of PTC earlier this year, it was just the beginning. The latest blog post on ptc.com authored by István Ráth shares what comes next for our team—and the vision for PTC in Hungary.

Read the details:
👉 https://www.ptc.com/en/blogs/corporate/ptc-incquery-labs-global-digital-engineering-innovation

PTC Acquires IncQuery Labs: a New Chapter in Digital Engineering | PTC PTC acquired IncQuery Labs, a pioneering Hungarian SME renowned for its cutting-edge contributions to Model-Based Systems Engineering (MBSE).

A múlt héten került megrendezésre a Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Karának Tudományos Diákköri Konferenciája (BME VIK TDK), ahol több tehetséges kollégánk és korábbi gyakornokunk is kiemelkedően teljesített! 🏆

Ez az első alkalom, hogy immár PTC-ként támogattuk a rendezvényt, miután tavasszal az IncQuery csatlakozott a PTC-hez.
A kapcsolatunk a Mesterséges Intelligencia és Rendszertervezés Tanszéken működő Kritikus rendszerek kutatócsoporttal régóta szoros, és a jövőben is szeretnénk ápolni ezt az együttműködést, valamint új lehetőségekkel bővíteni.
Kulcsár Géza, innovációs menedzserünk képviselte a PTC-t a rendezvényen és segített a díjak átadásában.

Szoftver szekció

🥇I. helyezett: Kovács Dániel
Téma: A CAR modellellenőrző algoritmus továbbfejlesztése absztrakciós technikákkal és optimalizációkkal
Konzulens: Mondok Milán (MIT)

🥈II. helyezett: Tóth Bence
Téma: Időzített rendszerek lusta absztrakciója lokális időszemantika mellett
Konzulensek: Cziborová Dóra (MIT), Szabó Richárd (MIT), Szekeres Dániel (MIT)

🥈II. helyezett: Ádám Domonkos
Téma: Formális szemantikából verifikációs eszközöket: Végrehajtható szemantika és szimbolikus végrehajtó az XSTS nyelvhez rewrite-alapú matching logika segítségével
Konzulensek: Zavada Ármin Zsolt (MIT), Mondok Milán (MIT), Cziborová Dóra (MIT)

🥉III. helyezett: Szabó Éva Mária
Téma: Hardver áramkör transzformációk hatása a modellellenőrzésre: összehasonlító elemzés
Konzulens: Ádám Zsófia (MIT)

Rendszermodellezés szekció

🥉III. helyezett: Bán Odett
Téma: Következtetés absztrakt interpretált ekvivalenciarelációval
Konzulens: Dr. Semeráth Oszkár (MIT)

Információs rendszerek szekció

🥉III. helyezett: Papp Inez Anna
Téma: Következtetési szabályok automatikus származtatása négyértékű gráflogikában
Konzulensek: Ficsor Attila (MIT), Dr. Semeráth Oszkár (MIT)

Gratulálunk minden résztvevőnek és külön köszönjük Zavada Ármin kollégánk és a többi konzulens munkáját, akik hozzájárultak ezekhez a sikerekhez!

We’re excited to be part of the PTC team at the upcoming INCOSE International Symposium 2025, taking place July 26–31 in Ottawa, Canada.

Our colleagues Péter Lunk and Géza Kulcsár — formerly of IncQuery and now part of PTC — will be at the PTC booth to demonstrate the Validator for SysML v2 and discuss real-world adoption strategies, integration challenges, and model validation practices.

We’d also like to highlight that Marco Forlingieri, Senior Director PLE at PTC, will be leading or contributing to multiple sessions throughout the week, covering:

✔️ Product Line Engineering for multi-level systems
✔️ MBPLE in aerospace, defense, and automotive
✔️ SysML v2 variability modeling and API potentials
✔️ MBSE adoption challenges in emerging regions
✔️ And more

📄 See the full program here: https://bit.ly/3TRjY1i

If you're attending , we invite you to connect with the team at the PTC booth and attend the sessions led by our colleagues and partners from across industry and academia.

📍Attending the SysML v2 Summit, co-located with the OMG Q1 2025 Technical Meeting? Stop by the IncQuery booth to connect with our experts!
Meet Péter Lunk and Zoltán Ujhelyi to discuss SysML v2 adoption, model validation, and tool integration. Whether you’re transitioning from SysML v1 or looking to enhance your MBSE toolchain, we’re here to help.

🔗 Learn more about our solutions: https://bit.ly/4hnfRDt