Modeling and Verification of Reactive Software Using LOTOS. - Grzegorz Rogus; Tomasz Szmuc (Software Engineering: Evolution and Emerging Technologies, 2005)

TCPN-Based Tool for Timing Constraints Modelling and Validation. - Slawomir Samolej; Tomasz Szmuc (Software Engineering: Evolution and Emerging Technologies, 2005)

Integrated Approach to Modelling and Analysis using RTCP-nets. - Marcin Szpyrka; Tomasz Szmuc (SET, 2006)

Verification of Automatic Train Protection Systems with RTCP-Nets. - Marcin Szpyrka; Tomasz Szmuc (SAFECOMP, 2006)

Decision Tables in Petri Net Models. - Marcin Szpyrka; Tomasz Szmuc (RSEISP, 2007)

HTCPNs-Based Tool for Web-Server Clusters Development. - Slawomir Samolej; Tomasz Szmuc (CEE-SET, 2008)

UML Statecharts Compositional Semantics in LOTOS. - Rafal Mrowka; Tomasz Szmuc (ISPDC, 2008)

HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration. - Slawomir Samolej; Tomasz Szmuc (CEE-SET, 2009)

Web-Server Systems HTCPNs-Based Development Tool Application in Load Balance Modelling. - Slawomir Samolej; Tomasz Szmuc (e Informatica Softw. Eng. J., 2009)

Modeling Robot Behavior with CCL. - Konrad Kulakowski; Tomasz Szmuc (SIMPAR, 2012)

Green AGH Campus. - Tomasz Szmuc; Leszek Kotulski; Bartosz Wojszczyk; Adam Sedziwy (SMARTGREENS, 2012)

Design and Verification of Rule-Based Systems for Alvis Models. - Marcin Szpyrka; Tomasz Szmuc (Rough Sets and Intelligent Systems (2), 2013)

Formal methods - Support or scientific decoration in software development? - Tomasz Szmuc; Marcin Szpyrka (MIXDES, 2015)

Modeling UML object event handling with Petri nets. - Wojciech Szmuc; Tomasz Szmuc (MIXDES, 2016)

Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets. - Wojciech Szmuc; Tomasz Szmuc (MIXDES, 2018)

Consistency Preserving Development of Embedded Systems Using AADL. - Tomasz Szmuc; Wojciech Szmuc (MIXDES, 2020)

Rigorous Development of Embedded Systems Supported by Formal Tools. - Tomasz Szmuc; Wojciech Szmuc (MIXDES, 2020)

Applications of rough sets in big data analysis: An overview. - Piotr Pieta; Tomasz Szmuc (Int. J. Appl. Math. Comput. Sci., 2021)

A Novel Method for Fast Generation of 3D Objects from Multiple Depth Sensors. - Tomasz Szmuc; Rafal Mrówka; Marek Branka; Jakub Ficon; Piotr Pieta (J. Artif. Intell. Soft Comput. Res., 2023)