kontakt

dr inż. Marcin Szlenk
Wydział Elektroniki i Technik Informacyjnych Politechniki Warszawskiej
Instytut Automatyki i Informatyki Stosowanej
ul. Nowowiejska 15/19
00-665 Warszawa
m.szlenk (ta) elka.pw.edu.pl

Konsultacje: wtorek 13:00-15:00, pok. 555 (w trakcie semestru)

dydaktyka › prace dyplomowe
  1. Tomasz Osoba, Edytor modeli dla języka ConML, mgr (2020)
  2. Piotr Czytański, System strumieniowego odtwarzania muzyki w technologii .NET, inż (2020)
  3. Marcel Jezierski, Zestaw generycznych narzędzi programistycznych do budowania wirtualnych wersji gier karcianych, inż (2019)
  4. Paweł Masłowski, Narzędzie do wizualizacji modeli zapisanych w języku Alloy, inż (2018)
  5. Łukasz Gajowy, Tworzenie języków dziedzinowych w środowisku Meta Programming System, mgr (2018)
  6. Wiktor Garbacz, Modelowanie i generacja kodu funkcyjnych programów reaktywnych, mgr (2018)
  7. Wojciech Kaczmar, Algorytmiczne generowanie muzyki przy użyciu języka Haskell, mgr (2017)
  8. Jakub Kitaj, Modelowanie aplikacji tworzonych na bazie systemu ROS (Robot Operating System), mgr (2017)
  9. Mateusz Wolf, Programowanie reaktywne w językach funkcyjnych, inż (2016)
  10. Paweł Guz, Tworzenie aplikacji reaktywnych w języku Scala, mgr (2016)
  11. Juliusz Gonera, Wzorce projektowe w programowaniu funkcyjnym, mgr (2016)
  12. Marcin Malesa, Internetowy system dokumentowania decyzji architektonicznych, inż (2015)
  13. Marek Maj, Zastosowanie pamięci transakcyjnej (STM) do budowy systemów typu low-latency, mgr (2014)
  14. Dominik Zieliński, Automatyczna weryfikacja zgodności instancji z modelem Alloy, mgr (2014)
  15. Piotr Zakrzewski, Modelowanie programów funkcyjnych tworzonych w języku Haskell, mgr (2013)
  16. Jacek Żebrowski, Narzędzie do modelowania decyzji architektonicznych, inż (2013)
  17. Bartosz Owczarek, Transformacja diagramów UML do modeli w języku Alloy, inż (2013)
  18. Michał Pasieka, Generowanie kodu testującego na podstawie modeli zapisanych w języku Alloy, mgr (2013)
  19. Piotr Borkowski, Analiza porównawcza wybranych technologii RIA, mgr (2012)
  20. Michał Drzazga, Implementacja systemu do gry w wojny rdzeniowe w języku funkcyjnym, inż (2012)
  21. Adam Bielasty, Modelowanie programów funkcyjnych tworzonych w języku F#, mgr (2011)
  22. Konrad Kiełbasa, Modelowanie i generowanie kodu aplikacji w technologii Flex, mgr (2011)
  23. Michał Pasieka, Generowanie kodu na podstawie modeli zapisanych w języku Alloy, inż (2011)
  24. Igor Sawczuk, Generowanie systemów zarządzania treścią na podstawie diagramów klas UML, inż (2011)
  25. Grzegorz Pusz, Generowanie aplikacji wykonanej w technologii EJB z modelu zapisanego w języku UML, mgr (2009)
  26. Joanna Siemińska, Definiowanie metod zwinnych w środowisku Rational Method Composer, mgr (2009)
  27. Paweł Borysiuk, Regression-Unit Testing Automation in PTK Centertel, inż (2009)
  28. Konrad Kiełbasa, Modelowanie i generowanie kodu aplikacji w technologii Flex, inż (2009)
  29. Marcin Szymaniuk, Witryna WWW Ośrodka Języka Angielskiego SJO PW, inż (2009)
  30. Eldjon Kepucka, Narzędzie kontroli złożoności modeli obiektowych, inż (2008)
  31. Paweł Kozak, Rozwój biblioteki Win32:GuiTest, inż (2008)
  32. Marek Zalewski, Formalizacja i analiza właściwości statycznego modelu procesów z wykorzystaniem sieci Petriego, mgr (2007)
