1001 Ways to run AutoDock Vina for virtual screening von Jaghoori, Mohammad Mahdi, Bleijlevens, Boris, Olabarriaga, Silvia D.

Volltext

Symmetry and partial order reduction techniques in model checking Rebeca von Jaghoori, Mohammad Mahdi, Sirjani, Marjan, Mousavi, Mohammad Reza, Khamespanah, Ehsan, Movaghar, Ali

Volltext

Compositional Semantics of an Actor-Based Language Using Constraint Automata von Sirjani, Marjan, Jaghoori, Mohammad Mahdi, Baier, Christel, Arbab, Farhad

Volltext

Timed Automata Semantics for Analyzing Creol von Jaghoori, Mohammad Mahdi, Chothia, Tom

Volltext

Ten Years of Analyzing Actors: Rebeca Experience von Sirjani, Marjan, Jaghoori, Mohammad Mahdi

Volltext

Compositional schedulability analysis of real-time actor-based systems von Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan

Volltext

A multi-infrastructure gateway for virtual drug screening von Jaghoori, Mohammad Mahdi, van Altena, Allard J., Bleijlevens, Boris, Ramezani, Sara, Font, Juan Luis, Olabarriaga, Silvia D.

Volltext

A data-centric neuroscience gateway: design, implementation, and experiences von Shahand, Shayan, Benabdelkader, Ammar, Jaghoori, Mohammad Mahdi, Mourabit, Mostapha al, Huguet, Jordi, Caan, Matthan W.A., van Kampen, Antoine H.C., Olabarriaga, Sílvia D.

Volltext

Decidability Problems for Actor Systems von De Boer, Frank, Jaghoori, Mahdi, Laneve, Cosimo, Zavattaro, Gianluigi

Volltext

Timed Automata Semantics for Analyzing Creol von Mohammad Mahdi Jaghoori, Chothia, Tom

Volltext

Coordinating Object Oriented Components Using Data-Flow Networks von Jaghoori, Mohammad Mahdi

Volltext

Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability von Jaghoori, Mohammad Mahdi

Volltext

Actors with Coroutine Support in Java von Serbanescu, Vlad, Boer, Frank de, Jaghoori, Mohammad Mahdi

Volltext

Modular Schedulability Analysis of Concurrent Objects in Creol von de Boer, Frank, Chothia, Tom, Jaghoori, Mohammad Mahdi

Volltext

Decidability Problems for Actor Systems von de Boer, Frank S., Jaghoori, Mahdi M., Laneve, Cosimo, Zavattaro, Gianluigi

Volltext

The Future of a Missed Deadline von Nobakht, Behrooz, de Boer, Frank S., Jaghoori, Mohammad Mahdi

Volltext

Networks of Real-Time Actors: Schedulability Analysis and Coordination von Jaghoori, Mohammad Mahdi, Hlynsson, Ólafur, Sirjani, Marjan

Volltext

From Timed Reo Networks to Networks of Timed Automata von Kokash, Natallia, Jaghoori, Mohammad Mahdi, Arbab, Farhad

Volltext

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform von de Boer, Frank S., Grabe, Immo, Jaghoori, Mohammad Mahdi, Stam, Andries, Yi, Wang

Volltext

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis von de Boer, Frank S., Jaghoori, Mohammad Mahdi, Johnsen, Einar Broch

Volltext