Michał Sajkowski
Michał Sajkowski
Verified email at put.poznan.pl
TitleCited byYear
Protocol Verification Techniques: Status Quo and Perspectives
M Sajkowski
Protocol Specification, Testing, and Verification, 1985
361985
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
182009
On verifying time-dependent protocols
M Sajkowski
Proc. of International Conference on Software Engineering for …, 1986
111986
Protocol verification in the presence of time
M Sajkowski
Protocol Specification, Testing, and Verification, VI. North Holland, Amsterdam, 1987
81987
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
62014
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
41983
Protocol verification using discrete-event models
M Sajkowski
Discrete Event Systems: Models and Applications, 100-114, 1988
31988
A polygon time structure for protocol verification
J Brzeziński, M Sajkowski
Proc. Parallel Processing and Applied Mathematics Conference, Kazimierz …, 1999
21999
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
21998
System operacyjny UNIX dla początkujących i zaawansowanych
Z Królikowski, M Sajkowski
Wydawnictwo NAKOM, Poznań, 1995
21995
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
12011
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
12000
Networks in Computational Biology
J Blazewicz, D Formanowicz, P Formanowicz, A Sackmann, M Sajkowski, ...
Discrete Applied Mathematics 157 (10), 2009
2009
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
The system can't perform the operation now. Try again later.
Articles 1–17