nauka › publikacje ⁄ publications
  1. Szlenk M.: Formal Semantics of Architectural Decision Models. arXiv:1807.02798 [cs.SE], preprint (2018)
  2. Zieliński C., Stefańczyk M., Kornuta T., Figat M., Dudek W., Szynkiewicz W., Kasprzak W., Figat J., Szlenk M., Winiarski T., Banachowicz K., Zielińska T., Tsardoulias E.G., Symeonidis A.L., Psomopoulos F.E., Kintsakis A.M., Mitkas P.A., Thallas A., Reppou S.E., Karagiannis G.T., Panayiotou K., Prunet V., Serrano M., Merlet J.-P., Arampatzis S., Giokas A., Penteridis L., Trochidis I., Daney D., Iturburu M.: Variable structure robot control systems: The RAPP approach. Robotics and Autonomous Systems 94, pp. 226-244. Elsevier (2017)
  3. Zieliński C., Szynkiewicz W., Kasprzak W., Stefańczyk M., Figat M., Dudek W., Figat J., Szlenk M., Zielińska T.: Sterowniki o zmiennej strukturze w zastosowaniu do robotów społecznych. In: XIV Krajowa Konferencja Robotyki – Postępy robotyki, vol. 1, pp. 5-14 (2016)
  4. Figat M., Kornuta T., Szlenk M., Zieliński C.: Distributed, reconfigurable architecture for robot companions exemplified by a voice-mail application. Proceedings of the 20th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 1092-1097. IEEE Computer Society (2015)
  5. Zieliński C., Szynkiewicz W., Figat M., Szlenk M., Kornuta T., Kasprzak W., Stefańczyk M., Zielińska T., Figat J.: Reconfigurable Control Architecture for Exploratory Robots. Proceedings of the 10th International Workshop on Robot Motion and Control, pp. 130–135. IEEE Computer Society (2015)
  6. Szlenk M., Zieliński C., Figat M., Kornuta T.: Reconfigurable Agent Architecture for Robots Utilising Cloud Computing. In: Szewczyk R. et al. (eds.) Progress in Automation, Robotics and Measuring Techniques, AISC 351, pp. 253-264. Springer International Publishing (2015)
  7. Szlenk M.: Towards Precise Architectural Decision Models. In: Zamojski W. et al. (eds.) New Results in Dependability & Computer Systems, AISC 224, pp. 449-458. Springer International Publishing (2013)
  8. Zalewski A., Szlenk M., Kijas S.: An Evolution Process for Service-Oriented Systems. Computer Science Journal, vol. 13, no. 4, pp. 71-86. AGH University of Science and Technology (2012)
  9. Szlenk M., Zalewski A., Kijas S.: Modelling Architectural Decisions under Changing Requirements. Proceedings of the Joint 10th Working Conference on Software Architecture & 6th European Conference on Software Architecture, pp. 211-214. IEEE Computer Society (2012)
  10. Kijas S., Zalewski A., Sacha K., Szlenk M., Ratkowski A.: Formal Semantics of Architectural Decision Making Models as a Component of an Integrated Evolution Methodology for Service-Oriented Systems. In: Grzech A. et al. (eds.) Information Systems Architecture and Technology, Service Oriented Networked Systems, pp. 37-46. Wrocław University of Technology (2011)
  11. Zalewski A., Sacha K., Szlenk M., Sztandera P., Ratkowski A., Kijas S.: W kierunku metodyki ewolucji systemów o architekturze usługowej. In: Górski J., Orłowski C. (eds.) Integracja systemów informatycznych - nowe wyzwania, pp. 87-92. PWNT (2011)
  12. Szlenk M.: Metamodel and UML Profile for Functional Programming Languages. In: Zamojski W. et al. (eds.) Dependable Computer Systems, AISC 97, pp. 233-242. Springer, Berlin Heidelberg (2011)
  13. Ratkowski A., Szlenk M., Kubica B.: Wytwarzanie systemów informatycznych. Preskrypt dla studiów podyplomowych “Inżynieria systemów informatycznych zarządzania i wspomagania decyzji”. Instytut Automatyki i Informatyki Stosowanej, Politechnika Warszawska (2009)
  14. Sacha K., Kaleta M., Kossowski R., Szlenk M., Zalewski A.: Standaryzacja w zarządzaniu informatyką. Preskrypt dla studiów podyplomowych “Zarządzanie zasobami IT: architektury, procesy, standardy”. Instytut Automatyki i Informatyki Stosowanej, Politechnika Warszawska (2009)
  15. Szlenk M.: UML Static Models in Formal Approach. In: Meyer B., Nawrocki J.R., Walter B. (eds.) CEE-SET 2007. LNCS, vol. 5082, pp. 129-142. Springer, Heidelberg (2008)
  16. Zalewski A., Szlenk M.: Organizacja i zarządzanie projektami informatycznymi. (Ed. Kopipol). Opracowanie multimedialne (2007)
  17. Szlenk M.: Formal Semantics and Reasoning about UML Class Diagram. Proceedings of DepCoS-RELCOMEX 2006, pp. 51-58. IEEE Computer Society Press (2006)
  18. Szlenk M.: Formalization of UML Class Diagram. VIII International Workshop for Candidates for a Doctor's Degree OWD2006, vol. 1, pp. 39-42 (2006)
  19. Markowski K.A., Szlenk M., Twardy M.: Algorithm for determining all finite paths in a 2D directed graph. Przegląd Elektrotechniczny, vol. 1/2006, pp. 50-52 (2006)
  20. Szlenk M.: Formal Semantics and Reasoning about UML Conceptual Class Diagram (in Polish). PhD Thesis, Warsaw University of Technology (2005)
  21. Szlenk M., Homenda W.: A Practical Approach to the Chord Analysis in the Acoustical Recognition Process. In: Halgamuge S.K., Wang L. (eds.) Computational Intelligence for Modelling and Prediction, pp. 221-231. Springer-Verlag (2005)
  22. Szlenk M.: Precyzyjna semantyka pojęciowych diagramów klas UML. VI International Workshop for Candidates for a Doctor's Degree OWD2004, vol. 4, pp. 205-210 (2004)
  23. Szlenk M.: Formalizacja procesu konstrukcji obiektowych modeli danych. Materiały X Konferencji Systemy Czasu Rzeczywistego SCR'03, pp. 71-80 (2003)
  24. Szlenk M., Homenda W.: A Practical Approach to the Chord Analysis in the Acoustical Recognition Process. Proceedings of the 1st International Conference on Fuzzy Systems and Knowledge Discovery FSKD'02, Singapore, pp. 385-388 (2002)
  25. Szlenk M.: Podstawowe pojęcia modelu UML w ujęciu formalnym. Materiały IV Krajowej Konferencji Inżynierii Oprogramowania KKIO'02, pp. 173-180 (2002)

© 2020 Marcin Szlenk. Built on the Not Just a Grid framework.