Travelled to:3 × USA
Collaborated with:I.Goral S.A.Reveliotis S.Reveliotis J.Y.Choi
Talks about:correct (2) vehicl (2) system (2) multi (2) transport (1) distribut (1) construct (1) paradigm (1) mathemat (1) deadlock (1)
Person: Elzbieta Roszkowska
DBLP: Roszkowska:Elzbieta
Contributed to:
201320082007Wrote 3 papers:
- CASE-2013-RoszkowskaG #distributed #multi
- Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
- CASE-2008-ReveliotisR #multi #paradigm #resource management
- Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.
- CASE-2007-ReveliotisR0 #algebra #concurrent #correctness #policy #programming #verification
- Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming (SR, ER, JYC), pp. 200–206.