A framework for automated distributed implementation of component-based models
Although distributed systems are widely used nowadays, their implementation and
deployment are still time-consuming, error-prone, and hardly predictable tasks. In this paper …
deployment are still time-consuming, error-prone, and hardly predictable tasks. In this paper …
From high-level component-based models to distributed implementations
Although distributed systems are widely used nowadays, their implementation and
deployment is still a time-consuming, error-prone, and hardly predictive task. In this paper …
deployment is still a time-consuming, error-prone, and hardly predictive task. In this paper …
Automated conflict-free distributed implementation of component-based models
We propose a method for generating distributed implementations from high-level models
expressed in terms of a set of components glued by rendezvous interactions. The method is …
expressed in terms of a set of components glued by rendezvous interactions. The method is …
Synthesizing, correcting and improving code, using model checking-based genetic programming
G Katz, D Peled - International Journal on Software Tools for Technology …, 2017 - Springer
We show here how the use of genetic programming in combination of model checking
provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis …
provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis …
Synthesis of distributed control through knowledge accumulation
In distributed systems, local controllers often need to impose global guarantees. A solution
that will not impose additional synchronization may not be feasible due to the lack of ability …
that will not impose additional synchronization may not be feasible due to the lack of ability …
Achieving distributed control through model checking
We apply model checking of knowledge properties to the design of distributed controllers
that enforce global constraints on concurrent systems. The problem of synthesizing a …
that enforce global constraints on concurrent systems. The problem of synthesizing a …
Code mutation in verification and automatic code correction
G Katz, D Peled - International Conference on Tools and Algorithms for …, 2010 - Springer
Abstract Model checking can be applied to finite state systems in order to find
counterexamples showing that they do not satisfy their specification. This was generalized to …
counterexamples showing that they do not satisfy their specification. This was generalized to …
Building distributed controllers for systems with priorities
I Ben-Hafaiedh, S Graf, S Quinton - The Journal of Logic and Algebraic …, 2011 - Elsevier
Composition of components by means of multi-party synchronizations and priorities allows
specifying properties of systems in a very abstract manner, and are meaningful for many …
specifying properties of systems in a very abstract manner, and are meaningful for many …
Optimizing memory system performance for communication in parallel computers
T Stricker, T Gross - Proceedings of the 22nd Annual International …, 1995 - dl.acm.org
Communication in a parallel system frequently involves moving data from the memory of one
node to the memory of another; this is the standard communication model employed in …
node to the memory of another; this is the standard communication model employed in …
Synthesis of parametric programs using genetic programming and model checking
G Katz, D Peled - arXiv preprint arXiv:1402.6785, 2014 - arxiv.org
Formal methods apply algorithms based on mathematical principles to enhance the
reliability of systems. It would only be natural to try to progress from verification, model …
reliability of systems. It would only be natural to try to progress from verification, model …