Michal Wypych

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 8

Top Topics

Programming Language

Sequence Diagrams

Higher Priority

Top Venues

Comput. Informatics

Publications

Marcin Szpyrka, Michal Wypych, Jerzy Biernacki, Lukasz Podolski
Discrete-Time Systems Modeling and Verification With Alvis Language and Tools. IEEE Access 6 (2018)
Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych
Simulation of Multi-agent Systems with Alvis Toolkit. ICAISC (2) (2017)
Krzysztof Trojanowski, Artur Mikitiuk, Frédéric Guinand, Michal Wypych
Heuristic Optimization of a Sensor Network Lifetime Under Coverage Constraint. ICCCI (1) (2017)
Anna Suchenia, Krzysztof Kluza, Krystian Jobczyk, Piotr Wisniewski, Michal Wypych, Antoni Ligeza
Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models. ICAISC (2) (2017)
Marcin Szpyrka, Lukasz Podolski, Michal Wypych
Modelling and Verification of Real-Time Systems with Alvis. KKIO Software Engineering Conference (2017)
Marcin Szpyrka, Agnieszka Biernacka, Jerzy Biernacki, Michal Wypych
Priority management in Alvis language. MIXDES (2016)
Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki
Communication between agents in Alvis language. MIXDES (2016)
Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski
Hierarchical Communication Diagrams. Comput. Informatics 35 (1) (2016)
Marcin Szpyrka, Piotr Matyasik, Michal Wypych
Alvis Language with Time Dependence. FedCSIS (2013)
Marcin Szpyrka, Piotr Matyasik, Michal Wypych
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. CS&P (2013)