Krzysztof Sacha

Lista publikacji

Książki

1.      Sacha K., Inżynieria oprogramowania, PWN (seria Fundamenty informatyki), Warszawa 2010.

2.      Sacha K. (ed.), Software Engineering Techniques: Design for Quality, Springer, New York 2006.

3.      Sacha K., Programowanie w języku C, Wydawnictwo WSEI, Warszawa, 2005.

4.      Kręglewska U., Sacha K., Gustowski J., Ławryńczuk M., Podstawy sterowania, Oficyna Wydawnicza PW, Warszawa, 2003.

5.      Sacha K., Laboratorium systemu QNX, Oficyna Wydawnicza PW, Warszawa 1995, wyd. 2 (zmienione) Oficyna Wydawnicza PW, Warszawa 2001.

6.      Sacha K., Systemy czasu rzeczywistego, Oficyna Wydawnicza PW, Warszawa 1993, wyd. 2 (zmienione) Oficyna Wydawnicza PW, Warszawa 1999.

7.      Sacha K., Sieci miejscowe – Profibus, Mikom, Warszawa, 1998.

8.      Sacha K., Projektowanie oprogramowania systemów sterujących, Oficyna Wydawnicza PW, Warszawa, 1996.

9.      Sacha K., Projektowanie oprogramowania systemów wbudowanych, Prace Naukowe Politechniki Warszawskiej, Elektronika, z. 115, 1996.

10.      Sacha K., Komputer w szkole i w domu, WSziP, Warszawa, 1995.

11.      Sacha K., QNX – System operacyjny, X-Serwis, Warszawa, 1995.

12.      Halang W., Sacha K., Real-Time Systems; Implementation of Industrial Computerised Process Automation, World Scientific, Singapore, London, 1992.

13.      Sacha K., Pamięci półprzewodnikowe RAM, WNT, Warszawa, 1991.

14.      Sacha K., Wieloprocesorowy system laboratorium sterowania komputerowego, WPW, Warszawa, 1990.

15.      Sacha K., Mikrokomputer w szkole i w domu, WSziP, Warszawa, 1988.

16.      Sacha K., Misiurewicz P., Kreglewski T., Przewodnik po technice mikrokomputerowej, WNT, Warszawa, 1988.

17.      Sacha K., Systemy techniki cyfrowej, WSZiP, Warszawa, 1988.

18.      Rydzewski A., Sacha K., Mikrokomputer – elementy; budowa; działanie, Sigma, Warszawa, 1986.

19.      Sacha K., Rydzewski A., Mikroprocesor w pytaniach i odpowiedziach, WNT, Warszawa, 1985.

20.      Sacha K., Użytkowanie maszyn cyfrowych, WSziP, Warszawa, 1983.

21.      Sacha K., Cyfrowe maszyny sterujące, WPW, Warszawa, 1983.

Artykuły

1.         Sacha K.: On the Semantics of Architectural Decisions. International Journal of Software Engineering and Knowledge Engineering, vol. 26, no 2, pp. 333-346 (2016). DOI: 10.1142/S0218194016500145

2.         Pikulski W, Sacha K.: Freshness Constraints Semantics of RT Framework Credentials. In: W. Zamojski et al. (Eds.): Theory and Engineering of Complex Systems and Dependability. Proc. 10th International Conf. DepCos-RELCOMEX, Springer, pp. 359-368 (2015). DOI:10.1007/978-3-319-19216-1_34

3.         Sacha K., Pikulski W.: Internet-Based Production Monitoring and Reporting. In: W. Zamojski et al. (Eds.): Advances in Intelligent Systems and Computing, vol. 286. Proc. 9th International Conf. DepCoS-RELCOMEX, Springer, pp. 383-391 (2014)

4.         Sacha K., Ratkowski A.: Transformational Implementation of Business Processes in SOA. International Journal on Advances in Software, vol. 6, no 1/2, pp. 92-103 (2013)

