Tomasz Szmuc

21 papers B 1C 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Novel Method for Fast Generation of 3D Objects from Multiple Depth Sensors.
J. Artif. Intell. Soft Comput. Res.
Tomasz Szmuc, Rafal Mrówka, Marek Branka, Jakub Ficon, Piotr Pieta
2021 J jnl
Applications of rough sets in big data analysis: An overview.
Int. J. Appl. Math. Comput. Sci.
Piotr Pieta, Tomasz Szmuc
2020 — conf
Consistency Preserving Development of Embedded Systems Using AADL.
MIXDES
Tomasz Szmuc, Wojciech Szmuc
2020 — conf
Rigorous Development of Embedded Systems Supported by Formal Tools.
MIXDES
Tomasz Szmuc, Wojciech Szmuc
2018 — conf
Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets.
MIXDES
Wojciech Szmuc, Tomasz Szmuc
2016 — conf
Modeling UML object event handling with Petri nets.
MIXDES
Wojciech Szmuc, Tomasz Szmuc
2015 — conf
Formal methods - Support or scientific decoration in software development?
MIXDES
Tomasz Szmuc, Marcin Szpyrka
2013 — ch.
Design and Verification of Rule-Based Systems for Alvis Models.
Rough Sets and Intelligent Systems (2)
Marcin Szpyrka, Tomasz Szmuc
2012 — ed.
Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
CEE-SET
Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka
2012 — conf
Green AGH Campus.
SMARTGREENS
Tomasz Szmuc, Leszek Kotulski, Bartosz Wojszczyk, Adam Sedziwy
2012 — conf
Modeling Robot Behavior with CCL.
SIMPAR
Konrad Kulakowski, Tomasz Szmuc
2009 — conf
HTCPNs-Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration.
CEE-SET
Slawomir Samolej, Tomasz Szmuc
2009 J jnl
Web-Server Systems HTCPNs-Based Development Tool Application in Load Balance Modelling.
e Informatica Softw. Eng. J.
Slawomir Samolej, Tomasz Szmuc
2008 — conf
HTCPNs-Based Tool for Web-Server Clusters Development.
CEE-SET
Slawomir Samolej, Tomasz Szmuc
2008 C conf
UML Statecharts Compositional Semantics in LOTOS.
ISPDC
Rafal Mrowka, Tomasz Szmuc
2007 — conf
Decision Tables in Petri Net Models.
RSEISP
Marcin Szpyrka, Tomasz Szmuc
2006 — conf
Integrated Approach to Modelling and Analysis using RTCP-nets.
SET
Marcin Szpyrka, Tomasz Szmuc
2006 B conf
Verification of Automatic Train Protection Systems with RTCP-Nets.
SAFECOMP
Marcin Szpyrka, Tomasz Szmuc
2005 — ch.
Modeling and Verification of Reactive Software Using LOTOS.
Software Engineering: Evolution and Emerging Technologies
Grzegorz Rogus, Tomasz Szmuc
2005 — ed.
Software Engineering: Evolution and Emerging Technologies
Software Engineering: Evolution and Emerging Technologies
Krzysztof Zielinski, Tomasz Szmuc
2005 — ch.
TCPN-Based Tool for Timing Constraints Modelling and Validation.
Software Engineering: Evolution and Emerging Technologies
Slawomir Samolej, Tomasz Szmuc