|
On Integrating the Möbius and Modest Modeling Tools.
H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J.-P. Katoen, R. Klaren, V. V. Lam, and W. H. Sanders. (03BOH01)
Tool paper in the Proceedings of the 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, June 22-25, 2003, p.671.
Result Specification and Model Connection in the
Möbius Modeling Framework.
A. L. Christensen. (00CHR01)
Master's Thesis, University of Illinois, 2000.
The Möbius Modeling Tool.
G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle,
W. H. Sanders, and P. Webster. (01CLA01)
Proceedings of the 9th International Workshop on Petri Nets
and Performance Models, Aachen, Germany, September 11-14, 2001,
pp. 241-250.
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.
G. Clark and W. H. Sanders. (01CLA02)
in Luca de Alfaro and Stephen Gilmore (Eds.), Process Algebra
and Probabilistic Methods: Performance Modelling and Verification:
Proceedings of the Joint International Workshop, PAPM-PROBMIV 2001,
RWTH Aachen, Germany, September 12-14, 2001,
Lecture Notes in Computer Science no. 2165, Berlin:
Springer, 2001, pp. 200-215.
The Möbius Modeling Environment: Recent Developments.
T. Courtney, D. Daly, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, and W. H. Sanders. (04COU01)
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, September 27-30, 2004, pp. 328-329.
The Möbius Modeling Environment.
T. Courtney, D. Daly, S. Derisavi, V. Lam, and W. H. Sanders. (03COU01)
Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, Universität Dortmund Fachbereich Informatik research report no. 781/2003, 2003, pp. 34-37.
Design of Experiments within the Möbius Modeling Framework.
T. Courtney, S. Gaonkar, M. G. McQuinn, E. Rozier, W. H. Sanders, and P. Webster. (07COU01)
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007, Edinburgh, UK, Sept. 16-19, 2007, pp. 161-162.
Analysis of Connection as a Decomposition Technique.
D. Daly. (01DAL01)
Master's Thesis, University of Illinois, 2001.
Möbius: An Extensible Tool for Performance and Dependability
Modeling.
D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, and
P. G. Webster.
Digest of FastAbstracts presented at the 29th Annual International
Symposium on Fault-Tolerant Computing (FTCS-29),
Madison, Wisconsin, USA, June 15-18, 1999, pp. 15-16.
Möbius:
An Extensible Framework for Performance and Dependability
Modeling.
D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman,
P. G. Webster, and W. H. Sanders.
Tool Descriptions from the Multi-Workshop on Formal Methods in
Performance Evaluation and Applications, Zaragoza, Spain, September 6-10, 1999.
Möbius:
An Extensible Tool for Performance and Dependability
Modeling.
D. Daly, D. D. Deavours, J. M. Doyle,
P. G. Webster, and W. H. Sanders. (99DAL03)
Computer Performance Evaluation: Modelling Techniques and Tools:
Proceedings of the 11th International Conference, TOOLS 2000,
Schaumburg, IL, March 27-31, 2000. In B. R. Haverkort, H. C. Bohnenkamp,
and C. U. Smith (Eds.), Lecture Notes in Computer
Science No. 1786, pp. 332-336. Berlin: Springer, 2000.
Modeling
of Service-level Agreements for Composed Services.
D. Daly, G. Kar, and W. H. Sanders. (02DAL02)
Management Technologies for E-Commerce and E-Business Applications:
Proceedings of the 13th IFIP/IEEE International Workshop on
Distributed Systems: Operations & Management, DSOM 2002,
Montreal, Canada, October 21-23, 2002, pp. 4-15.
A Connection Formalism for the Solution of Large and Stiff
Models.
D. Daly and W. H. Sanders. (00DAL01)
Proceedings of the 34th Annual Simulation Symposium,
Seattle, WA, April 22-26, 2001, pp. 258-265.
Develops a class of connection formalisms for solving large and stiff
models. These formalisms are applied to models that are decomposable
into two submodels, only one of which depends on the other.
Formal Specification of the Möbius Modeling Framework.
D. D. Deavours. (01DEA03)
Doctoral Dissertation, University of Illinois, 2001.
The
Möbius Framework and Its Implementation.
D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. (01DEA05)
IEEE Transactions on Software Engineering vol. 28, no. 10, October 2002, pp. 956-969.
An Efficient Well-Specified Check.
D. D. Deavours and W. H. Sanders.
Proceedings of PNPM'99: 8th International Workshop on Petri Nets and
Performance Models, Zaragoza, Spain, September 8-10, 1999, pp. 124-133.
This paper shows that the definitions of "well-defined" and "well-specified"
are the same. This yields a well-specified check that is far more efficient
than previous well-specified algorithms.
An Efficient Disk-based Tool for Solving Large Markov Models.
D. D. Deavours and W. H. Sanders.
Performance Evaluation, vol. 33, 1998, pp. 67-84.
Describes an efficient steady state analytical solution technique
that makes extensive use of a hard disk.
An Efficient Disk-based Tool for Solving Very Large Markov Models.
D. D. Deavours and W. H. Sanders.
Raymond Marie et al. (Eds.), Computer Performance Evaluation:
Proceedings of the 9th International Conference on Modelling
Techniques and Tools (TOOLS '97),
St. Malo, France, June 3-6, 1997 (Lecture Notes in Computer
Science, no. 1245), Berlin: Springer, 1997, pp. 58-71.
We discuss an implementation of block Gauss-Seidel specifically
intended for use on Markov chains generated by UltraSAN or a GSPN tool.
We show two examples of large models and results for a 10 million
state model with 100 million non-zero entities.
The Möbius Execution Policy.
D. D. Deavours and W. H. Sanders. (01DEA02)
Proceedings of the 9th International Workshop on Petri Nets
and Performance Models, Aachen, Germany, September 11-14, 2001,
pp. 135-144.
Möbius: Framework and Atomic Models.
D. D. Deavours and W. H. Sanders. (01DEA01)
Proceedings of the 9th International Workshop on Petri Nets
and Performance Models, Aachen, Germany, September 11-14, 2001,
pp. 251-260.
"On-the-Fly" Solution Techniques for Stochastic Petri Nets and
Extensions.
D. D. Deavours and W. H. Sanders.
Proceedings of 7th International Workshop on Petri Nets and Performance
Models (PNPM '97), Saint Malo, France, June 3-6, 1997, pp. 132-141.
Addresses the problem of large state spaces for different modeling
types. We have three contributions: 1) Method for computing columns
of Q matrix for Gauss-Seidel solutions, 2) new algorithm called
modified adaptive Gauss-Seidel which exhibits locality and a heuristic
for increasing convergence, and 3) a method which allows one to do
Gauss-Seidel and variants with row access to Q with equal or less memory
required by Jacobi and equal operations count per iteration.
"On-the-Fly" Solution Techniques for Stochastic Petri Nets and
Extensions.
D. D. Deavours and W. H. Sanders.
IEEE Transactions on Software Engineering, vol. 24, no. 10,
October 1998, pp.889-902.
Optimal
State-Space Lumping in Markov Chains.
S. Derisavi, H. Hermanns, and W. H. Sanders. (02DER01)
Information Processing Letters, vol. 87, no. 6, September 30, 2003, pp. 309-315.
The Möbius State-level Abstract Functional Interface.
S. Derisavi, P. Kemper, W. H. Sanders, and T. Courtney. (01DER01)
Computer Performance Evaluation: Modelling Techniques and Tools: Proceedings
of the 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002,
Lecture Notes in Computer Science vol. 2324 (T. Field, P. G. Harrison, J. Bradley,
and U. Harder, eds.), Berlin: Springer, pp. 31-50.
The
Möbius State-level Abstract Functional Interface.
S. Derisavi, P. Kemper, W. H. Sanders, and T. Courtney. (02DER02)
Performance Evaluation, vol. 54, no. 2, October 2003, pp. 105-128.
Abstract Model Specification Using the Möbius Modeling Tool.
J. M. Doyle. (00DOY01)
Master's Thesis, University of Illinois, 2000.
Design and Implementation of an Extensible Tool for Performance
and Dependability Model Evaluation.
G. P. Kavanaugh III.
Master's Thesis, University of Illinois, 1998.
Performance Analysis of Two Time-based Coordinated Checkpointing
Protocols.
G. P. Kavanaugh and W. H. Sanders.
Proceedings of the 1997 Pacific Rim International Symposium on
Fault Tolerant Systems (PRFTS), December 15-16, 1997,
Taipei, Taiwan, pp. 194-201.
Develops an analytical model for two time-based checkpointing
protocols. Then, using the models, the two protocols are compared
and contrasted.
Measure-Adaptive State-Space Construction Methods.
W. D. Obal II
Doctoral Dissertation, University of Arizona, 1998.
Measure-Adaptive State-Space Construction.
W. D. Obal II and W. H. Sanders. (99OBA01)
Proceedings of the 4th IEEE International Computer Performance and
Dependability Symposium (IPDS 2K), March 27-29, 2000, Chicago,
Illinois, USA, pp. 25-34.
Measure-Adaptive State-Space Construction.
W. D. Obal II and W. H. Sanders. (00OBA01)
Performance Evaluation, Special Issue on IPDS 2000,
vol. 44, April 2001, pp. 237-258.
Journal version of the conference paper
with the same name.
State-Space Support for Path-based Reward Variables.
W. D. Obal II and W. H. Sanders.
Proceedings of the 1998 International Computer Performance
and Dependability Symposium (IPDS '98), September 7-9, 1998, Durham,
North Carolina, USA, pp. 228-237.
This paper introduces path-based reward variables. Reward
structures are defined on sequences of model states and events
specified using "path automata," and a procedure for automatically
constructing a state-space that supports such variables is given.
State-Space Support for Path-based Reward Variables.
W. D. Obal II and W. H. Sanders.
Performance Evaluation, vol. 35, 1999, pp. 233-251.
Möbius: An Integrated Discrete-Event Modeling Environment.
J. Peccoud, T. Courtney, and W. H. Sanders.
Bioinformatics, vol. 23, no. 24, 2007, pp. 3412-3414.
Integrated Frameworks for Multi-Level and
Multi-Formalism Modeling.
W. H. Sanders.
Proceedings of PNPM'99: 8th International Workshop on Petri Nets and
Performance Models, Zaragoza, Spain, September 8-10, 1999, pp. 2-9.
Multi-formalism and Multi-solution-method Modeling Frameworks: The Möbius Approach.
W. H. Sanders, T. Courtney, D. Deavours, D. Daly, S. Derisavi, and V. Lam. (03SAN01)
Proceedings of the Symposium on Performance Evaluation - Stories and Perspectives, Vienna, Austria, December 5-6, 2003, pp. 241-256.
Stochastic Activity Networks: Formal Definitions and Concepts.
W. H. Sanders and J. F. Meyer. (01SAN02)
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, 2000, Revised
Lectures, Lecture Notes in Computer Science no. 2090,
pp. 315-343. Berlin: Springer, 2001.
Overview: An Integrated Framework for Performance Engineering and
Resource-Aware Compilation.
W. H. Sanders, C. Polychronopoulos, T. Huang, T. Courtney, D. Daly,
D. Deavours, and S. Derisavi. (02SAN01)
Proceedings of the NSF Next Generation Systems Program Workshop,
Fort Lauderdale, FL, April 15, 2002, to appear.
State-Space Generation Techniques in the Möbius Modeling Framework.
J. M. Sowder.
Master's Thesis, University of Illinois, 1998.
Model Composition Within the Möbius Modeling Framework.
A. J. Stillman.
Master's Thesis, University of Illinois, 1999.
Design of Experiments in the Möbius Modeling Framework. (02WEB01.pdf)
P. G. Webster.
Master's Thesis, University of Illinois, 2002.
Discrete Event Simulation in the Möbius Modeling Framework.
A. L. Williamson.
Master's Thesis, University of Illinois, 1998.
The above electronic files are presented to ensure timely
dissemination of scholarly and technical work. Copyright and all rights
therein are retained by authors or by other copyright holders. All
persons copying this information are expected to adhere to the terms and
constraints invoked by each author's copyright. In most cases,
these works may not be reposted without the explicit permission of
the copyright holder.
The following copyright notice applies to all of the above items
that appear in IEEE publications:
Personal use of this material is permitted. However, permission
to reprint/publish this material for advertising or promotional purposes
or for creating new collective works for resale or redistribution to
servers or lists, or to reuse any copyrighted component of this work in other
works must be obtained from IEEE.
|
