Centrum Wiskunde & Informatica

Composing Real-Time Concurrent Objects - Refinement, Compatibility and Schedulability In Proceedings

M.M. Jaghoori (Mohammad Mahdi)

January 2011
Ten Years of Analyzing Actors: Rebeca Experience In Proceedings

M.M. Jaghoori (Mohammad Mahdi) and M. Sirjani (Marjan)

January 2011
Presentation Evaluation Committee MAC Presentation

B. Koren (Barry)

January 2011
Networks of Real-Time Actors: Schedulability Analysis and Coordination In Proceedings

M.M. Jaghoori (Mohammad Mahdi), O. Hlynsson and M. Sirjani (Marjan)

January 2011
Hierarchical control with partial observations: Sufficient conditions In Proceedings

O.D.M. Boutin (Olivier), J. Komenda, T. Masopust (Tomas), K. Schmidt and J.H. van Schuppen (Jan)

January 2011
Sound and complete axiomatizations of coalgebraic language equivalence Article

Computing Research Repository

M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)

January 2011
Presentation Evaluation Committee MAC1 Presentation

J.E. Frank (Jason)

January 2011
Maximally permissive distributed dupervisory control of nondeterministic discrete-event systems In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2011

Previous

Next