Tomasz Szmuc

According to our database, Tomasz Szmuc authored at least 19 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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., March, 2023

2021

Applications of rough sets in big data analysis: An overview.

Piotr Pieta, Tomasz Szmuc

Int. J. Appl. Math. Comput. Sci., 2021

2020

Rigorous Development of Embedded Systems Supported by Formal Tools.

Tomasz Szmuc, Wojciech Szmuc

Proceedings of the 27th International Conference on Mixed Design of Integrated Circuits and System, 2020

Consistency Preserving Development of Embedded Systems Using AADL.

Tomasz Szmuc, Wojciech Szmuc

Proceedings of the 27th International Conference on Mixed Design of Integrated Circuits and System, 2020

2018

Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets.

Wojciech Szmuc, Tomasz Szmuc

Proceedings of the 25th International Conference "Mixed Design of Integrated Circuits and System", 2018

2016

Modeling UML object event handling with Petri nets.

Wojciech Szmuc, Tomasz Szmuc

Proceedings of the 2016 MIXDES, 2016

2015

Formal methods - Support or scientific decoration in software development?

Tomasz Szmuc, Marcin Szpyrka

Proceedings of the 22nd International Conference Mixed Design of Integrated Circuits & Systems, 2015

2013

Design and Verification of Rule-Based Systems for Alvis Models.

Marcin Szpyrka, Tomasz Szmuc

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

2012

Green AGH Campus.

Tomasz Szmuc, Leszek Kotulski, Bartosz Wojszczyk, Adam Sedziwy

Proceedings of the SMARTGREENS 2012 - Proceedings of the 1st International Conference on Smart Grids and Green IT Systems, Porto, Portugal, 19, 2012

Modeling Robot Behavior with CCL.

Konrad Kulakowski, Tomasz Szmuc

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

2009

Web-Server Systems HTCPNs-Based Development Tool Application in Load Balance Modelling.

Slawomir Samolej, Tomasz Szmuc

e Informatica Softw. Eng. J., 2009

HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration.

Slawomir Samolej, Tomasz Szmuc

Proceedings of the Advances in Software Engineering Techniques, 2009

2008

UML Statecharts Compositional Semantics in LOTOS.

Rafal Mrowka, Tomasz Szmuc

Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

HTCPNs-Based Tool for Web-Server Clusters Development.

Slawomir Samolej, Tomasz Szmuc

Proceedings of the Software Engineering Techniques, 2008

2007

Decision Tables in Petri Net Models.

Marcin Szpyrka, Tomasz Szmuc

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

2006

Verification of Automatic Train Protection Systems with RTCP-Nets.

Marcin Szpyrka, Tomasz Szmuc

Proceedings of the Computer Safety, 2006

Integrated Approach to Modelling and Analysis using RTCP-nets.

Marcin Szpyrka, Tomasz Szmuc

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005

TCPN-Based Tool for Timing Constraints Modelling and Validation.

Slawomir Samolej, Tomasz Szmuc

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

Modeling and Verification of Reactive Software Using LOTOS.

Grzegorz Rogus, Tomasz Szmuc

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005