5.         Pikulski W., Sacha K.: Freshness Constraints in the RT Framework. In: W. Zamojski et al. (Eds.): New Results in Dependability and Computer Systems, Proc. 8th International Conf. on Dependability and Complex Systems, pp.325-334. Springer, Heidelberg (2013)

6.         Sacha K., Ratkowski A.: Implementation of Business Processes in Service Oriented Architecture. In: H. Mannaert et al. (Eds): ICSEA2012: The Seventh International Conference on Software Engineering Advances, pp. 129-136. IARIA (2012)

7.         Ratkowski A., Sacha K., Zalewski A.: Optimization of Business Processes in Service Oriented Architecture. In: C-H. Chi, G. Grossmann (Eds): 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops, pp. 42-50. IEEE Computer Society (2012)

8.         Felkner A., Sacha K.: The Semantics of Role-Based Trust Management Languages. In: T. Szmuc, M. Szpyrka, J. Zendulka (Eds.): Advances in Software Engineering Techniques, LNCS 7054, pp. 179-189. Springer, Heidelberg (2012)

9.         Sacha K.: Complexity of Credential Processing. In: Proc. IEEE Conference on Computer as a Tool EUROCON. IEEE Xplore (2011)

10.     Sacha K.: Trust Management Languages and Complexity. In: R. Meersman et al (Eds.): On the Move to Meaningful Internet Systems: OTM 2011, LNCS 7045, pp. 588-604. Springer, Heidelberg (2011)

11.     Ratkowski A, Sacha K.: Business Process Design in Service Oriented Architecture. In: A. Grzech, L. Borzemski, J. Świątek, Z. Wilimowska (Eds.): Information Systems Architecture and Technology, pp. 15-24. Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław (2011)

12.     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: A. Grzech, L. Borzemski, J. Świątek, Z. Wilimowska (Eds.): Information Systems Architecture and Technology, pp. 37-46. Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław (2011)

13.     Ratkowski A., Sacha K.: Przewidywanie wydajności procesów w języku BPEL. In: J. Górski, C. Orłowski (Eds.): Integracja systemów informatycznych – nowe wyzwania, pp. 205-212. PWNT, Gdańsk (2011)

14.     Zalewski A., Sacha K., Szlenk M., Sztandera P., Ratkowski A., Kijas S.: W kierunku metodyki ewolucji systemów o architekturze usługowej. In: J. Górski, C. Orłowski (Eds.): Integracja systemów informatycznych – nowe wyzwania, pp. 87-91. PWNT, Gdańsk (2011)

15.     Dolińska I., Masiukiewicz A., Sacha K.: Regulacje QoS w Internecie – czy tego potrzebujemy? Elektronika, vol. 52, no 9, pp. 207-212. Sigma NOT (2011)

16.     Dolińska I., Masiukiewicz A., Sacha K.: Internet QoS, why, what and when?. In: P. Jałowiecki, P. Łukasiewicz, A. Orłowski (Eds.): Information Systems in Management XI, pp. 18-28. WULS Press, Warszawa (2011)

17.     Dolińska I., Masiukiewicz A., Sacha K.: Pomiary jakości sieci Internet. Ekonomiczno-Informatyczny Kwartalnik Teoretyczny, no 29. Wydawnictwo WSEI, Warszawa (2011)

18.     Dolińska I., Masiukiewicz A., Sacha K.: Technologie i metody zapewnienia QoS w sieci Internet. Ekonomiczno-Informatyczny Kwartalnik Teoretyczny, no 29. Wydawnictwo WSEI, Warszawa (2011)

19.     Sacha K., Credential Chain Discovery in RTT Trust Management Language, in: I. Kotenko, V. Skormin (eds) Computer Network Security, LNCS 6258, pp. 195-208 Springer, Berlin Heidelberg 2010.

