IncQuery Labs

08/12/2025

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 acquired IncQuery Labs, a pioneering Hungarian SME renowned for its cutting-edge contributions to Model-Based Systems Engineering (MBSE).

25/11/2025

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!

13/10/2025

Holnap a PTC csapata is ott lesz a Műegyetemi Állásbörzén!

📍Ha érdekel a szoftverfejlesztés, és szívesen dolgoznál egy olyan csapatban, ahol valódi technológiai kihívásokkal találkozol, látogass meg minket október 14–15-én a BME K épületében, az 57-es standnál!

Mérnök kollégáink személyesen is ott lesznek, így első kézből hallhatod, milyen nálunk dolgozni, milyen technológiákkal foglalkozunk, és milyen projektekben vehetsz részt.

🔍 Nyitott pozícióinkat itt találod:
🔗 https://www.muegyetemiallasborze.hu/kiallitok/ptc-3b38de4c

Várunk szeretettel!

PTC is joining the Budapest University of Technology and Economics (BME) Job Fair!

📍Interested in software development and looking to work on real-world tech challenges? Visit us on October 14–15 at booth 57, located in the K buildings of BME.

You’ll have the opportunity to meet our engineers in person and learn directly about what it’s like to work at PTC, the technologies we use, and the kinds of projects we’re currently developing.

Whether you're exploring your options or considering your next career move, we’re happy to talk and answer any questions you may have.

🔍 Explore our open positions here:
🔗 https://ptc.eightfold.ai/events/candidate?plannedEventId=0ZojvBN6

We look forward to meeting you!

22/07/2025

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.

29/05/2025

Heading to Traunkirchen for the 2025 MBSE Summit?

On June 2–3, our colleagues Péter Lunk (Director of Solutions) and László Gáti (Senior Software Engineer) will join fellow experts to discuss the adoption and application of SysML v2 in real-world engineering environments.

🔎As contributors to the SysML v2 standard, we look forward to engaging in sessions on method development, complex systems, and the evolving role of MBSE across industries.

23/05/2025

Heading to Bruges for the 16th Open Conference?

Our VP, Ákos Horváth, will be there on May 27–28 to connect with industry peers and discuss the evolving landscape of automotive software engineering.

Let’s talk about digital engineering, system integration, and how AUTOSAR frameworks support future mobility.

16/05/2025

Idén a Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kara (BME VIK) adott otthont az Országos Tudományos Diákköri Konferencia (OTDK) Informatikatudományi szekciójának. Az IncQuery Labs Zrt. örömmel támogatta a rendezvényt, ahol több jelenlegi és egykori kollégánk is kiváló eredményt ért el.

🏆Telbisz Csanád Ferenc – 1. hely, Formális módszerek tagozat
Téma: Párhuzamos programok hatékony és tanúsítható verifikációja
Konzulensek: Bajczi Levente, Szekeres Dániel, Dr. Vörös András (MIT)

🏆Somorjai Márk István – 1. hely, Szoftvertechnológia 2 tagozat
Téma: Automatikus kontraktus szintézis deduktív verifikációhoz
Konzulensek: Dobos-Kovács Mihály, Bajczi Levente, Dr. Vörös András (MIT)

🏅Zavada Ármin – különdíj, Formális nyelvek és módszerek tagozat
Téma: Mérnöki modellek konfigurálható szemantikájú verifikációja moduláris modellezési nyelv segítségével
Konzulensek: Dr. Molnár Vince, Graics Bence (MIT)

A díjazott munkák a Mesterséges Intelligencia és Rendszertervezés Tanszéken (MIT) működő Kritikus Rendszerek Kutatócsoport (ftsrg) szakmai hátterével készültek.
Az ünnepélyes díjátadón Dr. Ráth István, az IncQuery igazgatótanácsának elnöke személyesen gratulált a díjazott hallgatóknak és konzulenseiknek. A délutáni tagozati ülések előtt pedig Dr. Varró Dániel, az IncQuery egyik alapítója, „Egy ‘doki’ naplója – avagy a kutatói pálya mérföldkövei és mindennapjai” címmel tartott plenáris előadást.

📷: SPOT fotókör

15/05/2025

This week at the 8th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), Ármin Zavada (IncQuery) presented a joint paper with the Critical Systems Research Group at BME:
📄 Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems
Co-authors: Géza Kulcsár, Vince Molnár, Ákos Horváth

ICPS is a leading international forum for exploring the future of industrial automation, AI-assisted systems, and cyber-physical integration.

In parallel, we joined the annual fPVN General Assembly Meeting, where project partners aligned on goals and next steps for adaptive and secure engineering across industrial value chains.

🔗 More information about fPVN: https://bit.ly/3ZigcB2

07/05/2025

✈️A big thank you to everyone who joined our session at SAE 2025 in Vancouver!

Our colleagues Péter Lunk and Géza Kulcsár presented “Model Governance and Holistic Data Analytics in Large-Scale Aerospace Engineering” as part of the MBSE & Digital Engineering track.

Looking forward to continuing the conversation!

29/04/2025

✈️ starts next week in Vancouver – a premier conference showcasing the latest in aviation, propulsion, and digital transformation.

As part of the MBSE & Digital Engineering track, Péter Lunk, Director of Solutions at IncQuery and Géza Kulcsár, Senior Researcher, will present:
“Model Governance and Holistic Data Analytics in Large-Scale Aerospace Engineering”
🗓️ May 6 | 🕑 2:00 PM (PT) | 📍 Room 12

Looking forward to connecting with fellow engineers and innovators at the event!

20/03/2025

📍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