Michal Wypych

According to our database, Michal Wypych authored at least 10 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Discrete-Time Systems Modeling and Verification With Alvis Language and Tools.

Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski

IEEE Access, 2018

2017

Modelling and Verification of Real-Time Systems with Alvis.

Marcin Szpyrka, Lukasz Podolski, Michal Wypych

Proceedings of the Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, 2017

Heuristic Optimization of a Sensor Network Lifetime Under Coverage Constraint.

Krzysztof Trojanowski, Artur Mikitiuk, Frédéric Guinand, Michal Wypych

Proceedings of the Computational Collective Intelligence - 9th International Conference, 2017

Simulation of Multi-agent Systems with Alvis Toolkit.

Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych

Proceedings of the Artificial Intelligence and Soft Computing, 2017

Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models.

Anna Suchenia, Krzysztof Kluza, Krystian Jobczyk, Piotr Wisniewski, Michal Wypych, Antoni Ligeza

Proceedings of the Artificial Intelligence and Soft Computing, 2017

2016

Hierarchical Communication Diagrams.

Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski

Comput. Informatics, 2016

Priority management in Alvis language.

Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki, Michal Wypych

Proceedings of the 2016 MIXDES, 2016

Communication between agents in Alvis language.

Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki

Proceedings of the 2016 MIXDES, 2016

2013

Alvis Language with Time Dependence.

Marcin Szpyrka, Piotr Matyasik, Michal Wypych

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.

Marcin Szpyrka, Piotr Matyasik, Michal Wypych

Proceedings of the 22nd International Workshop on Concurrency, 2013