Tomasz Szmuc

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 7

Top Topics

Embedded Real Time Systems

Embedded Systems

Top Venues

Int. J. Appl. Math. Comput. Sci.

J. Artif. Intell. Soft Comput. Res.

Publications

Tomasz Szmuc, Rafal Mrówka, Marek Branka, Jakub Ficon, Piotr Pieta
A Novel Method for Fast Generation of 3D Objects from Multiple Depth Sensors. J. Artif. Intell. Soft Comput. Res. 13 (2) (2023)
Piotr Pieta, Tomasz Szmuc
Applications of rough sets in big data analysis: An overview. Int. J. Appl. Math. Comput. Sci. 31 (4) (2021)
Tomasz Szmuc, Wojciech Szmuc
Rigorous Development of Embedded Systems Supported by Formal Tools. MIXDES (2020)
Tomasz Szmuc, Wojciech Szmuc
Consistency Preserving Development of Embedded Systems Using AADL. MIXDES (2020)
Wojciech Szmuc, Tomasz Szmuc
Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets. MIXDES (2018)
Wojciech Szmuc, Tomasz Szmuc
Modeling UML object event handling with Petri nets. MIXDES (2016)
Tomasz Szmuc, Marcin Szpyrka
Formal methods - Support or scientific decoration in software development? MIXDES (2015)
Tomasz Szmuc, Leszek Kotulski, Bartosz Wojszczyk, Adam Sedziwy
Green AGH Campus. SMARTGREENS (2012)
Konrad Kulakowski, Tomasz Szmuc
Modeling Robot Behavior with CCL. SIMPAR (2012)
Slawomir Samolej, Tomasz Szmuc
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration. CEE-SET (2009)
Slawomir Samolej, Tomasz Szmuc
Web-Server Systems HTCPNs-Based Development Tool Application in Load Balance Modelling. e Informatica Softw. Eng. J. 3 (1) (2009)
Rafal Mrowka, Tomasz Szmuc
UML Statecharts Compositional Semantics in LOTOS. ISPDC (2008)
Slawomir Samolej, Tomasz Szmuc
HTCPNs-Based Tool for Web-Server Clusters Development. CEE-SET (2008)
Marcin Szpyrka, Tomasz Szmuc
Decision Tables in Petri Net Models. RSEISP (2007)
Marcin Szpyrka, Tomasz Szmuc
Integrated Approach to Modelling and Analysis using RTCP-nets. SET (2006)
Marcin Szpyrka, Tomasz Szmuc
Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP (2006)