Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Scheduling with timed automata

2005193 citationsJournal Article

Authors

Yasmina Abdeddaı ̈m · UniLaSalle Amiens (ESIEE-Amiens)

Eugène Asarin · Université Paris Cité

Oded Maler · Verimag

Topics & Keywords

Scheduling and Optimization Algorithms Formal Methods in Verification Optimization and Search Problems

UN Sustainable Development Goals

Decent work and economic growth

Publication Details

Published in: Theoretical Computer Science

Volume 354, Issue 2, pp. 272-300

DOI: 10.1016/j.tcs.2005.11.018

Field-Weighted Citation Impact: 33.56

Scheduling with timed automata | Researchclopedia