Publications
Books
[1] | Ocena stanu globalnego w systemach rozproszonych , Ośrodek Wydawnictw Naukowych, 2001. [bib] |
Refereed Articles and Book Chapters
[2] | ROsWeL Workflow Engine — A Declarative, Resource-oriented Approach , In New Generation Computing, volume 30, 2012. [bib] |
[3] | Problemy niezawodnego przetwarzania w systemach zorientowanych na usługi , Chapter in Nauka w obliczu społeczeństwa cyfrowego. I Konferencja i3: internet — infrastruktury — informacje (Damian Niemir, Maciej Stroiński, Jan Węglarz, eds.), Ośrodek Wydawnictw Naukowych, 2010. [bib] |
[4] | Replication Tools for Service-Oriented Architecture , Chapter in SOA Infrastructure Tools: Concepts and Methods (Stanisław Ambroszkiewicz, Jerzy Brzeziński, Wojciech Cellary, Adam Grzech, Krzysztof Zieliński, eds.), Poznań University of Economics Press, 2010. [bib] |
[5] | Koncepcje zarządzania w SOA , Chapter in Nauka w obliczu społeczeństwa cyfrowego. I Konferencja i3: internet — infrastruktury — informacje (Damian Niemir, Maciej Stroiński, Jan Węglarz, eds.), Ośrodek Wydawnictw Naukowych, 2010. [bib] |
[6] | Transaction and Rollback-Recovery Support for Service-Oriented Architecture , Chapter in SOA Infrastructure Tools: Concepts and Methods (Stanisław Ambroszkiewicz, Jerzy Brzeziński, Wojciech Cellary, Adam Grzech, Krzysztof Zieliński, eds.), Poznań University of Economics Press, 2010. [bib] |
[7] | Problemy bezpieczeństwa w architekturze SOA , Chapter in Nauka w obliczu społeczeństwa cyfrowego (Damian Niemir, Maciej Stroiński, Jan Węglarz, eds.), Ośrodek Wydawnictw Naukowych, 2010. [bib] |
[8] | Selected aspects of management in SOA , Chapter in SOA infrastructure tools: concepts and methods (Stanisław Ambroszkiewicz, Jerzy Brzeziński, Wojciech Cellary, Adam Grzech, Krzysztof Zieliński, eds.), UEP, 2010. [bib] |
[9] | Checkpoint and Rollback-Recovery of Distributed Object-Oriented Systems , Chapter in Pro Dialog: Computer Programming and Applications, NAKOM Publishers, Poznań, volume 17, 2004. [bib] |
[10] | Self-Stabilization in Distributed Systems – a Short Survey , In Foundations of Computing and Decision Sciences, volume 25, 2000. [bib] |
Refereed Conference Papers
[11] | On Time Constraints of Reliable Broadcast Protocols for Ad Hoc Networks with the Liveness Property , In Proc.\ of the 9th Int.\ Conf.\ on Parallel Processing and Applied Mathematics (PPAM 2011), Springer-Verlag, 2012. [bib] |
[12] | K-resilient Session Guarantees Synchronization Protocol for Mobile Ad-hoc Networks , In Proc.\ of the 9th Int.\ Conf.\ on Parallel Processing and Applied Mathematics (PPAM 2011), Springer-Verlag, 2012. [bib] |
[13] | Consistency Maintenance of Modern Security Policies , In Advanced Computing, Networking and Security (ADCONS 2011) (P. Santhi Thilagam, Alwyn Roshan Pais, eds.), Springer-Verlag, volume 7135, 2012. [bib] |
[14] | FADE: RESTful Service for Failure Detection in SOA environment , In Parallel Computing Technologies (Victor Malyshkin, ed.), Springer Berlin, volume 6873, 2011. [bib] |
[15] | From Session Guarantees to Contract Guarantees for Consistency of SOA-Compliant Processing , In Proc.\ of the 3rd Asian Conf.\ on Intelligent Information and Database (ACIIDS 2011) (N.T. Nguyen, C.G. Kim, A. Janiak, eds.), Springer-Verlag, volume 6591, 2011. [bib] |
[16] | MDL: Metrics Definition Language , In Proceedings of 3rd International Conference, ACIIDS 2011 (Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak, eds.), Springer-Verlag, volume 6591/2011, 2011. [bib] |
[17] | Workflow Engine Supporting RESTful Web Services , In Proc.\ of the 3rd Asian Conf.\ on Intelligent Information and Database (ACIIDS 2011) (N.T. Nguyen, C.G. Kim, A. Janiak, eds.), Springer-Verlag, volume 6591, 2011. [bib] |
[18] | Healthcare Integration Platform , In Proc.\ of 5th International Symposium on Medical Information & Communication Technology, (ISMICT 2011), 2011. [bib] |
[19] | Modality conflict discovery for SOA security policies , In Advanced Parallel Processing Technologies 2011 (APPT 2011) (Olivier Temam, Pen-Chung Yew, Binyu Zang, eds.), Springer-Verlag, volume 6965, 2011. [bib] [doi] |
[20] | A Formal Approach to Replica Consistency in Directory Service , In Parallel Processing and Applied Mathematics, Springer-Verlag, volume 6067, 2010. [bib] |
[21] | Usługi sieciowe REST , In Nauka w obliczu społeczeństwa cyfrowego. I Konferencja I3: Internet — Infrastruktury — Informacje, Ośrodek Wydawnictw Naukowych, 2009. [bib] |
[22] | Safety of a Session Guarantees Protocol Using Plausible Clocks , In Proc.\ of the 7th Int.\ Conf.\ on Parallel Processing and Applied Mathematics, volume 4967, 2007. [bib] |
[23] | On the Optimality of Rollback-Recovery Protocol Preserving Session Guarantees , In Proc.\ of 5th Int.\ Symp.\ on Parallel and Distributed Processing and Applications (ISPA 2007), Springer-Verlag, volume 4742, 2007. [bib] |
[24] | Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees , In Proc.\ of the Int.\ Conf.\ on Computational Science and Applications (ICCSA 2006), volume 3984, 2006. [bib] |
[25] | Safety of an Object-Based Version Vector Consistency Protocol of Session Guarantees , In Proc.\ of the 6th Int.\ Conf.\ on Parallel Processing and Applied Mathematics (PPAM 2005), volume 3911, 2006. [bib] |
[26] | Multi-version Coherence Protocol for Replicated Shared Objects , In Proc.\ of the 6th Int.\ Conf.\ on Parallel Processing and Applied Mathematics (PPAM 2005), Springer, volume 3911, 2006. [bib] |
[27] | Checkpointing and Rollback-Recovery Protocol for mobile systems with MW Session Guarantee , In Proc.\ of the 20th IEEE Int.\ Conf.\ on Parallel and Distributed Processing, IEEE Computer Society, 2006. [bib] |
[28] | Safety of Checkpointing and Rollback-Recovery Protocol for Mobile Systems with RYW Session Guarantee , In Proc.\ of the 8th Int.\ Conf.\ on Enterprise Information Systems: Databases and Information Systems Integration (ICEIS 2006), 2006. [bib] |
[29] | Bounding Recovery Time in Rollback-Recovery Protocol for Mobile Systems Preserving Session Guarantees , In Proc.\ of the Int.\ Conf.\ on Distributed Operations and Interoperable Systems (DAIS 2006), Springer-Verlag, volume 4025, 2006. [bib] |
[30] | Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee , In Proc.\ of 21th Int.\ Symp.\ on Computer and Information Sciences (ISCIS 2006), Springer-Verlag, volume 4263, 2006. [bib] |
[31] | Checkpointing and Rollback-Recovery Protocol Integrated with VsSG Protocol for RYW Session Guarantee , In Proc.\ of Int.\ Conf.\ on Parallel and Distributed Computing and Networks, IASTED/ACTA Press, 2006. [bib] |
[32] | Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems , In Proc.\ of Int.\ Conf.\ on Computational Science and Its Applications (ICCSA 2006), Springer-Verlag, volume 3984, 2006. [bib] |
[33] | Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees , In Proc.\ of Int.\ Conf.\ on Computational Science (ICCS2005), volume 3516, 2005. [bib] |
[34] | Session Guarantees to Achieve PRAM Consistency of Replicated Shared Objects , In Proc.\ of the 5th Int.\ Conf.\ on Parallel Processing and Applied Mathematics (PPAM 2003), volume 3019, 2004. [bib] |
[35] | From Session Causality to Causal Consistency , In Proc.\ of the 12th Euromicro Conf.\ on Parallel, Distributed and Network-Based Processing (PDP2004), 2004. [bib] |
[36] | A Concept of Replicated Remote Method Invocation , In Proc.\ of Int.\ Conf.\ on Computational Science (ICCS2004), volume 3038, 2004. [bib] |
[37] | An Extended Coherence Protocol for Recoverable DSM Systems with Causal Consistency , In Proceedings of the International Conference on Computational Science – ICCS 2004, Springer-Verlag, volume 3037, 2004. [bib] |
[38] | An Extended Atomic Consistency Protocol for Recoverable DSM Systems , In Proceedings of the 5th International Conference on Parallel Processing and Applied Mathematics – PPAM 2003, Springer-Verlag, volume 3019, 2004. [bib] |
[39] | Low Cost Coherence Protocol for DSM Systems with Processor Consistency , In Proceedings of the 18th International Symposium on Computer and Information Sciences – ISCIS 2003, Springer-Verlag, volume 2869, 2003. [bib] |
[40] | An Extended Coherence Protocol for Recoverable DSM Systems with Causal Consistency , In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications – PDPTA'03, 2003. [bib] |
[41] | Replication of Checkpoints in Recoverable DSM Systems , In Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks – PDCN'2003, 2003. [bib] |
[42] | Consistency Requirements of Peterson's Algorithm for Mutual Exclusion of \textitn Processes in a Distributed Shared Memory System , In Proc.\ of the 4th Int.\ Conf.\ on Parallel Processing and Applied Mathematics (PPAM 2001), volume 2328, 2002. [bib] |
[43] | Fast and Low Cost Recovery Techniques for Distributed Shared Memory , In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, CSREA Press, 2002. [bib] |
[44] | Reliability of Distributed Shared Memory Systems , In Proceedings of the European Conference on Research and Development for Information Society – ISTHmus 2000, 2000. [bib] |
[45] | PORSHE --- a Reliable Object-Based DSM System , In Proceedings of the 13th International Symposium on Computer and Information Sciences ISCIS XV, 2000. [bib] |
[46] | Corba Compliant DSM Service , In Proc.\ of the Int.\ Conf.\ on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000. [bib] |
[47] | Reliable Services for Distributed Environment , In Proc.\ of the Int.\ Conf.\ on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000. [bib] |
[48] | Reliable Distributed Platforms Based on Group Communication , In Proc.\ of ISThmus2000, 2000. [bib] |
[49] | Link-Failure Resilient Group RPC Preserving Causal Order , In Proceedings of the 13th International Symposium on Computer and Information Sciences ISCIS’98, 1998. [bib] |
[50] | Jash: A Platform for Sharing Data in Distributed Java Applications , In Proc.\ of the 1998 Int.\ Conf.\ on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), 1998. [bib] |
[51] | System z rozproszoną pamięcią współdzieloną dla programów realizowanych w środowisku Java , In Proc.\ of POLMAN98, 1998. [bib] |
[52] | Wybrane realizacje systemów z rozproszoną pamięcią współdzieloną , In Proc.\ of POLMAN, 1997. [bib] |
[53] | Page-based Distributed Shared Memory for OSF/DCE , In Proc.\ of the 2nd Int.\ Conf.\ on Parallel Processing and Applied Mathematics, volume 1, 1997. [bib] |
[54] | RPC-based Coherence Protocols for Distributed Shared Memory , In Proc.\ of the IASTED IC on Prallel and Distributed Computing and Networks, 1997. [bib] |
[55] | Systemy Rozproszone o Podwyższonej Niezawodności , In Materiały Seminarium NASK i BŁ KGP Miedzeszyn‘97, 1997. [bib] |
[56] | Problemy zarządzania rozproszoną pamięcią współdzieloną , In Proc.\ of POLMAN, 1996. [bib] |
[57] | Środowisko Przetwarzania Rozproszonego OSF/DCE , In III Konferencja Miejskie Sieci Komputerowe w Nauce, Gospodarce i Administracji POLMAN ‘96, 1996. [bib] |
Refereed Workshop Papers
[58] | ModCon algorithm for discovering security policy conflicts , In 6th Joint Workshop on Information Security -- JWIS 2011, 2011. [bib] |
[59] | An Extended Home-Based Coherence Protocol for Causally Consistent Replicated Read-Write Objects , In International Workshop on Distributed Shared Memory on Clusters – DSM 2003, 2003. [bib] |
[60] | Cobra --- The Library for Building Reliable Applications Indistributed Environment , In Proc.\ of the Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'2000), 2000. [bib] |
[61] | Multi-Coherence Protocol for Distributed Shared Memory , In Proc.\ of the 6th IEEE Workshop on Future Trends in Distributed Computing Systems, 1997. [bib] |
Other Publications
[62] | Doskonalenie mechanizmów i usług wiarygodnej infrastruktury SOA. Etap VI , Technical report, CSPUT, 2011. [bib] |
[63] | Doskonalenie mechanizmów i usług wiarygodnej infrastruktury SOA. Etap V , Technical report, CSPUT, 2011. [bib] |
[64] | Rozproszona usługa odtwarzania stanu procesów biznesowych , Technical report, CSPUT, 2010. [bib] |
[65] | Scenariusze odtwarzania aplikacji w środowisku IBM WebSphere , Technical report, CSPUT, 2009. [bib] |
[66] | Porównanie modeli usług sieciowych w kontekście replikacji , Technical report, CSPUT, 2009. [bib] |
[67] | Failure detection mechanisms in SOA environments , Technical report, CSPUT, 2009. [bib] |
[68] | Failure detection mechanisms in distributed systems based on SOA paradigm , Technical report, CSPUT, 2009. [bib] |
[69] | Systemy lokalizowania w inteligentnych budynkach , Technical report, CSPUT, 2009. [bib] |
[70] | Analiza mechanizmów komunikacji grupowej w systemach rozproszonych i opartych na paradygmacie SOA , Technical report, CSPUT, 2009. [bib] |
[71] | Analiza mechanizmów replikacji w systemach rozproszonych i opartych na paradygmacie SOA , Technical report, CSPUT, 2009. [bib] |
[72] | OB7-1: Metryki oceny działania systemów SOA , Technical report, CSPUT, 2009. [bib] |
[73] | Projekt modułu obliczania metryk oceny dzialania systemów SOA , Technical report, CSPUT, 2009. [bib] |
[74] | Metryki oceny działania systemów SOA , Technical report, CSPUT, 2009. [bib] |
[75] | Spójność stanu przetwarzania w odtwarzaniu przetwarzania zorientowanego na usługi , Technical report, CSPUT, 2009. [bib] |
[76] | Analysis of reliability mechanisms in distributed SOA-based systems , Technical report, CSPUT, 2009. [bib] |
[77] | Analiza metod zarządzania wykonaniem usług w systemach SOA , Technical report, CSPUT, 2009. [bib] |
[78] | Taksonomia i semantyka błędów w systemach opartych na paradygmacie SOA , Technical report, CSPUT, 2009. [bib] |
[79] | Fault-tolerant mechanisms in SOA environments , Technical report, CSPUT, 2009. [bib] |
[80] | Interaktywne usługi głosowe dla sieci VoIP , Technical report, CSPUT, 2009. [bib] [pdf] |
[81] | Concept of formal verification of ORCA security policies , Technical report, CSPUT, 2009. [bib] |
[82] | ORCA security policy language specification , Technical report, CSPUT, 2009. [bib] |
[83] | Design of ORCA security policy definition framework , Technical report, CSPUT, 2009. [bib] |
[84] | Analysis of security policy requirements in SOA-based technologies , Technical report, CSPUT, 2009. [bib] |
[85] | Projekt modułu monitorowania aplikacji SOA , Technical report, CSPUT, 2009. [bib] |
[86] | Analiza metod monitorowania aplikacji SOA , Technical report, CSPUT, 2009. [bib] |
[87] | Mobilny system klientów , Technical report, CSPUT, 2007. [bib] |
[88] | Combining client-centric and data-centric consistency models , Technical report, CSPUT, 2006. [bib] |
[89] | Mechanism of Rollback-Recovery in Mobile Systems with Session Guarantees , Technical report, CSPUT, 2006. [bib] |
[90] | Mechanism of rollback-recovery in mobile systems with session guarantees , Technical report, II-PP, 2006. [bib] |
[91] | Bounding recovery time in mobile systems , Technical report, CSPUT, 2006. [bib] |
[92] | Safety of VsSG Protocol Implementing Session Guarantees , Technical report, CSPUT, 2005. [bib] |
[93] | Safety of VoSG Consistency Protocol of Session Guarantees , Technical report, CSPUT, 2005. [bib] |
[94] | Multi-version Approach to the Consistency of Replicated Shared Objects , Technical report, CSPUT, 2005. [bib] |
[95] | Mechansim of Rollback-Recovery in Mobile Systems with MR , Technical report, II-PP, 2005. [bib] |
[96] | Rollback-Recovery of MW in Mobile Systems , Technical report, CSPUT, 2005. [bib] |
[97] | Recovery of WFR session guarantee in mobile systems , Technical report, CSPUT, 2005. [bib] |
[98] | rVsRYW recovery protocol --– implementation and correctness proof , Technical report, CSPUT, 2005. [bib] |
[99] | Correctness of rVsMW Rollback-Recovery Protocol for Mobile Systems , Technical report, CSPUT, 2005. [bib] |
[100] | rVsWFR Recovery Protocol for Mobile Systems , Technical report, II-PP, 2005. [bib] |
[101] | rVsRYW Recovery Protocol --- Implementation and Correctness Proof , Technical report, II-PP, 2005. [bib] |
[102] | Implementacja i porównanie algorytmów detekcji błędów , Technical report, CSPUT, 2004. [bib] |
[103] | Standardy elektronicznej wymiany danych medycznych w rozproszonych systemach informatycznych , Technical report, CSPUT, 2003. [bib] |
[104] | Analysis of checkpoint and rollback-recovery techniques in object-based systems , Technical report, CSPUT, 2002. [bib] |
[105] | A recovery technique for object-based DSM systems with atomic consistency , Technical report, CSPUT, 2001. [bib] |
[106] | Failure Detectors in Solving the Consensus Problem , Technical report, CSPUT, 2000. [bib] |
[107] | Reliability mechanisms for Distributed Shared Memory , Technical report, CSPUT, 1999. [bib] |
[108] | Reliable Services for CORBA Environment , Technical report, CSPUT, 1999. [bib] |
[109] | Prototypowy system ze współdzieloną pamięcią rozproszoną , Technical report, CSPUT, 1997. [bib] |
[110] | Page-based Distributed Shared Memory for OSF/DCE , Technical report, CSPUT, 1996. [bib] |
[111] | Koncepcja realizacji systemu z rozproszoną pamięcią współdzieloną w środowisku OSF/DCE , Technical report, CSPUT, 1996. [bib] |
[112] | Analiza mechanizmów systemowych środowiska przetwarzania rozproszonego OSF/DCE 1.1 , Technical report, CSPUT, 1996. [bib] |
Powered by bibtexbrowser