| Formal semantics and reasoning about uml class diagram M Szlenk 2006 International Conference on Dependability of Computer Systems, 51-59, 2006 | 74 | 2006 |
| 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 | 38 | 2017 |
| Reconfigurable agent architecture for robots utilising cloud computing M Szlenk, C Zieliński, M Figat, T Kornuta Progress in Automation, Robotics and Measuring Techniques: Volume 2 Robotics …, 2015 | 16 | 2015 |
| 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 | 15 | 2015 |
| Modelling architectural decisions under changing requirements M Szlenk, A Zalewski, S Kijas 2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012 | 12 | 2012 |
| UML static models in formal approach M Szlenk IFIP Central and East European Conference on Software Engineering Techniques …, 2007 | 11 | 2007 |
| 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 | 4 | 2015 |
| 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 | 3 | 2016 |
| An evolution process for service-oriented systems A Zalewski, M Szlenk, S Kijas Computer Science 13, 2012 | 2 | 2012 |
| Metamodel and uml profile for functional programming languages M Szlenk Dependable Computer Systems, 233-242, 2011 | 2 | 2011 |
| Formalna semantyka i wnioskowanie o pojęciowym diagramie klas w UML M Szlenk The Institute of Control and Computation Engineering, 2006 | 1 | 2006 |
| A practical approach to the chord analysis in the acoustical recognition process (CD) W Homenda, M Szlenk | 1 | 2002 |
| 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 |
| Towards Precise Architectural Decision Models M Szlenk New Results in Dependability and Computer Systems: Proceedings of the 8th …, 2013 | | 2013 |
| 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 |
| W kierunku metodyki ewolucji systemów o architekturze usługowej A Zalewski, K Sacha, M Szlenk, PM Sztandera, A Ratkowski, S Kijas Pomorskie Wydawnictwo Naukowe-Techniczne PWNT, 2011 | | 2011 |
| Formal Semantics of Architectural Decision Making Models as a Component of an Integrated Evolution Methodology for Service-Oriented Systems S Kijas, A Zalewski, K Sacha, M Szlenk, A Ratkowski Wrocław University of Technology, 2011 | | 2011 |
| Formalization of UML Class Diagram M Szlenk | | 2006 |
