Follow
Marcin Szlenk
Marcin Szlenk
Verified email at elka.pw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Formal semantics and reasoning about uml class diagram
M Szlenk
2006 International Conference on Dependability of Computer Systems, 51-59, 2006
672006
Variable structure robot control systems: The RAPP approach
C Zieliński, M Stefańczyk, T Kornuta, M Figat, W Dudek, W Szynkiewicz, ...
Robotics and Autonomous Systems 94, 226-244, 2017
302017
Reconfigurable control architecture for exploratory robots
C Zieliński, W Szynkiewicz, M Figat, M Szlenk, T Kornuta, W Kasprzak, ...
2015 10th International Workshop on Robot Motion and Control (RoMoCo), 130-135, 2015
152015
Reconfigurable agent architecture for robots utilising cloud computing
M Szlenk, C Zieliński, M Figat, T Kornuta
Progress in Automation, Robotics and Measuring Techniques, 253-264, 2015
142015
Modelling architectural decisions under changing requirements
M Szlenk, A Zalewski, S Kijas
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
122012
UML static models in formal approach
M Szlenk
IFIP Central and East European Conference on Software Engineering Techniques …, 2007
112007
Sterowniki o zmiennej strukturze w zastosowaniu do robotów społecznych
C Zieliński, W Szynkiewicz, W Kasprzak, M Stefańczyk, M Figat, W Dudek, ...
Prace Naukowe Politechniki Warszawskiej. Elektronika, 5--14, 2016
32016
Distributed, reconfigurable architecture for robot companions exemplified by a voice-mail application
M Figat, T Kornuta, M Szlenk, C Zieliński
2015 20th International Conference on Methods and Models in Automation and …, 2015
32015
An evolution process for service-oriented systems
A Zalewski, M Szlenk, S Kijas
Computer Science 13, 2012
22012
Formalna semantyka i wnioskowanie o pojęciowym diagramie klas w UML
M Szlenk
The Institute of Control and Computation Engineering, 2006
22006
Metamodel and uml profile for functional programming languages
M Szlenk
Dependable Computer Systems, 233-242, 2011
12011
Formal Semantics of Architectural Decision Models
M Szlenk
arXiv preprint arXiv:1807.02798, 2018
2018
(D2. 2.1) RAPP Stare-Care Behaviours Interaction Specyfication and Initial Implementation. RAPP Robotic Applications for Delivering Smart User Empowering Applications. FP7-ITC …
M Szlenk, C Zieliński
The Institute of Control and Computation Engineering, 2015
2015
D2. 2.2 RAPP Store-Core Behaviours Interaction Final Implementation
M Szlenk, C Zieliński, M Figat
2013
D2. 2.1 RAPP Store-Core Behaviours Interaction Specification and Initial Implementation
M Szlenk, C Zieliński
2013
Towards Precise Architectural Decision Models
M Szlenk
New Results in Dependability and Computer Systems, 449-458, 2013
2013
Algorithm for determining all finite paths in a 2D directed graph
KA Markowski, M Szlenk, M Twardy
Przegląd Elektrotechniczny 82 (1), 50-52, 2006
2006
A Practical Approach to the Chord Analysis in the Acoustical Recognition Process
M Szlenk, W Homenda
Computational Intelligence for Modelling and Prediction, 221-231, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–18