Author of the publication

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.

, , and . PDMC, volume 128 of Electronic Notes in Theoretical Computer Science, page 3-18. Elsevier, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Performance improvement on legal model checking., , , , , , , , and . ICAIL, page 59-68. ACM, (2017)On the Specification and Monitoring of Timed Normative Systems., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 81-99. Springer, (2021)What's the worth of having a single CS teacher program aimed at teachers with heterogeneous profiles?, , and . CoRR, (2020)A teacher training program in argentina analysed by profiles., , , , and . WiPSCE, page 24:1-24:2. ACM, (2020)Hypervolume Approximation in Timed Automata Model Checking., , , and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 69-81. Springer, (2007)Model Checking Legal Documents., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 151-154. IOS Press, (2010)Permissions in Contracts, a Logical Insight., and . JURIX, volume 235 of Frontiers in Artificial Intelligence and Applications, page 140-144. IOS Press, (2011)Computational Models for Normative Multi-Agent Systems., , , , , , , and . Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)An architecture-centric approach to the development of a distributed model-checker for timed automata., , and . ICSE, page 710. ACM, (2002)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , and . ETX, page 35-39. ACM, (2006)