Jerzy Miescicki

Publication Activity (10 Years)

Years Active: 1985-2017
Publications (10 Years): 10

Top Topics

Deterministic Finite Automaton

Mutual Exclusion

Top Venues

Publications

Jerzy Miescicki, Mikolaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo
Verification of Concurrent Engineering Software Using CSM Models. CoRR (2017)
Jerzy Miescicki, Wiktor B. Daszczuk
Behavioral an real-time verification of a pipeline in the COSMA environment. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki
Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions. CoRR (2017)
Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Miescicki
Concurrent Software Design Based on Constraints on State Diagrams. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki, Michal Nowacki, Jacek Wytrebowicz
System level specification and verification using Concurrent State Machines and COSMA environment. CoRR (2017)
Jerzy Miescicki, Wiktor B. Daszczuk, Waldemar Grabski, Artur Krystosik
Practical Approach to Distributed Systems' Design. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki
JADE - A Platform for Research on Cooperation of Physical and Virtual Agents. CoRR (2017)
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz
System Modeling in the COSMA Environment. CoRR (2017)
Jerzy Miescicki, Bogdan D. Czejdo, Wiktor B. Daszczuk
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki, Waldemar Grabski
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. CoRR (2017)
Jerzy Miescicki
Verification of UML State Diagrams Using Concurrent State Machines. SET (2006)
Jerzy Miescicki, Wiktor B. Daszczuk
Behavioral an real-time verification of a pipeline in the COSMA environment. Ann. UMCS Informatica 4 (1) (2006)
Jerzy Miescicki
The use of model checking and the COSMA environment in the design of reactive systems. Ann. UMCS Informatica 4 (1) (2006)
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz
System Modeling in the COSMA Environment. DSD (2001)
Jerzy Miescicki
An Event-Driven-Net Model of a Multiprocessor System. PNPM (1985)