Protocol Verification Techniques: Status Quo and Perspectives M Sajkowski Protocol Specification, Testing, and Verification, 1985 | 35 | 1985 |
Modeling the process of human body iron homeostasis using a variant of timed Petri nets J Blazewicz, D Formanowicz, P Formanowicz, A Sackmann, M Sajkowski Discrete Applied Mathematics 157 (10), 2221-2231, 2009 | 21 | 2009 |
On verifying time-dependent protocols M Sajkowski Proc. Sixth Intl. Conference on Software Engineering for Telecommunication …, 1986 | 11 | 1986 |
Protocol verification in the presence of time M Sajkowski Protocol Specification, Testing, and Verification, VI. North Holland, Amsterdam, 1987 | 10 | 1987 |
Dependability infrastructure for SOA applications J Brzeziński, D Dwornikowski, A Kobusińska, J Kobusiński, M Sajkowski, ... Advanced SOA tools and applications, 203-260, 2014 | 8 | 2014 |
Protocol verification using discrete-event models M Sajkowski Discrete Event Systems: Models and Applications: IIASA Conference Sopron …, 2006 | 3 | 2006 |
Evaluation of Formal Methods for Communication Protocol Specification from Protocol Designer's Viewpoint M Sajkowski, M Stroiński Proc. Int'l Conf. on Software Engineering for Telecommunication Switching …, 1983 | 3 | 1983 |
A polygon time structure for protocol verification J Brzeziński, M Sajkowski Proc. Parallel Processing and Applied Mathematics Conference, Kazimierz …, 1999 | 2 | 1999 |
On the applicability of an interval time structure for protocol verification “ J Brzeziński, M Sajkowski Advances in Computer and Information Sciences 98, 453-463, 1998 | 2 | 1998 |
System operacyjny UNIX dla początkujących i zaawansowanych Z Królikowski, M Sajkowski Wydawnictwo NAKOM, Poznań, 1995 | 2 | 1995 |
MDL: metrics definition language J Brzeziński, D Dwornikowski, M Kalewski, T Pawlak, M Sajkowski Asian Conference on Intelligent Information and Database Systems, 248-256, 2011 | 1 | 2011 |
Detection of livelocks in communication protocols by means of a polygon time structure J Brzezinski, M Sajkowski Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, 84-93, 2000 | 1 | 2000 |
The application of computational geometry algorithms to the timed verification of communication protocols J Brzezinski, M Sajkowski FOUNDATIONS OF COMPUTING AND DECISION SCIENCES 25 (2), 95-120, 2000 | | 2000 |
The application of computational geometry algorithms to the timed verification of communication protocols J Brzeziński, M Sajkowski Foundations of Computing and Decision Sciences 25 (2), 97-119, 2000 | | 2000 |
Lecturer M Sajkowski Computer Science 1, 2, 0 | | |
Koncepcje zarządzanie w SOA J Brzeziński, D Dwornikowski, M Sajkowski | | |