20.     Sacha K., Inference System for Trust Management Credentials, in: J. Mazurkiewicz et al, Models and Methodology of System Dependability, pp. 121-133, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, 2010.

21.     Sacha K. Verification and Implementation of software for dependable controllers, International Journal of Critical Computer-Based Systems, Vol. 1, No 1/2/3, pp. 238-254, 2010.

22.     Felkner A., Sacha K., Deriving RTT Credentials for Role-Based Trust Management, e-Informatica Software Engineering Journal, Vol. 4, No 1, pp. 9-19, 2010 (http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_4/eInformatica2010Art1.pdf).

23.     Felkner A., Sacha K., The Semantics of Role-Based Trust Management Languages, in: T. Szmuc, M. Szpyrka, J. Zendulka (eds.): Proc. 4th IFIP Conf. on Software Engineering Techniques (preprints), pp. 192-203, AGH Univ. of Science Press 2009.

24.     Sacha K., Model-Based Design of Code for Plc Controllers, in. Proc. 6th International Conf. on Informatics in Control, Automation and Robotics ICINCO, pp. 130-135, INSTICC 2009.

25.     Sacha K., Kryteria i metryki oceny jakości oprogramowania, in: B. Hnatkowska, Z. Huzar, Inżynieria oprogramowania, pp. 249-263, PWN, Warszawa 2008.

26.     Sacha K., Model-Based Implementation of Real-Time Systems, in: M.D. Harrison, M-A. Sujan (eds.) Computer Safety, Reliability, and Security, LNCS 5219, pp. 332­-345 Springer-Verlag, Berlin Heidelberg 2008.

27.     Sacha K., Verification and Implementation of Dependable Controllers, in: W. Zamojski et al. (eds): Proc. Conf. on Dependability of Computer Systems DepCoc-RELCOMEX, pp. 143-151, IEEE Computer Society 2008.

28.     Sacha K., An Approach to the Evaluation of Software Quality, in: R. K. Jain B (ed.) Software Quality Measurement, Concepts and Approaches, pp. 45-58, The Icfai University Press, Nagarjuna Punjagutta 2008.

29.     Sacha K., Software Engineering Practices: An Auditor’s Perspective, in: H. Fujita, D. Pisanelli (eds.) New Trends in Software Methodologies, Tools and Techniques, pp. 36-51, IOS Press, Amsterdam Berlin 2007.

30.     Sacha K., Translatable Finite State Time Machine, in: E. Gaudin, E. Najm, R. Reed (eds.) Sdl 2007: Design for Dependable Systems, LNCS 4745, pp. 117­-132 Springer-Verlag, Berlin Heidelberg 2007.

31.     Sacha K., Metody i metryki oceny jakości oprogramowania, Materiały konferencji „Metody i narzędzia wytwarzania oprogramowania”, pp. 145-157, Oficyna Wydawnicza PWr, Wrocław 2007.

32.     Sacha K., E-administracja – usługi i technologie, in: W. Chmielarz, T. Parys (ed.), Zastosowania systemów e-biznesu w gospodarce, pp. 303-309, Wydawnictwo WSEI, Warszawa 2007.

33.     Sacha K., Evaluation of Expected Software Quality: A Customer’s Viewpoint, in. L. Baresi, R. Heckel (eds) Fundamental Approaches to Software Engineering, LNCS 3922, pp. 170-183, Springer-Verlag, Berlin Heidelberg 2006.

34.     Sacha K., Software Engineering Techniques in Practice, Materiały konferencji „Technologie informacyjne w zarządzaniu”, pp. 197-204, Warszawa 2006.

35.     Zieliński C., Malinowski K., Tatjewski P., Ogryczak W., Pacut A., Toczyłowski E., Sacha K., Kasprzak W., Obszary badań Instytutu Automatyki i Informatyki Stosowanej, Przegląd Telekomunikacyjny, z. 10/2006, pp. 289-292, 2006.

