W. H. Sanders, J. F. Meyer, "Stochastic Activity Networks: Formal Definitions and Concepts," in E. Brinksma, H. Hermanns, and J. P. Katoen (Eds.), Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7,  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Performance Analysis using Coloured Petri Nets - Wells (1999) (Correct)
.... the current research concerning Petri nets and performance analysis focuses on using low level Petri nets, such as Stochastic Petri nets [93, 10] SPN) Generalized Stochastic Petri Nets [1] GSPN) Deterministic Stochastic Petri Nets [86] DSPN) and the closely related Stochastic Activity Nets [112] (SANs) Each of these kinds of Petri nets require that some, if not all, transitions have exponentially distributed firing delays and atomic firing policy. Under certain circumstances, alternative firing delays can be used in, e.g. GSPNs and DSPNs. The most well known and widespread PN and ....
W. H. Sanders and J. F. Meyer. Stochastic activity networks: Formal definitions and concepts. In Brinksma et al. [23], pages 315--343.
The Evolution of Dependable Computing at the.. - Iyer, Sanders, Patel, .. Self-citation (Sanders) (Correct)
No context found.
W. H. Sanders, J. F. Meyer, "Stochastic Activity Networks: Formal Definitions and Concepts," in E. Brinksma, H. Hermanns, and J. P. Katoen (Eds.), Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7,
Multi-Formalism and Multi-Solution-Method Modeling .. - Sanders.. Self-citation (Sanders) (Correct)
No context found.
SANDERS, W. H., and MEYER, J. F., Stochastic Activity Networks: Formal Definitions and Concepts, in: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on TRENDS in Computer Science, ser. Lecture Notes in Computer Science, E. Brinksma, H. Hermanns, and J. P. Katoen, Eds., vol. 2090.
Stochastic Modeling of Intrusion-Tolerant Server.. - Gupta, Lam.. Self-citation (Sanders) (Correct)
No context found.
W. H. Sanders, and J. F. Meyer, "Stochastic Activity Networks: Formal Definitions and Concepts," In Lectures on Formal Methods and Performance Analysis, LNCS 2090.
Dependability and Performance Evaluation of.. - Gupta, Lam.. (2003) Self-citation (Sanders) (Correct)
No context found.
W. H. Sanders, and J. F. Meyer, "Stochastic Activity Networks: Formal Definitions and Concepts," In Lectures on Formal Methods and Performance Analysis, LNCS 2090, Springer-Verlag (E. Brinksma, H. Hermanns, J.P. Katoen, Ed.), Berlin, pp. 315--343, 2001
The Möbius Modeling Environment - Courtney, Daly, Derisavi, Lam.. Self-citation (Sanders) (Correct)
No context found.
W. H. Sanders and J. F. Meyer, "Stochastic activity networks: Formal definitions and concepts," in Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, ser. Lecture Notes in Computer Science, E. Brinksma, H. Hermanns, and J. P. Katoen, Eds., vol. 2090.
Unknown - Copyright By Sankalp Self-citation (Sanders) (Correct)
No context found.
W. H. Sanders and J. F. Meyer. Stochastic Activity Networks: Formal Definitions and Concepts. In E. Brinksma, H. Hermanns, and J. P. Katoen, editors, Lectures on Formal Methods and Performance Analysis, pages 315--343. Springer-Verlag, Berlin, 2001.
Probabilistic Validation of an Intrusion-Tolerant.. - Singh, Cukier, Sanders (2003) Self-citation (Sanders) (Correct)
....values are not available, a model can still be used to study the trends in a system s security and availability for various parameter ranges, and the trends can be used to guide the system design process. In this paper, we show that probabilistic modeling using Stochastic Activity Networks (SANs) [12] addresses the above challenges. We demonstrate our approach by using SANs to model and validate an intrusion tolerant replication system. The system modeled is a part of the Intrusion Tolerance by Unpredictable Adaptation (ITUA) architecture, which aims to provide a middleware based intrusion ....
....for starting replicas on a chosen host is in place. To keep the model simple, we also assume that the middleware starts the same number of replicas for each application, and also that each security domain has the same number of hosts. 3. SAN Models We use Stochastic Activity Networks (SANs) [12] as our modeling formalism. We built atomic SAN submodels for a single host, a single replica, and a management algorithm. A complete model of the system was then composed using replicate and join operations. We now give a description of the salient features of the model. A more detailed treatment ....
W. H. Sanders and J. F. Meyer. Stochastic Activity Networks: Formal Definitions and Concepts. In E. Briksma, H. Hermanns, and J. P. Katoen, editors, Lectures on Formal Methods and Performance Analysis, pages 315--343. Springer-Verlag, Berlin, 2001.
Evaluating Unavailability Caused By Group Membership Using.. - Joshi (2003) (1 citation) Self-citation (Sanders) (Correct)
....into a more generic model driven fault injection technique. In this technique, the system under study can be modelled using any of the modelling formalisms for dependability considered in the literature. These include formalisms based on Petri nets (such as Stochastic Activity Networks [SM01] or Generalized Stochastic Petri Nets [MBC 95] or formalisms based on queueing networks, such as [Hav95] The system would still be instrumented using events, but the events would be generalized in that they would convey information appropriate to the formalism in which the model was ....
W. H. Sanders and J. F. Meyer. Stochastic activity networks: Formal definitions and concepts. Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, Lecture Notes in Computer Science no. 2090, pages 315--343, 2001.
Improving Dependability of Service Oriented Architectures.. - Computing Cotroneo Di (Correct)
No context found.
Sanders W.H., Meyer J.F. Stochastic Activity Networks: Formal Definitions and Concepts. In Lecture notes in computer science, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC