Jerzy Miescicki

According to our database, Jerzy Miescicki authored at least 13 papers between 1985 and 2017.

Collaborative distances:

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

2017

JADE - A Platform for Research on Cooperation of Physical and Virtual Agents.

Wiktor B. Daszczuk, Jerzy Miescicki

CoRR, 2017

Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network.

Wiktor B. Daszczuk, Jerzy Miescicki, Waldemar Grabski

CoRR, 2017

Practical Approach to Distributed Systems' Design.

Jerzy Miescicki, Wiktor B. Daszczuk, Waldemar Grabski, Artur Krystosik

CoRR, 2017

Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing.

Jerzy Miescicki, Bogdan D. Czejdo, Wiktor B. Daszczuk

CoRR, 2017

Verification of Concurrent Engineering Software Using CSM Models.

Jerzy Miescicki, Mikolaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo

CoRR, 2017

System level specification and verification using Concurrent State Machines and COSMA environment.

Wiktor B. Daszczuk, Jerzy Miescicki, Michal Nowacki, Jacek Wytrebowicz

CoRR, 2017

Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions.

Wiktor B. Daszczuk, Jerzy Miescicki

CoRR, 2017

Concurrent Software Design Based on Constraints on State Diagrams.

Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Miescicki

CoRR, 2017

2006

Behavioral an real-time verification of a pipeline in the COSMA environment.

Jerzy Miescicki, Wiktor B. Daszczuk

Ann. UMCS Informatica, 2006

The use of model checking and the COSMA environment in the design of reactive systems.

Jerzy Miescicki

Ann. UMCS Informatica, 2006

Verification of UML State Diagrams Using Concurrent State Machines.

Jerzy Miescicki

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2001

System Modeling in the COSMA Environment.

Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

1985

An Event-Driven-Net Model of a Multiprocessor System.

Jerzy Miescicki

Proceedings of the International Workshop on Timed Petri Nets, 1985