36.     Sacha K., Automatic Code Generation for PLC Controllers, in: R. Winter, B. A. Gran, G. Dahll (eds.) Computer Safety, Reliability and Security, LNCS 3688, pp. 303­-316, Springer-Verlag, Berlin Heidelberg 2005.

37.     Sacha K., Evaluation of Software Quality (pdf 38kB), in: K. Zieliński, T. Szmuc (eds.) Software Engineering: Evolution and Emerging Technologies, pp. 381-388, IOS Press, Amsterdam Berlin 2005.

38.     Sacha K., Dependable Programming Using Statechart Models, in: M. Colnaric, W.A. Halang, M. Węgrzyn (ed.): Real-Time Programming 2004, pp. 73-78, Elsevier, Oxford 2005.

39.     Gosiewski A., Sacha K., Sterowanie, w: Wielka Encyklopedia, t. 26, PWN, Warszawa 2005.

40.     Sacha K., Automatyczne programowanie sterownika PLC z użyciem czasowej maszyny stanowej, w: A. Kwiecień (ed.): Systemy czasu rzeczywistego – Kierunki badań i rozwoju, pp. 251-264, WKŁ, Warszawa 2005.

41.     Sacha K., Praktyka wytwarzania oprogramowania, w: Górski J., Wardziński A. (ed.): Inżynieria oprogramowania – Nowe wyzwania, pp. 103-111, WNT, Warszawa 2004.

42.     Sacha K., A Simple Method for PLC Programming, in: Colnaric M., Adamski M., Węgrzyn M. (eds): Real-Time Programming 2003, pp. 27-31, Elsevier, 2003.

43.     Sacha K., What does 'Software Engineering for Real Time Systems' Mean?, in: Colnaric M., Adamski M., Węgrzyn M. (eds): Real-Time Programming 2003, pp. 201-202, Elsevier, 2003.

44.     Cegieła R., Sacha K., Standardy i metodyki w audycie projektów i systemów informatycznych, Materiały X Konferencji „Systemy czasu rzeczywistego SCR’03”, pp. 397-407, Ustroń 2003.

45.     Zalewski A., Cegieła R., Sacha K., Modele i praktyka audytu informatycznego, w: Huzar Z., Mazur Z. (ed.): Problemy i metody inżynierii oprogramowania, pp. 363-374, WNT, Warszawa 2003.

46.     Sacha K., Cegieła R., Zalewski A., Instytucjonalizacja i standaryzacja audytu systemów informatycznych, w: Huzar Z., Mazur Z. (ed.): Problemy i metody inżynierii oprogramowania, pp. 375-385, WNT, Warszawa 2003.

47.     Sacha K., Adaptacja programu nauczania informatyki do potrzeb rynku, Materiały Konf. „Rola inżyniera w warunkach obecnej gospodarki”, Warszawa, pp. 31-35, 2002.

48.     Sacha K., Projektowanie oprogramowania czasu rzeczywistego w języku UML, Materiały IX Konferencji „Systemy czasu rzeczywistego SCR’02”, Ustroń, pp. 203-214, 2002.

49.     Kręglewska U., Sacha K., Wprowadzenie do systemów czasu rzeczywistego na studiach informatycznych (pdf 108kB), Materiały IX Konferencji „Systemy czasu rzeczywistego SCR’02”, Ustroń, pp. 249-257, 2002.

50.     Gosiewski A., Sacha K., Automatyka, Wielka Encyklopedia, PWN, 2001.

51.     Sacha K., Fault Analysis Using Petri Nets (pdf 45kB), Proc. IEEE Real-time Embedded Systems Workshop, pp. 130-133, 2001.

52.     Sacha K., Analiza bezpieczeństwa systemów programowanych, Materiały Ogólnopolskiej Konf. Nauk-Tech. „Real-Time Systems'2000”, Kraków, pp. 62-71, 2000.

