Krzysztof Sacha

List of Publications (English language only)

Books

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

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

Journal and Conference Papers

·              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)

·              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)

·              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)

·              Sacha K.: Complexity of Credential Processing. In: Proc. IEEE Conference on Computer As A Tool EUROCON, IEEE Xplore (2011)

·              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, Heidelberg (2010)

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

·              Sacha K.: Verification and Implementation of Software for Dependable Controllers. Int. J. Critical Computer-Based Systems, Vol. 1, No 1/2/3, pp. 238-254 (2010)

·              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)

·              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)

·              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)

·              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, Heidelberg (2008)

·              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)

·              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)

·              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)

·              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, Heidelberg (2007)

·              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, Heidelberg (2006)

·              Sacha K.: Software Engineering Techniques in Practice. Proc. Information Technologies in Enterprise Management, pp. 197-204. Warsaw (2006)

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

·              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, Heidelberg (2005)

·              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)

·              Sacha K.: A Simple Method for PLC Programming. In: M. Colnaric, M. Adamski, M. Węgrzyn (Eds.): Real-Time Programming 2003, pp. 27-31. Elsevier, Oxford (2003)

·              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, Oxford (2003)

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

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

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

·              Sacha K.: Safety Verification of Software Using Structured Petri Nets, In: W. Ehrenberger (Ed.): Computer Safety, Reliability and Security, LNCS 1516, pp. 329-342. Springer, Heidelberg (1998)

·              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”, pp. 1145-1150, Międzyzdroje (1997)

·              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 (1997)

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

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

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

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

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

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

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

·              Sacha K.: Current trends in software development technology, Proc. Conf. “Microsystem'89”, Carlsbad (1989)

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

·              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)

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

·              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)

·              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, Vienna (1986)

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

·              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)

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

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

·              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)

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

·              Sacha K.: System with Address Machine, CC PAS Reports, no 241 (1976)

·              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)

·              Sacha K.: Interrupts in Address Machine, CC PAS Reports, no 198 (1975)

·              Sacha K.: Multiprogramming in Address Machine, CC PAS Reports, no 208 (1975)