User Tools

Site Tools


Sidebar

*[[start|Home]] *[[research|Research]] *[[fuzzy_semantic_petri_nets|Fuzzy Semantic Petri]] *[[is_security_risk_assesment|IT Security Risk]] *[[papers|Publications]] *[[projects|Projects]] *[[ontologies|Ontologies]] *[[software|Software]] *[[archi_to_owl|Archimate to OWL]] *[[archi_to_nusmv|Archimate to nuSMV]]

papers

====== Selected publications ====== ===== 2015 ===== *{{:papers:draft-icaics-2015-pso-qap-opencl.pdf|OpenCL implementation of PSO algorithm for the Quadratic Assignment Problem}} ===== 2014 ===== *Piotr Szwed, Pawel Skrzynski, Wojciech Chmiel: Risk assessment for a video surveillance system based on Fuzzy Cognitive Maps, Multimedia Tools and Applications, May 2014 [[http://link.springer.com/content/pdf/10.1007%2Fs11042-014-2047-6.pdf|PDF]] *Piotr Szwed, Belief propagation during data integration in a P2P network, Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014, eds. Leszek Rutkowski, et al., Springer, 2014 LNAI 8467, 805-8160 {{:papers:icaisc-belief-draft.pdf|PDF}} {{:papers:icaisc-2014-belief-slides.pdf|Presentation PDF}} *Wojciech Chmiel, Jacek Dańda, Andrzej Dziech, Sebastian Ernst, Andrzej Głowacz, Piotr Kadluczka, Zbigniew Mikrut, Piotr Pawlik, Piotr Szwed, Igor Wojnicki: Contribution of the INSIGMA Project to the Field of Intelligent Transportation Systems, Multimedia Communications, Services and Security, 7th International Conference on, Communications in Computer and Information Science Volume 429, 2014, pp 58-72 [[http://link.springer.com/chapter/10.1007/978-3-319-07569-3_5]] *Piotr Szwed, Kamil Pekala: Map-matching in a real-time traffic monitoring service, in Beyond databases, architectures and structures : 10th international conference, BDAS 2014 : Ustroń, Poland, May 27–30, 2014, Springer (CCIS 424), 425–434 {{:papers:bdas-traffic-monitoring-draft.pdf|PDF}} {{:papers:bdas-traffic-monitoring-slides.pdf|Presentation PDF}} *Piotr Szwed, Kamil Pekala: An incremental map-matching algorithm based on Hidden Markov Model, Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014, eds. Leszek Rutkowski, et al., Springer, 2014 LNAI 8468, 579–590 {{:papers:icaics-map-matching-hmm-draft.pdf|PDF}} {{:papers:icaisc-2014-map-matching-slides.pdf|Presentation PDF}} *Piotr Szwed, Pawel Skrzynski, Grzegorz Rogus and Jan Werewka, SOAROAD: An Ontology of Architectural Decisions Supporting Assessment of Service Oriented Architectures, Informatica (SLO) 38 (2014) 31–42 [[http://www.informatica.si/PDF/38-1/05_Szwed%20-%20SOAROAD%20-%20An%20Ontology%20of%20Architectural%20Decisions%20Supporting%20Assessment%20of%20Service%20Oriented%20Architectures.pdf|PDF]] *Piotr Szwed, Paweł Skrzyński, A new lightweight method for security risk assessment based on fuzzy cognitive maps, AMCS, 2014, Vol. 24, No. 1, 213-225[[https://www.amcs.uz.zgora.pl/?action=download&pdf=AMCS_2014_24_1_16.pdf|PDF]] *Piotr Szwed, Video Event Recognition with Fuzzy Semantic Petri Nets, Man-Machine Interactions 3 Advances in Intelligent Systems and Computing, Volume 242, 2014, pp 431-439, [[http://link.springer.com/chapter/10.1007%2F978-3-319-02309-0_47]], {{:papers:icmmi-fspn-event-recognition-draft.pdf|PDF}} ===== 2013 ===== *Piotr Szwed and Mateusz Komórkiewicz, Object tracking and video event recognition with Fuzzy Semantic Petri Nets, FedCSIS : Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland [[https://fedcsis.org/proceedings/2013/pliks/54.pdf|PDF‎]], [[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6643993&url=http%3A%2F%2Fieeexplore.ieee.org%2F%3Farnumber%3D6643993|IEEE Xplore]] *Piotr Szwed, Modeling and recognition of video events with Fuzzy Semantic Petri Nets. 8th International Conference on Knowledge, Information and Creativity Support Systems : Kraków, Poland, November 7–9, 2013, ed. Andrzej M. J. Skulimowski (Advances in Decision Sciences and Future Studies ; vol. 2) pp. 611–622 {{:papers:kicss-fspn-draft.pdf|PDF}} *Piotr Szwed, Paweł Skrzynski, Paweł Grodniewicz: Risk assessment for SWOP telemonitoring system based on fuzzy cognitive maps, in: Multimedia communications, services and security : 6th International conference, MCSS 2013 : Krakow, Poland, June 6–7, 2013 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, P. 233–247. *Piotr Szwed, Paweł Skrzyński, Grzegorz Rogus, Jan Werewka, Ontology of architectural decisions supporting ATAM based assessment of SOA architectures,FedCSIS: Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland, [[https://fedcsis.org/proceedings/2013/pliks/70.pdf|PDF]] [[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6644014&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6644014|IEEE Xplore]] * Szwed, P.: //Application of Fuzzy Ontological Reasoning in an Implementation of Medical Guidelines//. HSI'13 6th International Conference on Human System Interaction, Gdańsk, Poland, 6-8 June 2013 [[http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6577845|PDF]] {{:papers:swop-fuzzy-slides.pdf| Presentation PDF}} * Piotr Szwed, Mariusz Duplaga, An Approach to Guidelines Implementation in an E-health System Supporting Chronic Care, Automatyka/Automatics Vol. 17 No. 2 (2013), 241-252 [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.241.pdf|PDF]] * Szwed, P., Wojnicki, I., Ernst, S., Głowacz, A., //Application of New ATAM Tools to Evaluation of the Dynamic Map Architecture// In: Multimedia communications, services and security : 6th international conference, MCSS 2013 : Krakow, Poland, June 6-7, 2012 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2013. — (Communications in Computer and Information Science ; 248-261 {{:papers:mcss13-insigma-atam.pdf|PDF}} * Piotr Szwed, Igor Wojnicki, Sebastian Ernst, Andrzej Głowacz Evaluation of a Dynamic Map Architecture with ATAM Automatyka/Automatics Vol. 17 No. 1 (2013), 127-139 [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.127.pdf|PDF]] *Radosław Klimek, Piotr Szwed, Verification of ArchiMate process specifications based on deductive temporal reasoning FedCSIS: Federated Conference on Computer Science and Information Systems: September 8–11, 2013, Kraków, Poland [[https://fedcsis.org/proceedings/2013/pliks/183.pdf|PDF]] [[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6644153&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6644153|IEEE Xplore]] *Radosław Klimek, Piotr Szwed, Stanisław Jędrusik, Application of deductive reasoning to the verification of archimate behavioral elements, Research Papers of Wrocław University of Economics, Business Informatics, 2013 vol 3, s. 76–97 [[http://www.ceeol.com/aspx/issuedetails.aspx?issueid=c6e33975-f939-4852-bcf9-1e4f37ad06a2&articleId=792272b6-ff0a-4fe2-bfdf-4cf43f5054ba|Business Informatics]]] <!-- * Szwed, P.: //Application of fuzzy cognitive maps to analysis of development scenarios of academic units// (presented at SCR'12 conference [[http://www.scr.agh.edu.pl/dokuwiki/konferencja]]. To appear in Automatyka/Automatics, 2013) {{:papers:fcm-academic-units-evaluation.pdf|PDF}} {{:papers:fcm-ocena-jednostek-slides.pdf| Presentation (in Polish)}} --> * Piotr Szwed, Wojciech Chmiel, Stanisław Jędrusik, Piotr Kadłuczka, Business Processes in a Distributed Surveillance System Integrated Through Workflow, Automatyka/Automatics Vol. 17 No. 1 (2013), 115-126 [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.115.pdf|PDF]] *Piotr Szwed, Application of Fuzzy Cognitive Maps to Analysis of Development Scenarios for Academic Units, Automatyka/Automatics Vol. 17 No. 2 (2013), 229-239, [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.229.pdf|PDF]] {{:papers:fcm-ocena-jednostek-slides.pdf| Presentation (in Polish) PDF}} ===== 2012 ===== * Szwed, P., Kadłuczka P., Chmiel, W., Głowacz, A., Śliwa, J.: //Ontology based integration and decision support in the Insigma Route Planning Subsystem// In FedCSIS [Dokument elektroniczny] : proceedings of the Federated Conference on Computer Science and Information Systems 2012 : September 9–12, 2012 Wrocław, Poland. p 141–148 {{:papers:insigma-route-planning.pdf|PDF}} {{:papers:fedcsis-insigma-route-planning-v02.pdf|Presentation: PDF}} * Wojnicki, I., Szwed, P., Chmiel, W., Ernst, S.: //Ontology oriented storage, retrieval and interpretation for a dynamic map system// In: Multimedia communications, services and security : 5th international conference, MCSS 2012 : Krakow, Poland, May 31–June 1, 2012 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2012. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 287). — ISBN 978-3-642-30720-1. — S. 380–391. [[http://ai.ia.agh.edu.pl/wiki/_media/pl:dydaktyka:ztb:2012:projekty:ontologie:mcss12-repo.pdf|PDF]] * Szwed, P., Rogus, G., Skrzyński, P., Turek, M., Werewka, J.: //Towards an ontology approach to ATAM based assessment of service oriented architectures// Automatyka/Automatics, 2012, Vol. 16, no. 2, 175--186 [[http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.175.pdf|PDF]] ===== 2011 ===== * Śliwa, J., Gleba, K., Chmiel, W., Szwed, P., Glowacz, A.: //IOEM – ontology engineering methodology for large systems// In: Computational collective intelligence : technologies and applications : third international conference, ICCCI 2011 : Gdynia, Poland, September 21–23, 2011 : proceedings, Part 1 / eds. Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Kiem Hoang. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence ; ISSN 0302-9743 ; LNAI 6922). — ISBN 978-3-642-23934-2. — 602–611. {{:papers:ioem_iccci_2011.pdf|PDF}} * Śliwa, J., Gleba, K., Chmiel, W., Szwed, P., Glowacz, A.: //Ontology engineering methodology for intelligent system for global monitoring, detection and identification of threats//In: Military communications and information technology: a comprehensive approach enabler / ed. Marek Amanowicz ; Military University of Technology. — Warsaw : MUT, 2011. ISBN 978-83-62954-20-9. — p. 133–144 {{:papers:ontology_engineering_methodology.pdf|PDF}} * Szwed, P., Chmiel, W., Jędrusik, S., Dańda, J.: //D6.4 Ontology and Automatic Reasoning In Crisis Management – Definitions and Concepts// Indect deliverable, INDECT Consortium – www.indect-project.eu [[http://www.indect-project.eu/files/deliverables/public/d6.4/view]] * Szwed, P., Chmiel, W.: //D9.11 Ontology and Automatic Reasoning In Crisis Management – Definitions and Concepts// Indect deliverable, INDECT Consortium – www.indect-project.eu [[http://www.indect-project.eu/files/deliverables/public/deliverable-9.11/view]] ===== 2010 ===== * Szwed, P.: //XQPN – colored Petri nets for processing XML data with XQuery language// Electrical Review Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9 s. 221–225 {{:papers:xqpn-draft-2010.pdf|PDF}} * Werewka, J., Szwed, P., Rogus, G.: //Integration of classical and agile project management methodologies based on ontological models// In: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN 978-83-7464-370-2. — S. 7–28 {{:papers:wydzzarz2010enl_w25final.pdf|PDF}} * Szwed, P., Werewka, J., Rogus, G.: //Ontology based alignment of classic and agile project managment for an IT enterprise// Gdansk University of Technology Faculty of ETI Annals; vol. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, 345–350. {{:papers:pm-alignment-szwed-werewka-rogus-icit2010.pdf|PDF}} {{:papers:poster-alignment.pdf|Presentation: PDF}} * Klimek, R., Szwed, P.: //Formal analysis of use case diagrams// Computer Science : rocznik Akademii Górniczo-Hutniczej imienia Stanisława Staszica w Krakowie ; ISSN 1508-2806. — 2010 vol. 11 s. 115–131 [[http://journals.agh.edu.pl/csci/article/view/117/66]] ===== 2009 ===== * Szwed, P., Wadowski, D., Paździora, K.: //A framework for testing Web services based on XQPN Petri nets// In IFIP 2009: Software Engineering Techniques in Progress : the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009 : Kraków, Poland, October 12–14, 2009 / eds. Zbigniew Huzar, Jerzy Nawrocki, Marcin Szpyrka. — Kraków : AGH University of Science and Technology Press, 2009. — ISBN 978-83-7464-259-0. — 53–66. {{:papers:pszwed-framework-for-testing.pdf|PDF}} {{:papers:fvwa-cee-set.ppt|Presentation: PPT}} ===== 2005 ===== * Szwed, P.: //Verification of relative correctness of Petri nets// In: CMS'05. Vol. 2, Regular sessions : Computer Methods and Systems : V conference : 14–16 November 2005, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — p. 295–300. {{papers:szwed-relative-corr-petri.pdf|PDF}} * Szwed, P.: //Verification of the correctness of Real Time systems specified with timed Petri nets// In CMS'05. Vol. 2, Regular sessions : Computer Methods and Systems = Metody i systemy komputerowe : V konferencja : 14–16 November 2005, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. 289–294. {{:papers:szwed-verif-rt-petri.pdf|PDF}} * Szwed, P., Ligęza, A.: //Application of OBDD diagrams in verification of tabular rule systems.// Schedae Informaticae ISSN 1732-3916. — 2005 vol. 14 February p. 75–94 [[http://www.ii.uj.edu.pl/Schedae/szwed.pdf|PDF]] ===== 1999 ===== * Szwed, P.:Analiza poprawności oprogramowania współbieżnego z wykorzystaniem funkcji obserwacji. Rozprawa Doktorska. Akademia Górniczo Hutnicza im. Stanisława Staszica w Krakowie, 1999 (in Polish) {{:papers:pszwed-praca-doktorska-1999.pdf|PDF}}

papers.txt · Last modified: 2015/04/14 21:27 by pszwed