53.     Sacha K., Hard Real Time Controller: A Case Study, Proc. 24th IFAC/IFIP Workshop on Real Time Programming, pp. 75-80, 1999.

54.     Sacha K., Real Time Systems Education at Warsaw University of Technology, Proc. Real-Time Systems Education III, IEEE Computer Society, pp. 36-40, 1999.

55.     Sacha K., Charakterystyka sieci przemysłowych, Informatyka, no 3, pp. 34-42, 1999.

56.     Sacha K., Sieć Profibus, Informatyka, no 5, pp. 37-45, 1999.

57.     Sacha K., Zastosowanie sieci Petriego do analizy bezpieczeństwa oprogramowania, Materiały IV Konf. Nauk-Tech. “Diagnostyka Procesów Przemysłowych”, Kazimierz Dolny, pp. 341-346, 1999.

58.     Sacha K., Safety Verification of Software Using Structured Petri Nets (pdf 135kB), in: W. Ehrenberger (ed.) Computer Safety, Reliability and Security, LNCS 1516, pp. 329-342, Springer 1998.

59.     Sacha K., Oprogramowanie systemowe wieloprocesorowego sterownika szybkiego robota, Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej, no 99, pp. 279-286,1998.

60.     Sacha K., Ostre ograniczenia czasowe w sterowniku szybkiego robota, Materiały Ogólnopolskiej Konf. Nauk-Tech. “Real-Time Systems'98”, Szklarska Poręba, pp. 62-71, 1998.

61.     Kręglewska U., Sacha K., Versatile Control System for a Very Fast Robot (pdf 44kB), Proc. 4th International Symposium on Methods and Models in Automation and Robotics “MMAR 97”, Międzyzdroje, pp. 1145-1150, 1997.

62.     Sacha K., Bezpieczeństwo oprogramowania w normie IEC 1508, Materiały Ogólnopolskiej Konf. Nauk-Tech. “Real-Time Systems'97”, Szklarska Poręba, pp. 175-182, 1997.

63.     Koch J., Kosmulska-Bochenek E., Kowalczyk G., Mrzygłód M., Nowak M., Reiner J., Sacha K., Skura K., Smalec Z., Sochan A., Trzciński P., Systemy komunikacyjne w automatyzacji procesów wytwarzania, Materiały Konf. Nauk-Tech. “Automatyzacja produkcji'97”, Oficyna Wydawnicza Politechniki Wrocławskiej, pp. 385-416, 1997.

64.     Cegieła R., Sacha K., Zalewski A., Task A3: Safety Analysis for  the Software Domain, Copernicus Joint Research Project CP 94 1594 on Integration of Safety Analysis Techniques for Process Control Systems, IASE, Wrocław, April 1997.

65.     Sacha K., Projektowanie oprogramowania czasu rzeczywistego, Informatyka, no 3, pp. 38-42,1996.

66.     Sacha K., Specyfikacja i synteza oprogramowania w metodzie Transnet, Materiały Ogólnopolskiej Konf. Nauk-Tech. “Real-Time Systems'96”, Szklarska Poręba, pp. 49-58, 1996.

67.     Sacha K., Przemysłowe sieci miejscowe – sieć Profibus, Materiały szkoleniowe Ogólnopolskiej Konf. Nauk-Tech. “Real-Time Systems'96”, Szklarska Poręba, 1996.

68.     Sacha K., Measuring the Real-Time Operating System Performance (pdf 89kB), Proc. 7th Euromicro Workshop on Real-Time Systems, Odense, pp. 34-40, 1995.

69.     Sacha K., Specyfikacja uzależnień czasowych i synteza oprogramowania systemów sterujących, Materiały I Konferencji Granty-Automatyka'95, Warszawa, pp. 195-204, 1995.

70.     Sacha K., Problemy jakości w projektowaniu oprogramowania systemów wbudowanych, Informatyka, no 9, pp. 2-11, 1995.

