@inproceedings{Kulakowski2013rpts,

title = {Robust PI - The Simulation Robust Library Component for Pioneer 3DX},

author = {K. Kułakowski and P. Matyasik},

editor = {M. Klusch and M. Thimm and M. Paprzycki},

year  = {2013},

date = {2013-01-01},

booktitle = {Multiagent System Technologies MATES},

volume = {8076},

pages = {115-123},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2012CCLS,

title = {CCL Sim, the simulation environment for concurrent systems},

author = {K. Kułakowski},

year  = {2012},

date = {2012-01-01},

booktitle = {proceedings of Dependability and Complex Systems DepCoS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2011dwmw,

title = {Dynamic World Model with the Lazy Potential Function},

author = {K. Kułakowski and T. Stępień},

editor = {D. Hutchison and T. Kanade and J. Kittler and J. M. Kleinberg and F. Mattern and J. C. Mitchell and M. Naor and O. Nierstrasz and C. Pandu R. and B. Steffen and M. Sudan and D. Terzopoulos and D. Tygar and M. Y. Vardi and G. Weikum and J. O’Shea and N. T. Nguyen and K. Crockett and R. J. Howlett and L. C. Jain},

year  = {2011},

date = {2011-01-01},

urldate = {2011-01-01},

booktitle = {Agent and Multi-Agent Systems: Technologies and Applications},

volume = {6682},

pages = {190-199},

publisher = {Springer},

address = {Berlin, Heidelberg},

edition = {Lecture Notes in Computer Science},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Was2010aaie,

title = {Agent-Based Approach in Evacuation Modeling},

author = {J. Wąs and K. Kułakowski},

editor = {Piotr Jędrzejowicz and Ngoc Thanh Nguyen and Robert J. Howlet and Lakhmi C. Jain},

isbn = {978-3-642-13480-7},

year  = {2010},

date = {2010-01-01},

booktitle = {Agent and Multi-Agent Systems: Technologies and Applications},

pages = {325–330},

publisher = {Springer Berlin Heidelberg},

address = {Berlin, Heidelberg},

abstract = {The article presents an agent-based approach to modeling of pedestrian evacuation. It includes some theoretical aspect of using the agents techniques as well as case study of evacuation tests realized by the authors. Results from real data gained from experiments are compared with data from designed simulations. The use of agent-based methods gives promising perspective in pedestrian evacuation modeling.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2010ccpa,

title = {cljRobust - Clojure Programming API for Lego Mindstorms NXT},

author = {K. Kułakowski},

editor = {Piotr Jedrzejowicz and Ngoc Nguyen and Robert Howlet and Lakhmi Jain},

year  = {2010},

date = {2010-01-01},

booktitle = {Agent and Multi-Agent Systems: Technologies and Applications},

volume = {6071},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2010rtrm,

title = {RobustHX - The Robust Middleware Library for Hexor Robots},

author = {K. Kułakowski and P. Matyasik},

editor = {Noriaki Ando and Stephen Balakirsky and Thomas Hemker and Monica Reggiani and Oskar Stryk},

year  = {2010},

date = {2010-01-01},

booktitle = {Simulation, Modeling, and Programming for Autonomous Robots},

volume = {6472},

publisher = {Springer Verlag},

series = {Lecture Notes in Computer Science},

abstract = {In recent years, increased interest in the design of intelligent mobile has been visible. Although building such constructions from scratch requires knowl- edge of many different disciplines, such as mechanics, electronics or computer science, there are now many},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2010tcao,

title = {Two Concurrent Algorithms of Discrete Potential Field Construction},

author = {K. Kułakowski and J. Wąs},

editor = {R. Wyrzykowski and J. Dongarra and K. Karczewski and J. Waśniewski},

year  = {2010},

date = {2010-01-01},

booktitle = {Parallel Processing and Applied Mathematics},

volume = {6068},

pages = {529-538},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2010acwm,

title = {World model for autonomous mobile robot – formal approach},

author = {K. Kułakowski and J. Wąs},

year  = {2010},

date = {2010-01-01},

booktitle = {Proceedings of Intelligent Information Systems, Siedlce, Poland},

pages = {37-45},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2006hamv,

title = {Hybrid modeling and verification of Java based software.},

author = {K. Kulakowski},

editor = {Krzysztof Sacha},

url = {http://dblp.uni-trier.de/db/conf/ifip2/set2006.html#Kulakowski06},

isbn = {978-0-387-39387-2},

year  = {2009},

date = {2009-10-28},

booktitle = {SET},

volume = {227},

pages = {121-126},

publisher = {Springer},

series = {IFIP},

crossref = {conf/ifip2/2006},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2009tjbi,

title = {Towards Java-based Intelligent Control Architecture},

author = {K. Kułakowski},

editor = {Leonard Bolc},

isbn = {978-83-60434-59-8.},

year  = {2009},

date = {2009-06-01},

booktitle = {Proceedings of International Joint Conference Intelligent Information Systems},

pages = {531-540},

publisher = {EXIT},

series = {Challenging Problems of Science. Computer Science},

abstract = {The concept of intelligent control system architecture is not a new idea. The reference 

architectures of such systems were proposed and broadly discussed in the late 80s and 

90s of the twentieth century. Unfortunately, many authors either focus on the general 

scheme of this class of systems without a clear implementation perspective, or implement 

some solutions without precisely defined designs. 

The aim of this article is to propose a design for intelligent control system. Theoretical 

discussion is supplemented by implementation remarks. The current state of our prototype 

implementation of intelligent control system is also presented. 

In order to propose some design principles of such systems, existing models and ap- 

proaches are briefly reviewed and discussed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2009asmd,

title = {Architektura systemu modelowania dynamiki pieszych},

author = {K. Kułakowski and J. Wąs},

year  = {2009},

date = {2009-01-01},

booktitle = {Automatyka},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Was2009msip,

title = {Multi-agent Systems in Pedestrian Dynamics Modeling},

author = {J. Wąs and K. Kułakowski},

editor = {Ngoc Thanh Nguyen and Ryszard Kowalczyk and Shyi-Ming Chen},

isbn = {978-3-642-04441-0},

year  = {2009},

date = {2009-01-01},

booktitle = {Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems},

pages = {294–300},

publisher = {Springer Berlin Heidelberg},

address = {Berlin, Heidelberg},

abstract = {The article presents the use of Multi-agent system (MAS) in pedestrian dynamics modeling. Current trends in pedestrian dynamics are presented with particular focus on a short review of various agent-based models of pedestrian dynamics. The models are briefly discussed and compared.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2008rpor,

title = {Rapid prototyping of real-time reactive systems},

author = {K. Kulakowski and M. Kostrzewa},

doi = {10.1109/ICSES.2008.4673443},

year  = {2008},

date = {2008-09-01},

booktitle = {Proceedings of International Conference on Signals and Electronic Systems, 2008. ICSES '08.},

pages = {381-384},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2007mscr,

title = {Modelowanie Systemów Czasu Rzeczywistego w UML},

author = {K. Kułakowski and M. Kostrzewa},

year  = {2007},

date = {2007-01-01},

urldate = {2007-01-01},

booktitle = {Seminarium wyjazdowe KA w Lublinie},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kostrzewa2006apat,

title = {A practical approach to the modelling, visualising and executing of reactive systems},

author = {M. Kostrzewa and K. Kułakowski},

year  = {2006},

date = {2006-01-01},

booktitle = {MIXed DESign of integrated circuits and systems},

pages = {705–710},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2006mhsr,

title = {Hybrid modeling of reactive systems with Petri nets and CCS process algebra},

author = {K. Kułakowski},

year  = {2006},

date = {2006-01-01},

booktitle = {Systemy informatyczne z ograniczeniami czasowymi},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2006tfdo,

title = {Towards facilitating development of reactive systems software based on Real Time Java},

author = {K. Kułakowski},

year  = {2006},

date = {2006-01-01},

booktitle = {Systemy informatyczne z ograniczeniami czasowymi},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2006wtos,

title = {Wspomaganie tworzenia oprogramowania systemów reaktywnych w Real Time Java},

author = {K. Kułakowski and M. Kostrzewa},

year  = {2006},

date = {2006-01-01},

booktitle = {Systemy informatyczne z ograniczeniami czasowymi},

publisher = {WKŁ Wydawnictwa Komunikacji i Łączności},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{kulakowski2005rtjp,

title = {Real-time Java – Platforma Programistyczna Dla Systemów Czasu Rzeczywistego},

author = {K. Kułakowski},

year  = {2005},

date = {2005-01-01},

booktitle = {Systemy czasu rzeczywistego (SCR)},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2002wzpz,

title = {Weryfikacja zgodności projektu ze specyfikacją z wykorzystaniem sieci Petriego i Algebry Procesów CCS},

author = {K. Kułakowski},

year  = {2002},

date = {2002-01-01},

booktitle = {Systemy Czasu Rzeczywistego SCR'02},

organization = {Instytut Informatyki Politechniki Śląskiej},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kulakowski2001pmaz,

title = {Problemy modelowania agentowego zorientowanych systemów zdecentralizowanych},

author = {K. Kułakowski},

year  = {2001},

date = {2001-01-01},

booktitle = {Systemy czasu rzeczywistego},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}