Zmiana języka

Projects search

New methods of comprehensive analysis of concurrent computing systems

2013/09/D/ST6/03928

Keywords

Descriptors

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_1: Architektura systemów komputerowych, przetwarzanie wszechobecne
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier

Panel

ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Voivodeship: kujawsko-pomorskie

Other projects carried out by the institution »

Principal investigator (from the host institution)

dr Łukasz Mikulski

Number of co-investigators in the project: 3

Call

SONATA 5 – announced on 2013-03-15

Amount awarded
234 470 PLN
Project start date
2014-02-18
Project end date
2017-08-17
Project duration
42 months (the same as in the proposal)
Project status
Project settled

Equipment purchased [PL]

  1. urządzenie mobilne - netbook / tablet (3 pcs). Cost: 342 PLN

Information in the final report

Publication in academic press/journals (9)

  1. Persistent and Nonviolent Steps and the Design of GALS Systems

    Authors:
    Johnson Fernandes, Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
    Academic press:
    Fundamenta Informaticae (year: 2015, volume: 137, pages: 143-170), Publisher: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2015-1172 – link to the publication

  2. Step Traces

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Acta Informatica (year: 2015, volume: 53(1), pages: 46053), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s00236-015-0244-z – link to the publication

  3. Characterising Concurrent Histories

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (year: 2015, volume: 138, pages: 21-42), Publisher: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2015-1212 – link to the publication

  4. Alphabets of acyclic invariant structures

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (year: 2017, volume: 154, pages: 207-224), Publisher: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2017-1562 – link to the publication

  5. Invariant structures and dependence relations

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Academic press:
    Fundamenta Informaticae (year: 2017, volume: 155, pages: 46051), Publisher: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2017-1574 – link to the publication

  6. Conditions for Petri Net Solvable Binary Words

    Authors:
    Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, and Marcin Piątkowski
    Academic press:
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (year: 2016, volume: 11, pages: 137-159), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/978-3-662-53401-4 – link to the publication

  7. An extension of the taxonomy of persistent and nonviolent steps

    Authors:
    Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
    Academic press:
    Information Sciences (year: 2017, volume: 394-395, pages: 299-314), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ins.2017.01.037 – link to the publication

  8. GPU computations and memory access model based on Petri nets

    Authors:
    Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Academic press:
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (year: 2017, volume: XIII, pages: 136-157), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/978-3-662-58381-4\_7 – link to the publication

  9. Classifying invariant structures of step traces

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Status:
    Accepted for publication

Articles in post-conference publications (13)

  1. On synthesising step alphabets for acyclic invariant structures

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Conference:
    Algorithms & Theories for the Analysis of Event Data (ATAED'2017) (year: 2017, pages: 76-88), Publisher: University of Zaragoza
    Date:
    conference 26-27.06.2017
    Status:
    Published
    DOI:
    link to the publication

  2. Reduction of order structures

    Authors:
    Łukasz Mikulski, Andrey Mokhov, Marcin Piątkowski
    Conference:
    17th International Conference on Application of Concurrency to System Design, ACSD 2017 (year: 2017, pages: 96-105), Publisher: IEEE Computer Society
    Date:
    conference 28-30.06.2017
    Status:
    Published

  3. GPU computations and memory access model based on Petri nets

    Authors:
    Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Conference:
    International Workshop on Petri Nets and Software Engineering PNSE'2017 (year: 2017, pages: 105-122), Publisher: University of Zaragoza
    Date:
    conference 25-26.06.2017
    Status:
    Published
    DOI:
    link to the publication

  4. Reversing Transitions in Bounded Petri Nets

    Authors:
    Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski
    Conference:
    25th International Workshop on Concurrency, Specification and Programming (CS&P 2016) (year: 2016, pages: 74-85), Publisher: Humboldt Universitat
    Date:
    conference 28-30 września
    Status:
    Published
    DOI:
    link to the publication

  5. On Binary Words Being Petri Net Solvable

    Authors:
    Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, Marcin Piątkowski
    Conference:
    Algorithms & Theories for the Analysis of Event Data 2015 (year: 2015, pages: 46037), Publisher: Université libre de Bruxelles
    Date:
    conference 22 czerwca
    Status:
    Published
    DOI:
    link to the publication

  6. On Generation of Context-Abstract Plans

    Authors:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Conference:
    International Conference on Software Engineering and Formal Methods (year: 2014, pages: 376-388), Publisher: Springer
    Date:
    conference 1-5.09
    Status:
    Published
    DOI:
    link to the publication

  7. Reversible Computation vs. Reversibility in Petri Nets

    Authors:
    Kamila Barylska, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski
    Conference:
    8th Conference on Reversible Computation (year: 2016, pages: 105-188), Publisher: Springer
    Date:
    conference 7-8 lipca 2016
    Status:
    Published
    DOI:
    link to the publication

  8. Generating All Minimal Petri Net Unsolvable Binary Words

    Authors:
    Kamila Barylska, Evgeny Erofeev, Łukasz Mikulski, and Marcin Piątkowski
    Conference:
    Prague Stringology Conference (year: 2016, pages: 33-47), Publisher: Czech Technical University in Prague
    Date:
    conference 29-31 sierpnia 2016
    Status:
    Published
    DOI:
    link to the publication

  9. On Decidability of Persistent Notions

    Authors:
    Kamila Barylska, Łukasz Mikulski
    Conference:
    24th International Workshop on Concurrency, Specification and Programming (year: 2015, pages: 44-56), Publisher: University of Rzeszow
    Date:
    conference 28-30 września
    Status:
    Published
    DOI:
    link to the publication

  10. Square-Free Words over Partially Commutative Alphabets

    Authors:
    Łukasz Mikulski, Marcin Piątkowski, Wojciech Rytter
    Conference:
    Language and Automata Theory and Applications (year: 2015, pages: 424-435), Publisher: Springer
    Date:
    conference 2-6.03
    Status:
    Published
    DOI:
    link to the publication

  11. Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics

    Authors:
    Kamila Barylska
    Conference:
    International Workshop on Petri Nets and Software Engineering (year: 2014, pages: 325-330), Publisher: University of Hamburg, Department of Informatics
    Date:
    conference 23-24.06
    Status:
    Published
    DOI:
    link to the publication

  12. Order Structures for Subclasses of Generalised Traces

    Authors:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Conference:
    Language and Automata Theory and Applications (year: 2015, pages: 689-700), Publisher: Springer
    Date:
    conference 2-6.03
    Status:
    Published
    DOI:
    link to the publication

  13. Generating CA-Plans from Multisets of Services

    Authors:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Conference:
    International Workshop on Petri Nets and Software Engineering (year: 2014, pages: 347-348), Publisher: University of Hamburg, Department of Informatics
    Date:
    conference 23-24.06
    Status:
    Published
    DOI:
    link to the publication

« New search

Graphic design and implementation: Jakub Piotrowski