71.     Sacha K., Systemy czasu rzeczywistego, Materiały szkoleniowe Ogólnopolskiej Konf. Nauk-Tech. “Real-Time Systems'95”, Szklarska Poręba, 1995.

72.     Sacha K., Analiza i specyfikacja wymagań, Informatyka, no 10, pp. 18-24, 1995.

73.     Sacha K., Real-Time Software Specification and Validation with Transnet (pdf 143kB), Real-Time Systems Journal, vol. 6, pp. 153-172, 1994.

74.     Sacha K., Specyfikacja wymagań systemów czasu rzeczywistego metodą Warda-Mellora, Materiały Ogólnopolskiej Konf. Nauk-Tech. “Oprogramowanie komputerowych systemów czasu rzeczywistego”, Wrocław, pp. 44-53, 1994.

75.     Sacha K., Standardy planowania jakości, dokumentacji i konserwacji oprogramowania (Standards for Software Quality Planning, Documentation and Maintenance), Informatyka, no 8, pp. 18-21, 1994,.

76.     Sacha K., Sieci komputerowych systemów sterujących: Podstawy, Elektronizacja, no 8-9, pp. 12-15, 1994.

77.     Sacha K., Sieci komputerowych systemów sterujących: Standard MAP, Elektronizacja, no 10, pp. 10-12, 1994.

78.     Sacha K., Real-time specification using Petri nets, The Euromicro J. of Microprocessing and Microprogramming, vol. 38, pp. 607-614, 1993.

79.     Sacha K., Systemy operacyjne czasu rzeczywistego: Synchronizacja zadań i zdarzeń, Elektronizacja, no 1, pp. 4-7, 1993.

80.     Sacha K., Systemy operacyjne czasu rzeczywistego: Systemy iRMX88, iRMX86 i QNX, Elektronizacja, no 2, pp. 7-10, 1993.

81.     Sacha K., Programowanie systemów czasu rzeczywistego w języku Ada: Elementy i struktura programu, Elektronizacja, no 3, pp. 2-5, 1993.

82.     Sacha K., Programowanie systemów czasu rzeczywistego w języku Ada: Programowanie zadań, Elektronizacja, no 4, pp. 5-8, 1993.

83.     Sacha K., Systemy operacyjne QNX-4 i OS-9: System QNX 4.1, Elektronizacja, no 6, pp. 2-5, 1993.

84.     Sacha K., Systemy operacyjne QNX-4 i OS-9: System OS-9, Elektronizacja, no 7, pp. 2-5, 1993.

85.     Sacha K., Projektowanie oprogramowania systemów wbudowanych (Embedded software design), Informatyka, no 7, pp. 8-15, 1993.

86.     Sacha K., Transnet approach to requirements specification and prototyping, Proc. 6th Annual European Conference “CompEuro92”, The Hague, pp. 220-225, 1992.

87.     Sacha K., Transformational implementation of PAISLey specifications using Petri nets, Software Eng. Journal, vol. 7, no 3, pp. 191-204, 1992.

88.     Sacha K., Systemy operacyjne czasu rzeczywistego: Architektura systemu, Elektronizacja, no 12, pp. 3-7, 1992.

89.     Nowosad K., Sacha K., Koncepcja i realizacja laboratorium sterowania komputerowego, Archiwum Automatyki i Robotyki, vol. XXXVI, no 2, pp. 327-337, 1991.

90.     Sacha K., Transnet: a method for transformational development of embedded software, The Euromicro Journal of Microprocessing and Microprogramming, vol. 32, no 1-5, pp. 617-624, 1991.

91.     Sacha K., Dydaktyczny system wieloprocesorowy, Elektronizacja, no 4, pp. 13-16, 1990.

92.     Sacha K., Embedded systems software specification and design methods, Proc. 2nd International Conf. on “Software Engineering for Real Time Systems”, Cirencester, 1989, IEE Conf. Publication no 309, pp. 260-264, IEE, 1989.

