Jerzy Miescicki

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

Practical Approach to Distributed Systems' Design.
CoRR, 2017

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

Verification of Concurrent Engineering Software Using CSM Models.
CoRR, 2017

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

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

Concurrent Software Design Based on Constraints on State Diagrams.
CoRR, 2017

2006
Behavioral an real-time verification of a pipeline in the COSMA environment.
Ann. UMCS Informatica, 2006

The use of model checking and the COSMA environment in the design of reactive systems.
Ann. UMCS Informatica, 2006

Verification of UML State Diagrams Using Concurrent State Machines.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2001
System Modeling in the COSMA Environment.
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

1985
An Event-Driven-Net Model of a Multiprocessor System.
Proceedings of the International Workshop on Timed Petri Nets, 1985


  Loading...