Krzysztof Sacha
Krzysztof Sacha
professor of software engineering, Warsaw University of Technology
Verified email at ia.pw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Real-time systems: implementation of industrial computerised process automation
WA Halang, KM Sacha
World Scientific, 1992
761992
Inżynieria oprogramowania
K Sacha
Wydawnictwo Naukowe PWN SA, 2020
712020
Automatic code generation for PLC controllers
K Sacha
International Conference on Computer Safety, Reliability, and Security, 303-316, 2005
382005
Architecting dynamic reconfiguration in dependable systems
ATA Gomes, TV Batista, A Joolia, G Coulson
Architecting Dependable Systems IV, 237-261, 2007
34*2007
Measuring the real-time operating system performance
KM Sacha
Proceedings Seventh Euromicro Workshop on Real-Time Systems, 34-40, 1995
301995
Verification and implementation of dependable controllers
K Sacha
2008 Third International Conference on Dependability of Computer Systems …, 2008
232008
Systemy czasu rzeczywistego
K Sacha
Oficyna Wydawnicza Politechniki Warszawskiej, 1993
231993
Evaluation of software quality
K Zielinski, T Szmuc
Frontiers in Artificial Intelligence and Applications, 381, 2005
192005
Translatable finite state time machine
K Sacha
International SDL Forum, 117-132, 2007
182007
Sieci miejscowe PROFIBUS
K Sacha
Zakład Nauczania Informatyki Mikom, 1998
171998
The semantics of role-based trust management languages
A Felkner, K Sacha
IFIP Central and East European Conference on Software Engineering Techniques …, 2009
122009
Verification and implementation of software for dependable controllers
K Sacha
International Journal of Critical Computer-Based Systems 1 (1-3), 238-254, 2010
112010
Software engineering techniques: design for quality
K Sacha
Springer, 2007
102007
Safety verification of software using structured Petri nets
K Sacha
International Conference on Computer Safety, Reliability, and Security, 329-342, 1998
101998
Projektowanie oprogramowania systemów sterujących
K Sacha
Oficyna Wydawnicza Politechniki Warszawskiej, 1996
101996
QNX: system operacyjny
K Sacha
X-Serwis, 1995
101995
Fault analysis using petri nets
K Sacha
Proc. IEEE Real-time Embedded Systems Workshop, 130-133, 2001
92001
Laboratorium systemu QNX
K Sacha
Oficyna Wydawnicza Politechniki Warszawskiej, 1995
91995
Deriving RTT credentials for role-based trust management
A Felkner, K Sacha
e-Informatica Software Engineering Journal 4 (1), 2010
82010
Evaluation of expected software quality: A customer’s viewpoint
K Sacha
International Conference on Fundamental Approaches to Software Engineering …, 2006
82006
The system can't perform the operation now. Try again later.
Articles 1–20