93.     Sacha K., Current trends in software development technology, Proc. Conf. “Microsystem'89”, Carlsbad, 1989.

94.     Nowosad K., Sacha K., Computer control laboratory, Proc. (preprints) 2nd IFAC Symp. on Low Cost Automation, pp. F33-F37, Milan 1989.

95.     Sacha K., Ada: adding reliability and efficiency to task communication in programming distributed control systems, Ada Letters, vol. IX, no 6, pp. 80-89, 1989.

96.     Sacha K., Reliable implementation of rendezvous in distributed system, Proc. Conf. “Microsystem'88”, Bratislava 1988.

97.     Sacha K., A proposal of new semantics of shared variables in programming distributed systems in Ada, Proc. 5th International Conference on Microcomputers; Microarchitectures and Development, pp. 168-172, Brno 1987.

98.     Sacha K., Misiurewicz P., Traczyk W., On-line railway traffic planning and control system, Proc. (preprints) 5th IFAC/IFIP/IFORS International Conference on “Control in Transportation Systems” , pp. 195-200, Vien, 1986.

99.     Sacha K., Didactic local area network, Proc. 4th Conference on “Microelectronics and Microsystem'86” , pp. 186-189, Bratislava, 1986.

100. Sacha K., Device availability in a multiple processor microcomputer system, Microcomputer'86 -- design; practice; education, Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej, pp. 174-178, Wroclaw, 1986.

101. Sacha K., Data-driven programming in a multiprocessor microcomputer system, Proc. Conf. “Microsystem'85” , pp. 308-312, Tabor, 1985.

102. Sacha K., CP/M in a multiprocessor microcomputer system, Proc. 4th Symposium on “Microcomputer and Microprocessor Applications”, Budapest, 1985.

103. Sacha K., Klimkiewicz R., Wieloprocesorowy wielozadaniowy system operacyjny czasu rzeczywistego, Proc. IV Polish Conf. “Zastosowanie komputerów w przemyśle” , pp. 46-56, Szczecin, 1985.

104. Traczyk W., Misiurewicz P., Sacha K., A model of trains movement through a railway main-line controlled by a computer system, Proc. 4th IFAC/IFIP/IFORS International Conference on “Control in Transportation Systems” , pp. 135-137, Pergamon Press, Headington Hill Hall, 1984.

105. Sacha K., Architektura wieloprocesorowego systemu laboratoryjnego, Proc. Conf. “Mikrokomputery w automatyce i technice systemów” , pp. 105-111, Wroclaw, 1984.

106. Sacha K., System operacyjny mikrokomputera wieloprocesorowego, Proc. IV Polish Conf. “Zastosowanie mikroprocesorów w automatyce i pomiarach” , pp. 157-161, Warszawa, 1984.

107. Sacha K., Multiprocessor laboratory system, Proc. Conf. “Microsystem'84” , pp. 95-99, Bratislava, 1984.

108. Sacha K., System operacyjny komputera komunikacyjnego systemu sterowania ruchem na CMK, Informatyka, no 3, pp. 5-8, 1978.

109. Sacha K., Adresowanie pośrednie i modyfikacja programów, Archiwum Automatyki i Telemechaniki, no 1-2, pp. 159-170, 1978.

110. Traczyk W., Misiurewicz P., Sacha K., Rydzewski A., Komputerowe systemy sterowania ruchem kolejowym, Zeszyty Naukowe Politechniki Śląskiej, no. 45, pp. 125-132, 1978.

111. Sacha K., Matematyczna analiza systemu cyfrowego, Proc. Conf. “Organizacja maszyn cyfrowych i mikroprogramowanie” , pp. 251-257, PWN, Warszawa 1977.

112. Sacha K., System with Address Machine, CC PAS Reports, no 241, 1976.

