Jerzy Miescicki

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