113. Sacha K., Wieloprogramowanie w maszynie adresowej, Archiwum Automatyki i Telemechaniki, no 3, pp. 357-369, 1976.

114. Sacha K., Interrupts in computing machines; formal description, Bull. Acad. Polon. Sci; Ser. Sci. Math. Astronom. Phys., vol. XXIV, no 12, pp. 1145-1152, 1976.

115. Sacha K., Interrupts in Address Machine, CC PAS Reports, no 198, 1975.

116. Sacha K., Multiprogramming in Address Machine, CC PAS Reports, no 208, 1975.

117. Sacha K., Przerwania w maszynie adresowej, Archiwum Automatyki i Telemechaniki, no 3, pp. 311-320, 1975.

Inne

1.      Sacha K., Ekspertyza Umowy na usługi utrzymania i wsparcia eksploatacji Kompleksowego Systemu Informatycznego ZUS, październik 2010.

2.      Sacha K., Ekspertyza możliwości udzielenia zamówienia z wolnej ręki na rozwój KSI ZUS, marzec 2010.

3.      Sacha K., Ekspertyza koncepcji rozwoju Kompleksowego Systemu Informatycznego ZUS w kontekście 2010 roku, październik 2009.

4.      Sacha K., Ocena zgodności Planu Inwestycyjnego NFZ ze Strategią Rozwoju Systemu Informatycznego NFZ, Rada Nadzorcza NFZ, 2008.

5.      Sacha K., Ocena strategii informatyzacji Zakładu Ubezpieczeń Społecznych na lata 2008-2010, kwiecień 2008.

6.      Sacha K., Ekspertyza planów wykonania systemu informatycznego ePUAP (Elektroniczna Platforma Administracji Publicznej), marzec 2007.

7.      Napiórkowska G., Relidzińska – Moore K., Kowalczyk B., Ilnicki M., Sacha K., Raport grupy sanacyjnej projektu Centralnego Systemu Informatycznego Banku, październik 2006.

8.      Sacha K., Cegieła R., Traczyk T., Zalewski A., Ocena oprogramowania systemu POLGAZ, listopad 2005.

9.      Sacha K., Cegieła R., Zalewski A., Ocena przygotowania testów akceptacyjnych systemów informatycznych Agencji Rynku Rolnego wspierających realizację wspólnej polityki rolnej, 24 lutego 2004.

10.  Sacha K., Cegieła R., Zalewski A., Ocena funkcjonalności aplikacji wspomagających realizację zadań Narodowego Funduszu Zdrowia, 22 grudnia 2004.

11.  Sacha K., Cegieła R., Traczyk T., Zalewski A., Szlenk M., Ocena jakości produktów w projekcie budowy oprogramowania Zintegrowanego Systemu Zarządzania i Kontroli (IACS), szereg raportów w latach 2003- 2004.

12.  Sacha K., Ekspertyza informatyczna dokumentu Strategia Informatyzacji Poczty Polskiej, 10 marca 2003.

13.  Sacha K., Cegieła R., Zalewski A, Badanie funkcjonalnych i wydajnościowych testów akceptacyjnych ZST dla CER Warszawa, sierpień 2003.

14.  Sacha K., Cegieła R., Zalewski A., Opinia biegłych oraz sprawozdanie z działań podjętych w sprawie ustalenia, zbadania i oceny przyczyn awarii systemu informatycznego zamówionego przez Krajowe Biuro Wyborcze dla obsługi wyborów samorządowych w 2002r., dla NIK, 15 lutego 2003.

15.  Sacha K., Ekspertyza informatyczna projektu technicznego Zintegrowanego Systemu Teleinformatyki, dla Centrum Ekspedycyjno-Rozdzielczego Poczty Polskiej, 24 sierpnia 2002.

16.  Sacha K., Opinia biegłego na temat przebiegu informatyzacji ZUS, dla Prokuratury Apelacyjnej w Warszawie, 11 grudnia 2002.